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