X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=1f3ead32855160892cbe0f3a4b67a44b68afdc58;hb=4603ca100a7d181fe4316429365fc725501336dd;hp=0f94229267438b16ee4f2a203b36f3f1252c1f86;hpb=82a5ab1f6aeb1bd0665fb490e692d9aee03a4c0c;p=sbcl.git diff --git a/NEWS b/NEWS index 0f94229..1f3ead3 100644 --- a/NEWS +++ b/NEWS @@ -1,7 +1,222 @@ ;;;; -*- coding: utf-8; -*- +changes in sbcl-1.0.13 relative to sbcl-1.0.12: + * SB-EXT:NATIVE-NAMESTRING takes a new keyword AS-FILE, forcing + unparsing of directory pathnames as files. Analogously, + SB-EXT:PARSE-NATIVE-NAMESTRING takes an AS-DIRECTORY, forcing a + filename to parse into a directory pathname. + * optimization: SUBSEQ is 30-80% faster for strings and vectors + whose element-type or simplicity is not fully known at + compile-time. + * bug fix: some sequence functions elided bounds checking when + SPEED > SAFETY. + * bug fix: too liberal weakening of union-type checks when SPEED > + SAFETY. + * bug fix: more bogus fixnum declarations in ROOM implementation + have been fixed. + +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. + * optimization: CONCATENATE on strings is an order of magnitue faster + in code compiled with (> SPEED SPACE). + * optimization: SUBSEQ is ~50% faster on lists. + * bug fix: bug 417 fixed -- source location reporting is now more robust. + * bug fix: SUBSEQ on a list will now correctly signal an error if if + END is smaller then START. + * bug fix: SB-PROFILE will no longer report extra consing for nested + calls to profiled functions. + * bug fix: ROOM implementation had bogus fixnum declarations which + could cause type-errors when calling ROOM on large images. + * bug fix: if file compilation is aborted, the partial fasl is now + deleted, and COMPILE-FILE returns NIL as the primary value. + * bug fix: number of thread safety issues relating to SBCL's internal + hash-table usage have been fixed. + * 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. + * 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