RE: JavaMemoryModel: Why CnC

From: Sarita Adve (sadve@cs.uiuc.edu)
Date: Wed Jul 30 2003 - 00:43:08 EDT


> > 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