[cpp-threads] D2335 (sequential consistency proof) revision

[Boehm, Hans]

Thanks.  Done.  Revision attached.

It might make sense to cite this in N2393 at the same place at which you
site N2171.

Hans

> -----Original Message-----
> From: cpp-threads-bounces at decadentplace.org.uk 
> [mailto:cpp-threads-bounces at decadentplace.org.uk] On Behalf 
> Of Lawrence Crowl
> Sent: Thursday, September 06, 2007 3:36 PM
> To: C++ threads standardisation
> Subject: Re: [cpp-threads] D2335 (sequential consistency 
> proof) revision
> 
> On 9/6/07, Boehm, Hans <hans.boehm at hp.com> wrote:
> > Comments are of course most welcome.
> 
> First sentence should have "that" rather than "which".
> 
> I found claim 2 to be very difficult to read.  Can you reword 
> it for clarity?
> 
> You should probably update the reference to N2381 to N2393.
> 
> You seem to inconsistently use trylock() and try_lock().
> 
> Have you considered where in N2393 you might want to cite N2392?
> 
> --
> Lawrence Crowl
> 
> --
> cpp-threads mailing list
> cpp-threads at decadentplace.org.uk
> http://www.decadentplace.org.uk/cgi-bin/mailman/listinfo/cpp-threads
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.decadentplace.org.uk/pipermail/cpp-threads/attachments/20070907/d602b21b/attachment-0001.html