Le 23/10/2015 05:53, Marko Dimjašević a écrit : > I would like to package JPF and I have a basic question. Given that JPF > is a JVM implemented in Java, would it be OK to package JPF such that it > is compiled with GCJ? Otherwise running a Java program in a JVM > implemented in a JVM is a huge resource penalty.
Hi Marko, Is the performance that critical for a verification tool? The Hotspot JIT is rather good nowadays, are you sure using GCJ will significantly improve the performances? This looks a bit like premature optimization to me, but feel free to experiment. Emmanuel Bourg
