[cpp-threads] Somewhat relevant technical report

[Boehm, Hans]

Clark -

Thanks.

FWIW, I made a partial pass through the strawman proposal at
http://www.hpl.hp.com/personal/Hans_Boehm/c++mm/mm.html  just before the
holidays.  It is now phrased in terms of an "occurs before" relation on
actions within a thread, which essentially replaces sequences points.

I think you made the observation that sequence points seem to be used
selectively in the current standard anyway, with other terminology in
other places.  And I still think that "sequence point" is a misnomer,
since it is really trying to define a partial order, not program points.
Thus this seems to me to be the cleanest way to get a solid foundation
under all of this, probably with few text changes to the standard.  If
nobody objects too loudly here, we'll see how the committee feels about
it in Berlin.

Hans

> -----Original Message-----
> From: cpp-threads-bounces at decadentplace.org.uk 
> [mailto:cpp-threads-bounces at decadentplace.org.uk] On Behalf 
> Of Nelson, Clark
> Sent: Wednesday, January 04, 2006 11:09 AM
> To: C++ threads standardisation
> Subject: RE: [cpp-threads] Somewhat relevant technical report
> 
> 
> [Now that I've returned from vacation....]
> 
> > In the slightly longer term, I'm not very confident that I
> > can draft the
> > appropriate standardese without substantial help.  Will you 
> > have time to
> > help with that?  Are there other standardese experts on 
> this list who
> > can help with beating the text into shape?
> 
> It has always been my intention to help with the drafting of 
> the standardese. But as Herb points out, we have to get 
> agreement in principle on the content before there's much 
> point in working on the form.
> 
> One of the most interesting questions to address in Berlin 
> will be what to do with the term/concept "sequence point". It 
> may be that the concept we need to be able to use going 
> forward will differ so much from what is currently called 
> "sequence point" that it would be more confusing than not to 
> try to continue to use the term.
> 
> -- 
> Clark Nelson		Vice chair, J16 (ANSI C++ standard committee)
> Intel Corporation
> clark.nelson at intel.com
> 
> -- 
> cpp-threads mailing list
> cpp-threads at decadentplace.org.uk 
> http://www.decadentplace.org.uk/cgi-bin/mailman/listinfo/cpp-threads
>