Re: JavaMemoryModel: Volatiles in Sarita's model

From: victor.luchangco@sun.com
Date: Tue Jul 29 2003 - 17:16:22 EDT

Next message: Alexander Terekhov: "Re: JavaMemoryModel: Spec on on wait and interrupts"
Previous message: Sarita Adve: "RE: JavaMemoryModel: Volatiles in Sarita's model"
In reply to: Yue Yang: "JavaMemoryModel: Volatiles in Sarita's model"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Jason,

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.

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

Next message: Alexander Terekhov: "Re: JavaMemoryModel: Spec on on wait and interrupts"
Previous message: Sarita Adve: "RE: JavaMemoryModel: Volatiles in Sarita's model"
In reply to: Yue Yang: "JavaMemoryModel: Volatiles in Sarita's model"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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