X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=fc41d572d1983cc9a203e77311b9b600975b0e58;hb=8bb34dad31b73a7bd4ca17b1630f4f5bdc94f347;hp=bf7203721ad560108d0e17ba7a747f015a1d04b0;hpb=83388ef649bc59c983042c082fb23797ca088406;p=sbcl.git diff --git a/NEWS b/NEWS index bf72037..fc41d57 100644 --- a/NEWS +++ b/NEWS @@ -1,10 +1,163 @@ ;;;; -*- coding: utf-8; -*- +changes in sbcl-1.0.10 relative to sbcl-1.0.9: + * 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. + +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, + indicating the finalizer should be cancelled when SAVE-LISP-AND-DIE + is called. + * 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 + the OS in smaller chunks then expected. (thanks to David Smith) + * bug fix: system leaked memory when file streams were not closed + properly. + * bug fix: large objects written to slow streams that were modified + after the write could end up with the modified state written to + 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 + atomic compare-and-swap operations on threaded platforms. + * enhancement: experimental function SB-EXT:RESTRICT-COMPILER-POLICY + allows assining a global minimum value to optimization qualities + (overriding proclamations and declarations). + * enhancement: closed over variables can be stack-allocated on x86 + and x86-64. + * performance bug fix: GETHASH and (SETF GETHASH) are once again + non-consing. + * optimization: slot definition lookup is now O(1). This speeds up + eg. SLOT-VALUE and (SETF SLOT-VALUE) with variable slot names. + * optimization: STRING-TO-OCTETS is now up to 60% faster for UTF-8. + * optimization: ASSOC and MEMBER can now be open-coded for all + combinations of keyword arguments when second argument is constant + and SPEED >= SPACE. In other cases a specialized version is + selected. + * bug fix: using obsoleted structure instances with TYPEP and + generic functions now signals a sensible error. + * bug fix: threads waiting on GET-FOREGROUND can be interrupted. + (reported by Kristoffer Kvello) + * bug fix: backtrace construction is now more careful when making + lisp-objects from pointers on the stack, to avoid creating bogus + objects that can be seen by the GC. + * bug fix: defaulting of values in contexts expecting more than 7 + variables now works on x86-64. (reported by Christopher Laux) + * bug fix: modifications to packages (INTERN, EXPORT, etc) are now + thread safe. + * bug fix: (SETF SYMBOL-PLIST) no longer allows assigning a non-list + as the property-list of a symbol. + * bug fix: DEFMETHOD forms with CALL-NEXT-METHOD in the method body, + in EVAL-WHEN forms with both :COMPILE-TOPLEVEL and :LOAD-TOPLEVEL + situations requested, are once again file-compileable. (reported + by Sascha Wilde) + +changes in sbcl-1.0.7 relative to sbcl-1.0.6: + * MOP improvement: support for user-defined subclasses of + SB-MOP:SPECIALIZER has been enhanced. The experimental interface + function SB-PCL:MAKE-METHOD-SPECIALIZERS-FORM, called as part of + the expansion of DEFMETHOD, is responsible for generating a form + which creates a list of specializers when evaluated. Additional + functions SB-PCL:[UN]PARSE-SPECIALIZER-USING-CLASS provide + debugging and introspective support. + * minor incompatible change: the (unsupported) spinlock interface + has changed: free spinlock now has the value NIL, and a held spinlock + has the owning thread as its value. + * enhancement: WITHOUT-INTERRUPTS now binds ALLOW-WITH-INTERRUPTS and + WITH-LOCAL-INTERRUPTS as local macros. Refer to documentation string + for details. + * enhancement: name of a socket-stream is now "a socket" instead of + "a constant string". + * enhancement: SB-POSIX now supports lockf(). (Thanks to Zach Beane.) + * enhancement: SB-POSIX now supports getcwd(). (Thanks to Tassilo Horn.) + * enhancement: SB-INTROSPECT:FUNCTION-ARGLIST shows nicer argument lists + for generic functions. (Thanks to Tobias C. Rittweiler) + * optimization: bignum printing speed has been improved by 20-40% + (depending on the bignum size.) + * bug fix: WITH-MUTEX and WITH-RECURSIVE-LOCK are now interrupt safe + on Linux. + * bug fix: the cache used by the CLOS to store precomputed effective + methods, slot offsets, and constant return values is now thread and + interrupt safe. + * bug fix: generic function dispatch function updating is now thread + and interrupt safe (in the sense that the known issues have been + fixed.) + * bug fix: ADD/REMOVE-METHOD is now thread and interrupt safe. + * bug fix: interning EQL-specializers is now thread and interrupt safe. + * bug fix: asdf systems with dependencies to the SB-POSIX or + SB-BSD-SOCKETS contribs can be loaded with :FORCE T. + * bug fix: interrupt safety of applicable method computation has been + improved. + changes in sbcl-1.0.6 relative to sbcl-1.0.5: + * new contrib: sb-cover, an experimental code coverage tool, is included + as a contrib module. + * optimization: STRING-TO-OCTETS for unibyte encodings and UTF-8 is + significantly faster. + * optimization: calls of the form (AREF FOO (+ INDEX )) now + produce more efficient code on x86-64 if the compiler can determine + that (+ INDEX ) does not require a bounds check and FOO + has an element type at least 8 bits wide. + * enhancement: a new, experimental synchronous timeout facility is + provided. Refer to SB-SYS:WITH-DEADLINE for details. + * enhancement: when a symbol name conflict error arises, the + conflicting symbols are always printed with a package prefix. + (thanks to Kevin Reid) + * enhancement: stepping is now once again supported on the SPARC and + MIPS platforms. (It is also now more likely to work on CheneyGC + builds on the PPC.) + * enhancement: sb-sprof can now also track and report accurate call + counts. + * bug fixes: the treatment of non-standard subclasses of + SB-MOP:SPECIALIZER is more correct. + * incompatible change: PURIFY no longer copies the data from the + dynamic space into the static and read-only spaces on platforms + that use the generational garbage collector * bug fix: GETHASH, (SETF GETHASH), CLRHASH and REMHASH are now interrupt safe. * bug fix: GC race condition occasionally resulting in crashes with the error message "SIG_STOP_FOR_GC blocked at a bad place" has been fixed. + * bug fix: &ENVIRONMENT variables in macro lambda lists can now be + declared ignored. + * bug fix: DEFSETF lambda lists without &ENVIRONMENT no longer cause + a STYLE-WARNING to be signalled (regression from 1.0.4.) + * bug fix: an asynchronous interrupt could previously leave the + system running with GC inhibited. + * bug fix: a DECLARE form evaluated at top-level now causes an error + rather than silently (or verbosely) returning NIL. + * bug fix: trying to dissassemble functions compiled at high DEBUG could + result in a error being signalled due to source form lookup errors. + (reported by Peter Graves) changes in sbcl-1.0.5 relative to sbcl-1.0.4: * incompatible change: removed writer methods for host-ent-name,