[gjadi]

That was an interesting read, thanks. However I fail to see how it's an issue specific to ocaml. It was a bug in the Skylake processor triggered by a special pattern of instructions produced by gcc. Ocaml built with clang was ok because it doesn't used the same pattern. Did I miss something?

[ackfoobar]

If the JVM encountered the same bug other people would have discovered it before me. Most probably I won't even know the bug exists.