Реализация reference counting на atomic'ах C++, с объяснением выбора memory_order_*.

Herb Sutter о race-free программах по построению.

Доказательство, что корректные программы с простыми мьютексами и атомарными переменными работают правильно (т.е. так, как ожидается - просто и понятно)

Разбираюсь с 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)