[cpp-threads] Coherence Requirement wording changes for 1.10p13

[Hans Boehm]

I looked at this and the corresponding section of the Batty et al paper. 
The changes look good to me.  The WriteRead issue looks like a 
longstanding bug, with the ReadWrite issue getting more recently 
introduced.

(I wasn't immediately convinced by the WriteRead example, since I think
there is nothing in the example forcing the f->c modification order.
But on second thought it's trivial to enforce such a constraint.)

It's great that we have a proposed fix.  But I also agree that this needs
some baking time.

Hans

On Tue, 3 Aug 2010, Michael Wong wrote:

> 
> Hi all, Benjamin Kosnick and I have made the following updates to the
> coherence requirement paragraph based on today session with Peter Sewell
> and Mark Batty. It is available for viewing on the Rapperswil concurrence
> wiki:
> http://wiki.dinkumware.com/twiki/pub/Wg21rapperswil/ConcurrencyWorkingGroup/Cohe
> rence_Requirement.html
> 
> This is to fix several NB comments GB 11, GB 12, CA 18, CA 19, CA 20.
> We are asking for feedback comments of this restructuring and the
> insertion of the new paragraphs for CORW and COWR as outlined in Sections
> 2.1 and 2.2 in their paper:
> http://wiki.dinkumware.com/twiki/pub/Wg21rapperswil/ConcurrencyWorkingGroup/cpp-
> fcd-01.pdf
> 
> This will not be voted at the end of this week, but we want to have this
> early drafting ready for review comment to make sure we are heading in
> the right direction, and if all goes well, we propose to potentially add
> diagrams of each of the coherence requirements as discussed today.
> 
> Thanks.
> 
> Regards, Michael
> 
> Rational C/C++ cafe:
> http://www.ibm.com/software/rational/cafe/community/ccpp
> My Blogs:
> Parallel & Multi-Core Computing
> http://www.ibm.com/software/rational/cafe/blogs/ccpp-parallel-multicore
> C++ Language & Standard
> http://www.ibm.com/software/rational/cafe/blogs/cpp-standard
> Commercial Computing
> http://www.ibm.com/software/rational/cafe/blogs/ccpp-commercial
> Boost test results
> http://www.ibm.com/support/docview.wss?rs=2239&context=SSJT9L&uid=swg27006911
> C/C++ Compilers Support Page
> http://www.ibm.com/software/awdtools/ccompilers/support/
> C/C++ Feature Request Interface
> http://www.ibm.com/support/docview.wss?uid=swg27005811
> XL Fortran Compiler Support Page
> http://www.ibm.com/software/awdtools/fortran/xlfortran/support/
> XL Fortran Feature Request Interface
> http://www.ibm.com/support/docview.wss?uid=swg27005812
> 
> Michael Wong
> XL C++ Compiler kernel Development
> IBM Canada Ltd., C2/KD2/8200/MKM
> 8200 Warden Avenue
> Markham, Ontario L6G 1C7
> W:905-413-3283 F:905-413-4839
> 
> 
>