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

Francesco Zappa Nardelli francesco.zappa_nardelli at inria.fr
Fri Jan 16 20:38:20 UTC 2015

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.


More information about the jmm-dev mailing list