о моделях памяти, опять же о консистентности памяти в мультипроцессорных архитектурах мне давно хотелось тут написать, но не подбирались слова. Пожалуй, всё дело в том, что я не достаточно хорошо понимаю и чувствую эту область, чтобы внятно что-то излагать (хотя достаточно хорошо, чтобы принимать в ней кой-какие решения, которые я до сих пор считаю правильными). Ознакомление с ней по всяким процессорным документациям дает обманчивое ощущение понимания этой темы, но... пожалуй, для понимания этого мало.
Одна очень краткая, но ёмкая работа по теме (не уверен, что её можно понять с наскоку, хотя текст вполне внятен) - это -
"Shared Memory Consistency Models:A Tutorial" от старого 95-го года. Её автор Kourosh Gharachorloo - большая шишка сейчас в Google. Курош написал этот tutorial по мотивам своей же диссертации на ту же тему, которая мне недавно попалась под руку:
http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-95-9.pdfНесмотря на давность работы, она, видимо, более чем актуальна. Курош - один из ведущих спецов в этой области, после написания своей диссертации он участвовал в разработке (версий) процессора Alpha, знаменитого своей неупорядоченностью доступа к памяти.