On Jul 30 at 14:38 +0100, David Matthews wrote:
Timothy Bourke wrote:
I found that the final polyimport -H 10 polytemp.txt kept crashing with a segmentation fault. It seems that PTHREAD_STACK_MIN is not enough space on FreeBSD 6.3. Adding 100 (found by trial and error) fixes the problem as per the attached patch.
Thanks for reporting this. I've installed FreeBSD 6.3 in an emulator and tested Poly/ML. It seems that PTHREAD_STACK_MIN is only 2k on FreeBSD whereas it is 16k on Linux. I've added a test for when it's less than 4k so that there is at least 4k for the stack. The idea was to try and use a smallish stack for this thread because it only calls a single function but there's no need to shave the stack space to an absolute minimum. It's likely to be rounded up to a page boundary anyway.
I also fixed a few other things so that it compiles on FreeBSD without any other changes.
I submitted an update of the FreeBSD Poly/ML port to 5.2 recently: http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/126068
Thanks to your efforts, it's very easy to maintain.
Best regards,
Tim.