Re: A few typos -> RE: JavaMemoryModel: Proposed Final Specification

From: Bill Pugh (pugh@cs.umd.edu)
Date: Wed May 26 2004 - 13:37:56 EDT


Thanks.
  I'll gotten all of these.

        Bill

On May 25, 2004, at 9:00 PM, Carr, Wayne wrote:

> A few typos - the references below are to the chapter, but the typos
> are
> also in the other draft as well.
>
> 1. when printed, the section title at the top of section 1.2 on page 3
> "Incorrectly Synchronized ... Behaviors" runs into the page number so
> it
> winds up looking like "Behaviors3"
>
> 2. Figure 1.2 and the text referring to it have typos that make the
> example hard to understand. In thread 1 "r4=r4.x" is likely not
> intended (r4 isn't written to anywhere else). Also "p6.x = 3" in
> thread
> 2 likely isn't intended (there is no p6). In the text below that it
> says "then a and c will have value 0" but there is no "a" or "c" (r2
> and
> r5).
>
> 3. section 1.6.2 refers to the happens-before order described in 1.3.
> This is right after the more detailed description of happens-before in
> section 1.5. Seems it should refer to that latter, fuller description.
>
> 4. section 1.7.3, 2nd sentence. Needs a "," between 'hb' and 'ob'
>
>
>> -----Original Message-----
>> From: owner-javamemorymodel@cs.umd.edu
>> [mailto:owner-javamemorymodel@cs.umd.edu] On Behalf Of Jeremy Manson
>> Sent: Tuesday, May 18, 2004 11:16 AM
>> To: javamemorymodel-cs.umd.edu
>> Subject: JavaMemoryModel: Proposed Final Specification
>>
>> The Java memory model is done!
>>
>> Just kidding. We have put out a specification document that we think
>> reflects everyone's many years of good work on the memory
>> model. If you
>> all agree to it, we would encourage it as our final document.
>>
>> If you have the chance, please give it a good, solid read through. It
>> contains the external actions as I explained them last night
>> (or perhaps
>> more clearly than that), plus the newer formalization of final fields
>> that Bill discussed last week.
>>
>> Available from:
>>
>> http://www.cs.umd.edu/users/pugh/java/memoryModel/
>>
>> Thanks!
>>
>> Jeremy
>> -------------------------------
>> JavaMemoryModel mailing list -
>> http://www.cs.umd.edu/~pugh/java/memoryModel
>>
>>
>
> -------------------------------
> JavaMemoryModel mailing list -
> http://www.cs.umd.edu/~pugh/java/memoryModel

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



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