I am writing a paper about a locking scheme, and in that paper I assume that
the memory model obeys the rule that if all sequentially consistent
executions are data-race-free, then all executions are sequentially
consistent. However, I anticipate that many readers are not familiar with
this material, and I wonder if anyone knows a good published reference to
which I can refer? I would be particularly interested in anything that
states that this rule will be a guarantee in the next Java Memory Model.
Thank you very much!
Department of Computer Science
Katholieke Universiteit Leuven, Belgium
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:08 EDT