Ответ 1
-
Модель памяти была разработана для С++ 11 и принята C11. Лоуренс Кроул много сделал для того, чтобы интерфейс для атомных операций был как можно ближе. Было немало вовлеченных людей, но вы правы, что Ганс Бем был одним из них.
-
В настоящее время GCC (4.7) реализует разумную аппроксимацию модели памяти. Конечно, достаточно близко, что большинство программ не смогут отличить друг от друга. Я уверен, что полное соответствие находится в их плане, но не знаю расписания, поскольку я не участвую.