fix direct execution of (shebanged) fasls
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index a820ca0..b7953e8 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,140 @@
 ;;;; -*- coding: utf-8; fill-column: 78 -*-
-changes relative to sbcl-1.0.56:
+changes relative to sbcl-1.1.2:
+  * bug fix: fasls are now once again directly executable (on platforms
+    supporting shebang lines, with a suitably-installed sbcl).
+
+changes in sbcl-1.1.2 relative to sbcl-1.1.1:
+  * notice: System requirements for SBCL on Microsoft Windows: Windows NT 5.1
+    or newer (Windows XP, Server 2003) is required.  Support for Windows 2000
+    (NT 5.0) is no longer being maintained.
+  * notice: Starting with this version, SBCL on Windows no longer supports
+    building with disabled thread support.
+  * enhancement: frlocks have been added to SB-CONCURRENCY contrib module.
+  * enhancement: New feature sb-dynamic-core allows the runtime to be
+    rebuilt or relocated without requiring changes to the core file on
+    all linkage table platforms.  Required on Windows.  (Thanks to Anton
+    Kovalenko.)
+  * enhancement: Console I/O streams use UCS-2. (Thanks to Anton Kovalenko.)
+  * enhancement: I/O on Windows unnamed pipes is interruptible
+    asynchronously using interrupt-thread, timers when running on Windows NT
+    version 6.1 or newer (Windows 7, Server 2008 R2).  (Thanks to Anton
+    Kovalenko.)
+  * enhancement: Support for the experimental safepoint-based stop-the-world
+    protocol on the PowerPC platform.
+  * bug fix: Non-blocking reads from the Windows console were not necessarily
+    non-blocking. Thanks to Anton Kovalenko. (lp#308923)
+  * bug fix: stability of threads on Windows has been improved upon through
+    an updated stop-the-world protocol (thanks to Anton Kovalenko).
+
+changes in sbcl-1.1.1 relative to sbcl-1.1.0:
+  * enhancement: WITH-COMPILATION-UNIT no longer grabs the world-lock.
+    (COMPILE and COMPILE-FILE still do.)
+  * optimization: the SPARC backend now supports the precise generational
+    (GENCGC) garbage collection.  Enabled by default on Solaris/SPARC and
+    Linux/SPARC.  Thanks to Raymond Toy (via CMUCL).
+  * enhancement: add experimental support for the SB-THREAD feature and the
+    timer facility on Windows.  Thanks to Dmitry Kalyanov and Anton Kovalenko.
+    Threads are enabled by default, and this version of SBCL is considered
+    to be the last and final release to officially support building with
+    threads disabled.
+  * optimization: The compiler no longer rotates loops in some cases where
+    this transformation actually lead to worse code being generated.
+  * bug fix: SB-CLTL2:MACROEXPAND-ALL correctly handles shadowing of
+    symbol-macros by lexical bindings.
+  * bug fix: stack allocation was prevented by high DEBUG declaration in
+    several cases.
+  * bug fix: SB-EXT:GC-LOGFILE signaled an error when no logfile was set.
+    (thanks to SANO Masatoshi)
+  * bug fix: PARSE-NATIVE-NAMESTRING performed non-native parsing when
+    :JUNK-ALLOWED was true.
+  * bug fix: type derivation inferred overly conservative types for
+    unions of array types. (lp#1050768)
+
+changes in sbcl-1.1.0 relative to sbcl-1.0.58:
+  * enhancement: New variable, sb-ext:*disassemble-annotate* for controlling
+    source annotation of DISASSEMBLE output. Defaults to T.
+  * enhancement: TIMEOUT arguments added to WITH-MUTEX and WITH-RECURSIVE-LOCK, and
+    WAIT-P argument added to WITH-RECURSIVE-LOCK.
+  * enhancement: SB-EXT:ATOMIC-PUSH and SB-EXT:ATOMIC-POP allow atomic operations
+    on list heads.
+  * enhancement: Optional features (not enabled by default) allow the
+    use of signals for inter-thread synchronization to be reduced on certain
+    supported platforms (currently Linux, Solaris, and FreeBSD on x86 and
+    x86-64).  Set (and :sb-thread :sb-safepoint :sb-thruption :sb-wtimer)
+    to test these experimental features.  Known remaining bugs include minor
+    thread safety issues, less timely freeing of memory by GC, and certain
+    (not yet optimally low) runtime overhead.  Thanks to Anton Kovalenko.
+  * optimization: CL:SORT and CL:STABLE-SORT of lists are faster and use fewer
+    comparisons, particularly on almost-sorted inputs.
+  * bug fix: Reading floats with large exponents no longer takes too much time
+    before reporting that the exponent is too large.
+  * bug fix: SB-BSD-SOCKETS:SOCKET-RECEIVE with a UDP socket now works
+    correctly when the received datagram is larger than the provided buffer.
+    (lp#1023438, thanks to Robert Uhl)
+  * bug fix: SB-EXT:GET-CAS-EXPANSION returned a bogus read-form when given
+    a SYMBOL-VALUE form with a constant symbol argument.
+  * bug fix: SB-EXT:GET-CAS-EXPANSION signaled an error when a macro expanding
+    into a DEFCAS defined place was used as the place.
+  * bug fix: FIND and POSITION signaled a type-error when non-bits where looked
+    for from bit-vectors.
+  * bug fix: a race condition around thread creation could (in SBCL 1.0.57)
+    lead to internal errors or crashes (lp#1058799).
+  * documentation: a section on random number generation has been added to the
+    manual. (lp#656839)
+
+changes in sbcl-1.0.58 relative to sbcl-1.0.57:
+  * enhancement: implicit generic function warnings now specify the package
+    in which the new generic function is being created.
+  * enhancement: SB-EXT:ATOMIC-UPDATE makes it easy to perform non-destructive
+    updates of CAS-able places (similar to Clojure's swap!).
+  * enhancement: run-program no longer decodes and re-encodes environment when
+    :environment argument is not provided. (lp#985904)
+  * enhancement: errors during compiler-macro expansion no longer cause
+    runtime errors, only a compile-time warning, otherwise behaving as if
+    the compiler macro had declined to expand.
+  * optimization: On x86-64, code alignment of block headers is done with
+    multi-byte NOPs now instead of repetitions of the single-byte NOP.
+  * optimization: MAP-INTO is substantially faster when the target sequence is
+    of unknown type; mapping into lists is no longer O(N^2). (lp#1001043,
+    thanks to James M. Lawrence)
+  * optimization: the compiler no longer heap-conses to check exits in cases
+    where the exit function is dynamic extent, or when it can prove the exit
+    function cannot escape. (lp#1002534)
+  * optimization: SB-SEQUENCE:DOSEQUENCE is faster on vectors of unknown
+    element type, and vectors that aren't SIMPLE-ARRAYs.
+  * optimization: CL:SORT and CL:STABLE-SORT are more efficient in execution
+    speed (around 1/3 the time in some cases), and a little better in terms of
+    comparison calls. (Thanks to Takeru Ohta)
+  * bug fix: On SPARC, a limitation on the number of code constants emittable
+    by the compiler has been lifted, allowing certain long functions to
+    compiled and assembled which had previously been unsupported; fixes
+    cl-bench on this ISA (lp#1008996).
+  * bug fix: potential for infinite recursion during compilation of CLOS slot
+    typechecks when dependency graph had loops. (lp#1001799)
+  * bug fix: error forms reported with some program-errors were not escaped
+    properly.
+  * bug fix: functions from EVAL are now on more equal footing with functions
+    from COMPILE. (lp#1000783, lp#851170, lp#922408)
+  * bug fix: ENSURE-GENERIC-METHOD-COMBINATION accepts method combination
+    objects as its :METHOD-COMBINATION argument, not just lists designating
+    method combinations. (lp#936513)
+  * bug fix: run-program no longer unconditionally uses /tmp/ for temporary
+    files. (lp#968837).
+  * bug fix: restore build on solaris/sparc. (lp#1008506)
+  * bug fix: an issue with LDB in the PowerPC backend has been resolved;
+    this fixes an issue found with cl-postgres (thanks to Tomas Hlavaty).
+  * bug fix: compiler-macro lambda-lists specifying non-keyword symbols
+    as keyword arguments no longer accidentally match unevaluated symbols
+    against them.
+  * bug fix: FORMAT used to loop infinitely in some cases when a COLINC
+    parameter was zero, now it signals an error. (lp#905817, fixed since
+    1.0.56.19)
+  * bug fix: run-program with :pty t no longer makes the pty as the process's
+    controling terminal.
+  * bug fix: spawning threads on OS X 10.8 no longer crashes the process 
+    (lp#1012811).
+
+changes in sbcl-1.0.57 relative to sbcl-1.0.56:
   * RANDOM enhancements and bug fixes:
     ** bug fix: the range and distribution of random integers could be
        catastrophically wrong when the compiler derived the type of its
@@ -7,7 +142,7 @@ changes relative to sbcl-1.0.56:
     ** bug fix: the distribution of random integers is now completely
        uniform even when the specified limit is not a power of two.
        (Previously some values could be about 0.1 % more probable than
-       others in the worst case.)
+       others in the worst case.) (lp#309467)
     ** RANDOM on large integer arguments is generally faster and conses
        less than before; this is visible for fixnums above a length of
        about 24 bits, but extremely so for bignums: the old implementation
@@ -61,6 +196,14 @@ changes relative to sbcl-1.0.56:
     allowing faster release of memory back to the OS. (lp#991293)
   * bug fix: WITH-DEADLINE (:SECONDS NIL :OVERRIDE T) now drops any
     existing deadline for the dynamic scope of its body.
+  * bug fix: compiler-internal interval arithmetic needed to be more
+    conservative about open intervals when operated on by monotonic but not
+    strictly-monotonic functions.  (lp#975528)
+  * bug fix: copy-tree caused stack exhaustion on long linear lists, and now
+    it's also slightly faster. (lp#998926)
+  * bug fix: better error messages for malformed declarations.
+    (lp#1000239)
+  * bug fix: define-condition didn't return the name of the defined condition.
   * documentation:
     ** improved docstrings: REPLACE (lp#965592)
 
@@ -123,6 +266,8 @@ changes in sbcl-1.0.55 relative to sbcl-1.0.54:
   * optimization: the compiler no longer refuses to coerce large fixnums to
     single floats inline, except on x86 where this limitation is still
     necessary.
+  * optimization: truncation operations on integers with constant divisor
+    arguments 1 and -1 are optimized away.
   * bug fix: deadlock detection could report the same deadlock twice, for
     two different threads. Now a single deadlock is reported exactly once.
   * bug fix: interval-arithmetic division during type derivation did not
@@ -167,6 +312,7 @@ changes in sbcl-1.0.55 relative to sbcl-1.0.54:
     forms of MAKE-ARRAY with dynamic-extent. (lp#902351)
   * bug fix: some of the compile-time side-effects of DEFCLASS were not caught
     by package locks.
+  * bug fix: Proper handling of --dynamic-space-size option on 32 bit platforms.
 
 changes in sbcl-1.0.54 relative to sbcl-1.0.53:
   * minor incompatible changes: