X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=49d208ab461353cad0821539e73a7a61fdaf7ea1;hb=ab6672fd5c392b8678681bdda138c4dc9e4de31a;hp=2b6255742d3bda1f4875b59c3bdd130423b5eb3c;hpb=6256e8428635bbbca648ed3ff59e810bd1d792ad;p=sbcl.git diff --git a/NEWS b/NEWS index 2b62557..49d208a 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,181 @@ ;;;; -*- coding: utf-8; -*- +changes in sbcl-1.0.16 relative to 1.0.15: + * minor incompatible change: change PROBE-FILE back to returning + NIL whenever we can't get a truename, as was the case before 1.0.14. + * optimization: MEMBER and ASSOC are over 50% faster for :TEST #'EQ + and cases where no :TEST is given but the compiler can infer that + the element to search is of type (OR FIXNUM (NOT NUMBER)). + * bug fix: periodic polling was broken. (thanks to Espen S Johnsen) + * bug fix: copying output from RUN-PROGRAM to a stream signalled + bogus errors if select() was interrupted. + * enhancement: add support for fcntl's struct flock to SB-POSIX. + +changes in sbcl-1.0.15 relative to sbcl-1.0.14: + * enhancement: cleaner backtraces for interactive interrupts, as + well as other cases where the interesting frames used to be + obscured by interrupt handling frames. + * enhancement: untracing a whole package using (UNTRACE "FOO") is + now supported, and tracing a whole package using (TRACE "FOO") now + traces SETF-functions as well. + * enhancement: implement SB-POSIX:MKTEMP and SB-POSIX:MKDTEMP. + * SB-DEBUG:PRINT-FRAME-CALL now prints the entry-point kind even + when SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS* is NIL. + * unreadably printed representation of hash-tables now includes + weakness if any. + * bug fix: partially fixed #188: type propagation from assignments + is now more efficient. + * bug fix: fixed #407: (COERCE X 'SINGLE-FLOAT) and (COERCE X + 'DOUBLE-FLOAT) are not flushable. + * bug fix: on x86 and x86-64 pointer based EQ-hashing now uses the + full address of the object, and none of the tag bits. + * bug fix: readably printing hash-tables now respects other printer + control variables. (reported by Cedric St-Jean) + * bug fix: compiler gave a bogus STYLE-WARNING for the :SYNCHRONIZED + keyword with MAKE-HASH-TABLE. + * bug fix: export SB-POSIX:MKSTEMP. + * bug fix: SORT was not interrupt safe. + * bug fix: XREF accounts for the last node of each basic-block as + well. + * bug fix: MAKE-INSTANCE optimizations interacted badly with + non-keyword :DEFAULT-INITARGS in the presence of :BEFORE/:AFTER + methods on SHARED-INITIALIZE. (thanks to Matt Marjanovic) + * bug fix: the CTOR optimization for MAKE-INSTANCE should no longer + create obsolete instances in the case of redefinition or + obsoletion of a superclass. (thanks to Andy Hefner) + * bug fix: Support for the Alpha architecture has been revived; it had + suffered somewhat from lack of maintenance since sbcl-1.0. + * improvements to the Windows port: + ** The system detects the codepage to use at startup, instead of + using the value from the saved core. (thanks to Kei Suzuki) + +changes in sbcl-1.0.14 relative to sbcl-1.0.13: + * new feature: SB-EXT:*EXIT-HOOKS* are called when the process exits + (see documentation for details.) + * revived support for OpenBSD (contributed by Josh Elsasser) + * partially fixed bug #108: ROOM no longer suffers from occasional + (AVER (SAP= CURRENT END)) failures. + * fixed bug #402: proclaimed non-standard declarations in DEFMETHOD + bodies no longer cause a WARNING to be signalled. (reported by + Vincent Arkesteijn) + * bug fix: (TRUNCATE X 0) when X is a bignum now correctly signals + DIVISION-BY-ZERO. Similarly for MOD and REM (which suffered due to + the bug in TRUNCATE.) (reported by Michael Weber) + * bug fix: SB-SPROF:REPORT no longer signals an error if there are + no samples. (reported by Andy Hefner) + * bug fix: functions compiled using (COMPILE NIL '(LAMBDA ...)) + no longer appear as (NIL ...) frames in backtraces. + * bug fix: RESOLVE-CONFLICT (and the other name conflict machinery) + is now actually exported from SB-EXT as documented. (reported by + Maciej Katafiasz) + * bug fix: sb-aclrepl now correctly understands how to inspect + single-floats on 64-bit platforms where single-floats are not boxed. + * bug fix: SB-MOP:CLASS-SLOTS now signals an error if the class has not + yet been finalized. (reported by Levente Meszaros) + * bug fix: CLOSE :ABORT T behaves more correctly on Windows. + * DESCRIBE and (DOCUMENTATION ... 'OPTIMIZE) describe meaning of + SBCL-specific optimize qualities. + +changes in sbcl-1.0.13 relative to sbcl-1.0.12: + * minor incompatible change: RUN-PROGRAM now uses execvp(3) to find + an executable in the search path, and does so in the child + process's PATH. The function FIND-EXECUTABLE-IN-SEARCH-PATH has + been removed; it can be found in the CVS history, for somebody who + needs that search behavior (see the manual). + * minor incompatible change: compiler policy re. weakening type + checks has changed: now type checks are weakened only if SAFETY < 2 + and SAFETY < SPEED. + * 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. + * enhancement: implicit generic function creation now signals a + specific style-warning IMPLICIT-GENERIC-FUNCTION-WARNING, which + users can bind handlers for and muffle around calls to LOAD. + * enhancement: RUN-PROGRAM allows unicode arguments and environments + to be used (using the default stream external format), and allows + non-simple strings to be used. (thanks to Harald Hanche-Olsen) + * optimization: COPY-SEQ, FILL, and SUBSEQ are 30-80% faster for + strings and vectors whose element-type or simplicity is not fully + known at compile-time. + * optimization: STRING-TRIM and related functions no longer allocate + a new string when no trimming needs to be performed. These functions + are also faster than before when the input string has been declared + as a simple-string. + * optimization: READ-SEQUENCE on simple-strings is up to 80% faster. + * optimization: READ-LINE is significantly faster for files containing + long lines. + * optimization: non-open coded uses of character comparison operators + (e.g. char=) no longer cons when called with more than one parameter + on platforms supporting dynamic-extent allocation. + * bug fix: READ-SEQUENCE on composite stream wrapping a Gray stream + with STREAM-ELEMENT-TYPE (UNSIGNED-BYTE 8) signalled an error. + * bug fix: COPY-SEQ on lists did not signal a type-error on improper + lists in safe code. + * 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 magnitude 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. @@ -9,6 +186,9 @@ changes in sbcl-1.0.10 relative to sbcl-1.0.9: * 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 @@ -20,10 +200,15 @@ changes in sbcl-1.0.10 relative to sbcl-1.0.9: EQUALP. * enhancement: DEFINE-MODIFY-MACRO lambda-list information is now more readable in environments like Slime which display it. - (thanks to Tobias C. Rittweiler) + (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. @@ -53,7 +238,7 @@ changes in sbcl-1.0.9 relative to sbcl-1.0.8: 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 + Slime debugger highlighting 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. @@ -69,7 +254,7 @@ 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 + allows assigning a global minimum value to optimization qualities (overriding proclamations and declarations). * enhancement: closed over variables can be stack-allocated on x86 and x86-64. @@ -227,7 +412,7 @@ changes in sbcl-1.0.5 relative to sbcl-1.0.4: * bug fix: number of characters that can be written onto a single line in a file is unlimited. * bug fix: some GC deadlocks caused by asynchronous interrupts have - been fixed by inhibiting interrupts for when GC is disbled. + been fixed by inhibiting interrupts for when GC is disabled. * bug fix: some interrupt safety issues with GETHASH, (SETF GETHASH), CLRHASH and REMHASH have been fixed. * bug fix: binding *BREAK-ON-SIGNALS* to a value that is not a type @@ -341,7 +526,7 @@ changes in sbcl-1.0.2 relative to sbcl-1.0.1: changes in sbcl-1.0.1 relative to sbcl-1.0: * new platform: FreeBSD/x86-64, including support for threading. * new feature: the compiler stores cross-referencing information - abount function calls (who-calls), macroexpansion (who-macroexpands) + about function calls (who-calls), macroexpansion (who-macroexpands) and special variables (who-binds, who-sets, who-references) for code compiled with (< SPACE 3). This information is available through the sb-introspect contrib.