Steel Bank Common Lisp

Fernando Lopez-Lezcano found an odd problem in sbcl 1.0.37
(linux x86 32 or 64 bit) and 1.0.36 (tested on an Intel Mac).  
Unfortunately, we can't seem to isolate it and send a
simple case.  If you load clm (ccrma-ftp.stanford.edu: pub/Lisp/clm-4.tar.gz),
via (load "all.lisp"), then (compile-file "dlocsig.lisp"), the
compiler hangs:


/home/bil/clm/ sbcl
This is SBCL 1.0.37, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (load "all.lisp")
;   using existing configuration file mus-config.h

;loading /home/bil/clm/clm-package.fasl
;loading /home/bil/clm/initmus.fasl
;loading /home/bil/clm/sndlib2clm.fasl
;loading /home/bil/clm/defaults.fasl
;loading /home/bil/clm/ffi.fasl
;loading /home/bil/clm/mus.fasl
;loading /home/bil/clm/run.fasl
;loading /home/bil/clm/sound.fasl
;loading /home/bil/clm/defins.fasl
;loading /home/bil/clm/env.fasl
;loading /home/bil/clm/export.fasl
;loading /home/bil/clm/clm1.fasl
T
* (compile-file "dlocsig.lisp")

; file: /home/bil/clm/dlocsig.lisp
; in: DEF-OPTKEY-FUN MAKE-DLOCSIG
;     (LET* ((OUT-CHANNELS (OR OUT-CHANNELS (MUS-CHANNELS *OUTPUT*)))
;            (REV-CHANNELS
;             (OR REV-CHANNELS
;                 (IF *REVERB*
;                     #
;                     0)))
;            (SPEAKERS
;             (IF (= RENDER-USING AMBISONICS)
;                 NIL
;                 (GET-SPEAKER-CONFIGURATION OUT-CHANNELS)))
;            (CHANNEL-GAINS (MAKE-ARRAY OUT-CHANNELS :INITIAL-ELEMENT 'NIL))
;            (CHANNEL-REV-GAINS (MAKE-ARRAY REV-CHANNELS :INITIAL-ELEMENT 'NIL))
;            (MAX-OUT-DELAY 0.0)
;            (OUT-DELAYS (MAKE-ARRAY OUT-CHANNELS))
;            (XPOINTS (PATH-X PATH))
;            (YPOINTS (PATH-Y PATH))
;            (ZPOINTS (PATH-Z PATH))
;            (TPOINTS (PATH-TIME PATH))
;            (SPEED-LIMIT (/ (* DLOCSIG-SPEED-OF-SOUND #) DURATION))
;            ...)
;       (IF (= RENDER-USING AMBISONICS)
;           (LET* ((OFFSET 3))
;             (IF (>= AMBISONICS-V-ORDER 1)
;                 (PROGN # #))
;             (IF (>= AMBISONICS-V-ORDER 2)
;                 (PROGN # #))
;             (IF (>= AMBISONICS-H-ORDER 2)
;                 (PROGN # #))))
;       (LABELS ((DIST->SAMPLES (D)
;                  (ROUND #))
;                (DIST->SECONDS (D)
;                  (/ D DLOCSIG-SPEED-OF-SOUND))
;                (TIME->SAMPLES (TIME)
;                  (ROUND #))
;                (TRANSITION-POINT-3 (VERT-A VERT-B XA YA ZA XB YB ZB)
;                  (DECLARE #)
;                  (MACROLET #
;                    #))
;                (TRANSITION-POINT-2 (VERT XA YA XB YB)
;                  (LET* #
;                    #))
;                (CALCULATE-GAINS (X Y Z GROUP)
;                  (LET* #
;                    #))
;                (FIND-GROUP (X Y Z)
;                  (LOOP FOR GROUP IN #
;                        DO #)
;                  (VALUES NIL NIL))
;                (PUSH-ZERO-GAINS (TIME)
;                  (LOOP FOR I FROM 0 BELOW #
;                        DO # #)
;                  (LOOP FOR I FROM 0 BELOW REV-CHANNELS
;                        DO # #))
;                (PUSH-GAINS (GROUP GAINS DIST TIME)
;                  (LET* #
;                    #
;                    #
;                    #))
;                (RENDER-AMPLITUDE-PANNING (X Y Z DIST TIME Q)
;                  (DECLARE #)
;                  (IF PREV-GROUP
;                      #
;                      #))
;                (RENDER-AMBISONICS (X Y Z DIST TIME)
;                  (LET* #
;                    #
;                    #
;                    #
;                    #
;                    #
;                    #
;                    #
;                    #
;                    #
;                    #
;                    ...))
;                (DECODED-AMBISONICS (X Y Z DIST TIME)
;                  (LET* #
;                    #
;                    #))
;                ...)
;         (IF (= (LENGTH XPOINTS) 1)
;             (WALK-ALL-ROOMS (FIRST XPOINTS) (FIRST YPOINTS) (FIRST ZPOINTS)
;              (FIRST TPOINTS))
;             (LOOP FOR XA IN XPOINTS
;                   FOR YA IN YPOINTS
;                   FOR ZA IN ...))
;         (IF SPEAKERS
;             (LET (#)
;               (LOOP FOR CHANNEL FROM 0 BELOW #
;                     DO #)))
;         (SETF MIN-DELAY (DIST->SAMPLES MIN-DIST)
;               REAL-DUR (* DURATION #)
;               RUN-BEG (FLOOR #)
;               RUN-END (FLOOR #)
;               START (+ RUN-BEG #)
;               MIN-DIST-UNITY
;                 (IF #
;                     INSIDE-RADIUS
;                     MIN-DIST)
;               ...)
;         (VALUES
;          (MAKE-MOVE-SOUND (LIST # # # # # # # OUT-DELAYS # # #) *OUTPUT*
;                           *REVERB*)
;          RUN-BEG RUN-END)))
; 
; caught STYLE-WARNING:
;   The variable END is defined but never used.
^C

and now the compiler is hung.


debugger invoked on a SB-SYS:INTERACTIVE-INTERRUPT in thread #<THREAD
                                                               "initial thread" RUNNING
                                                               {AA0AA21}>:
  Interactive interrupt at #x9BF9594.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [CONTINUE] Return from SB-UNIX:SIGINT.
  1: [ABORT   ] Exit debugger, returning to top level.

(SB-C::INSERT-BLOCK-GLOBAL-CONFLICT
 #<SB-C::GLOBAL-CONFLICTS
   :TN #<SB-C:TN t1>
   :BLOCK #<SB-C::IR2-BLOCK  :START-VOP # :LAST-VOP # :LOCAL-TN-COUNT 63>
   :KIND :LIVE>
 #<SB-C::IR2-BLOCK
   :START-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
   :LAST-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
   :LOCAL-TN-COUNT 63>)
0] backtrace

0: (SB-C::INSERT-BLOCK-GLOBAL-CONFLICT
    #<SB-C::GLOBAL-CONFLICTS
      :TN #<SB-C:TN t1>
      :BLOCK #<SB-C::IR2-BLOCK  :START-VOP # :LAST-VOP # :LOCAL-TN-COUNT 63>
      :KIND :LIVE>
    #<SB-C::IR2-BLOCK
      :START-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LAST-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LOCAL-TN-COUNT 63>)
1: (SB-C::ADD-GLOBAL-CONFLICT
    :LIVE
    #<SB-C:TN t1>
    #<SB-C::IR2-BLOCK
      :START-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LAST-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LOCAL-TN-COUNT 63>
    NIL)
2: (SB-C::PROPAGATE-LIVE-TNS
    #<SB-C::IR2-BLOCK
      :START-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LAST-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LOCAL-TN-COUNT 63>
    #<SB-C::IR2-BLOCK
      :START-VOP #<SB-C::VOP :INFO SB-VM::MOVE-ARG :ARGS # :RESULTS #>
      :LAST-VOP #<SB-C::VOP
                  :INFO SB-ASSEM:BRANCH
                  :ARGS NIL
                  :RESULTS NIL
                  :CODEGEN-INFO (#)>
      :LOCAL-TN-COUNT 64>)
3: (SB-C::LIFETIME-FLOW-ANALYSIS
    #<SB-C:COMPONENT :NAME (LABELS TIME->SAMPLES) {B9607D1}>)
4: (SB-C::LIFETIME-ANALYZE
    #<SB-C:COMPONENT :NAME (LABELS TIME->SAMPLES) {B9607D1}>)
5: (SB-C::%COMPILE-COMPONENT
    #<SB-C:COMPONENT :NAME (LABELS TIME->SAMPLES) {B9607D1}>)
6: (SB-C::COMPILE-COMPONENT
    #<SB-C:COMPONENT :NAME (LABELS TIME->SAMPLES) {B9607D1}>)

Hi,

I'd like to report a bug in find-if:

broken in 1.0.37

  (find-if (lambda (x) t) '(nil a 1 2 3)) => A
  (lisp-implementation-version) => "1.0.37"

already broken in 1.0.36.39

works in 1.0.36, 1.0.35

  (find-if (lambda (x) t) '(nil a 1 2 3)) => NIL
  (lisp-implementation-version) => "1.0.36"

Maybe the fix https://bugs.launchpad.net/sbcl/+bug/554385 broke it?

Thank you,

Tomas

The problem is that REQUIRE in the new executable doesn't know where
to look for modules.

It looks for the Unix environment variable SBCL_HOME to tell where to look.
The Unix environment is not part of the Lisp core and will not be
saved by S-L-A-D

The sbcl start-up code will set this variable if it isn't already, to
the directory where it finds the core file.  However, when you make a
stand-alone executable, this will not be done.

Making a traditional non-executable core is not a solution, unless you
put in sbcl's standard directory.

You can, however, set the environment variable yourself, either from
the Unix shell:
$ SBCL_HOME=/usr/lib/sbcl/ ./tst
...

Or from your application start-up code
...
(sb-posix:putenv "SBCL_HOME=/usr/lib/sbcl/")
...

Either way, REQUIRE will now know where to look.

Stig Hemmer

On 3/25/10, Michael Lucy <MichaelGLucy@...> wrote:
> System (output of uname -a): Linux efreata 2.6.28-15-generic
> #52-Ubuntu SMP Wed Sep 9 10:49:34 UTC 2009 i686 GNU/Linux
> Sbcl version: 1.0.36
>
> Problem:
> (require 'asdf-install) works fine, but if I dump an executable core
> image, launch it, and try from there it breaks.
>
> Example of (require 'asdf-install) working fine normally:
>
> zededarian@...$ sbcl
> This is SBCL 1.0.36, an implementation of ANSI Common Lisp.
> More information about SBCL is available at <http://www.sbcl.org/>.
>
> SBCL is free software, provided as is, with absolutely no warranty.
> It is mostly in the public domain; some portions are provided under
> BSD-style licenses.  See the CREDITS and COPYING files in the
> distribution for more information.
> * (require 'asdf-install)
>
> ; loading system definition from
> ; /usr/local/lib/sbcl/sb-bsd-sockets/sb-bsd-sockets.asd into #<PACKAGE
> "ASDF0">
> ; registering #<SYSTEM SB-BSD-SOCKETS {B62CD81}> as SB-BSD-SOCKETS
> ; registering #<SYSTEM SB-BSD-SOCKETS-TESTS {ACF9A99}> as
> SB-BSD-SOCKETS-TESTS
> ; loading system definition from /usr/local/lib/sbcl/sb-posix/sb-posix.asd
> into
> ; #<PACKAGE "ASDF0">
> ; registering #<SYSTEM SB-POSIX {AEA2F19}> as SB-POSIX
> ; registering #<SYSTEM SB-POSIX-TESTS {AFD6F39}> as SB-POSIX-TESTS
> ("ASDF-INSTALL" "SB-POSIX" "SB-BSD-SOCKETS" "SB-GROVEL" "ASDF")
> *
>
> Example of (require 'asdf-install) not working after dumping an executable
> core:
>
> zededarian@...$ sbcl
> This is SBCL 1.0.36, an implementation of ANSI Common Lisp.
> More information about SBCL is available at <http://www.sbcl.org/>.
>
> SBCL is free software, provided as is, with absolutely no warranty.
> It is mostly in the public domain; some portions are provided under
> BSD-style licenses.  See the CREDITS and COPYING files in the
> distribution for more information.
> * (sb-ext:save-lisp-and-die "tst" :executable t)
> [undoing binding stack and other enclosing state... done]
> [saving current Lisp image into tst:
> writing 3504 bytes from the read-only space at 0x01000000
> writing 2256 bytes from the static space at 0x01100000
> writing 27275264 bytes from the dynamic space at 0x09000000
> done]
> zededarian@...$ ./tst
> * (require 'asdf-install)
>
> debugger invoked on a SB-INT:EXTENSION-FAILURE in thread #<THREAD
>                                                            "initial
> thread" RUNNING
>                                                            {AA037B1}>:
>   Don't know how to REQUIRE ASDF-INSTALL.
> See also:
>   The SBCL Manual, Variable *MODULE-PROVIDER-FUNCTIONS*
>   The SBCL Manual, Function REQUIRE
>
> Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.
>
> restarts (invokable by number or by possibly-abbreviated name):
>   0: [ABORT] Exit debugger, returning to top level.
>
> (SB-IMPL::REQUIRE-ERROR "Don't know how to ~S ~A.")[:EXTERNAL]
> 0]
> *
>
> ------------------------------------------------------------------------------
> Download Intel&#174; Parallel Studio Eval
> Try the new software tools for yourself. Speed compiling, find bugs
> proactively, and fine-tune applications for parallel performance.
> See why Intel Parallel Studio got high marks during beta.
> http://p.sf.net/sfu/intel-sw-dev
> _______________________________________________
> Sbcl-bugs mailing list
> Sbcl-bugs@...
> https://lists.sourceforge.net/lists/listinfo/sbcl-bugs
>