[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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.

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

Reply to: