[cpp-threads] N2052 sequencing revisions & examples (moderately long)

[Jeremy Manson]

Hans Boehm wrote:
> [Superficial] Should we get rid of "synchronizes with" and just
> directly integrate it into happens-before?

We added it because we had to do discuss things like "sufficient 
synchronizes-with".  If you don't have a clear reason for it, you 
shouldn't need to keep it.

Having said that, it is a reasonably useful thing to use when explaining 
how happens-before works.

					Jeremy