да я знаю, что будет :-)

вопрос лишь в том, в каком пункте спека это отражено.

кэш пофиг. с точки зрения упорядоченности доступа к памяти когерентный кеш неотличи от самой памяти, про него можно забыть.

> что он выполняется на тупом CPU без всяких кэшей и прочих наворотов

угу. тупой ЦПУ для тупого программиста.