On Sunday, December 30, 2012 3:05:52 AM UTC, Dima Pasechnik wrote: > GAP uses mmap to get/extend memory. > On Linux, mmap has a MAP_NORESERVE parameter which tells the kernel > whether or not to reserve the swap. > Granted, if MAP_NORESERVE is set then one can get > a segfault - but segfaults can be caught with longjumps. >
Well not quite, you need to install a SIGSEGV handler (Sage already has one). This would be a huge headache for libGAP, the signal handler would then have to figure out if the segfault is because GAP is running out of workspace (and run a GAP garbage collection cycle) or if the segfault is due to a bug somewhere else (and print a stack backtrace). -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
