<html><body>
<p>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:<br>
<a href="http://wiki.dinkumware.com/twiki/pub/Wg21rapperswil/ConcurrencyWorkingGroup/Coherence_Requirement.html">http://wiki.dinkumware.com/twiki/pub/Wg21rapperswil/ConcurrencyWorkingGroup/Coherence_Requirement.html</a><br>
<br>
This is to fix several NB comments <font size="4">GB 11, GB 12, CA 18, CA 19, CA 20.</font><br>
<font size="4">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:</font><br>
<font size="4"><a href="http://wiki.dinkumware.com/twiki/pub/Wg21rapperswil/ConcurrencyWorkingGroup/cpp-fcd-01.pdf">http://wiki.dinkumware.com/twiki/pub/Wg21rapperswil/ConcurrencyWorkingGroup/cpp-fcd-01.pdf</a></font><br>
<br>
<font size="4">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.</font><br>
<br>
<font size="4">Thanks.</font><br>
<br>
Regards, Michael<br>
<br>
Rational C/C++ cafe: <a href="http://www.ibm.com/software/rational/cafe/community/ccpp">http://www.ibm.com/software/rational/cafe/community/ccpp</a><br>
My Blogs: <br>
Parallel & Multi-Core Computing <a href="http://www.ibm.com/software/rational/cafe/blogs/ccpp-parallel-multicore">http://www.ibm.com/software/rational/cafe/blogs/ccpp-parallel-multicore</a><br>
C++ Language & Standard <a href="http://www.ibm.com/software/rational/cafe/blogs/cpp-standard">http://www.ibm.com/software/rational/cafe/blogs/cpp-standard</a><br>
Commercial Computing <a href="http://www.ibm.com/software/rational/cafe/blogs/ccpp-commercial">http://www.ibm.com/software/rational/cafe/blogs/ccpp-commercial</a><br>
Boost test results <a href="http://www.ibm.com/support/docview.wss?rs=2239&context=SSJT9L&uid=swg27006911">http://www.ibm.com/support/docview.wss?rs=2239&context=SSJT9L&uid=swg27006911</a><br>
C/C++ Compilers Support Page <a href="http://www.ibm.com/software/awdtools/ccompilers/support/">http://www.ibm.com/software/awdtools/ccompilers/support/</a><br>
C/C++ Feature Request Interface <a href="http://www.ibm.com/support/docview.wss?uid=swg27005811">http://www.ibm.com/support/docview.wss?uid=swg27005811</a><br>
XL Fortran Compiler Support Page <a href="http://www.ibm.com/software/awdtools/fortran/xlfortran/support/">http://www.ibm.com/software/awdtools/fortran/xlfortran/support/</a><br>
XL Fortran Feature Request Interface <a href="http://www.ibm.com/support/docview.wss?uid=swg27005812">http://www.ibm.com/support/docview.wss?uid=swg27005812</a><br>
<br>
Michael Wong<br>
XL C++ Compiler kernel Development<br>
IBM Canada Ltd., C2/KD2/8200/MKM<br>
8200 Warden Avenue<br>
Markham, Ontario L6G 1C7<br>
W:905-413-3283 F:905-413-4839</body></html>