Eric Marsden wrote: ...
> wb> In 18e, using purify fails on our application Ditto in 2003_12. > wb> Ditto in 2004_04. The failure mode is a core dump. The heap size > wb> is around 53Mbyte. > > from your transcript, it looks like you are loading 3 foreign object > files using EXT:LOAD-FOREIGN. You should not expect these objects to > be reloaded correctly when restarting a dumped core, and the > symptoms could indeed be a core dump. I currently arrange for a restart action to reload the foreign code -- it is only a handful of tiny c functions. I just built my application without the foreign code (it doesn't use it until run time) and the result was the same core dump during purify. The gdb transcript was cleaned up a bit. See attachment. -bill- > > > Assuming that these are shared libraries, could you try using > SYS::LOAD-OBJECT-FILE instead of LOAD-FOREIGN, and say > > (pushnew 'sys::reinitialize-global-table ext:*after-save-initializations*) > > before saving your lisp. This only has a chance of working in the > 2004-04 snapshot, otherwise you can try the code in > http://article.gmane.org/gmane.lisp.cmucl.general/2401 > > -- Attached file included as plaintext by Listar -- -- File: 2004_04_20-2-session.text gdb /org/develop/reasoning/lisp/cmucl/ss2004-04-20/bin/lisp core GNU gdb 5.0 Copyright 2000 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details. This GDB was configured as "sparc-sun-solaris2.4"... Core was generated by `/org/develop/reasoning/lisp/cmucl/ss2004-04-20/bin/lisp -batch -dynamic-space-s'. Program terminated with signal 11, Segmentation Fault. Reading symbols from /usr/lib/libsocket.so.1...done. Loaded symbols for /usr/lib/libsocket.so.1 Reading symbols from /usr/lib/libnsl.so.1...done. Loaded symbols for /usr/lib/libnsl.so.1 Reading symbols from /usr/lib/libdl.so.1...done. Loaded symbols for /usr/lib/libdl.so.1 Reading symbols from /usr/lib/libm.so.1...done. Loaded symbols for /usr/lib/libm.so.1 Reading symbols from /usr/lib/libc.so.1...done. Loaded symbols for /usr/lib/libc.so.1 Reading symbols from /usr/lib/libmp.so.2...done. Loaded symbols for /usr/lib/libmp.so.2 Reading symbols from /usr/platform/SUNW,Ultra-4/lib/libc_psr.so.1...done. Loaded symbols for /usr/platform/SUNW,Ultra-4/lib/libc_psr.so.1 #0 pscav (addr=0x2800000b, nwords=0, constant=687057056) at ../../src/lisp/purify.c:1168 1168 ../../src/lisp/purify.c: No such file or directory. (gdb) q otwb-dev bbrew 145>
