1.0.11.22: hash-table synchronization support
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 4a30176..da64a4f 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,82 @@
 ;;;; -*- 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,
@@ -7,6 +85,13 @@ changes in sbcl-1.0.9 relative to sbcl-1.0.8:
   * 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
@@ -18,6 +103,19 @@ changes in sbcl-1.0.9 relative to sbcl-1.0.8:
     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