<html><body>
<p>Hi, I read up to Section 2.6. It was well written and all makes sense. I notice there is no text with a discussion of data-dependency relations in Section 2.3 even though the preliminary text claims so. Only asw and sb was discussed. Was that an intentional omission? Thanks.<br>
<br>
<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__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt="Inactive hide details for [cpp-threads] C++ memory model formalisation, post-Rapperswil">[cpp-threads] C++ memory model formalisation, post-Rapperswil<br>
<br>
<br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td style="background-image:url(cid:2__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com); background-repeat: no-repeat; " width="1%" valign="middle"><img width="12" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<img src="cid:4__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" width="80" height="1"></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="100%"><b>[cpp-threads] C++ memory model formalisation, post-Rapperswil</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="12" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<b><font color="#E26200">Peter Sewell </font></b></td><td width="1%" valign="middle"><img width="12" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@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__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
cpp-threads</td><td width="1%" valign="middle"><img width="141" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<div align="right"><font size="2">08/24/2010 07:44 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__=0ABBFD1CDFFEC19C8f9e8a93df938@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="12" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@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__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
<b><font color="#E26200">cpp-threads-bounces@decadent.org.uk</font></b></td></tr>
</table>
<b><font size="2">Please respond to C++ threads standardisation</font></b></td><td width="0%" valign="middle"><img width="1" height="1" src="cid:3__=0ABBFD1CDFFEC19C8f9e8a93df938@ca.ibm.com" border="0" alt=""><br>
</td></tr>
</table>
</td></tr>
</table>
<br>
<hr width="2112" size="2" align="left" style="color:#B4BFCB; "><br>
<br>
<tt><br>
Dear all,<br>
<br>
we've put together a document with an introduction to our<br>
formalisation of the C++ memory model. It includes many examples, a<br>
description of the Cppmem tool we built for exploring the model, and a<br>
proof of the correctness of a proposed x86 implementation, together<br>
with a side-by-side prose and math version of the formalisation. It's<br>
based on the Final Committee Draft together with various changes<br>
discussed at the Rapperswill meeting (we include some of the<br>
motivating examples for those). Any comments would be very welcome.<br>
<br>
</tt><tt><a href="http://www.cl.cam.ac.uk/~pes20/cpp/tech.pdf">http://www.cl.cam.ac.uk/~pes20/cpp/tech.pdf</a></tt><tt><br>
<br>
Mark, Scott, Susmit, Peter, and Tjark<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>