> > and that all the other work we are doing to define
> > semantics in those cases is to aid debugging?
>
> NO! All the other work is to ensure "safety" when incorrectly
> synchronized code is executed. That includes basic type-safety,
> "not-out-of-thin-air" safety and related security "safety".
I believe that used to be the view, but recently Bill's view has become that
causality and consistency (as in CnC) are also required. Note that my
original SC- ensures the above safety related properties, but isn't
acceptable to Bill and some others.
Sarita
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:48 EDT