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 <[email protected]>
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.
Andrey
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
