1.0.11.22: hash-table synchronization support
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index fc41d57..da64a4f 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,10 +1,81 @@
 ;;;; -*- 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.