Das Java Memory Model ist kaputt und auf einigen Intel Architekturen nicht implementierbar, aber wie gesagt, es gibt zumindest etwas.)
Wieso das? Und welche Intel-Architekturen meinst du?
Ich hab mich in den letzten Monaten im Zuge meiner Diplomarbeit recht intensiv damit beschäftigt, und mir ist jetzt nichts bewusst, was auf Intel wirklich ein Problem wäre. Und das JMM ist beeindruckend gut durchdacht (da haben sich ja auch ziemlich viele Leute ziemlich lang den Kopf darüber zerbrochen…). In Bezug auf die Zulässigkeit mancher Compilertransformationen herrscht nicht 100% Einigkeit bzw. Zufriedenheit, aber sonst ist das JMM ein Meisterstück ;).
Die einzige Mainstream-Architektur, auf der es wirklich schwierig zu implementieren ist, ist Alpha; und die ist am Aussterben.