1.0.9.1: faster MAKE-MEMBER-TYPE, UNION, and NUNION
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 52ecd23..fc41d57 100644 (file)
--- a/NEWS
+++ b/NEWS
 ;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.10 relative to sbcl-1.0.9:
+  * optimization: member type construction is now O(N) instead
+    of O(N^2).
+  * optimization: UNION and NUNION are now O(N+M) for large
+    inputs as long as the :TEST function is one of EQ, EQL, EQUAL, or
+    EQUALP.
+
+changes in sbcl-1.0.9 relative to sbcl-1.0.8:
+  * minor incompatible change: SB-SYS:OUTPUT-RAW-BYTES is deprecated.
+  * enhancement: SB-EXT:FINALIZE accepts a :DONT-SAVE keyword argument,
+    indicating the finalizer should be cancelled when SAVE-LISP-AND-DIE
+    is called.
+  * enhancement: default PRINT-OBJECT methods for classes, slot-definitions,
+    and generic function now print the object identity for anonymous
+    instances. (thanks to Attila Lendvai)
+  * enhancement: as an extension to MOP, SBCL now supports SETF of
+    STANDARD-INSTANCE-ACCESS and FUNCALLABLE-STANDARD-INSTANCE-ACCESS.
+    (thanks to Attila Lendvai)
+  * enhancement: sb-cover has an alternate annotation mode which puts
+    the form annotations at the car of the form, instead of annotating
+    it completely. The benefit of this mode is that it shows better
+    which forms were instrumented by the compiler.
+  * bug fix: new compiler transforms for MEMBER and ASSOC were affected
+    by printer control variables. (reported by Dan Corkill)
+  * bug fix: system leaked memory when delayed output was performed by
+    the OS in smaller chunks then expected. (thanks to David Smith)
+  * bug fix: system leaked memory when file streams were not closed 
+    properly.
+  * bug fix: large objects written to slow streams that were modified
+    after the write could end up with the modified state written to
+    the underlying file descriptor.
+  * bug fix: multiple threads operating in parallel on the same stream
+    could cause buffer-overflows.
+  * bug fix: source location information is stored correctly 
+    (broken since 1.0.6). This bug would generally show up as the
+    Slime debugger higlighting the wrong form when the sldb-show-source
+    command was used.
+  * bug fix: Branch forms are again annotated as branches in the sb-cover
+    annotations.
+  * bug fix: GCD on MOST-NEGATIVE-FIXNUM no longer causes an infinite loop
+    on x86-64. (reported by Gregory Vanuxem)
+  * bug fix: EQUALP could return wrong results for structures with raw
+    slots (slots with a :TYPE of SINGLE-FLOAT, DOUBLE-FLOAT, or a machine
+    word). (reported by Vjacheslav Fyodorov)
+  * bug fix: sb-sprof sampling didn't work on non-x86oid platforms. (patch
+    by Pierre Mai)
+
+changes in sbcl-1.0.8 relative to sbcl-1.0.7:
+  * enhancement: experimental macro SB-EXT:COMPARE-AND-SWAP provides
+    atomic compare-and-swap operations on threaded platforms.
+  * enhancement: experimental function SB-EXT:RESTRICT-COMPILER-POLICY
+    allows assining a global minimum value to optimization qualities
+    (overriding proclamations and declarations).
+  * enhancement: closed over variables can be stack-allocated on x86
+    and x86-64.
+  * performance bug fix: GETHASH and (SETF GETHASH) are once again
+    non-consing.
+  * optimization: slot definition lookup is now O(1). This speeds up
+    eg. SLOT-VALUE and (SETF SLOT-VALUE) with variable slot names.
+  * optimization: STRING-TO-OCTETS is now up to 60% faster for UTF-8.
+  * optimization: ASSOC and MEMBER can now be open-coded for all
+    combinations of keyword arguments when second argument is constant
+    and SPEED >= SPACE. In other cases a specialized version is
+    selected.
+  * bug fix: using obsoleted structure instances with TYPEP and
+    generic functions now signals a sensible error.
+  * bug fix: threads waiting on GET-FOREGROUND can be interrupted.
+    (reported by Kristoffer Kvello)
+  * bug fix: backtrace construction is now more careful when making
+    lisp-objects from pointers on the stack, to avoid creating bogus
+    objects that can be seen by the GC.
+  * bug fix: defaulting of values in contexts expecting more than 7
+    variables now works on x86-64.  (reported by Christopher Laux)
+  * bug fix: modifications to packages (INTERN, EXPORT, etc) are now
+    thread safe.
+  * bug fix: (SETF SYMBOL-PLIST) no longer allows assigning a non-list
+    as the property-list of a symbol.
+  * bug fix: DEFMETHOD forms with CALL-NEXT-METHOD in the method body,
+    in EVAL-WHEN forms with both :COMPILE-TOPLEVEL and :LOAD-TOPLEVEL 
+    situations requested, are once again file-compileable.  (reported
+    by Sascha Wilde)
+
+changes in sbcl-1.0.7 relative to sbcl-1.0.6:
+  * MOP improvement: support for user-defined subclasses of
+    SB-MOP:SPECIALIZER has been enhanced.  The experimental interface
+    function SB-PCL:MAKE-METHOD-SPECIALIZERS-FORM, called as part of
+    the expansion of DEFMETHOD, is responsible for generating a form
+    which creates a list of specializers when evaluated.  Additional
+    functions SB-PCL:[UN]PARSE-SPECIALIZER-USING-CLASS provide
+    debugging and introspective support.
+  * minor incompatible change: the (unsupported) spinlock interface
+    has changed: free spinlock now has the value NIL, and a held spinlock
+    has the owning thread as its value.
+  * enhancement: WITHOUT-INTERRUPTS now binds ALLOW-WITH-INTERRUPTS and
+    WITH-LOCAL-INTERRUPTS as local macros. Refer to documentation string
+    for details.
+  * enhancement: name of a socket-stream is now "a socket" instead of
+    "a constant string".
+  * enhancement: SB-POSIX now supports lockf(). (Thanks to Zach Beane.)  
+  * enhancement: SB-POSIX now supports getcwd(). (Thanks to Tassilo Horn.)
+  * enhancement: SB-INTROSPECT:FUNCTION-ARGLIST shows nicer argument lists
+    for generic functions. (Thanks to Tobias C. Rittweiler)
+  * optimization: bignum printing speed has been improved by 20-40%
+    (depending on the bignum size.)
+  * bug fix: WITH-MUTEX and WITH-RECURSIVE-LOCK are now interrupt safe
+    on Linux.
+  * bug fix: the cache used by the CLOS to store precomputed effective
+    methods, slot offsets, and constant return values is now thread and
+    interrupt safe.
+  * bug fix: generic function dispatch function updating is now thread
+    and interrupt safe (in the sense that the known issues have been
+    fixed.)
+  * bug fix: ADD/REMOVE-METHOD is now thread and interrupt safe.
+  * bug fix: interning EQL-specializers is now thread and interrupt safe.
+  * bug fix: asdf systems with dependencies to the SB-POSIX or 
+    SB-BSD-SOCKETS contribs can be loaded with :FORCE T.
+  * bug fix: interrupt safety of applicable method computation has been
+    improved.
+
 changes in sbcl-1.0.6 relative to sbcl-1.0.5:
   * new contrib: sb-cover, an experimental code coverage tool, is included
     as a contrib module.
   * optimization: STRING-TO-OCTETS for unibyte encodings and UTF-8 is
     significantly faster.
+  * optimization: calls of the form (AREF FOO (+ INDEX <constant>)) now
+    produce more efficient code on x86-64 if the compiler can determine
+    that (+ INDEX <constant>) does not require a bounds check and FOO
+    has an element type at least 8 bits wide.
   * enhancement: a new, experimental synchronous timeout facility is
     provided. Refer to SB-SYS:WITH-DEADLINE for details.
   * enhancement: when a symbol name conflict error arises, the
     conflicting symbols are always printed with a package prefix.
     (thanks to Kevin Reid)
-  * enhancement: stepping is now once again supported on the SPARC.  (It is
-    also now more likely to work on CheneyGC builds on the PPC.)
-  * enhancement: Stepping support on MIPS.
+  * enhancement: stepping is now once again supported on the SPARC and
+    MIPS platforms.  (It is also now more likely to work on CheneyGC
+    builds on the PPC.)
   * enhancement: sb-sprof can now also track and report accurate call
     counts.
+  * bug fixes: the treatment of non-standard subclasses of
+    SB-MOP:SPECIALIZER is more correct.
   * incompatible change: PURIFY no longer copies the data from the 
     dynamic space into the static and read-only spaces on platforms
     that use the generational garbage collector