[isabelle-dev] [158c513a39f5] JVM crash

[Makarius]

On 19/08/17 20:31, Manuel Eberl wrote:
>> If you still have that, can you send it to me?
> 
> Sure.
> 
>> Since the JVM crash happened during scalac compilation, I recommend to
>> enforce a fresh build, e.g. like this:

The log says "java_command: isabelle.Isabelle_Tool build -b
HOL-Analysis" so this was really the "isabelle build", after scalac
compilation was finished.

Reading the tea leaves further, I see the following potential reasons of
the crash:

  * jdk-8u144 (see Isabelle/98afae4308f5)

  * scala-2.12.3 (see Isabelle/96ad7d5ff613)

  * hardware: AMD Ryzen 7 1800X Eight-Core Processor

I've seen occasional press articles discussing problems of AMD Ryzen,
e.g.
https://www.phoronix.com/scan.php?page=news_item&px=Ryzen-Compiler-Issues


	Makarius