JavaPathfinder v7.0 (rev 1200 and later) crashes on Ubuntu 12.4.4 with Java 1.7.0

Franz Weitl

unread,

Sep 29, 2014, 3:44:23 AM9/29/14

to java-pa...@googlegroups.com

Hi,

when I execute the HelloWorld example of JPF or other SUTs with JPF rev 1200 or later on Ubuntu 12.4.4 with Java 1.7.0_25-b15, I get the JPF exception below. Rev 1199 works still fine. On Windows 7 and Java 1.7.0_45-b18 there are no problems with revisions 1200 and later.

Thank you for your kind assistance.

Best Regards

Franz

> bin/jpf src/examples/HelloWorld.jpf

JavaPathfinder v7.0 (rev 1200) - (C) RIACS/NASA Ames Research Center

====================================================== system under test

HelloWorld.main()

====================================================== search started: 9/29/14 3:32 PM

[SEVERE] JPF exception, terminating: exception in native method sun.misc.Hashing.randomHashSeed

java.lang.invoke.WrongMethodTypeException: (Ljava/lang/Object;)I cannot be called as (Ljava/lang/Integer;)Ljava/lang/Integer;

at gov.nasa.jpf.vm.JPF_sun_misc_Hashing.randomHashSeed__Ljava_lang_Object_2__I(JPF_sun_misc_Hashing.java:91)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

at java.lang.reflect.Method.invoke(Method.java:606)

at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)

at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:71)

at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1888)

at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1846)

at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:733)

at gov.nasa.jpf.vm.VM.forward(VM.java:1710)

at gov.nasa.jpf.search.Search.forward(Search.java:580)

at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)

at gov.nasa.jpf.JPF.run(JPF.java:613)

at gov.nasa.jpf.JPF.start(JPF.java:190)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

at java.lang.reflect.Method.invoke(Method.java:606)

at gov.nasa.jpf.tool.Run.call(Run.java:81)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:117)

---------------------- JPF error stack trace ---------------------

gov.nasa.jpf.JPFNativePeerException: exception in native method sun.misc.Hashing.randomHashSeed

at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:178)

at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:71)

at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1888)

at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1846)

at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:733)

at gov.nasa.jpf.vm.VM.forward(VM.java:1710)

at gov.nasa.jpf.search.Search.forward(Search.java:580)

at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)

at gov.nasa.jpf.JPF.run(JPF.java:613)

at gov.nasa.jpf.JPF.start(JPF.java:190)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

at java.lang.reflect.Method.invoke(Method.java:606)

at gov.nasa.jpf.tool.Run.call(Run.java:81)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:117)

Caused by: java.lang.invoke.WrongMethodTypeException: (Ljava/lang/Object;)I cannot be called as (Ljava/lang/Integer;)Ljava/lang/Integer;

at gov.nasa.jpf.vm.JPF_sun_misc_Hashing.randomHashSeed__Ljava_lang_Object_2__I(JPF_sun_misc_Hashing.java:91)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

at java.lang.reflect.Method.invoke(Method.java:606)

at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)

... 15 more

PETER C MEHLITZ

unread,

Sep 29, 2014, 1:22:27 PM9/29/14

to java-pa...@googlegroups.com

this is due to a change in the java.lang.invoke.MethodHandle.invokeExact() semantics. Either update to the most recent Java 7 or change invokeExact() -> invoke() in the Hashing peer until we can submit the patch.
The Hashing peer is going to be obsolete anyways once we move to Java 8

-- Peter

Franz Weitl

unread,

Sep 30, 2014, 10:43:48 PM9/30/14

to java-pa...@googlegroups.com

Hi Peter,

thank you for your help. Updating Java from 1.7.0_25-b15 to 1.7.0_67-b01 actually solved the problem.

JavaPathfinder v7.0 (rev 1200 and later) crashes on Ubuntu 12.4.4 with Java 1.7.0_25-b15

Franz Weitl

PETER C MEHLITZ

Franz Weitl