[cpp-threads] Slightly revised memory model proposal (D2300)

[Boehm, Hans]

Thanks. 

> -----Original Message-----
> From: cpp-threads-bounces at decadentplace.org.uk 
> [mailto:cpp-threads-bounces at decadentplace.org.uk] On Behalf 
> Of Lawrence Crowl
> Sent: Wednesday, June 20, 2007 11:11 PM
> To: C++ threads standardisation
> Subject: Re: [cpp-threads] Slightly revised memory model 
> proposal (D2300)
> 
> On 6/20/07, Boehm, Hans <hans.boehm at hp.com> wrote:
> > Here's the promised revision of D2300.  I think this is a far more 
> > conventional, and hence hopefully safer, formulation.
> 
> 1.10p3 The paragraph needs to clarify whether or not it 
> applies to atomic memory locations, i.e. memory locations 
> containing an atomic variable.
Does it?  As written, it applies.  But it doesn't really matter, since
the only use is in 1.10p11 in the definition of a data race, and it is
very explicit about atomic operations.  If you think this is still
confusing, I'd be inclined to just add a note.
> 
> 11.10p7 Is the intent to make a.load(memory_ordering_seq_cst) 
> count as a RMW operation?
Sort of, but for stores.
> 
> 1.10p10 "scalarB" -> "scalar B"
> 
> 6.5p5 "merging too loops" -> "merging two loops"
> "very week requirements" -> "very weak requirements"

Thanks.  All fixed.

Hans
> 
> --
> Lawrence Crowl
> 
> --
> cpp-threads mailing list
> cpp-threads at decadentplace.org.uk
> http://www.decadentplace.org.uk/cgi-bin/mailman/listinfo/cpp-threads
>