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

[Lawrence Crowl]

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