Re: JavaMemoryModel: Why I am resisting putting data/control dependences into the semantics

From: Doug Lea (dl@cs.oswego.edu)
Date: Fri Aug 10 2001 - 12:12:51 EDT


> I believe that neither data nor control dependences should be used
> ...

But the alternative is to define "prescient writes" and the like,
which so far as I understand it, require the same kinds of statements
("if, under all possible executions...") as I was trying to get
at. Right?

-Doug

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



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