RE: JavaMemoryModel: Why CnC

From: Sarita Adve (
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.


JavaMemoryModel mailing list -

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