Re: Occam vs. monitors

From: Oyvind Teig (Oyvind.Teig_at_email.domain.hidden)
Date: 1998-05-27 06:49:13

• Next message: Rick van Rein: "Pi-Calculus vs. CSP"
• Previous message: Denis A Nicole: "Re: Occam vs. monitor"

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_at_autronica.no
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"

• Next message: Rick van Rein: "Pi-Calculus vs. CSP"
• Previous message: Denis A Nicole: "Re: Occam vs. monitor"

Original text of this message