1.0.25.40: fix JOIN-THREAD
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 18ffd73..a1cd3c5 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,200 @@
-;;;; -*- coding: utf-8; -*-
+;;;; -*- coding: utf-8; fill-column: 78 -*-
+changes in sbcl-1.0.26 relative to 1.0.25:
+  * incompatible change: GC-OFF and GC-ON are removed, 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.
+  * 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: finalizers, gc hooks never run in a WITHOUT-INTERRUPTS
+  * bug fix: fix deadlocks related to starting threads
+
+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
+    namestring of the designated pathname to the operation system's shared
+    object loading function as-it.
+  * minor incompatible change: --disable-debugger toplevel option now takes
+    effect before processing of initialization files and --eval or --load
+    options.
+  * new feature: new commandline argument: --script, which supports
+    shebang lines. See documentation for details. (based on work by
+    Kevin Reid)
+  * new feature: SAVE-LISP-AND-DIE can save current values of
+    --dynamic-space-size and --control-stack-size in the executable core,
+    causing it to skip normal runtime option processing. See documentation
+    for details. (thanks to Zach Beane)
+  * enhancement: inoccous calls to EVAL or generic functions dispatching
+    on subclasses of eg. STREAM no longer cause compiler notes to appear.
+  * enhancement: the system no longer resignals errors from --load and
+    --eval toplevel arguments as SIMPLE-ERRORS, which caused restarts
+    associated with the original error to be lost. (thanks to Ariel
+    Badichi)
+  * enhancement: :DONT-SAVE keyword argument has been added to
+    LOAD-SHARED-OBJECT for controlling interaction with
+    SAVE-LISP-AND-DIE, and UNLOAD-SHARED-OBJECT can be used to undo
+    the effects of an earlier LOAD-SHARED-OBJECT call.
+  * bug fix: ADJUST-ARRAY on multidimensional arrays used bogusly give
+    them a fill pointer unless :DISPLACED-TO or :INITIAL-CONTENTS were
+    provided. (reported by Cedric St-Jean)
+  * bug fix: circularity handling in the reader did not treat raw
+    structure slots correctly. (reported by Cedric St-Jean)
+  * bug fix: SERVE-EVENT occasionally signaled an error about bogus
+    file descriptors when there were none.
+  * bug fix: DEFINE-COMPILER-MACRO support of destructuring lambda-lists
+    was broken. (reporteed by Willem Broekema)
+  * bug fix: SB-EXT:NATIVE-NAMESTRING on Windows did not work on
+    pathnames without a directory.
+  * bug fix: COMPILE-FILE did not warn about undefined variable
+    references at toplevel, and LOAD of the resulting fasl did
+    not signal an error.
+  * bug fix: functions with non-required arguments used to end up with
+    (SB-C::&OPTIONAL-DISPATCH ...) as their name.
+  * bug fix: redefining a function with non-required arguments didn't
+    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
+    generic function across method addition and removal.
   * new feature: SB-EXT:ATOMIC-INCF allows atomic incrementation of
     appropriately typed structure slots without locking.
   * new feature: SB-EXT:CALL-WITH-TIMING provides access to timing
     owned by other threads anymore.
   * bug fix: FIND on lists called KEY outside the specified
     subsequence. (reported by budden)
+  * bug fix: LOG doesn't use single-float intermediate results when
+    given mixed integer and double-float arguments, leading to better
+    precision. (reported by Bob Felts)
+  * bug fix: LOG with base zero returned values of inconsistent type.
 
 changes in sbcl-1.0.20 relative to 1.0.19:
   * minor incompatible change: OPTIMIZE qualities
@@ -87,7 +287,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:
@@ -202,7 +402,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
@@ -1046,7 +1246,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.