After talking with Doug, and reviewing the options that have been
we are both leaning towards "synchronizes with" for javadoc-level
of synchronization semantics.
To avoid the problem that "synchronizes with" sound symmetric, it
be used in a context such as
... synchronizes with (a | any | all) (preceding | following) ...
A write to a volatile synchronizes with all following reads of that
Interrupting a thread synchronizes with all following events that
detect that the thread has been interrupted (e.g., the interrupted
thread throwing an InterruptedException, or a invocation of
Doug and I both felt that terminology such as "makes visible to" or
"is ordered before" wouldn't be well suited towards the target audience
We are still open to suggestions if you come up with a really good one.
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