Re: Occam vs. monitors

[Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>]

MIME-version: 1.0
Content-type: text/plain; charset="ISO-8859-1"
Content-transfer-encoding: 8bit

PROC TestsOccamVsMonitor()
  CHAN OF INT a,b:
  PAR
    SEQ
      a ! 1
      b ! 1
    INT x,y:
    SEQ
      b ? x
      a ? y
:
TestsOccamVsMonitor()

Peter seems to mean that this compiles to
IF
  TRUE
    STOP

And Denis (SPoC's father): 
IF
  FALSE
    SKIP

I can tell what it runs like on SPoC:
It detects this design flaw (like it has
with some of my design flaws):
IF
  TRUE
    STOP 

-- I have "stop on error":
-- We get a crash from the Scheduler:
-- SETERR ("Terminating application.\n"); // (MSG_TA)
-- since there is no task to run:
-- (CURTASK != NoTask) is not true any more

But, Denis, should SPoC ideally have told
at compile-time?

Cheers,  

Oyvind Teig, Autronica, Trondheim, Norway
Oyvind.Teig@xxxxxxxxxxxx
Tel.: +47 73 58 12 68
Fax.: +47 73 91 93 20

My name starts with "Oslash":
Øyvind

http://www.hensa.ac.uk/parallel/groups/wotug/wotug21/papers.html
->"Opening Theme"