Разбираюсь с C++0x memory model. Нужно понять всё в деталях, чтобы корректно написать libref.

Working draft стандарта содержит очень сухие формулировки, которые трудно понять без пояснений. Вспомогательное чтение:

Hans Boehm, A Less Formal Explanation of the Proposed C++ Concurrency Memory Model (2006)

Clark Nelson, Hans-J. Boehm. Sequencing and the concurrency memory model (2006)

Clark Nelson, A finer-grained alternative to sequence points (2006)