On Thu, Oct 13, 2005 at 09:50:32AM -0400, Camm Maguire wrote: > > Well, does the error appear in the same place all the time when it > does occur?
So far it seems to always have failed at books/textbook/chap11/xtr2.lisp > The error in the log you posted is here: > > SGC for 0 RELOCATABLE-BLOCKS pages..(66907 writable).. > Unrecoverable error: Pages out of range in make_writable. That seems to be way up in the build log, and isn't exactly what I was expecting where to look for the problem. > If so, one should b able to reproduce with > > cd books/rtl/rel4/support/ > > make top.cert $ make top.cert Making /usr/src/acl2-2.9.3/books/rtl/rel4/support/top.cert on Thu Oct 13 20:24:36 CEST 2005 /bin/sh: line 1: 15372 Aborted ../../../../saved_acl2 <workxxx.top >top.out make: *** [top.cert] Error 134 > cat top.out Stops with: Loading /usr/src/acl2-2.9.3/books/rtl/rel4/support/top1.o start address -T 0x4927c30 Finished loading /usr/src/acl2-2.9.3/books/rtl/rel4/support/top1.o Loading /usr/src/acl2-2.9.3/books/rtl/rel4/support/bits-extra.o start address -T 0x4927c90 Finished loading /usr/src/acl2-2.9.3/books/rtl/rel4/support/bits-extra.o [SGC for 0 RELOCATABLE-BLOCKS pages..(75869 writable).. Unrecoverable error: Pages out of range in make_writable. > You might want to try again with gcl 2.6.7-10 -- I made a small 64bit > adjustment which could possibly address this. This was with 2.6.7-10, so that doesn't seem to have any effect on it. I retried with your procedure from before, and that doesn't seem to have helped, I get: Making /usr/src/acl2-2.9.3/books/rtl/rel4/support/top.cert on Thu Oct 13 20:32:57 CEST 2005 /bin/sh: line 1: 27241 Aborted ../../../../saved_acl2 <workxxx.top >top.out make: *** [top.cert] Error 134 And top.out shows: Loading /usr/src/acl2-2.9.3/books/rtl/rel4/support/bits-extra.o start address -T 0x4927c90 Finished loading /usr/src/acl2-2.9.3/books/rtl/rel4/support/bits-extra.o [SGC for 0 RELOCATABLE-BLOCKS pages..(75828 writable).. Unrecoverable error: Pages out of range in make_writable. The numbers always seems to be change, but the result is the same. I guess garbage collection happens at certain time intervals, which would explain the different numbers? I still suspect this is some kind of race condition, and that only seems to hint more into that direction. Kurt -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
