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.
pgprSJoKJeTDT.pgp
Description: PGP signature
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
