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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 (=3Dnot 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@autronica.no Navia Maritime AS, division Autronica oyvind.teig@computer.org 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 -------------------------------------------------------------------