X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=b7a366ba923b6f26bbf07527bbd29d09d720b94a;hb=75f37cd646778cc8d4bed86d79309b7161bd41dc;hp=27ca9108543f3cf756a973497ae5309590239e83;hpb=273757631306c5d5c36f3aa7fed496a6d5c5f35e;p=sbcl.git diff --git a/NEWS b/NEWS index 27ca910..b7a366b 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,228 @@ -;;;; -*- coding: utf-8; -*- +;;;; -*- coding: utf-8; fill-column: 78 -*- + * bug fix: disable address space randomization Linux/x86-64 as well, + not just x86-64. (reported by Ken Olum) + * 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) + +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: 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 + slightest hint of possibly non-recoverable errors: running out of + 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 + important locks so that the debugger/handler doesn't produce + recursive errors or deadlock. + * bug fix: real-time signals are not used anymore, so no more + hanging when the system wide real-time signal queue gets full. + * bug fix: INTERRUPT-THREAD on a dying thread could produce memory + 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 + removed later. Please use SB-INTROSPECT:FUNCTION-LAMBDA-LIST instead. + * new feature: SB-INTROSPECT:DEFTYPE-LAMBDA-LIST allows retrieval of + DEFTYPE lambda lists. (thanks to Tobias Rittweiler) + * enhancement: MUTEX-VALUE is to be superseded by MUTEX-OWNER that has a + better name and does not return values so stale on multiprocessor systems. + Also, HOLDING-MUTEX-P was added for about the only sane usage of + MUTEX-OWNER. + * improvement: unithread builds keep track of MUTEX-VALUE. + * improvement: reading from a TWO-WAY-STREAM does not touch the output + stream anymore making it thread safe to have a concurrent reader and + a writer, for instance, in a pipe. + * improvement: GET-SETF-EXPANDER avoids adding bindings for constant + arguments, making compiler-macros for SETF-functions able to inspect + their constant arguments. + * improvement: COMPILE-FILE reports times with millisecond accuracy + (thanks to Luis Oliveira) + * optimization: CHAR-CODE type derivation has been improved, making + TYPEP elimination on subtypes of CHARACTER work better. (reported + by Tobias Rittweiler, patch by Paul Khuong) + * bug fix: setting alien structure fields of type struct by value now + computes the right offset for the memory copy. + * bug fix: compilation problem involving inlined calls to aliens with + result type VOID. (reported by Ken Olum) + * bug fix: #235a; sequential inline expasion in different policies no + longer reuses the functional from the previous expansion site. + * bug fix: DEFTYPE no longer breaks on bodies consisting of a single + unquoted symbol. Regression from 1.0.22.8. (reported by Ariel Badichi) + * bug fix: named ENUMs in multiply-referenced alien record types no longer + cause an implied type redefinition. Regression from 1.0.21.29. + * bug fix: sign-extension of small signed return values now works with C + code compiled with gcc 4.3 or newer. (reported by Liam Healy) + * improvements to the Windows port: + ** SB-BSD-SOCKETS now works from saved cores as well. (reported by Stephen + Westfold, thanks to Rudi Schlatte) + +changes in sbcl-1.0.24 relative to 1.0.23: + * new feature: ARRAY-STORAGE-VECTOR provides access to the underlying data + vector of a multidimensional SIMPLE-ARRAY. + * new feature: the system now signals a continuable error if standard + readtable modification is attempted. (thanks to Tobias Rittweiler) + * new feature: DIRECTORY has been extended with a non-standard keyword + argument :RESOLVE-SYMLINKS. (thanks to TC-Rucho) + * enhancement: SB-BSD-SOCKETS:MAKE-SOCKET-STREAM keyword argument handling + has been robustified and documented better. (thanks to Robert Goldman) + * optimization: faster generic arithmetic dispatch on x86 and x86-64. + * optimization: FORMAT ~D and ~F are now approximately 5% faster. + * tradeoff: constant FORMAT control strings are now compiled unless + SPACE > SPEED (previously only when SPEED > SPACE.) + * bug fix: Red Hat Enterprise 3 mmap randomization workaround. (thanks + to Thomas Burdick) + * bug fix: DEFCLASS and ENSURE-CLASS-USING-CLASS are now expected to + be thread safe. + * bug fix: lexical type declarations are now correctly reported by + SB-CLTL2. (reported by Larry D'Anna) + * bug fix: STRING-TO-OCTETS did not handle :START properly when + using UTF-8 as external format. (thanks to Luis Oliveira) + * bug fix: errors from invalid fill-pointer values to (SETF FILL-POINTER) + are signalled correctly. (thanks to Stas Boukarev) + * bug fix: SET-MACRO-CHARACTER accepts NIL as the readtable + designator. (thanks to Tobias Rittweiler) + * bug fix: SET-DISPATCH-MACRO-CHARACTER accepts NIL as the readtable + designator, and returns T instead of the function. (thanks to + Tobias Rittweiler) + * bug fix: direct superclasses of STANDARD-CLASS and + FUNCALLABLE-STANDARD-CLASS now default to STANDARD-OBJECT and + FUNCALLABLE-STANDARD-OBJECT as required by AMOP. + * bug fix: compiling a call to SLOT-VALUE with a constant slot-name + when no class with the named slot yet exists no longer causes a + compile-time style-warning. + * bug fix: :ALLOCATION :CLASS slots are type-checked properly + in safe code. (reported by Didier Verna) + * bug fix: #430; nested structure constructors can stack allocate. + * bug fix: on some 64-bit platforms dynamic space size was truncated + to #xffff0000 bytes. (reported by Benjamin Lambert) + * bug fix: setting *READ-SUPPRESS* to T no longer renders the default + REPL unusable. (reported by Daniel Herring) + * bug fix: return values of READ-SEQUENCE did not take :START into + account on file streams, regressions since 1.0.12.22. (reported by + Thomas Russ, patch by Paul Khuong) + * bug fix: using SET or (SETF SYMBOL-VALUE) to change the value of a + method specializer used to confuse permuation vector optimization. + * bug fix: system inserted bogus implicit type declarations for local + special variables in DEFMETHOD bodies. + * bug fix: #354; duplicated frames in backtraces due to + non-tail-call-optimized XEPs to functions with return type NIL + have been elimited. + * bug fix: #357; MAKE-INSTANCE/SHARED-INITIALIZE now + initializes structure object slots according to DEFSTRUCT initforms, + and DEFSTRUCT forms :INCLUDEind structure classes defined using + DEFCLASS :METACLASS STRUCTURE-CLASS now inherit their initforms. + (reported by Bruno Haible and Stephen Wilson) + * bug fix: #395; fill-pointer output streams used now support + element-type BASE-CHAR as well. + * bug fix: compiler error when attempting to derive return value of + ARRAY-ELEMENT-TYPE when the array type was a union of intersection + types. + * bug fix: address-spaces overlapped on OpenBSD. (thanks to Josh + Elsasser) + * bug fix: Mac OS X binaries should now be portable between Leopard + and Tiger. + +changes in sbcl-1.0.23 relative to 1.0.22: + * enhancement: when disassembling method functions, disassembly + for the associated fast function is also produced. + * enhancement: system stores DEFTYPE lambda-lists, so DESCRIBE can + report them. + * optimization: printing with *PRINT-PRETTY* true is now more + efficient as long as the object being printed doesn't require + special handling by the pretty printer. + * bug fix: slot symbol-macros from WITH-SLOTS inside DEFMETHOD bodies + now interact correctly with type declarations. + * partial bug fix: PCL detects infinite recursion during wrapper + validation. (thanks to Attila Lendvai) + * bug fix: #426; nested function calls are inlined properly. + Previously if FOO was an inline function, in calls of the form + (FOO (FOO ...)) the outer call was not inlined. + * bug fix: long long arguments passed in registers to alien + functions on PowerPC Linux and NetBSD are now handled correctly + when preceded by SYSTEM-AREA-POINTERs. (reported by Josh Elsasser) + changes in sbcl-1.0.22 relative to 1.0.21: * minor incompatible change: LOAD-SHARED-OBJECT no longer by default looks for the shared object in the current directory, but passes the native @@ -44,6 +268,12 @@ changes in sbcl-1.0.22 relative to 1.0.21: update the system's knowledge about its call signature properly. * bug fix: fixed #431; incompatible alien record type redefinitions are detected and handled. (reported by Neil Haven) + * bug fix: using RESTRICT-COMPILER-POLICY with DEBUG 3 could cause + PROGV miscompilation. (reported by Matthias Benkard, patch by Juho + Snellman) + * bug fix: on x86 and x86-64 backtraces were sometimes truncated + after alien stack frames. + * bug fix: strings passed to mk{s,d}temp lacked null termination changes in sbcl-1.0.21 relative to 1.0.20: * new feature: the compiler is able to track the effective type of a @@ -140,7 +370,7 @@ changes in sbcl-1.0.19 relative to 1.0.18: type is not know sufficiently well a compile-time are now compiled correctly. (reported by John Morrison) * bug fix: compiler no longer makes erronous assumptions in the - presense of non-foldable SATISFIES types. + presence of non-foldable SATISFIES types. * bug fix: stack analysis missed cleanups of dynamic-extent arguments in non-let-converted calls to local functions. * improvements to the Windows port: @@ -255,7 +485,7 @@ changes in sbcl-1.0.16 relative to 1.0.15: * minor incompatible change: SB-BSD-SOCKETS:NAME-SERVICE-ERROR now inherits from ERROR instead of just CONDITION. * new feature: SB-INTROSPECT can provide source locations for instances - as well. (thanks to Tobian Ritterweiler) + as well. (thanks to Tobias Rittweiler) * optimization: binding special variables now generates smaller code on threaded platforms. * optimization: MEMBER and ASSOC are over 50% faster for :TEST #'EQ @@ -1099,7 +1329,7 @@ changes in sbcl-0.9.14 relative to sbcl-0.9.13: default, and DISABLE-DEBUGGER and ENABLE-DEBUGGER also affect the low-level debugger. * enchancement: RUN-PROGRAM is now able to extract the file-descriptor - from SYNONYM-STREAM and TWO-WAY-STEAMS provided they can be decomposed + from SYNONYM-STREAM and TWO-WAY-STREAM provided they can be decomposed down to an SB-SYS:FD-STREAM, allowing direct communication in more cases. Temporary files and pipes are still used as a fallback strategy.