[cpp-threads] cpp-threads Digest, Vol 39, Issue 1

[Mark Batty]

Thanks for pointing that out Michael. There's a new revision with
data-dependence in Section 2.3 at:

http://www.cl.cam.ac.uk/~pes20/cpp/tech.pdf

Mark

On Wed, Sep 1, 2010 at 12:00 PM,  <cpp-threads-request at decadent.org.uk> wrote:
> Send cpp-threads mailing list submissions to
>        cpp-threads at decadent.org.uk
>
> To subscribe or unsubscribe via the World Wide Web, visit
>        http://www.decadent.org.uk/cgi-bin/mailman/listinfo/cpp-threads
> or, via email, send a message with subject or body 'help' to
>        cpp-threads-request at decadent.org.uk
>
> You can reach the person managing the list at
>        cpp-threads-owner at decadent.org.uk
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of cpp-threads digest..."
>
>
> Today's Topics:
>
>   1. Re: C++ memory model formalisation, post-Rapperswil (Michael Wong)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 31 Aug 2010 22:28:02 -0400
> From: Michael Wong <michaelw at ca.ibm.com>
> Subject: Re: [cpp-threads] C++ memory model formalisation,
>        post-Rapperswil
> To: C++ threads standardisation <cpp-threads at decadent.org.uk>
> Message-ID:
>        <OF918101F1.C6B27843-ON8525778F.006D470C-85257791.000D8D95 at ca.ibm.com>
> Content-Type: text/plain; charset="us-ascii"
>
>
> 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.
>
>
>
> 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
>
>
>
>
>
>   [cpp-threads] C++ memory model formalisation, post-Rapperswil
>
>
>   Peter Sewell
>      to:
>       cpp-threads
>                                                        08/24/2010 07:44 AM
>
>
>
>
>   Sent by:
>     cpp-threads-bounces at decadent.org.uk
>  Please respond to C++ threads standardisation
>
>
>
>
>
>
>
>
>
>
> Dear all,
>
> we've put together a document with an introduction to our
> formalisation of the C++ memory model. It includes many examples, a
> description of the Cppmem tool we built for exploring the model, and a
> proof of the correctness of a proposed x86 implementation, together
> with a side-by-side prose and math version of the formalisation.  It's
> based on the Final Committee Draft together with various changes
> discussed at the Rapperswill meeting (we include some of the
> motivating examples for those).  Any comments would be very welcome.
>
> http://www.cl.cam.ac.uk/~pes20/cpp/tech.pdf
>
> Mark, Scott, Susmit, Peter, and Tjark
>
> --
> cpp-threads mailing list
> cpp-threads at decadent.org.uk
> http://www.decadent.org.uk/cgi-bin/mailman/listinfo/cpp-threads
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://www.decadent.org.uk/pipermail/cpp-threads/attachments/20100831/9e10dc9a/attachment.html>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: graycol.gif
> Type: image/gif
> Size: 105 bytes
> Desc: not available
> URL: <http://www.decadent.org.uk/pipermail/cpp-threads/attachments/20100831/9e10dc9a/attachment-0004.gif>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: pic02142.gif
> Type: image/gif
> Size: 1255 bytes
> Desc: not available
> URL: <http://www.decadent.org.uk/pipermail/cpp-threads/attachments/20100831/9e10dc9a/attachment-0005.gif>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: ecblank.gif
> Type: image/gif
> Size: 45 bytes
> Desc: not available
> URL: <http://www.decadent.org.uk/pipermail/cpp-threads/attachments/20100831/9e10dc9a/attachment-0006.gif>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: 13940681.gif
> Type: image/gif
> Size: 821 bytes
> Desc: not available
> URL: <http://www.decadent.org.uk/pipermail/cpp-threads/attachments/20100831/9e10dc9a/attachment-0007.gif>
>
> ------------------------------
>
> --
> cpp-threads mailing list
> cpp-threads at decadent.org.uk
> http://www.decadent.org.uk/cgi-bin/mailman/listinfo/cpp-threads
>
>
> End of cpp-threads Digest, Vol 39, Issue 1
> ******************************************
>