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. Greetings, Stefan _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
