[Gcl-devel] Re: interrupts in 64-bit GCL

[Matt Kaufmann]

Hi --

Regarding:

>> Greetings, and thanks!  OK, this is fixed now in branch 2.6.8pre of
>> cvs, and will be in cvs head soon.  Please let me know if you need a
>> reminder about how to get 2.6.8pre.

I assume that the following is it (and is what our sysadmins will use
for their build):

export CVS_RSH=ssh # or, if using csh: setenv CVS_RSH ssh
cvs -d:pserver:address@hidden:/sources/gcl co -r Version_2_6_8pre -d 
gcl-2.6.8pre gcl

I'm also assuming that they don't have to wait on the gdb issue before
rebuilding (feel free to correct me!).

Thanks --
-- Matt
   Cc: address@hidden, address@hidden, address@hidden
   From: Camm Maguire <address@hidden>
   Date: Thu, 26 Feb 2009 13:44:34 -0500
   X-SpamAssassin-Status: No, hits=-2.6 required=5.0
   X-UTCS-Spam-Status: No, hits=-282 required=165

   Greetings!  There appears to be a gdb problem on lhug-0:

   Program received signal SIGINT, Interrupt.
   Cannot remove breakpoints because program is no longer writable.
   It might be running in another process.
   Further execution is probably impossible.
   0x00002aaaab9c8ab7 in ?? ()
   (gdb)

   Would anyone be so kind as to check this out for future debugging use?

   Take care,

   Matt Kaufmann <address@hidden> writes:

   > Hi --
   >
   > I was able to reproduce the error after building ACL2 a new debug copy
   > of 64-bit gcl that the sysadmins built.  Same instructions as before,
   > except for a slight change in the ACL2 executable directory.  Quoting
   > from below, but updating the executable path (and fixing a misleading
   > comment):
   >
   >   Start up ACL2 built on GCL, as follows:
   >
   >   /projects/acl2/v3-4-linux-64/fast-linux-gcl-saved_acl2
   >
   >   Then issue these commands:
   >
   >     ; Just to slow down the output from the thm form below:
   >     (trace$ rewrite)
   >
   >     ; ACL2 disables the debugger by default; this restores it:
   >     (set-debugger-enable t)
   >
   >     ; This goes pretty fast but you'll have time to interrupt it:
   >     (thm (equal (append (append x x) x) (append x x x)))
   >
   >     [Now quickly interrupt with control-c, and then :q from the break.
   >      If the form above completes, just try it again.  Eventually I think
   >      you'll see a Lisp "fatal error" or even a "Segmentation fault".]
   >
   > It seems to take me about 3 to 5 THM calls to get the error, which
   > looks like this:
   >
   >   ACL2 !>(thm (equal (append (append x x) x) (append x x x)))
   >   [SGC off]
   >   Error: Caught fatal error [memory may be damaged]
   >   Fast links are on: do (si::use-fast-links nil) for debugging
   >   Error signalled by ACL2_*1*_ACL2::THM-FN.
   >   Broken at COND.  Type :H for Help.
   >   ACL2[RAW LISP]>>
   >
   > -- Matt
   >    Date: Mon, 23 Feb 2009 17:12:04 -0600
   >    From: "David A. Kotz" <address@hidden>
   >    CC: address@hidden, address@hidden, address@hidden
   >
   >    I've replaced both of our 64bit flavors and the 32bit with 
debug-enabled 
   >    versions.  The 64s are in place now, and the 32 should rdist around 
   >    tonight.  I want to keep all of them in sync, even if we're only 
   >    investigating a problem in one.
   >
   >    - dave
   >
   >
   >    Matt Kaufmann wrote:
   >    > Thanks, Dave!  I really appreciate it.
   >    > 
   >    > When I get the word from you, or when I see
   >    > /lusr/opt/gcl-2.6.8pre/bin/gcl updated on lhug-0, I'll rebuild ACL2 on
   >    > top of it and try to reproduce the problem.
   >    > 
   >    > Thanks again --
   >    > -- Matt
   >    >    Date: Mon, 23 Feb 2009 10:13:54 -0600
   >    >    From: "David A. Kotz" <address@hidden>
   >    >    CC: Matt Kaufmann <address@hidden>, address@hidden,
   >    >          address@hidden
   >    > 
   >    >    I'll rebuild it with the debug flag.
   >    > 
   >    >    - dave
   >    > 
   >    > 
   >    >    Camm Maguire wrote:
   >    >    > Thanks!  Please let me know if you run into troubles here.
   >    >    > 
   >    >    > Take care,
   >    >    > 
   >    >    > Matt Kaufmann <address@hidden> writes:
   >    >    > 
   >    >    >> Howdy --
   >    >    >>
   >    >    >> Thanks for the reply.
   >    >    >>
   >    >    >> If address@hidden is willing to do (1), or to send me the exact 
configure
   >    >    >> and make commands and source directory used so that I can do it
   >    >    >> myself, then I'll try to reproduce the error by building ACL2 
on top
   >    >    >> of it.  I'm assuming that --enable-debug is given to the 
configure
   >    >    >> command, not to make.
   >    >    >>
   >    >    >> Then if if I can't reproduce the problem, I'll let you and 
address@hidden
   >    >    >> know and we can explore (2).  In that case, if address@hidden 
is willing to
   >    >    >> do it, great; then I'll try to reproduce the problem.  But if 
I'm to
   >    >    >> do the build, I'd need explicit instructions on how to "make 
sure -g
   >    >    >> is included in the gcc calls"; maybe I need to do some setq in 
Lisp?
   >    >    >> Also I didn't understand the comment about makedefs.  But I 
guess we
   >    >    >> can ignore (2) if (1) works.
   >    >    >>
   >    >    >> -- Matt
   >    >    >>    Cc: address@hidden, address@hidden
   >    >    >>    From: Camm Maguire <address@hidden>
   >    >    >>    Date: Fri, 20 Feb 2009 20:58:49 -0500
   >    >    >>    X-SpamAssassin-Status: No, hits=-2.6 required=5.0
   >    >    >>    X-UTCS-Spam-Status: No, hits=-282 required=165
   >    >    >>
   >    >    >>    Greetings!  I suspect a missing signal block around some 
code that
   >    >    >>    needs protecting.  I've reprodced under gdb, but there are no
   >    >    >>    debugging symbols in the image.  [ Question for list -- have 
computers
   >    >    >>    now become so fast that -g should be included by default in 
all gcl
   >    >    >>    images? It used to slow down the compiler, don't know about 
now.  It
   >    >    >>    does make the image quite a bit bigger. ]
   >    >    >>
   >    >    >>    Ideally, you or someone else at the site might be so kind as 
to
   >    >    >>    rebuild atop
   >    >    >>
   >    >    >>    1) a gcl build with --enable-debug.  If this does not 
