[jmm-dev] easily observable examples of non-sc behaviours in Java

[Francesco Zappa Nardelli]

Dear all

thanks for your replies and suggestions: I have definitely enough material for my class.

Btw, I wasn’t aware of jcstress (cool tool!): is there a paper or doc that describes the techniques used to stress the compiler/vm to increase the chance that the interesting optimisations fire?  Observing interesting behaviours is already tricky at the hardware level (e.g. the litmus tool makes a lot of memory noise before running the litmus tests), and I was wondering how to do the same at the language level.

-francesco