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

[Michael Wong]

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/Coherence_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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.decadent.org.uk/pipermail/cpp-threads/attachments/20100803/1210d188/attachment.htm>