[Gcl-devel] Re: more on Mac sgc/save problem

[Aurelien Chanudet]

Hi,

[ As you perhaps remember from previous mails, gdb on
Mac OS X does not correctly interfer with segmentation
faults, which makes SGC debugging a real pain.
Therefore, I'll probably try to spend some time
debugging gdb itself before looking at this GCL bug. ]

Camm, is it normal that the state of memory does not
exactly reflect the state of sgc_type_map ? As can be
seen from the output below (addr size 0 or 1 where 0
means not writable and 1 means writable) some pages
appear to be not writable while sgc_type_map indicates
that they should (see page starting at address
20582400 for instance).

Thanks,
Aurelien

; 2818048 = DBEGIN, etc.
; state of memory    sgc_type_map prot
(2818048 4096 1) (2818048 4096 1) 
(2822144 4096 1) (2822144 4096 1) 
(2830336 4096 0) (2830336 4096 0) 
(2834432 8192 0) (2834432 8192 0) 
(2842624 4096 1) (2842624 4096 1) 
(2846720 4096 0) (2846720 4096 0) 
(2850816 28672 0) (2850816 28672 0) 
(2879488 4096 1) (2879488 4096 1) 
(2891776 12288 0) (2891776 12288 0) 
(2904064 4096 1) (2904064 4096 1) 
(2912256 4096 0) (2912256 4096 0) 
(2899968 4096 0) (2899968 4096 0) 
(2904064 8192 1) (2904064 8192 1) 
(2912256 4096 0) (2912256 4096 0) 
(2916352 114688 1) (2916352 114688 1) 
(3031040 3375104 0) (3031040 3375104 0) 
(6406144 4096 0) (6406144 4096 0) 
(6410240 28672 0) (6410240 28672 0) 
(6438912 4096 1) (6438912 4096 1) 
(6443008 4096 1) (6443008 4096 1) 
(6447104 28672 0) (6447104 28672 0) 
(6475776 102400 1) (6475776 102400 1) 
(6578176 12288 1) (6578176 12288 1) 
(6590464 8192 1) (6590464 8192 1) 
(6598656 12288 1) (6598656 12288 1) 
(6610944 12288 0) (6610944 12288 0) 
(6623232 8192 1) (6623232 8192 1) 
(6631424 94208 0) (6631424 94208 0) 
(6725632 4096 0) (6725632 4096 0) 
(6729728 28672 0) (6729728 28672 0) 
(6758400 12288 1) (6758400 12288 1) 
(6770688 479232 0) (6770688 479232 0) 
(7249920 4096 0) (7249920 4096 0) 
(7254016 8192 0) (7254016 8192 0) 
(7262208 4096 0) (7262208 4096 0) 
(7266304 4096 0) (7266304 4096 0) 
(7270400 4096 0) (7270400 4096 0) 
(7274496 4096 0) (7274496 4096 0) 
(7278592 4096 0) (7278592 4096 0) 
(7282688 4096 0) (7282688 4096 0) 
(7344128 4096 0) (7344128 4096 0) 
(7348224 4096 1) (7348224 4096 1) 
(7356416 4096 0) (7356416 4096 0) 
(7299072 4096 1) (7299072 4096 1) 
(7303168 4096 0) (7303168 4096 0) 
(7307264 4096 1) (7307264 4096 1) 
(7385088 4096 0) (7385088 4096 0) 
(7389184 4096 1) (7389184 4096 1) 
(7393280 16384 0) (7393280 16384 0) 
(7409664 4096 1) (7409664 4096 1) 
(7417856 4096 0) (7417856 4096 0) 
(7421952 4096 1) (7421952 4096 1) 
(7426048 8192 1) (7426048 8192 1) 
(7434240 4096 1) (7434240 4096 1) 
(7438336 16384 1) (7438336 16384 1) 
(7454720 12288 1) (7454720 12288 1) 
(7467008 4096 1) (7467008 4096 1) 
(7471104 16384 1) (7471104 16384 1) 
(7487488 8192 1) (7487488 8192 1) 
(7495680 4096 1) (7495680 4096 1) 
(7499776 10285056 1) (7499776 10285056 1) 
(17784832 4096 0) (17784832 4096 0) 
(17788928 73728 1) (17788928 73728 1) 
(17862656 4096 1) (17862656 4096 1) 
(17866752 532480 1) (17866752 532480 1) 
(18399232 4096 0) (18399232 4096 0) 
(18403328 73728 1) (18403328 73728 1) 
(18477056 4096 1) (18477056 4096 1) 
(18481152 28672 1) (18481152 28672 1) 
(18509824 4096 0) (18509824 4096 0) 
(18513920 73728 1) (18513920 73728 1) 
(18587648 4096 1) (18587648 4096 1) 
(18591744 409600 1) (18591744 409600 1) 
(19001344 28672 0) (19001344 28672 0) 
(19030016 8192 1) (19030016 8192 1) 
(19038208 40960 0) (19038208 40960 0) 
(19079168 8192 0) (19079168 8192 0) 
(19087360 4096 1) (19087360 4096 1) 
(19091456 16384 0) (19091456 16384 0) 
(19107840 8192 0) (19107840 8192 0) 
(19116032 4096 0) (19116032 4096 0) 
(19120128 4096 1) (19120128 4096 1) 
(19124224 40960 0) (19124224 40960 0) 
(19165184 4096 0) (19165184 4096 0) 
(19169280 28672 0) (19169280 28672 0) 
(19197952 4096 0) (19197952 4096 0) 
(19202048 40960 0) (19202048 40960 0) 
(19243008 4096 1) (19243008 4096 1) 
(19247104 73728 0) (19247104 73728 0) 
(19320832 4096 0) (19320832 4096 0) 
(19324928 98304 0) (19324928 98304 0) 
(19423232 4096 1) (19423232 4096 1) 
(19427328 8192 0) (19427328 8192 0) 
(19435520 8192 1) (19435520 8192 1) 
(19443712 8192 0) (19443712 8192 0) 
(19451904 49152 1) (19451904 49152 1) 
(19501056 4096 1) (19501056 4096 1) 
(19505152 8192 1) (19505152 8192 1) 
(19513344 4096 1) (19513344 4096 1) 
(19517440 4096 0) (19517440 4096 0) 
(19521536 8192 1) (19521536 8192 1) 
(19529728 8192 1) (19529728 8192 1) 
(19537920 4096 0) (19537920 4096 0) 
(19542016 53248 1) (19542016 53248 1) 
(19595264 4096 0) (19595264 4096 0) 
(19599360 16384 1) (19599360 16384 1) 
(19615744 4096 1) (19615744 4096 1) 
(19619840 32768 1) (19619840 32768 1) 
(19652608 4096 0) (19652608 4096 0) 
(19656704 8192 1) (19656704 8192 1) 
(19664896 4096 0) (19664896 4096 0) 
(19668992 4096 1) (19668992 4096 1) 
(19673088 4096 1) (19673088 4096 1) 
(19677184 53248 1) (19677184 53248 1) 
(19730432 4096 1) (19730432 4096 1) 
(19734528 8192 1) (19734528 8192 1) 
(19742720 4096 1) (19742720 4096 1) 
(19746816 36864 1) (19746816 36864 1) 
(19783680 12288 0) (19783680 12288 0) 
(19795968 4096 1) (19795968 4096 1) 
(19800064 28672 0) (19800064 28672 0) 
(19828736 4096 1) (19828736 4096 1) 
(19832832 24576 0) (19832832 24576 0) 
(19857408 4096 1) (19857408 4096 1) 
(19861504 12288 0) (19861504 12288 0) 
(19873792 4096 0) (19873792 4096 0) 
(19877888 12288 0) (19877888 12288 0) 
(19890176 4096 1) (19890176 4096 1) 
(19894272 12288 0) (19894272 12288 0) 
(19906560 4096 0) (19906560 4096 0) 
(19910656 8192 0) (19910656 8192 0) 
(19918848 4096 1) (19918848 4096 1) 
(19922944 12288 0) (19922944 12288 0) 
(19935232 4096 0) (19935232 4096 0) 
(19939328 12288 0) (19939328 12288 0) 
(19951616 4096 1) (19951616 4096 1) 
(19955712 12288 0) (19955712 12288 0) 
(19968000 4096 0) (19968000 4096 0) 
(19972096 8192 0) (19972096 8192 0) 
(19980288 4096 1) (19980288 4096 1) 
(19984384 12288 0) (19984384 12288 0) 
(19996672 4096 0) (19996672 4096 0) 
(20000768 16384 0) (20000768 16384 0) 
(20017152 4096 1) (20017152 4096 1) 
(20021248 8192 0) (20021248 8192 0) 
(20029440 4096 0) (20029440 4096 0) 
(20033536 20480 0) (20033536 20480 0) 
(19976192 4096 0) (19976192 4096 0) 
(19980288 4096 1) (19980288 4096 1) 
(19984384 20480 0) (19984384 20480 0) 
(20004864 4096 0) (20004864 4096 0) 
(20008960 8192 0) (20008960 8192 0) 
(20017152 4096 1) (20017152 4096 1) 
(20021248 32768 0) (20021248 32768 0) 
(20054016 4096 1) (20054016 4096 1) 
(20058112 24576 0) (20058112 24576 0) 
(20082688 4096 1) (20082688 4096 1) 
(20086784 81920 0) (20086784 81920 0) 
(20168704 4096 0) (20168704 4096 0) 
(20172800 73728 0) (20172800 73728 0) 
(20324352 4096 0) (20246528 4096 1) 
(20328448 4096 1) (20250624 4096 0) 
(20332544 16384 0) (20254720 16384 0) 
(20348928 4096 1) (20271104 4096 0) 
(20377600 32768 0) (20275200 32768 0) 
(20410368 8192 1) (20307968 8192 0) 
(20570112 12288 0) (20316160 12288 0) 
(20582400 4096 0) (20328448 4096 1) 
(20586496 16384 0) (20332544 16384 0) 
(20602880 28672 0) (20348928 28672 1) 
(20631552 32768 0) (20377600 32768 0) 
(20664320 159744 0) (20410368 159744 1) 
(20824064 53215232 0) (20570112 53215232 0) 
(74039296 4096 1) (73785344 4096 0) 
(74043392 249856 0) (73789440 249856 0) 
(74293248 4096 0) (74039296 4096 1) 
(74297344 96264192 0) (74043392 96264192 0) 
(170561536 369127424 1) (170307584 369127424 0) 


