1.0.23.40: export page sizes to C with LU suffix
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index d6e2011..2318661 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,264 @@
 ;;;; -*- coding: utf-8; -*-
+  * new feature: ARRAY-STORAGE-VECTOR provides access to the underlying
+    data vector of an multidimensional SIMPLE-ARRAY.
+  * new feature: the system now signals a continuable error if standard
+    readtable modification is attempted.
+  * optimization: faster generic arithmetic dispatch on x86 and x86-64.
+  * bug fix: Red Hat Enterprise 3 mmap randomization workaround. (thanks
+    to Thomas Burdick)
+  * bug fix: DEFCLASS and ENSURE-CLASS-USING-CLASS are now expected to
+    be thread safe.
+  * bug fix: lexical type declarations are now correctly reported by
+    SB-CLTL2. (reported by Larry D'Anna)
+  * bug fix: STRING-TO-OCTETS did not handle :START properly when
+    using UTF-8 as external format. (thanks to Luis Oliveira)
+  * bug fix: errors from invalid fill-pointer values to (SETF FILL-POINTER)
+    are signalled correctly. (thanks to Stas Boukarev)
+  * bug fix: SET-MACRO-CHARACTER accepts NIL as the readtable
+    designator. (thanks to Tobias Rittweiler)
+  * bug fix: SET-DISPATCH-MACRO-CHARACTER accepts NIL as the readtable
+    designator, and returns T instead of the function. (thanks to
+    Tobias Rittweiler)
+  * bug fix: direct superclasses of STANDARD-CLASS and
+    FUNCALLABLE-STANDARD-CLASS now default to STANDARD-OBJECT and
+    FUNCALLABLE-STANDARD-OBJECT as required by AMOP.
+  * bug fix: compiling a call to SLOT-VALUE with a constant slot-name
+    when no class with the named slot yet exists no longer causes a
+    compile-time style-warning.
+  * bug fix: :ALLOCATION :CLASS slots are type-checked properly
+    in safe code. (reported by Didier Verna)
+  * bug fix: #430; nested structure constructors can stack allocate.
+  * bug fix: on some 64-bit platforms dynamic space size was truncated
+    to #xffff0000 bytes. (reported by Benjamin Lambert)
+
+changes in sbcl-1.0.23 relative to 1.0.22:
+  * enhancement: when disassembling method functions, disassembly
+    for the associated fast function is also produced.
+  * enhancement: system stores DEFTYPE lambda-lists, so DESCRIBE can
+    report them.
+  * optimization: printing with *PRINT-PRETTY* true is now more
+    efficient as long as the object being printed doesn't require
+    special handling by the pretty printer.
+  * bug fix: slot symbol-macros from WITH-SLOTS inside DEFMETHOD bodies
+    now interact correctly with type declarations.
+  * partial bug fix: PCL detects infinite recursion during wrapper
+    validation. (thanks to Attila Lendvai)
+  * bug fix: #426; nested function calls are inlined properly.
+    Previously if FOO was an inline function, in calls of the form
+    (FOO (FOO ...)) the outer call was not inlined.
+  * bug fix: long long arguments passed in registers to alien
+    functions on PowerPC Linux and NetBSD are now handled correctly
+    when preceded by SYSTEM-AREA-POINTERs. (reported by Josh Elsasser)
+
+changes in sbcl-1.0.22 relative to 1.0.21:
+  * minor incompatible change: LOAD-SHARED-OBJECT no longer by default looks
+    for the shared object in the current directory, but passes the native
+    namestring of the designated pathname to the operation system's shared
+    object loading function as-it.
+  * minor incompatible change: --disable-debugger toplevel option now takes
+    effect before processing of initialization files and --eval or --load
+    options.
+  * new feature: new commandline argument: --script, which supports
+    shebang lines. See documentation for details. (based on work by
+    Kevin Reid)
+  * new feature: SAVE-LISP-AND-DIE can save current values of
+    --dynamic-space-size and --control-stack-size in the executable core,
+    causing it to skip normal runtime option processing. See documentation
+    for details. (thanks to Zach Beane)
+  * enhancement: inoccous calls to EVAL or generic functions dispatching
+    on subclasses of eg. STREAM no longer cause compiler notes to appear.
+  * enhancement: the system no longer resignals errors from --load and
+    --eval toplevel arguments as SIMPLE-ERRORS, which caused restarts
+    associated with the original error to be lost. (thanks to Ariel
+    Badichi)
+  * enhancement: :DONT-SAVE keyword argument has been added to
+    LOAD-SHARED-OBJECT for controlling interaction with
+    SAVE-LISP-AND-DIE, and UNLOAD-SHARED-OBJECT can be used to undo
+    the effects of an earlier LOAD-SHARED-OBJECT call.
+  * bug fix: ADJUST-ARRAY on multidimensional arrays used bogusly give
+    them a fill pointer unless :DISPLACED-TO or :INITIAL-CONTENTS were
+    provided. (reported by Cedric St-Jean)
+  * bug fix: circularity handling in the reader did not treat raw
+    structure slots correctly. (reported by Cedric St-Jean)
+  * bug fix: SERVE-EVENT occasionally signaled an error about bogus
+    file descriptors when there were none.
+  * bug fix: DEFINE-COMPILER-MACRO support of destructuring lambda-lists
+    was broken. (reporteed by Willem Broekema)
+  * bug fix: SB-EXT:NATIVE-NAMESTRING on Windows did not work on
+    pathnames without a directory.
+  * bug fix: COMPILE-FILE did not warn about undefined variable
+    references at toplevel, and LOAD of the resulting fasl did
+    not signal an error.
+  * bug fix: functions with non-required arguments used to end up with
+    (SB-C::&OPTIONAL-DISPATCH ...) as their name.
+  * bug fix: redefining a function with non-required arguments didn't
+    update the system's knowledge about its call signature properly.
+  * bug fix: fixed #431; incompatible alien record type redefinitions
+    are detected and handled. (reported by Neil Haven)
+  * bug fix: using RESTRICT-COMPILER-POLICY with DEBUG 3 could cause
+    PROGV miscompilation. (reported by Matthias Benkard, patch by Juho
+    Snellman)
+  * bug fix: on x86 and x86-64 backtraces were sometimes truncated
+    after alien stack frames.
+  * bug fix: strings passed to mk{s,d}temp lacked null termination
+
+changes in sbcl-1.0.21 relative to 1.0.20:
+  * new feature: the compiler is able to track the effective type of a
+    generic function across method addition and removal.
+  * new feature: SB-EXT:ATOMIC-INCF allows atomic incrementation of
+    appropriately typed structure slots without locking.
+  * new feature: SB-EXT:CALL-WITH-TIMING provides access to timing
+    information like those gathered by TIME using a programming-friendly
+    interface.
+  * new feature: TIME reports time taken even if the form performs a
+    non-local transfer of control.
+  * enhancement: reduced conservativism on GENCGC platforms: on
+    average 45% less pages pinned (measured from SBCL self build).
+  * bug fix: SB-EXT:COMPARE-AND-SWAP on SYMBOL-VALUE can no longer
+    mutate constant symbols or violate declaimed type of the symbol.
+  * bug fix: SB-THREAD:SIGNAL-SEMAPHORE could fail to wakeup threads
+    sleeping on the semaphore in heavily contested semaphores.
+  * bug fix: semaphores and condition variables were not interrupt
+    safe.
+  * bug fix: SB-THREAD:CONDITION-WAIT doesn't allow waits on mutexes
+    owned by other threads anymore.
+  * bug fix: FIND on lists called KEY outside the specified
+    subsequence. (reported by budden)
+  * bug fix: LOG doesn't use single-float intermediate results when
+    given mixed integer and double-float arguments, leading to better
+    precision. (reported by Bob Felts)
+  * bug fix: LOG with base zero returned values of inconsistent type.
+
+changes in sbcl-1.0.20 relative to 1.0.19:
+  * minor incompatible change: OPTIMIZE qualities
+    SB-C::STACK-ALLOCATE-DYNAMIC-EXTENT, SB-C::STACK-ALLOCATE-VECTOR,
+    and SB-C::STACK-ALLOCATE-VALUE-CELLS no longer exist. See documentation
+    and SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT* for details.
+  * documentation: some slot access efficiency guidelines have been
+    added to the user manual.
+  * optimization: ASSOC-IF, ASSOC-IF-NOT, MEMBER-IF, MEMBER-IF-NOT,
+    RASSOC, RASSOC-IF, and RASSOC-IF-NOT are now equally efficient
+    as ASSOC and MEMEBER.
+  * optimization: calls to ASSOC, MEMBER, and RASSOC can be transformed
+    to more efficient EQ-comparison versions more often.
+  * optimization: enhanced derivation of DOLIST iteration variable type
+    for constant lists.
+  * optimization: constant folding of simple (LIST ...) forms as DOLIST
+    arguments.
+  * optimization: runtime lookup of function definitions can be
+    elided in more cases, eg: (let ((x 'foo)) (funcall foo)).
+  * optimization: compiler is able to derive the return type of
+    (AREF (THE STRING X) Y) as being CHARACTER.
+  * optimization: CLRHASH on empty hash-tables no longer does pointless
+    work. (thanks to Alec Berryman)
+  * optimization: REPLACE deftransforms don't punt when :START1 or
+    :START2 is given
+  * bug fix: compiling DESTRUCTURING-BIND on constant list arguments
+    no longer emits a code deletion note. (reported by Andrew
+    Gasparovic)
+  * bug fix: bogus odd-number-of-keywords STYLE-WARNINGs from calls to
+    functions with an odd number of &OPTIONAL arguments, a &REST
+    argument, and one or more &KEY arguments at the call site.
+  * bug fix: STYLE-WARNINGs for functions with both &OPTIONAL and &KEY
+    arguments appeared at call sites as well.
+  * bug fix: fixed #425; CLOSE drops input buffers from streams, so
+    READ-LINE &co can no longer read from them afterwards. (reported
+    by Damien Cassou)
+  * bug fix: fixed #427: unused local aliens no longer cause compiler
+    breakage. (reported by Stelian Ionescu, Andy Hefner and Stanislaw
+    Halik)
+  * bug fix: non-local exit from a WITH-ALIEN form no longer causes
+    alien-stack leakage. (reported by Andy Hefner)
+  * bug fix: PROGV signals an error when an attempt to violate declared
+    type of a variable or bind a constant is made.
+  * bug fix: SET signals an error when an attempt to violate declared
+    type of a variable is made.
+  * bug fix: restart computation during the execution of a restart
+    test function no longer causes infinite recursion. (reported by
+    Michael Weber)
+  * bug fix: calling SB-COVER:REPORT with a non-directory pathname now
+    signals an error. (thanks to Pierre Mai)
+  * bug fix: EXPORT left symbol unexported in conflict situations.
+    (thanks to Michael Weber)
+  * bug fix: correctly handle name conflicts involving CL:NIL.
+    (thanks to Michael Weber)
+  * bug fix: RESOLVE-CONFLICT restart for name conflicts handles
+    conflicts arising from USEing package with conflicting symbols
+    correctly. (thanks to Michael Weber)
+
+changes in sbcl-1.0.19 relative to 1.0.18:
+  * new feature: user-customizable variable SB-EXT:*MUFFLED-WARNINGS*;
+    warnings that go otherwise unhandled will be muffled if they are
+    of the type that's the value of this variable.  
+  * optimization: stack allocation is slightly more efficient on x86
+    and x86-64.
+  * bug fix: DEFSTRUCT forms with user-specified :CONSTRUCTOR options,
+    where a raw slot always is initialized using the initform whose
+    type is not know sufficiently well a compile-time are now compiled
+    correctly. (reported by John Morrison)
+  * bug fix: compiler no longer makes erronous assumptions in the
+    presense of non-foldable SATISFIES types.
+  * bug fix: stack analysis missed cleanups of dynamic-extent
+    arguments in non-let-converted calls to local functions.
+  * improvements to the Windows port:
+    ** adjusted address spaces for building on both Win32 and
+       Win64. (thanks for John Connors)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** interval arithmetic during type derivation used inexact integer
+       to single-float coercions.
+    ** arithmetic operations involving large integers and single
+       floats give the same results in compiled and interpreted code.
+    ** deriving the result type of COERCE no longer signals an error
+       if the derived type of the second argument is a MEMBER type
+       containing invalid type specifiers.
+    ** ADJOIN with constant NIL as second argument works correctly.
+    ** FUNCTION-KEYWORDS was called SB-PCL::FUNCTION-KEYWORD-PARAMETERS.
+
+changes in sbcl-1.0.18 relative to 1.0.17:
+  * minor incompatible change: SB-SPROF:WITH-PROFILING now by default
+    profiles only the current thread.
+  * minor incompatible change: changes to SYMBOL-VALUE of constants
+    defined with DEFCONSTANT now signal an error.
+  * enhancement: SB-SPROF now has support for wallclock profiling,
+    and is also able to profile specific threads. REPORT output
+    has also additional sorting options.
+  * enhancement: better pretty-printing of DEFPACKAGE forms.  (Thanks
+    to Michael Weber)
+  * optimization: structure allocation has been improved
+    ** constructors created by non-toplevel DEFSTRUCTs are ~40% faster.
+    ** out of line constructors are ~10% faster.
+    ** inline constructors are ~15% faster.
+    ** inline constructors are capable of dynamic extent allocation
+       (generally on x86 and x86-64, in some cases on other platforms
+       as well.)
+  * optimization: simple uses of HANDLER-CASE and HANDLER-BIND no
+    longer cons.
+  * optimization: file compiler is now able to coalesce non-circular
+    lists, non-base strings, and bit-vectors. Additionally, constants
+    are never referenced through SYMBOL-VALUE at runtime.
+  * optimization: code defining methods on PRINT-OBJECT (and other
+    generic functions in the COMMON-LISP package) now loads faster.
+  * bug fix: EAI_NODATA is deprecated since RFC 3493. Stop using it
+    in sb-bsd-sockets.
+  * bug fix: if COMPILE-FILE aborts due to an unwind, the partial
+    fasl is now deleted. (reported by Attila Lendvai)
+  * bug fix: READ-LINE always returned NIL for the last line in files.
+    (reported by Yoshinori Tahara)
+  * bug fix: more accurate disassembly annotations of foreign function
+    calls.  (thanks to Andy Hefner)
+  * bug fix: trimming non-simple strings and non-string string
+    designators when the there is nothing to trim works properly.
+    (thanks to James Knight)
+  * new feature: SB-POSIX bindings for mlockall, munlockall, and setsid.
+    (thanks to Travis Cross)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** NIL is a valid function name (regression at 1.0.13.38)
+    ** FILL on lists was missing its return value (regression at 1.0.12.27)
+    ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect
+       fill pointers properly (regression at 1.0.12.23)
+    ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect
+       displacement indices properly (regression at 1.0.12.23)   
+
 changes in sbcl-1.0.17 relative to 1.0.16:
   * temporary regression: user code can no longer allocate closure
     variable storage on stack, due to bug 419 without explicitly
@@ -52,7 +312,7 @@ changes in sbcl-1.0.16 relative to 1.0.15:
   * minor incompatible change: SB-BSD-SOCKETS:NAME-SERVICE-ERROR now
     inherits from ERROR instead of just CONDITION.
   * new feature: SB-INTROSPECT can provide source locations for instances
-    as well. (thanks to Tobian Ritterweiler)
+    as well. (thanks to Tobias Rittweiler)
   * optimization: binding special variables now generates smaller code
     on threaded platforms.
   * optimization: MEMBER and ASSOC are over 50% faster for :TEST #'EQ