Does anyone like the idea of replacing happens-before with
"ordered-before"? It is along the same lines as happens-before, but it is
less likely to be misused (because it is clearly talking about ordering
constraints) and more obviously has a specific meaning.
Jeremy
> We've discussed needing some phrase we can use instead of
> "creates a happens-before edge" in places such as
> Javadoc.
>
> One proposal was "Synchronizes with", but I don't like that because
> it sound symmetric, and doesn't convey the directed nature of
> synchronization.
>
> So what do you think about "synchronizes to" (and "synchronizes from")?
>
> For example,
> starting a thread synchronizes to the run method of the thread
> successful joining with a thread synchronizes from the run method of
> the thread
>
> -------------------------------
> JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
-------------------------------
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