Re: Packaging Java Pathfinder
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.
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.