Допустима ли Noop JVM в рамках модели памяти Java? ⇐ JAVA

[Anonymous]

Я пытаюсь понять главу «Модель памяти» из спецификации языка Java, но меня уже смущают первые два абзаца:
«Модель памяти описывает, учитывая Программа и трассировка выполнения этой программы, является ли трассировка выполнения допустимым выполнением программы. Модель памяти языка программирования Java работает, проверяя каждое чтение в трассировке выполнения и проверяя, что запись, наблюдаемая при этом чтении, действительна в соответствии с определенными критериями. правила.
Модель памяти описывает возможное поведение Реализация программы может создавать любой код при условии, что все последующие исполнения программы дают результат, который можно предсказать с помощью модели памяти».
Предположим, я реализую Noop JVM, которая производит пустое выполнение для любой программы. Когда модель памяти анализирует выполнения путем «исследования каждого чтения в трассировке выполнения», она, очевидно, должна прийти к выводу, что все выполнения действительны. Если чтений нет, то тривиально все чтения действительны по любым правилам, включая те «определенные правила», упомянутые в спецификации.
Означает ли это, что моя Noop JVM является совершенно допустимой реализация в соответствии с моделью памяти Java, или я что-то упускаю?

Подробнее здесь: https://stackoverflow.com/questions/792 ... mory-model