JavaMemoryModel: Important typo fix in unified model description: U6 is not allowed

From: Bill Pugh (pugh@cs.umd.edu)
Date: Tue Mar 16 2004 - 19:56:50 EST

Next message: Bill Pugh: "Re: JavaMemoryModel: IMPORTANT: New Unified JMM formalism, $100 reward for any flaws"
Previous message: Vijay Saraswat: "JavaMemoryModel: The Ucases"
In reply to: Vijay Saraswat: "Re: JavaMemoryModel: IMPORTANT: New Unified JMM formalism, $100 reward for any flaws"
Next in thread: Vijay Saraswat: "JavaMemoryModel: Re: Important typo fix in unified model description: U6 is not allowed"
Reply: Vijay Saraswat: "JavaMemoryModel: Re: Important typo fix in unified model description: U6 is not allowed"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

The unified proposal said in the caption for U6 that U6 was allowed by
the new model.

U6 is _not_ allowed by the new model, as was stated elsewhere in the
document.

I've updated the document on the web page.

Bill

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

Next message: Bill Pugh: "Re: JavaMemoryModel: IMPORTANT: New Unified JMM formalism, $100 reward for any flaws"
Previous message: Vijay Saraswat: "JavaMemoryModel: The Ucases"
In reply to: Vijay Saraswat: "Re: JavaMemoryModel: IMPORTANT: New Unified JMM formalism, $100 reward for any flaws"
Next in thread: Vijay Saraswat: "JavaMemoryModel: Re: Important typo fix in unified model description: U6 is not allowed"
Reply: Vijay Saraswat: "JavaMemoryModel: Re: Important typo fix in unified model description: U6 is not allowed"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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