X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=505e5180398ccae658cad277880b8948e71dcda9;hb=9837343101c3da7b3a8f94609ec116ec5025436a;hp=e3b105df5ca26af376d8f95dc0bcb8c68f5a28ab;hpb=816c50a5589bcf756f67119e657ae348e4858357;p=sbcl.git diff --git a/NEWS b/NEWS index e3b105d..505e518 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,106 @@ ;;;; -*- coding: utf-8; fill-column: 78 -*- + * 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. + * improvement: SBCL now emits a compiler note where stack allocation was + requested but could not be provided. + * 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. + * documentation: CLOS slot typechecing policy has been documented. + * 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: GC-OFF and GC-ON are removed, they were + * 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 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, 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 @@ -8,6 +108,15 @@ changes in sbcl-1.0.26 relative to 1.0.25: 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 + * improvement: a repeating timer reschedules itself when the it has + finished, but expiration times are spaced equally. If an + expiration time is in the past it will trigger after a short grace + period that may give a chance to other things to run. * optimization: slightly faster gc on multithreaded builds * optimization: faster WITHOUT-GCING * bug fix: when JOIN-THREAD signals an error, do it when not holding @@ -19,7 +128,12 @@ changes in sbcl-1.0.26 relative to 1.0.25: 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