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

[Boehm, Hans]

Here are the latest revisions of:

The D2300 memory model.  I sort of followed Lawrence's semi-suggestion
and included sc stores (not loads) with RMW operations in defining
synchronizes with.  I also cleaned up the discussion of race-free
executions in a way that I think is necessary, but may require Clark to
clean up after my standardese again.

Some text (mm_rules) to be included in the atomics proposal to explain
how it meshes with the memory model.

The sequential consistency proof updated to reflect the memory model
revisions, and hopefully fixing some other issues.

Further bug reports would be appreciated.  The C++ paper deadline is
officially tomorrow.

Hans
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.decadentplace.org.uk/pipermail/cpp-threads/attachments/20070622/bf95e8e7/D2300-0001.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mm_rules
Type: application/octet-stream
Size: 3869 bytes
Desc: mm_rules
Url : http://www.decadentplace.org.uk/pipermail/cpp-threads/attachments/20070622/bf95e8e7/mm_rules-0001.obj
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.decadentplace.org.uk/pipermail/cpp-threads/attachments/20070622/bf95e8e7/seq_con-0001.html