Re: [isabelle-dev] [158c513a39f5] JVM crash

2017-08-20 Thread Manuel Eberl
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

Re: [isabelle-dev] [158c513a39f5] JVM crash

2017-08-20 Thread Manuel Eberl
Addendum: I did a system upgrade (including a major kernel upgrade) around the same time when I first noticed the problem and I don't think I rebooted afterwards, so one very plausible explanation is that Linux introduced some workarounds/bug fixes in the kernel within the last few weeks that

Re: [isabelle-dev] [158c513a39f5] JVM crash

2017-08-20 Thread Lars Hupel
> 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