;;;; -*- coding: utf-8; fill-column: 78 -*-
+ * minor incompatible change: under weak type checking policy integer
+ types are weakened less aggressively.
+ * minor incompatible change: SAVE-LISP-AND-DIE :TOPLEVEL function is now
+ allowed to return, which causes SBCL to quit with exit status 0. Previously
+ if the function returned with a small integer return value, that value
+ was accidentally reused as the exit status.
+ * new feature: SB-EXT:DEFGLOBAL macro allows defining global non-special
+ variables.
+ * new feature: SB-EXT:ALWAYS-BOUND proclamation inhibits MAKUNBOUND, and
+ allows the compiler to safely elide boundedness checks for special
+ variables.
+ * new feature: SB-EXT:GLOBAL proclamation inhibits SPECIAL proclamations for
+ the symbol, prohibits both lexical and dynamic binding. This is mainly an
+ efficiency measure for threaded platforms, but also valueable in
+ expressing intent.
+ * optimization: the compiler uses a specialized version of FILL when the
+ element type is know in more cases, making eg. (UNSIGNED-BYTE 8) case
+ almost 90% faster.
+ * optimization: accesses to potentially non-simple arrays where element type
+ is known are 50% faster.
+ * optimization: compiler now generates faster array typechecking code.
+ * optimization: ARRAY-DIMENSION is now faster for multidimensional and
+ non-simple arrays.
+ * optimization: multidimensional array accesses in the absence of type
+ information regarding array rank are approximately 10% faster due to
+ open coding of ARRAY-RANK.
+ * optimization: result of (FILL (MAKE-ARRAY ...) ...) and (REPLACE
+ (MAKE-ARRAY ...) ...) can be stack allocated if the result of MAKE-ARRAY
+ form can be.
+ * optimization: result of call to VECTOR can now be stack allocated.
+ * optimization: MAKE-ARRAY with :INITIAL-CONTENTS is now vastly faster
+ as long as the resulting array is one-dimensional and has a known
+ element type. In particular, :INITIAL-CONTENTS (LIST ...) where the
+ length of the list matches the known length of the vector does not
+ allocate the list as an intermediate step. Ditto for VECTOR and simple
+ backquoted forms.
+ * optimization: MAKE-ARRAY can now stack allocate in the presence of
+ :INITIAL-CONTENTS and :INITIAL-ELEMENT as long as the result has a
+ known element type, and is known to be simple and one dimensional.
+ * improvement: SBCL now emits a compiler note where stack allocation was
+ requested but could not be provided (not in all cases, unfortunately)
+ * improvement: better MACHINE-VERSION responses. (thanks to Josh Elsasser)
+ * improvement: pretty-printing loop has been implemented properly. (thanks
+ to Tobias Rittweiler)
+ * documentation: CLOS slot typechecing policy has been documented.
+ * bug fix: better floating point exception handling on x86/OpenBSD.
+ (thanks to Josh Elsasser)
+ * bug fix: exit status from QUIT when called under --script was lost
+ (reported by Hubert Kauker)
+ * bug fix: MAKE-ARRAY for non-zero :INITIAL-ELEMENT always used the
+ same implementation of FILL to initialize the array, even if a more
+ efficient one was available (reported by Stas Boukarev, thanks to
+ Paul Khuong)
+ * bug fix: potential miscompilation of array stack allocation on x86 and
+ x86-64. (reported by Time Tossavainen)
+ * bug fix: some forms of AND, OR, and COND resulted in expansions that could
+ result in their subforms being treated as top level forms. (reported by
+ James Knight)
+ * bug fix: On x86/x86-64 alien functions declared to return integers shorter
+ than a machine register could leave garbage in the high bits of the
+ result register (bug 316325).
+ * bug fix: disable address space randomization Linux/x86-64 as well,
+ not just x86-64. (reported by Ken Olum)
+ * bug fix: Attempting to DEREF an (ALIEN (* T)) would produce a WARNING and
+ generate incorrect code.
+ * bug fix: #201; type inference for CONS and ARRAY types could derive
+ wrong results in the presence of eg. RPLACA or ADJUST-ARRAY.
+ * bug fix: special variables with a proclaimed specific subtype of FUNCTION
+ could not be assigned to or bound with PROGV. (reported by Lorenz
+ Mösenlechner)
+ * bug fix: the value of CL:- in the inspector was the previous expression
+ evaluated rather than the expression being evaluated.
+ * bug fix: constants can no longer be locally declared special.
+ * bug fix: signals delivered to threads started from foreign land (read:
+ directly by pthread_create, not by MAKE-THREAD) are redirected to a Lisp
+ thread by blocking all signals and resignalling.
+
+changes in sbcl-1.0.28 relative to 1.0.27:
+ * a number of bugs in cross-compilation have been fixed, with the ultimate
+ result that building under (at least) clisp should be much more reliable.
+ * minor incompatible changes: echo-streams now propagate unread-char to the
+ underlying input stream, and no longer permit unreading more than one
+ character.
+ * improvement: on x86/x86-64 Lisp call frames now have the same layout as C
+ frames, allowing for instance more reliable backtraces.
+ * improvement: the debugger REPL can now reference lexical variables
+ by name directly for code compiled with (DEBUG 3).
+ * improvement: errors from malformed declarations now have better source
+ paths associated with them. (thanks to Tobias Rittweiler)
+ * optimization: faster local calls on x86/x86-64
+ * bug fix: some error messages for out-of-bound array indexes confused the
+ index and the bound. (thanks to Stas Boukarev)
+ * bug fix: pretty printing malformed DEFPACKAGE forms (thanks to Sidney
+ Markowitz)
+ * bug fix: running regressions tests in shells without OSTYPE set now works.
+ (reported by Harald Hanche-Olsen)
+ * bug fix: more robust static space exhaustion signalling from
+ MAKE-STATIC-VECTOR (thanks to Daniel Lowe)
+ * bug fix: (SETF DOCUMENTATION) for anonymous function now throws the
+ docstring away instead of storing it under names such as (LAMBDA (X)).
+ (reported by Leslie Polzer)
+ * bug fix: timers could go off in the wrong order, be delayed indefinitely
+ (thanks to Ole Arndt for the patch)
+ * bug fix: RESTART-FRAME and RETURN-FROM-FRAME stack corruption
+ * bug fix: the discriminating function for PRINT-OBJECT no longer preserves
+ potentially-invalid effective methods in its cache.
+ * bug fix: SB-INTROSPECT:FIND-DEFINITION-SOURCE now works with funcallable
+ instances as well (thanks to Paul Khuong)
+ * bug fix: using RUN-PROGRAM does not interfere with SB-POSIX:WAIT,
+ SB-POSIX:WAITPID and their C equivalents.
+ * bug fix: RUN-PROGRAM does not crash on Darwin when stressed.
+
+changes in sbcl-1.0.27 relative to 1.0.26:
+ * new port: support added for x86-64 OpenBSD. (thanks to Josh Elsasser)
+ * new port: support added for x86-64 Solaris. (thanks to Alex Viskovatoff)
+ * improvement: the system either recovers from stack exhaustion or dies
+ properly as opposed to leaving the user uncertain of whether the handler
+ trampled on some random memory next to the stack or having to rely on
+ --lose-on-corruption (which is still a good idea to use in production
+ because stack exhaustion can happen in signal handlers which will likely
+ lead to hangs.)
+ * bug fix: fix gc related interrupt handling bug on ppc (regression from
+ 1.0.25.37, reported by Harald Hanche-Olsen)
+ * bug fix: work around signal delivery bug in darwin (regression from
+ 1.0.25.44, reported by Sidney Markowitz)
+ * bug fix: fix ERROR leaking memory (reported by David Thompson)
+
changes in sbcl-1.0.26 relative to 1.0.25:
- * incompatible change: the interruption (be it a function passed to
+ * incompatible change: an interruption (be it a function passed to
INTERRUPT-THREAD or a timer function) runs in an environment where
interrupts can be enabled. The interruption can use
WITH-INTERRUPTS or WITHOUT-INTERRUPTS as it sees fit. Use
WITHOUT-INTERRUPTS to avoid nesting of interruptions and
- potentially running out of stack. Keep in mind that in the absance
+ potentially running out of stack. Keep in mind that in the absence
of WITHOUT-INTERRUPTS some potentially blocking operation such as
acquiring a lock can enable interrupts.
- * incompatible change: GC-OFF and GC-ON are removed, they were
+ * incompatible change: GC-OFF and GC-ON are removed, as they were
always unsafe. Use WITHOUT-GCING instead.
* new feature: runtime option --disable-ldb
* new feature: runtime option --lose-on-corruption to die at the
memory, stack, alien stack, binding stack, encountering a memory
fault, etc. In the absence of --lose-on-corruption a warning is
printed to stderr.
+ * enhancement: detect binding stack exhaustion
+ * enhancement: detect alien stack exhaustion on x86/x86-64
* improvement: generally more stable and reliable interrupt handling
* improvement: there is a per thread interruption queue,
interruptions are executed in order of arrival
fault.
* bug fix: finalizers, gc hooks never run in a WITHOUT-INTERRUPTS
* bug fix: fix random memory faults related to interrupts on alpha
+ * bug fix: fix random memory faults related to interrupts on sparc
* bug fix: fix deadlocks related to starting threads
* bug fix: fix deadlines on locks on futex platforms
+ * bug fix: restore errno in signal handlers
+ * bug fix: fix deadlocks related to hash tables
+ * bug fix: fix deadlocks in pcl
changes in sbcl-1.0.25 relative to 1.0.24:
* incompatible change: SB-INTROSPECT:FUNCTION-ARGLIST is deprecated, to be
projects / sbcl.git / blobdiff