Re: [Sbcl-help] FriCAS-1.2.7 and sbcl-1.3.1

[Stas B. <sta...@gm...>]

On Sat, Dec 12, 2015 at 6:28 PM, Andrey G. Grozin <A.G...@in...> wrote:
> On Sat, 12 Dec 2015, Christophe Rhodes wrote:
>> It would be helpful, if you can, to bisect the sbcl revisions between
>> sbcl-1.3.0 and sbcl-1.3.1 to see when the behaviour changed.
> The revision f28984f554bf04552d3fb7fcf278a1320796bcb0 compiles
> fricas-1.2.7 fine. The next revision
>
> commit e71d813db6edc9d5b55e48d47aa24ad134e3a57f
> Author: Stas Boukarev <sta...@gm...>
> Date:   Fri Nov 13 20:57:10 2015 +0300
>
>      Remove check-type vops.
>
>      There are two sets of VOPs, test-predicate and check-type, check-type
>      signals an error, but they are otherwise identical. The compiler can
>      emit test-predicate + type-check-error vops which will produce the
>      same code.
>      This also simplifies the way test-type VOPs are defined, by defining
>      only one !define-type-vop for all backends.
>
> runs out of memory. The end of the log file is
>
> ; in: SDEFUN |NBLM;add_vector|
> ;     (BOOT::SDEFUN BOOT::|NBLM;add_vector|
> ;                   ((BOOT::|v1| BOOT::|U32Vector|) (BOOT::|v2|
> BOOT::|U32Vector|)
> ;                    (BOOT::|c| BOOT::|Integer|) (BOOT::|k|
> BOOT::|Integer|)
> ;                    (BOOT::|p| BOOT::|Integer|) (BOOT::$ BOOT::|Void|))
> ;                   (BOOT::SPROG
> ;                    ((#:G831 NIL) (BOOT::|i| NIL)
> ;                     (BOOT::|n| (BOOT::|NonNegativeInteger|)))
> ;                    (BOOT::SEQ
> ;                     (BOOT::LETT BOOT::|n| (BOOT::QV_LEN_U32 BOOT::|v1|)
> ;                                 BOOT::|NBLM;add_vector|)
> ;                     (BOOT::EXIT
> ;                      (BOOT::SEQ # # BOOT::G190 # # # # BOOT::G191 #)))))
> ; --> DEFUN PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
> ; ==>
> ;   #'(SB-INT:NAMED-LAMBDA BOOT::|NBLM;add_vector|
> ;         (BOOT::|v1| BOOT::|v2| BOOT::|c| BOOT::|k| BOOT::|p| BOOT::$)
> ;       (BLOCK BOOT::|NBLM;add_vector|
> ;         (BOOT::SPROG ((#:G831 NIL) (BOOT::|i| NIL) (BOOT::|n| #))
> ;                      (BOOT::SEQ
> ;                       (BOOT::LETT BOOT::|n| # BOOT::|NBLM;add_vector|)
> ;                       (BOOT::EXIT #)))))
> ;
> ; caught STYLE-WARNING:
> ;   The variable $ is defined but never used.
> Heap exhausted during garbage collection: 0 bytes available, 16 requested.
>   Gen StaPg UbSta LaSta LUbSt Boxed Unboxed LB   LUB  !move  Alloc  Waste
> Trig    WP  GCs Mem-age
>     0:     0     0     0     0     0     0     0     0     0        0     0
> 10737418    0   0  0.0000
>     1:     0     0     0     0     0     0     0     0     0        0     0
> 10737418    0   0  0.0000
>     2:     0     0     0     0     0     0     0     0     0        0     0
> 10737418    0   0  0.0000
>     3: 25555  2851     0     0 19560     2     0     0     5 640730576
> 277040 395090170    0   1  1.3998
>     4: 32767  1883     0     0 11264    47    16     0    25 370621632
> 541504  2000000  116   0  0.0157
>     5:     0     0     0     0     0     0     0     0     0        0     0
> 2000000    0   0  0.0000
>     6:     0     0     0     0  1605   274     0     0     0 61571072     0
> 2000000 1525   0  0.0000
>     Total bytes allocated    = 1072923280
>     Dynamic-space-size bytes = 1073741824
> GC control variables:
>     *GC-INHIBIT* = true
>     *GC-PENDING* = true
> fatal error encountered in SBCL pid 410:
> Heap exhausted, game over.
>
> Welcome to LDB, a low-level debugger for the Lisp runtime environment.
> ldb>
>
> Note that between the line
>
> ;   The variable $ is defined but never used.
>
> and the next line
>
> Heap exhausted during garbage collection: 0 bytes available, 16 requested.
>
> a considerable time elapses, with the system load level 1.
>
Is it the same on the latest git revision?



-- 
With best regards, Stas.