search

jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.
398 stars 31 forks source link

Is there a compatible OpenJDK version to play with knossos? #35

Closed danhaog closed 4 years ago

danhaog commented 4 years ago

Out of curious, I was trying to give the command at https://github.com/jepsen-io/knossos#quickly a try to see what happens. But it turns out be failed with multiple OpenJDK versions:

With OpenJDK 8.0

$ lein run data/cas-register/bad/bad-analysis.edn
Unrecognized VM option 'UnlockCommercialFeatures'
Error: Could not create the Java Virtual Machine.
Error: A fatal exception has occurred. Program will exit.

With OpenJDK 9.0.4:

$ lein run data/cas-register/bad/bad-analysis.edn
OpenJDK 64-Bit Server VM warning: Ignoring option UseFastAccessorMethods; support was removed in 9.0
Unrecognized VM option 'UnlockCommercialFeatures'
Error: Could not create the Java Virtual Machine.
Error: A fatal exception has occurred. Program will exit.

With JDK 10.0.2

$ lein run data/cas-register/bad/bad-analysis.edn
Unrecognized VM option 'UseParNewGC'
Error: Could not create the Java Virtual Machine.
Error: A fatal exception has occurred. Program will exit.

With JDK 11.0.6

$ lein run data/cas-register/bad/bad-analysis.edn
OpenJDK 64-Bit Server VM warning: Option UseConcMarkSweepGC was deprecated in version 9.0 and will likely be removed in a future release.
Unrecognized VM option 'UseParNewGC'
Error: Could not create the Java Virtual Machine.
Error: A fatal exception has occurred. Program will exit.

Any instruction about that?

aphyr commented 4 years ago

Oh! Sorry bout that—it should work just fine as a library with any OpenJDK as well; I use commercial features for profiling stuff. You can disable that by editing :jvm-opts in project.clj. :-)

—Kyle

On May 5, 2020, at 8:51 PM, danhaog notifications@github.com wrote:

 Out of curious, I was trying to give the command at https://github.com/jepsen-io/knossos#quickly a try to see what happens. But it turns out be failed with multiple OpenJDK versions:

With OpenJDK 8.0

$ lein run data/cas-register/bad/bad-analysis.edn Unrecognized VM option 'UnlockCommercialFeatures' Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program will exit. With OpenJDK 9.0.4:

$ lein run data/cas-register/bad/bad-analysis.edn OpenJDK 64-Bit Server VM warning: Ignoring option UseFastAccessorMethods; support was removed in 9.0 Unrecognized VM option 'UnlockCommercialFeatures' Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program will exit. With JDK 10.0.2

$ lein run data/cas-register/bad/bad-analysis.edn Unrecognized VM option 'UseParNewGC' Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program will exit. With JDK 11.0.6

$ lein run data/cas-register/bad/bad-analysis.edn OpenJDK 64-Bit Server VM warning: Option UseConcMarkSweepGC was deprecated in version 9.0 and will likely be removed in a future release. Unrecognized VM option 'UseParNewGC' Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program will exit. Any instruction about that?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.

danhaog commented 4 years ago

It works. Thank you for the quick reply! :-)