[isabelle-dev] [158c513a39f5] JVM crash

Manuel Eberl eberlm at in.tum.de
Sun Aug 20 14:14:27 CEST 2017

Okay I have no idea what is going on anymore.

I know have the following new data points:
– 2500 iterations on my Intel Core i7 laptop. No failures.

So it must be the Ryzen issue after all, I thought. I recalled that some
people said the problem was less pronounced with SMT disabled, so I
disabled it.
– 100 iterations on Ryzen 1800X after a reboot with SMT disabled. No
– 100 iterations on Ryzen 1800X after another reboot with SMT enabled
again. No failures.

So it seems the problem went away as mysteriously as it appeared and it
probably has something to do with the hardware or software constellation
on my computer. Or perhaps I should check my flat for radiation sources.



On 20/08/17 11:24, Lars Hupel wrote:
>> Lars, maybe you can run the same test on your machine and see what
>> happens there.
> I did, and nothing happened for about 100 iterations. I have a Core
> i7-2600. OS is otherwise identical to Manuel (Arch Linux).
>> As for Scala, could a problem in the Scala compiler really lead to the
>> JVM segfaulting? I would have thought if the JVM segfaults, that's a bug
>> in the JVM. (unless it's a hardware-related issue, of course)
> I've seen it happening, but it is very rare. Still, the coincidence of
> crashes during compilation could be explained by random chance (even if
> very unlikely). A quick look over Scala's issue tracker reveals no
> documented JVM segfaults after 2011.
> Cheers
> Lars

More information about the isabelle-dev mailing list