[jmm-dev] Jmm revision status

Peter Sewell Peter.Sewell at cl.cam.ac.uk
Thu Jul 24 10:50:26 UTC 2014


On 24 July 2014 11:30, Stephan Diestelhorst <Stephan.Diestelhorst at arm.com>
wrote:

> Peter,
>
> On Friday 18 July 2014 06:43:06 Peter Sewell wrote:
> > On 18 July 2014 00:57, Hans Boehm <boehm at acm.org> wrote:
> > > Torvald Riegel and Paul McKenney are trying to turn C++11/C11
> > > memory_order_consume into something useful, and have been running
> > > into some of the same problems with definition of dependencies as we
> > > have here.
> >
> > There's also a bit of a question right now about "fake" data and
> > control dependency preservation on ARM; hopefully that will become
> > clear soon.
>
> what is the question, here?  Is that a semantical question, or are you
> wondering about the performance?
>

the former...



>
> --
> Sincerely,
>   Stephan
>
> Stephan Diestelhorst
> Staff Engineer,
> ARM R&D Systems
> +44 (0)1223 405662
>
> -- IMPORTANT NOTICE: The contents of this email and any attachments are
> confidential and may also be privileged. If you are not the intended
> recipient, please notify the sender immediately and do not disclose the
> contents to any other person, use it for any purpose, or store or copy the
> information in any medium.  Thank you.
>
> ARM Limited, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ,
> Registered in England & Wales, Company No:  2557590
> ARM Holdings plc, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ,
> Registered in England & Wales, Company No:  2548782
>
>


More information about the jmm-dev mailing list