Re: [Gcl-devel] Re: Call for help with MACOSX Re: [Axiom-developer] [MACOSX] What is unexec and why does it fail ?

[Camm Maguire]

Greetings!

Aurelien Chanudet <address@hidden> writes:

> > Beyond the axiom issue discussed below, some acl2
> > users at the
> > University of Texas are running into difficulties
> > with the mac code
> > when making very large images.  Would you have a
> > chance to try to
> > build ACL2 with maxpages doubled, quadrupled, and
> > even multiplied by 8
> > if you OS allows?  Please let me know if you have
> > some time to
> > investigate this.  I can send you more information
> > if so.
> 
> What version of ACL2 and gcl are these people using ?
> Will try to give this a look as time permits. By the
> way, what's the status of SGC on the Mac now ? There
> have been some recent issues as far as I remember.
> 

Aurelien, I know life is likely very hectic at the moment, but if by
chance you happen to be able to look into this with the newly created
branch Versin_2_6_7pre in the next few days, that would be fantastic!
Trying to move this out before my own schedule closes in ....


Take care,


> > What dedication!  Is this a known issue on the Mac? 
> > Any help from the
> > gdb developers?
> 
> This is a known issue on the Mac, albeit one that
> interests no one but me (for understandable reasons, I
> feel it way more confortable to debug SGC in GCL using
> gdb than using printf debugging). Basically, attaching
> gdb to a process, say GCL, which handles segfaults on
> its own, makes it impossible for the signal handler to
> be called. Gdb will simply refuse to pass the
> exception to the program. This is due to the way
> traditionnal Unix signals are handled in MacOSX's Mach
> kernel. Traditionnal signals are handled by a BSD
> layer which gdb bypasses... 
> 
> > I'm not sure what you mean here.  Its in the CVS
> > head tree (aka 2.7.0)
> > to my understanding.  Should I post it to the
> > website on the errata
> > page?  
> 
> It must be fine then. I must confess I'm not "CVS
> savvy". I just wanted to make sure that the file can
> be retrieved when using the basic "cvs login / cvs co"
> sequence.
> 
> > 1) Add reloc records for any symbols relocated to a
> > dlopened library
> >    in a given session, together with whatever
> > section is also needed
> >    to indicate that the image is (now permanently)
> > dynamically linked
> >    against the lib.
> >
> > 2) Merge gprof section info from any loaded .o files
> > into the final
> >    saved image so that profiling will work without
> > having to generate
> >    a fresh image with ld.
> 
> Under what form are gprof information stored ?
> 
> 
>       
>       
>               
> ___________________________________________________________________________________________________
> 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