[isabelle-dev] Max threads & Sledgehammer

Stefan Berghofer berghofe at in.tum.de
Mon Jan 7 18:49:10 CET 2013

Hi David,

On 01/07/2013 12:31 PM, David Matthews wrote:
> Is there a limit on the number of threads per process in Linux?  I haven't been able to find anything about it.

Neither have I.

> You could certainly hit limits on memory for stacks with a large number of threads particularly if the default stack size is large.  What does "ulimit -s" say?  You could try setting that smaller.

"ulimit -s" says 102400

> By default without the --gcthreads option Poly/ML 5.5 creates one garbage collection thread for each processor.  That's probably more than are useful if you have 24 processors so -gcthreads 4 or 8 might well be a sensible setting.

Thanks for the explanation. --gcthreads 4 worked fine for me.


More information about the isabelle-dev mailing list