Tla-toolbox gives a fatal error when run


#1

I’m not entirely sure if I should be posting this here or on nixpkgs.

I’ve been trying to figure out how to fix the derviation for tlaplusToolbox in nixpkgs. It builds, but then spits out # A fatal error has been detected by the Java Runtime Environment: when run. I’m not a java guru, but the error report seems to be centered around java/io/FileNotFoundException, java/security/PrivilegedActionException and java/lang/UnsatisfiedLinkError. Any idea what java might be looking for?

The full error and a part of the logs are below:

# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007fe0dca127fe, pid=107276, tid=0x00007fe102d2e700
#
# JRE version: OpenJDK Runtime Environment (8.0_202) (build 1.8.0_202-ga)
# Java VM: OpenJDK 64-Bit Server VM (25.202-bga mixed mode linux-amd64 compressed oops)
# Problematic frame:
# C  [libpixbufloader-bmp.so+0x27fe]  gdk_pixbuf__bmp_image_load_increment+0xeee
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# An error report file with more information is saved as:
# /tmp/hs_err_pid107276.log
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
Internal exceptions (10 events):
Event: 0.097 Thread 0x00007fe0f000a800 Exception <a 'java/io/FileNotFoundException'> (0x00000000eb593530) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jni.cpp, line 710]
Event: 0.097 Thread 0x00007fe0f000a800 Exception <a 'java/io/FileNotFoundException'> (0x00000000eb5944f8) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jni.cpp, line 710]
Event: 0.108 Thread 0x00007fe0f000a800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000eb600fa8) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jvm.cpp, line 1502]
Event: 0.108 Thread 0x00007fe0f000a800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000eb6013a0) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jvm.cpp, line 1502]
Event: 0.109 Thread 0x00007fe0f000a800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000eb604560) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jvm.cpp, line 1502]
Event: 0.109 Thread 0x00007fe0f000a800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000eb604958) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jvm.cpp, line 1502]
Event: 0.109 Thread 0x00007fe0f000a800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000eb605b60) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jvm.cpp, line 1502]
Event: 0.109 Thread 0x00007fe0f000a800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000eb605f58) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jvm.cpp, line 1502]
Event: 0.116 Thread 0x00007fe0f000a800 Exception <a 'java/io/FileNotFoundException'> (0x00000000eb623640) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/jni.cpp, line 710]
Event: 0.120 Thread 0x00007fe0f000a800 Exception <a 'java/lang/UnsatisfiedLinkError': org.eclipse.equinox.launcher.JNIBridge._set_launcher_info(Ljava/lang/String;Ljava/lang/String;)V> (0x00000000eb665df8) thrown at [/build/jdk8u-jdk8u202-ga/hotspot/src/share/vm/prims/nativeLookup.cpp, line 378

#2

strace might help you to correlate the FileNotFoundException with the file that is not found. You
would look for open or stat or stat64 syscalls most likely in that case.