1.0.11.22: hash-table synchronization support
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index afa7fe6..da64a4f 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,125 @@
 ;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.12 relative to sbcl-1.0.11:
+  * new feature: MAKE-HASH-TABLE now experimentally accepts a
+    :SYNCHRONIZED argument, which makes the hash-table safe for
+    concurrent accesses (but not iteration.) See also:
+    SB-EXT:WITH-LOCKED-HASH-TABLE, and
+    SB-EXT:HASH-TABLE-SYNCHRONIZED-P.
+  * bug fix: SB-SYS:WITH-PINNED-OBJECTS could cause garbage values to
+    be returned from its body when the values were being returned
+    using unknown-values return convection and the W-P-O was wrapped
+    inside an UNWIND-PROTECT.
+  * bug fix: sb-posix should now compile again under Windows, enabling
+    slime to work again.
+
+changes in sbcl-1.0.11 relative to sbcl-1.0.10:
+  * incompatible change: hash-table accessor functions are no longer
+    automatically protected by locks. Concurrent accesses on the same hash-table
+    from multiple threads can give inconsistent results or even corrupt the
+    hash-table completely. Multi-threaded applications should do their own
+    locking at the correct granularity. In the current implementation it is
+    still safe to have multiple readers access the same table, but it's not
+    guaranteed that this property will be maintained in future releases.
+  * minor incompatible change: (SETF MUTEX-VALUE) is not longer supported,
+    and will signal an error at runtime.
+  * enhancement: SB-THREAD package now exports a semaphore interface.
+  * enhancement: CONS can now stack-allocate on x86 and
+    x86-64. (Earlier LIST and LIST* supported stack-allocation, but
+    CONS did not.)
+  * enhancement: nested lists can now be stack allocated on
+    platforms providing stack allocation support.
+  * enhancement: dynamic-extent support has been extended to support
+    cases where there are multiple possible sources for the stack
+    allocated value.
+  * optimization: RELEASE-MUTEX no longer needs to perform a syscall
+    if the mutex is uncontested on Linux.
+  * bug fix: symbol-macro expansion now uses the *MACROEXPAND-HOOK*
+    as specified by the CLHS. (thanks to Tobias Rittweiler)
+  * bug fix: NaN comparison now works on x86-64.
+  * bug fix: CLOSE :ABORT T on a stream with pending output now
+    works.
+  * bug fix: instances of non-standard metaclasses using standard
+    instance structure protocol sometimes missed the slot type checks
+    in safe code.
+  * bug fix: known functions can be inlined in high-debug code.
+
+changes in sbcl-1.0.10 relative to sbcl-1.0.9:
+  * minor incompatible change: the MSI installer on Windows no longer
+    associates .lisp and .fasl files with the installed SBCL.
+  * minor incompatible change: :UNIX is no longer present in *FEATURES*
+    on Windows. (thanks to Luis Oliviera)
+  * new feature: SB-CLTL2 contrib module now implements
+    FUNCTION-INFORMATION. (thanks to Larry D'Anna)
+  * optimization: scavenging weak pointers is now more efficient,
+    requiring O(1) instead of O(N) per weak pointer to identify
+    scanvenged vs. unscavenged pointers. (thanks to Paul Khuong)
+  * optimization: typechecking (SETF SLOT-VALUE) is now ~5x faster in
+    method bodies using constant slot-names when the first argument is
+    a specializer parameter for the method.
+  * optimization: SLOT-VALUE &co are now ~50% faster for variable slot
+    names, when the class of the instance is a direct instance
+    STANDARD-CLASS or FUNCALLABLE-STANDARD-CLASS (making them only 3x
+    as slow as the constant slot-name case.)
+  * 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.
+  * enhancement: DEFINE-MODIFY-MACRO lambda-list information is
+    now more readable in environments like Slime which display it.
+    (thanks to Tobias C. Rittweiler)  
+  * bug fix: SB-EXT:COMPARE-AND-SWAP was non-atomic unless the compiler
+    was able to infer the correct argument type for the object on which
+    the CAS operation was being performed.
+  * bug fix: copy propagation interfered with parallel assignment
+    semantics in local calls. (reported by Paul Khuong)
+  * bug fix: the signed modular fixnum shift compiled to wrong code on
+    x86 and x86-64.  (spotted by a slight modification to some of
+    PFD's random tests)
+
+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).
@@ -7,9 +127,30 @@ changes in sbcl-1.0.8 relative to sbcl-1.0.7:
     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