X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=a7921054c2586aa3e4d7d2fdff035f0cb74306a0;hb=ab6672fd5c392b8678681bdda138c4dc9e4de31a;hp=617c1ddcf2554725b31d9f58ff46ecc62212267f;hpb=43b1750ede8767928788b158399d3c5d2910855a;p=sbcl.git diff --git a/NEWS b/NEWS index 617c1dd..49d208a 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,368 @@ ;;;; -*- 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. + * 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 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. + * 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 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. + * 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, host-ent-addresses -- changing the values did not update the DNS @@ -18,12 +382,21 @@ changes in sbcl-1.0.5 relative to sbcl-1.0.4: variants no longer cons. * optimization: Direct calls to CHAR-{EQUAL,LESSP,GREATERP} and their NOT- variants no longer cons. - * optimization: Stack allocation of arrays containing unboxed - elements is slightly more efficient on x86 and x86-64. - * enhancement: XREF information is now collected to references made + * optimization: EQUAL hash tables no longer use SXHASH for objects + of all data types, but instead use an EQL hash for types for which + EQUAL is the same as EQL. + * optimization: the non-inlined generic versions of AREF and (SETF AREF) + are significantly faster. + * optimization: new STRING-OUTPUT-STREAM implementation is much + faster for large outputs and conses 30% less on average. + * enhancement: XREF information is now collected for references made to global variables using SYMBOL-VALUE and a constant argument. * enhancement: SIGINT now causes a specific condition SB-SYS:INTERACTIVE-INTERRUPT to be signalled. + * bug fix: FILE-POSITION used to signal an error in some cases where + ANSI requires it to return NIL. + * bug fix: ADJUST-ARRAY is now interrupt-safe. + * bug fix: adding and removing fd-handlers is now interrupt-safe. * bug fix: inlined calls to C now ensure 16byte stack alignment on x86/Darwin. * bug fix: bad type declaration in the CLOS implementation has @@ -39,13 +412,29 @@ 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. - * bug fix: GETHASH, (SETF GETHASH), CLRHASH and REMHASH are now - interrupt safe. + 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 specifier no longer causes infinite recursion. - * improvement: the x86-64/darwin port now passes all tests and - should be considered non-experimental. + * bug fix: SB-EXT:MUFFLE-CONDITIONS declarations no longer trigger a + bogus warning in DEFMETHOD bodies. (reported by Kevin Reid) + * bug fix: an &environment argument with the correct variable information + is passed to macros that are expanded during byte compilation. + (reported by Samium Gromoff) + * bug fix: a logic error was causing the hash function for bignums to + have excessive amounts of collisions. (reported by Faré Rideau) + * bug fix: modifying the contents of an array could change the return + value of SXHASH on that array, which is only allowed for strings + and bit vectors. (bug introduced in 0.9.16) + * improvement: the x86-64/darwin port now passes all tests (except + for the debugger tests) but should still be considered + experimental until this is fixed. + * improvement: a style-warning is signaled for CASE (etc) clauses with + duplicate keys. (thanks to Kevin Reid) + * improvement: macos/x86 and macos/x86-64 now use mach exception + handlers for dealing with illegal instructions (for trapping and + error handling) and memory protection violations (for GC). changes in sbcl-1.0.4 relative to sbcl-1.0.3: * new platform: experimental support for x86-64/darwin (MacOS). @@ -137,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.