[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: interrupts in 64-bit GCL
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: interrupts in 64-bit GCL |
Date: |
Sun, 22 Feb 2009 20:44:13 -0500 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) |
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
- [Gcl-devel] Re: interrupts in 64-bit GCL, Camm Maguire, 2009/02/20
- Re: [Gcl-devel] Re: interrupts in 64-bit GCL, Gabriel Dos Reis, 2009/02/20
- Re: [Gcl-devel] Re: interrupts in 64-bit GCL, Camm Maguire, 2009/02/20
- Re: [Gcl-devel] Re: interrupts in 64-bit GCL, Gabriel Dos Reis, 2009/02/20
- Re: [Gcl-devel] Re: interrupts in 64-bit GCL, Camm Maguire, 2009/02/21
- Re: [Gcl-devel] Re: interrupts in 64-bit GCL, Gabriel Dos Reis, 2009/02/22
- Re: [Gcl-devel] Re: interrupts in 64-bit GCL, Camm Maguire, 2009/02/23
- Re: [Gcl-devel] GCC 4.4 and strict aliasing, Camm Maguire, 2009/02/26
Message not available
[Gcl-devel] Re: interrupts in 64-bit GCL, Camm Maguire, 2009/02/26
[Gcl-devel] Re: interrupts in 64-bit GCL, Camm Maguire, 2009/02/26
[Gcl-devel] Re: interrupts in 64-bit GCL, Matt Kaufmann, 2009/02/26