Re: JavaMemoryModel: Total orders

From: Jeremy Manson (jmanson@cs.umd.edu)
Date: Wed Dec 10 2003 - 21:18:16 EST


[Charset iso-8859-1 unsupported, filtering to ASCII...]
> Sylvia Else writes:
> These contribute to a synchronization order, which is a total-order over all
> "synchronization actions". (I assume these are the actions in #1 and #2
> above: locks, unlocks, volatile reads, volatile writes, anything else?)

Any action that starts a thread or allows you to detect a thread is
finished. start(), join(), isAlive() (but only when the last returns
true).

Notes for the curious:

Note the lack of sleep() or yield() on this list. They have no memory
semantics.

wait() and notify() are covered by their lock acquisition semantics.

                                        Jeremy
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:55 EDT