reproduce, then
   >    >    >>    in addition
   >    >    >>    2) rebuild atop a standard gcl with the CFLAGS environment 
variable
   >    >    >>    set to -g before configure and make.  Please make sure -g is 
included
   >    >    >>    in the gcc calls.  Otherwise, makedefs can be modified after 
configure
   >    >    >>    and before make to include -g wherever one sees -O3 or -O
   >    >    >>
   >    >    >>    Would this be too much trouble?
   >    >    >>
   >    >    >>    Take care,
   >    >    >>
   >    >    >>    Matt Kaufmann <address@hidden> writes:
   >    >    >>
   >    >    >>    > Hi --
   >    >    >>    >
   >    >    >>    > The sysadmins here at UT CS have built GCL 2.6.8pre from 
CVS as you
   >    >    >>    > suggested.  It's working great on 32-bit linux, but I've 
run into an
   >    >    >>    > issue for 64-bit linux.
   >    >    >>    >
   >    >    >>    > You can re-create the issue on a UT CS 64-bit linux 
machine as
   >    >    >>    > follows.
   >    >    >>    >
   >    >    >>    > Start up ACL2 built on GCL, as follows:
   >    >    >>    >
   >    >    >>    > /projects/acl2/v3-4-linux/fast-linux-gcl-saved_acl2
   >    >    >>    >
   >    >    >>    > Then issue these commands:
   >    >    >>    >
   >    >    >>    >   ; Just to slow down the output from the next form:
   >    >    >>    >   (trace$ rewrite)
   >    >    >>    >
   >    >    >>    >   ; ACL2 disables the debugger by default; this restores 
it:
   >    >    >>    >   (set-debugger-enable t)
   >    >    >>    >
   >    >    >>    >   ; This goes pretty fast but you'll have time to 
interrupt it:
   >    >    >>    >   (thm (equal (append (append x x) x) (append x x x)))
   >    >    >>    >
   >    >    >>    >   [Now quickly interrupt with control-c, and then :q from 
the break.
   >    >    >>    >    If the form above completes, just try it again.  
Eventually I think
   >    >    >>    >    you'll see a Lisp "fatal error" or even a "Segmentation 
fault".]
   >    >    >>    >
   >    >    >>    > By the way, I built 
/projects/acl2/v3-4-linux/fast-linux-gcl as
   >    >    >>    > follows, on lhug-0 (a 64-bit linux machine):
   >    >    >>    >
   >    >    >>    > rm -f TAGS ; mv make-fast-gcl.log make-fast-gcl.old.log ; 
(time nice make PREFIX=fast-linux-gcl- LISP=my-fast-gcl) >& make-fast-gcl.log&
   >    >    >>    >
   >    >    >>    > where "my-fast-gcl" is a script containing:
   >    >    >>    >
   >    >    >>    > #!/bin/sh
   >    >    >>    > /lusr/opt/gcl-2.6.8pre/bin/gcl -eval "(defparameter 
user::*fast-acl2-gcl-build* t)" $*
   >    >    >>    >
   >    >    >>    > Also by the way, if you instead run the following on a 
32-bit UT CS
   >    >    >>    > linux machine
   >    >    >>    >
   >    >    >>    > /projects/acl2/v3-4-linux/gcl-saved_acl2
   >    >    >>    >
   >    >    >>    > then you won't see the interrupt problem described above 
(or at least,
   >    >    >>    > I didn't, and I tried).
   >    >    >>    >
   >    >    >>    > Thanks --
   >    >    >>    > -- Matt
   >    >    >>    >
   >    >    >>    >
   >    >    >>    >
   >    >    >>    >
   >    >    >>
   >    >    >>    -- 
   >    >    >>    Camm Maguire                                     
address@hidden
   >    >    >>    
==========================================================================
   >    >    >>    "The earth is but one country, and mankind its citizens."  
--  Baha'u'llah
   >    >    >>
   >    >    >>
   >    >    >>
   >    >    >>
   >    >    > 
   >
   >
   >
   >

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