[Gcl-devel] Re: problem with si::save-system on Mac

[Camm Maguire]

Greetings!  The following configure settings appear to fix the
problem:

--disable-statsysbfd --disable-locbfd --enable-custreloc

I am going to default to custreloc for the Mac in CVS head.

Aurelien, something is broken in the mach-o bfd support.  Briefly, the
reexec in init_darwin_done_compat fires up an executable which dies
with a memory access permission fault:

Breakpoint 1, build_symbol_table_bfd () at sfasli.c:36
36        bfd_init();
(gdb) n
37        if (!(bself=bfd_openr(kcl_self,0)))
(gdb) 
39        if (!bfd_check_format(bself,bfd_object))
(gdb) 
43        if (!(link_info.hash = bfd_link_hash_table_create (bself)))
(gdb) 

Program received signal EXC_BAD_ACCESS, Could not access memory.
0x00000000 in ?? ()
(gdb) r

I've noticed that there are mach-o files in upstream binutils, at
least recently.  I've moved CVS head to binutils 2.16.  Did your stuff
get accepted into binutils proper, or are these files something else?
mach-o-reloc.c appears gone or unbuilt, leaving the two mach_o
routines we need in sfaslbfd.c (bfd_mach_o_craft_fp_branch_islands and
bfd_mach_o_inject_fp_branch_islands) undefined.  Can you update your
mach-o support to work with the binutils in CVS head if it is not
already supported in some other way, in which case can you please
advise what to do about the missing functions?  Also, we still have an
outstanding issue when trying to configure with expanded maxpage
settings, as well as the SGC support.  Any progress here?

Take care,

Robert Boyer <address@hidden> writes:

> Camm,
> 
> Has anyone had luck with saved images built on the Mac for GCL 2.6.7?
> 
> Below is illustrated the simplest of saves, but execution of the saved
> image fails with
> 
>   Bus error
> 
> This takes place on the machine hons, into which I believe you can log in.
> 
> Thanks so much,
> 
> Bob
> 
> ----------------------------------------------------------------------
> 
> 
> [hons:~/a/acl2-2.9.3/acl2-sources] boyer% /Users/boyer/a/gcl-2.6.7/bin/gcl
> GCL (GNU Common Lisp)  2.6.7 CLtL1    Aug 20 2005 09:20:35
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
> Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> 
> >(si::save-system "foo")
> DBEGIN:          0x1a9000
> mach_mapstart:   0x633000
> heap_end:        0xa04000
> core_end:        0xa05000
> mach_brkpt:    0x26c95000
> mach_maplimit: 0x801a9000
> --- List of All Regions ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1a8000 r x  rwx  (no zone)
>   0x1a9000   0x48a000 rw   rwx  (no zone)
>   0x633000   0x3d1000 rwx  rwx  (no zone)
>   0xa04000 0x7f7a5000 rwx  rwx  (no zone)
> --- List of Regions to be Dumped ---
>    address       size prot maxp zone_name
>          0     0x1000 none none (no zone)
>     0x1000   0x1a8000 r x  rwx  (no zone)
>   0x1a9000   0x48a000 rw   rwx  (no zone)
>   0x633000 0x7fb76000 rwx  rwx  (no zone)
> --- Header Information ---
> Magic      = 0xfeedface
> CPUType    = 18
> CPUSubType = 0
> FileType   = 0x2
> NCmds      = 12
> SizeOfCmds = 1860
> Flags      = 0x00000085
> Highest address of load commands in input file:   0xffe01000
> Lowest offset of all sections in __TEXT segment:     0x1520
> --- List of Load Commands in Input File ---
> no cmd                 cmdsize name                address       size
>  0 LC_SEGMENT             0x38 __PAGEZERO                0     0x1000
>  1 LC_SEGMENT            0x29c __TEXT               0x1000   0x1a8000
>                                __text               0x2520   0x19132c
>                                __picsymbol_stub   0x19384c          0
>                                __symbol_stub      0x19384c          0
>                                __picsymbolstub1   0x19384c     0x15c0
>                                __cstring          0x194e0c    0x12618
>                                __literal4         0x1a7424       0x18
>                                __literal8         0x1a7440      0x108
>                                __const            0x1a7548     0x1a80
>                                __eh_frame         0x1a8fc8       0x38
>  2 LC_SEGMENT            0x214 __DATA             0x1a9000   0x48a000
>                                __data             0x1a9000     0xa4ac
>                                __la_symbol_ptr    0x1b34ac      0x2b8
>                                __nl_symbol_ptr    0x1b3764      0x9a8
>                                __dyld             0x1b410c       0x1c
>                                __const            0x1b4128     0x2264
>                                __bss              0x1b6390     0x4f54
>                                __common           0x1bb2f0   0x476d94
>  3 LC_SEGMENT             0x7c __DATA             0x633000 0x7fb76000
>                                __data             0x633000   0x3d1000
>  4 LC_SEGMENT             0x38 __LINKEDIT       0xffd1f000    0xe2000
>  5 LC_LOAD_DYLINKER       0x1c
>  6 LC_LOAD_DYLIB          0x30
>  7 LC_LOAD_DYLIB          0x34
>  8 LC_SYMTAB              0x18
>  9 LC_DYSYMTAB            0x50
> 10 LC_TWOLEVEL_HINTS      0x10
> 11 LC_UNIXTHREAD          0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO       at          0 -          0 (sz:          0)
> Writing segment __TEXT           at          0 -   0x1a8000 (sz:   0x1a8000)
> Writing segment __DATA           at   0x1a8000 -   0x632000 (sz:   0x48a000)
>         section __data           at   0x1a8000 -   0x1b24ac (sz:     0xa4ac)
>         section __la_symbol_ptr  at   0x1b24ac -   0x1b2764 (sz:      0x2b8)
>         section __nl_symbol_ptr  at   0x1b2764 -   0x1b310c (sz:      0x9a8)
>         section __dyld           at   0x1b310c -   0x1b3128 (sz:       0x1c)
>         section __const          at   0x1b3128 -   0x1b538c (sz:     0x2264)
>         section __bss            at   0x1b5390 -   0x1ba2e4 (sz:     0x4f54)
>         section __common         at   0x1ba2f0 -   0x631084 (sz:   0x476d94)
> Writing segment __DATA           at   0x632000 -   0xa04000 (sz:   0x3d2000)
> Writing segment __LINKEDIT       at   0xdd5000 -   0xeb65b8 (sz:    0xe15b8)
> Writing LC_LOAD_DYLINKER  command
> Writing LC_LOAD_DYLIB     command
> Writing LC_LOAD_DYLIB     command
> Writing LC_SYMTAB         command
> Fixed up 0/17 external relocation entries in data segment.
> Writing LC_DYSYMTAB       command
> Writing LC_TWOLEVEL_HINTS command
> Writing LC_UNIXTHREAD     command
> 3520 unused bytes follow Mach-O header
> [hons:~/a/acl2-2.9.3/acl2-sources] boyer% ./foo
> Bus error
> 
> 
> 
> 

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