X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=b7953e8a2b2f075ea02f6579a9f36ce711eb1e18;hb=0338d1fc97a74b8ff332821ea275120b9de951c1;hp=2e658ba35ae1b11eccb6d0dd5e5d1b4a688d1798;hpb=38329dab20845da6964ffc2b03c6a0778c5498a1;p=sbcl.git diff --git a/NEWS b/NEWS index 2e658ba..b7953e8 100644 --- a/NEWS +++ b/NEWS @@ -1,11 +1,209 @@ ;;;; -*- coding: utf-8; fill-column: 78 -*- -changes relative to sbcl-1.0.55: +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 + argument as a disjoint set of small integers. + ** 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.) (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 + used time and space quadratical in the size of the argument there, + the new one is linear. + * enhancement: redesigned protocol for quitting SBCL. SB-EXT:EXIT is the new + main entry point, SB-EXT:QUIT is deprecated. + * enhancement: additions to the SB-THREAD API: RETURN-FROM-THREAD, + ABORT-THREAD, MAIN-THREAD-P, and MAIN-THREAD. + * enhancement: FASL loading no longer grabs the world-lock. + * enhancement: GENCGC reclaims space more aggressively when objects being + allocated are a large fraction of the total available heap space. + (lp#936304) + * enhancement: backtraces show the correct number of arguments for frames + called with too many arguments. + * enhancement: support for abort(3), exit(3), and _exit(2) has been added to + SB-POSIX. + * enhancement: ASDF has been updated 2.21. + * optimization: fewer uses of full calls to signed modular functions. + (lp#903821) + * optimization: typechecking alien values is typically 5 x faster. + * optimization: FDEFINITION, SYMBOL-FUNCTION, MACRO-FUNCTION, and FBOUNDP + are 20% faster. + * bug fix: file compilation performance issues when dumping subtypes + of CHARACTER (lp#994487) + * bug fix: fixed disassembly of some SSE instructions on x86-64. * bug fix: SB-SIMPLE-STREAMS signals an error for bogus :CLASS arguments in OPEN. (lp#969352, thanks to Kambiz Darabi) * bug fix: CASE normal-clauses do not allow T and OTHERWISE as keys. (lp#959687) * bug fix: (SETF (FIND-CLASS X) NIL) removed proper name of the underlying classoid even if X was not the proper name of the class. (lp#941102) + * bug fix: declaration leakage between lexical environments due to careless + use of NCONC in MAKE-LEXENV. (lp#924276) + * bug fix: ENSURE-DIRECTORIES-EXIST now works when + *default-pathname-defaults* contains NAME or TYPE components. + * bug fix: PPRINT couldn't print improper lists with CARs being some symbols + from CL package, e.g. (loop . 10). + * bug fix: run-program with existent or non-existent files for :output or + :input when :if-output-exists or :if-input-does-not-exist are NIL properly + returns NIL instead of signalling an obscure error. + * bug fix: fix miscompilation of some logand forms with large constant + arguments. (lp#974406) + * bug fix: account for funcallable-instance objects properly in ROOM. + * bug fix: incorrect octets reported for c-string decoding errors. + (lp#985505) + * bug fix: miscompilation of LDB on the PowerPC platform. (thanks to Bruce + O'Neel) + * bug fix: better input error reporting for COMPILE-FILE. (lp#493380) + * bug fix: default size of non-nursery generations has been shrunk on GENCGC, + 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) @@ -68,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 @@ -112,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: