Простите, но очень сильно складывается ощущение, что вы пишете в духе "не читал, но осуждаю".
Скорее всего, вы не понимаете суть вопроса, а имеете лишь поверхностное знание о спекулятивном выполнении.
Модель памяти как раз и нужна, для того, чтобы понять "что имеет право, а что не имеет право" делать компилятор/железо.
Почему? Лично у меня многоядерный ПЛК производства ОВЕН. Буду ли я на нём заниматься непотребством? Вряд ли.
Но знать какие гарантии даёт платформа при обращении к одной и той же области памяти в целом полезно. Как без этого программировать?
Посмотрите, capzap прекрасный вопрос задал. MM как раз и позволяет отвечать на такого сорта вопросы. Вот, только складывается ощущение, что MM нигде не зафиксировано. Т.е. на уровне "интуиции" и plug&pray.





Ответить с цитированием