[isabelle-dev] Max threads & Sledgehammer

Stefan Berghofer berghofe at in.tum.de
Mon Jan 7 19:03:04 CET 2013

Hi David,

On 01/07/2013 12:45 PM, David Matthews wrote:
> What does Thread.Thread.numProcessors() report?  That's the number that will be used for the GC threads.

It reports 24.

> I'm not inclined to put an arbitrary limit on the number of threads. There are certain parts of the GC process such as the sharing detection that can use as much parallelism as there is available.  Other parts seem to max out at only a few processors.  I'll bear this in mind.  The parallel GC is very new and we need some experience of how it works out in practice and whether it needs some tuning.

I agree. As long as I can work around the problem by setting --gcthreads to an appropriate value,
that's fine for me.


More information about the isabelle-dev mailing list