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

[Camm Maguire]

Greetings, and thanks for looking into this, Aurelien!

Aurelien Chanudet <address@hidden> writes:

> 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).

This looks like a bug.  I expect the typemap to exactly match the
actual protections.  Please keep in mind that there is a TEMP and PERM
writable setting.

Please let me know if you can pinpoint where one is being set without
the other.  If you get stuck, I can try to find some time to help as
well.

Take care,

> 
> 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
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah