Solid CSP and Peter's Chef

[Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>]

Dear all

I sent a message named "Solid CSP on top of weak synchronized
semantics" (below) to java-threads. I'm afraid it didn't reach 
the list, as I didn't get a copy.

Chef, Customer, Waiter:

Peter Welch's "Chef" and part of the rest of his team (Chef's)
seem to have made it into "Java 1.2 Dev. Handbook", Heller & 
Roberts ISBN 0-7821-2179-9 p.300-302! The example seems to
be enough modified to let go of the reference..


Solid CSP on top of weak synchronized semantics
===============================================

Is this problem solved in JCSP and CJT?

If it has been solved, I'd like to know how. 

If the basic mechanism in the bottom is weak (=not portable or 
plain wrong on half of the implementations..(?)), how can a
paradigm built on top be any better (any more portable)?

The ReentrantMutex [1] is a proposal to get rid of the weak
semantics, as far as I can see. Will this be implemented
on top of old synchronized, does anybody know?

In "Real-time Execution Semantics" [2] Sun proposes to tighten
the semantics of synchronized for "VMs that implement the
real-time extension". Would you agree in my statement [3]
that this is not wise?

--

[1]
   http://www.sdct.itl.nist.gov/~carnahan/real-time/sun/
   api/javax/realtime/ReentrantMutex.html

[2]
   http://www.sdct.itl.nist.gov/~carnahan/real-time/sun/
   tightenedSemantics.html

[3]
   http://www.nist.gov/itl/div896/emaildir/rt-j/
   msg00376.html


-- 
Cheers,  

-------------------------------------------------------------------
 Oyvind Teig                              oyvind.teig@xxxxxxxxxxxx
 Navia Maritime AS, division Autronica    oyvind.teig@xxxxxxxxxxxx
 7005 Trondhem                               Tel.: +47 73 58 12 68
 Norway                                      Fax.: +47 73 91 93 20
------------------------------------------------------------------- 
Opening Theme
  http://www.hensa.ac.uk/parallel/groups/wotug/wotug21/papers.html
Non-preemptive Occam in DSP RT system
  http://www.realtime-info.be/encyc/magazine/98Q3/index983.htm
Author of choir-page
  http://www.nidarosdomen.no/jentekoret
-------------------------------------------------------------------