> Here is an Nqthm-free and hence probably
> easier-to-work-on example of the
> problem of a GCL saved on a Mac with sgc on.
> 
> As before, build a saved image on a Mac from GCL
> with the two commands:
> 
>   (si::sgc-on t)
>   (si::save-system "foo")
> 
> Then do
> 
>   ./foo
>   (compile-file "bar.lisp")
> 
> where bar.lisp is the file described below.  The
> error you then get is
> 
>    Compiling bar.lisp.
>    End of Pass 1.  
>    ; NIL is being compiled.
>    ;; Warning: A form or constant:
>     #<FREE OBJECT 00c5efcc> 
>    has changed during the eval compile procedure!.
>      The changed form will be the one put in the
> compiled file
>    ;; Warning: A form or constant:
>    ...
> 
> I strongly suspect that this bug has absolutely
> nothing to do with the
> compiler.  I believe it is simply the case that the
> compiler finally runs
> into the memory problem created by saving with sgc
> on.
> 
> Here is a description of the file bar.lisp
> 
>    (defun bar1 (x) x)
>    (defun bar2 (x) x)
>    (defun bar3 (x) x)
>    ...
>    (defun bar3002 (x) x)
>    (defun bar3003 (x) x)
> 
> I found that going up merely to bar1000 was not
> enough to cause the problem.
> I'll be happy to send you the full file bar.lisp if
> you would like it!
> 
> Bob
>  


        

        
                
Vous manquez d’espace pour stocker vos mails ? 
Yahoo! Mail vous offre GRATUITEMENT 100 Mo !
Créez votre Yahoo! Mail sur http://fr.benefits.yahoo.com/

Le nouveau Yahoo! Messenger est arrivé ! Découvrez toutes les nouveautés pour 
dialoguer instantanément avec vos amis. A télécharger gratuitement sur 
http://fr.messenger.yahoo.com