Re: JavaMemoryModel: Volatiles in Sarita's model

Date: Tue Jul 29 2003 - 17:16:22 EDT


All accesses to volatiles in both Sarita's and Jeremy and Bill's
models are synchronization accesses. Thus, they can never be
involved in a data race. In the example you gave, there are no
data instruction instances, and thus no data races, and thus only
SC executions are allowed.

JavaMemoryModel mailing list -

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