Re: JavaMemoryModel: How about "Synchronizes to" and "Synchronizes from"

From: Alexander Terekhov (TEREKHOV@de.ibm.com)
Date: Sat Mar 27 2004 - 13:23:44 EST


Jeremy Manson wrote:
[...]
> replacing happens-before with "ordered-before"?

I for one like

- "hoist-load msync barrier" for rwlock.read_lock()

- "sink-load msync barrier" for rwlock.read_unlock()

- "hoist-store msync barrier" for rwlock.write_lock()

- "sink-store msync barrier" for rwlock.write_unlock()

- "acquire msync barrier" ("hoist-load" + "hoist-store") for mutex.lock()

- "release msync barrier" ("sink-load" + "sink-store") for mutex.unlock()

to begin with. Talk Like A Pirate Day, you know. ;-)

regards,
alexander.

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



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