[isabelle-dev] Max threads & Sledgehammer
makarius at sketis.net
Mon Jan 7 22:53:47 CET 2013
On Mon, 7 Jan 2013, Stefan Berghofer wrote:
> I agree. As long as I can work around the problem by setting --gcthreads
> to an appropriate value, that's fine for me.
I would not call it "problem" nor "workaround". Current hardware has a
bit too many "options", and it is difficult to figure out system
parameters that work almost everywhere for almost everybody.
For the Isabelle release I try to make the usual standard laptop or
desktop configuration work out of the box as best as possible -- I have
already downgraded thread stack size for the JVM to accomodate more
threads by default.
As usual, any reports about incidents help to figure out where default
options need further refinement towards a convex closure somewhere in the
More information about the isabelle-dev