<html><body>
<p><font size="4">Thanks, agreed.<br>
Regarding the more then one vsse that Paul mentioned, I believed Section 2.2 Non-unique visible sequences of side effects and happens-before ordering of the Batty et all paper alludes to it. May be they can be more convincing in any discussion.<br>
But I also want people to be comfortable with this possibility before allowing the change in the first modification. </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<br>
<img width="16" height="16" src="cid:1__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt="Inactive hide details for Re: [cpp-threads] Coherence Requirement wording changes for 1.10p13">Re: [cpp-threads] Coherence Requirement wording changes for 1.10p13<br>
<br>
<br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td style="background-image:url(cid:2__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com); background-repeat: no-repeat; " width="1%" valign="middle"><img width="80" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<img src="cid:4__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" width="80" height="1"></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="100%"><b>Re: [cpp-threads] Coherence Requirement wording changes for 1.10p13</b></td></tr>
</table>
<table id="tmpdisplaysendto" width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="1%" valign="middle"><img width="128" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<b><font color="#E26200">Paul E. McKenney </font></b></td><td width="1%" valign="middle"><img width="18" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font color="#929292">to:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
Benjamin Kosnik</td><td width="1%" valign="middle"><img width="141" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<div align="right"><font size="2">08/05/2010 09:01 AM</font></div></td></tr>
</table>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="1%" valign="middle"><img width="48" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font color="#929292">Sent by:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<b><font color="#E26200">cpp-threads-bounces@decadent.org.uk</font></b></td></tr>
<tr valign="top"><td width="1%" valign="middle"><img width="48" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2" color="#929292">Cc:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2">C++ threads standardisation</font></td></tr>
</table>
</td><td width="0%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
</table>
</td></tr>
</table>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<img src="cid:4__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" width="90" height="1"></td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2" color="#929292">From:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2">"Paul E. McKenney" <paulmck@linux.vnet.ibm.com></font></td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2" color="#929292">To:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2">Benjamin Kosnik <bkoz@redhat.com></font></td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2" color="#929292">Cc:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2" color="#808080">C++ threads standardisation <cpp-threads@decadent.org.uk></font></td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2" color="#929292">Sent by:</font></td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<font size="2">cpp-threads-bounces@decadent.org.uk</font></td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
<tr valign="top"><td width="1%"><img width="90" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td><td width="100%"><img width="1" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<b><font size="2">Please respond to paulmck@linux.vnet.ibm.com, C++ threads standardisation <cpp-threads@decadent.org.uk></font></b></td><td width="1%"><img width="12" height="1" src="cid:3__=0ABBFDE5DFDE2C358f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
</table>
<br>
<hr width="2112" size="2" align="left" style="color:#B4BFCB; "><br>
<br>
<tt>On Thu, Aug 05, 2010 at 01:05:47AM -0700, Benjamin Kosnik wrote:<br>
> <br>
> > I like the way this breaks out the write/write, read/read, ... cases!<br>
> <br>
> Yeah. This was done by popular demand after discussion. Makes it much<br>
> easier to read now I think. <br>
> <br>
> Just wait till you see this with the coherence requirement list AND the<br>
> pictures!!! (Apparently the document editor needs these in dot format.)<br>
<br>
:-)<br>
<br>
Hopefully at least one of these pictures will tell me how you can get<br>
multiple visible sequences of side effects on a single atomic object<br>
with respect to a single value computation, because I am not seeing it!<br>
<br>
Thanx, Paul<br>
<br>
--<br>
cpp-threads mailing list<br>
cpp-threads@decadent.org.uk<br>
</tt><tt><a href="http://www.decadent.org.uk/cgi-bin/mailman/listinfo/cpp-threads">http://www.decadent.org.uk/cgi-bin/mailman/listinfo/cpp-threads</a></tt><tt><br>
</tt><br>
</body></html>