[cpp-threads] Slightly revised memory model proposal (D2300)

[Nick Maclaren]

"Paul E. McKenney" <paulmck at linux.vnet.ibm.com> wrote:
>
> > Fine.  But let's see a proper, semi-mathematical specification.
> > I can see that being viable, and I can see it being ambiguous.
> 
> Looks to me like Hans's latest revision to N2171 (AKA D2300) covers
> this.  ...

Oops.  Sorry.  I have been concentrating on other tasks.  I will
read that with more care.

I think that we are agreed that there are dozens of viable solutions,
and arguments in favour of most of them.  I see the biggest danger
being a "committee compromise" on the basic model - it don't matter
for most of the API, but the model must be consistent.


Regards,
Nick Maclaren,
University of Cambridge Computing Service,
New Museums Site, Pembroke Street, Cambridge CB2 3QH, England.
Email:  nmm1 at cam.ac.uk
Tel.:  +44 1223 334761    Fax:  +44 1223 334679