Dynamic Priority

[Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>]

Dynamic Priority: 
~~~~~~~~~~~~~~~~~
To fit with the rest of occam, one might allow a PRIORITY clause to
appear anywhere in an extended dynamic PRI PAR.

PRI PAR              =     PRI PAR
  P0                         P0
  P1                         P2
  PRIORITY                   PRI PAR
    c ? priority               PRIORITY
  P2                             c ? priority
  P3                           P2  
  P4                           P3
:                              P4

Even multiple PRIORITY components? 
Would occam's razor eliminate these? 
Or is it an extra but unnecessary rule for a programmer to remember?
Perhaps some algorithms would be easier to understand when expressed in
this way. The compiler can always transform the source, so there  seems to
be no implementation issue.

Adrian
-- 
A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275