[isabelle-dev] Max threads & Sledgehammer
berghofe at in.tum.de
Mon Jan 7 18:49:10 CET 2013
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