X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=fe013706cd6733c749905920e8c50f70348a0dba;hb=b9e94e326f79ab01e56cb437e424ce5ea489471f;hp=7d695ae2fa0e7cd56a8a8542b9e9434c0ea0b951;hpb=eaa8a506790bb6ed627da617247bfd13802eb365;p=sbcl.git diff --git a/NEWS b/NEWS index 7d695ae..4d647ab 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,797 @@ +;;;; -*- coding: utf-8; -*- +changes in sbcl-0.9.18 (1.0.beta?) relative to sbcl-0.9.16: + * bug fix: two potential GC deadlocks affecting threaded builds. + * bug fix: (TYPEP #\A '(NOT (MEMBER #\" #\{ #\:))) now correctly + returns T (reported by Anton Kazennikov) + * bug fix: the STORE-VALUE restart of CHECK-TYPE works correctly + with non-variable places + * bug fix: remove a race condition in the setting of + funcallable-instance functions, this should make threaded CLOS + code more stable against memory faults. + * improvement: the debugger will now also display local variables that + are only used once, for code compiled with a DEBUG optimization quality + of 2 or higher. + +changes in sbcl-0.9.17 (0.9.99?) relative to sbcl-0.9.16: + * feature: weak hash tables, see MAKE-HASH-TABLE documentation + * incompatible change: External-format support for FFI calls. The + SB-ALIEN:C-STRING no longer implies an ASCII + external-format. Instead the string is subject to external-format + conversion. Additionally return values of type SB-ALIEN:C-STRING + are by default of type (SIMPLE-ARRAY CHARACTER), not + SIMPLE-BASE-STRING. For an alien type that behaves like the old + SB-ALIEN:C-STRING type, use (SB-ALIEN:C-STRING :EXTERNAL-FORMAT + :ASCII :ELEMENT-TYPE BASE-CHAR). (thanks to Yaroslav Kavenchuk) + * incompatible change: SB-EXT package no longer contains the + following unused symbols: *GC-NOTIFY-AFTER*, *GC-NOTIFY-BEFORE*, + *GC-NOTIFY-STREAM*, *ERROR-PRINT-LENGTH*, *ERROR-PRINT-LEVEL*, + *ERROR-PRINT-LINES* + * incompatible change: the single-stepper is no longer available + on Alpha, Mips and Sparc platforms. + * minor incompatible change: the direct superclasses of + SB-MOP:FUNCALLABLE-STANDARD-OBJECT are (FUNCTION STANDARD-OBJECT), + not (STANDARD-OBJECT FUNCTION). This makes the + class-precedence-lists of GENERIC-FUNCTION and + STANDARD-GENERIC-FUNCTION comply with the requirement of ANSI + 1.4.4.5. + * minor incompatible change: the default stream external format on + non-unicode SBCL is no longer detected from the locale, but is always + ISO-8859-1 + * new feature: Add a version of evaluator that uses an interpreter instead + of the compiler. EVAL still uses the compiler by default, to switch it + to use the interpreter, set the value of the variable + SB-EXT:*EVALUATOR-MODE* to :INTERPRET. + * minor incompatible change: the single-stepper REPL has been merged + with the normal debugger (see the "Stepping" heading of the debugger help + for more details). The debugger command STEP will no longer switch + to the single-stepper REPL. + * bug fix: ENOUGH-NAMESTRING on pathnames with no name and a pattern + for a type now works. + * bug fix: loading of default sysinit file works. (thanks to Leonid + Slobodov) + * bug fix: better detection of circularities in the file-compiler. + (reported by Marco Monteiro) + * bug fix: the CL pathname functions now work with files that have + non-ASCII characters in their names (thanks to Yaroslav Kavenchuk) + * bug fix: The :PTY argument for RUN-PROGRAM will now work on + systems with Unix98 pty semantics. + * bug fix: ASDF-INSTALL will now work with bsd tar. + * bug fix: ASDF-INSTALL uses GNU tar on Solaris (thanks to Josip + Gracin). + * bug fix: timers expiring in dead threads no longer cause a + type-error (reported by Paul "Nonny Mouse"). + * bug fix: thanks to more lightweight single-stepper instrumentation, + code compiled with (DEBUG 3) will compile and execute significantly faster, + and will have more accurate type-inferencing than before + * bug fix: SLOT-VALUE optimizations are no longer done on method parameters + whose bindings are modified + * improvements to the win32 port (thanks to Yaroslav Kavenchuk): + ** bug fix: arguments to RUN-PROGRAM are escaped correctly + ** replace dummy implementations of CL:MACHINE-INSTANCE and + CL:SOFTWARE-VERSION with proper version + +changes in sbcl-0.9.16 relative to sbcl-0.9.15: + * feature: implemented the READER-METHOD-CLASS and + WRITER-METHOD-CLASS portion of the Class Initialization Protocol + as specified by AMOP. + * incompatible change: variable SB-EXT:*USE-IMPLEMENTATION-TYPES* + no longer exists. + * optimization: faster LOGCOUNT implementation on x86 and x86-64 + (thanks to Lutz Euler) + * optimization: hashing of general arrays and vectors has been + improved. (reported by Any Fingerhut) + * enhancement: SB-INTROSPECT is now able to find definitions of + profiled functions. (thanks to Troels Henriksen) + * enhancement: compiler-macro expansion applies now to FUNCALL forms + as well, allowing compiler-macros for SETF-functions to expand. + * enhancement: step-instrumentation no longer wraps known + single-value functions with multiple-value context, allowing + better type inference. + * fixed bug #337: use of MAKE-METHOD in method combination now works + even in the presence of user-defined method classes. (reported by + Bruno Haible and Pascal Costanza) + * fixed bug #339(c): if there are applicable methods not part of any + long-form method-combination group, call INVALID-METHOD-ERROR. + (reported by Bruno Haible) + * fixed bug #361: the :FUNCTION initarg in the protocol for + initialization of methods can now be used to override + internally-produced optimized functions. (reported by Bruno + Haible) + * bug fix: extensions of MAKE-METHOD-LAMBDA which wrap the + system-provided lambda expression no longer cause warnings about + unbound #:|pv-table| symbols. + * bug fix: improved the handling of type declarations and the + detection of violations for keyword arguments with non-constant + defaults. + * bug fix: potentially erronous calls to PATHNAME and + MERGE-PATHNAMES were being flushed in some cases. + (reported by Richard Kreuter) + * bug fix: compiled calls to TYPEP were mishandling obsolete + instances. (reported by James Bielman and Attila Lendvai) + * bug fix: format strings with ~> without matching ~< no longer + trigger an AVER, but signal an understandable error instead. + (reported by Antonio Martinez) + * bug fix: specifying an output-file without a pathname-type for + COMPILE-FILE or COMPILE-FILE-PATHNAME resulted in using the type + of input-file instead of "fasl". (reported by Robert Dodier) + * bug fix: compiler-macro lambda-list parsing of FUNCALL forms. + (reported by James Y Knight). + * bug fix: compiler-macros-function did not consider the environment + argument for shadowing by local functions. + * bug fix: compiler-macros expansion was inhibited by local INLINE + declarations. + * bug fix: inline expansions of known functions were subject to + step-instrumentation in high debug policies, leading to problems + with type-inference. + * bug fix: compiler failed to differentiate between different CONS + types in some cases. + * bug fix: fixed input, output and error redirection in RUN-PROGRAM + for win32. (thanks to Mike Thomas and Yaroslav Kavenchuk) + * bug fix: #368: incorrect use of expressed vs. upgraded array + element type. + * bug fix: #306a: more precise unions of array types. + * thread-safety improvements: + ** CONDITION-WAIT could return early on Linux, if the thread was + interrupted and subsequently continued with SIGCONT. + ** STABLE-SORT and ADJUST-ARRAY were not reentrant. + +changes in sbcl-0.9.15 relative to sbcl-0.9.14: + * added support for the ucs-2 external format. (contributed by Ivan + Boldyrev) + * minor incompatible change: pretty printing of objects of type + (cons symbol) is, in the default pprint-dispatch-table, now + sensitive to whether the symbol satisfies FBOUNDP. (thanks to + Marcus Pearce) + * minor incompatible change: SB-MOP:FINALIZE-INHERITANCE is now + called later in a class's lifetime, possibly as late as when the + first instance of the class is created. Previously, + SB-MOP:FINALIZE-INHERITANCE was called by the system as soon as a + class became finalizeable. + * fixed bug: FILE-POSITION sometimes returned inconsistent results + for multibyte external-format streams. (thanks to "vbzoli") + * fixed bug: CHANGE-CLASS would fail to preserve the values of slots + with :ALLOCATION :CLASS inherited from superclasses of the + original class. + * fixed bug: anonymous classes can now be created using the :NAME + initarg and MAKE-INSTANCE / REINITIALIZE-INSTANCE, as specified by + AMOP. (reported by Leonid Slobodov on comp.lang.lisp) + * fixed bug: core-files saved with :EXECUTABLE T can again be + executed when SBCL_HOME isn't set. (reported by James Knight) + * fixed bug: toplevel LOCALLY forms with declarations could + occasionally get miscompiled. (reported by Yaroslav Kavenchuk) + * fixed bug: printing from several different threads using different + values of *print-case* could cause invalid output, due to + some internal special variables of the printer not being bound + thread-locally (reported by Max Mikhanosha) + * fixed bug: SPECIALIZER metaobjects (including anonymous classes + and EQL-SPECIALIZERs) can be used as specializers to DEFMETHOD. + (reported by Pascal Costanza) + * fixed bug: FINALIZE-INHERITANCE is called from + REINITIALIZE-INSTANCE on classes when the class has previously + been finalized, as required by AMOP. + * minor code generation optimizations: + ** better register allocation in CLOS dispatching functions + ** overflow detection when coercing signed bytes to fixnums on x86-64 + ** is now implemented with one IMUL instruction instead of three shifts + ** more efficient bit-vector access on x86 and x86-64 + ** more efficient access to raw structure slots on x86 and x86-64 + * fixed some bugs revealed by Paul Dietz' test suite: + ** ENSURE-DIRECTORIES-EXIST.8: ENSURE-DIRECTORIES-EXIST must + return its argument. + +changes in sbcl-0.9.14 relative to sbcl-0.9.13: + * feature: thread support on Solaris/x86, and experimental thread support + on OS X/x86. + * feature: SBCL now tries to signal a STORAGE-CONDITION when running out + of heap. + * feature: SBCL now provides USE-VALUE and STORE-VALUE restarts in the + default method for SLOT-UNBOUND. + * minor incompatible change: prevent the user from specializing the + new-value argument to SB-MOP:SLOT-VALUE-USING-CLASS. It's + somewhat counter to the intent of the protocol, I (CSR) think, and + additionally it just doesn't work in SBCL as currently + implemented, thanks to optimizations (that are always valid for + the other three SLOT-VALUEish functions, but not for the setter). + * minor incompatible change: the :SB-LDB feature is now enabled by + default, and DISABLE-DEBUGGER and ENABLE-DEBUGGER also affect + the low-level debugger. + * enchancement: RUN-PROGRAM is now able to extract the file-descriptor + from SYNONYM-STREAM and TWO-WAY-STEAMS provided they can be decomposed + down to an SB-SYS:FD-STREAM, allowing direct communication in + more cases. Temporary files and pipes are still used as a fallback + strategy. + * thread-safety: DECODE-UNIVERSAL-TIME & GET-DECODED-TIME depended + on the non-reentrant C functions localtime(3) and gmtime(3). + * bug fix: global optimization policy was not visible in LOCALLY and + MACROLET forms. + * bug fix: class objects can be used as specializers in methods. + (reported by Pascal Costanza) + * bug fix: native unparsing of pathnames with :DIRECTORY NIL failed + with a type error. (reported by blitz_ on #lisp) + * bug fix: unparsing logical pathnames with :NAME :WILD :TYPE NIL + failed with a type error. (reported by Pascal Bourguignon) + * bug fix: merging pathnames against defaults with :DIRECTORY + starting with '(:RELATIVE :BACK) should preserve the :BACK. + (reported by James Y Knight) + * bug fix: saving large (>2GB) cores on x86-64 now works + * bug fix: a x86-64 backend bug when compiling (setf aref) with a + constant index and a (simple-array (signed-byte 32)) array + * bug fix: NAME-CHAR on an invalid symbol no longer signals an + error (patch by Robert J. Macomber) + * feature: TIME now displays the amount of run-time spent in GC + * bug fix: The debugger now does a better job of respecting + (PUSH '(*PRINT-CIRCLE* . T) SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*) + when printing SB-DEBUG:*DEBUG-CONDITION*. (This is a debugger-only + workaround for bug 403.) + * bug fix: floating point exception handling now works on FreeBSD + (thanks to NIIMI Satoshi) + * fixed some bugs revealed by Paul Dietz' test suite: + ** MISC.641: LET-conversion were not supposed to work in late + compilation stages. + * improvements to the Win32/x86 port: + ** GET-INTERNAL-RUN-TIME implemented, thanks to Frank Buss. + ** improved SB-BSD-SOCKETS support, thanks to Timothy Ritchey. + +changes in sbcl-0.9.13 relative to sbcl-0.9.12: + * new feature: source path information is generated for macro-expansion + errors for use in IDE's like Slime (thanks to Helmut Eller) + * bug fix: calls to the compiler no longer modify *RANDOM-STATE* + * bug fix: compiler does not loop forever on an invalid type in + TYPEP. + * improvement: compilation of most CLOS applications is significantly + faster + * optimization: added a limited bytecode compiler for simple toplevel + forms, speeding up compilation and FASL loading + * bug fix: the statistical profiler now properly distinguishes anonymous + functions + +changes in sbcl-0.9.12 relative to sbcl-0.9.11: + * minor incompatible change: in sbcl-0.9.11 (but not earlier + versions) SB-MOP:FINALIZE-INHERITANCE would recursively descend + into subclasses of the finalized class. Now user calls to + FINALIZE-INHERITANCE finalize just the one class, and calls by the + system return before any subclasses are finalized. + * minor incompatible change: The reader no longer ignores errors + regarding non-existent packages in #+ and #- feature tests. + * new feature: command line options --no-sysinit, --no-userinit to + inhibit loading the corresponding init files + * new feature: add a generic function SOCKET-SEND to SB-BSD-SOCKETS, + for sending data through UDP sockets (thanks to François-René Rideau) + * minor incompatible change: SIGPIPE is ignored and "Broken pipe" + error is signalled instead (thanks to François-René Rideau) + * minor incompatible change: Error signalling behaviour of lexical + operations violating package locks has changed slightly. Refer to + documentation on package locks for details. + * enhancement: EVAL can process IF-expressions without resorting to the + compiler. + * bug fix: Some operations involving SIN, COS, or TAN weren't being + constant-folded properly due to missing out-of-line functions. + (reported by Mika Pihlajamäki) + * bug fix: LISTEN sometimes returned T even in cases where no data was + immediately available from the stream + * fixed bug: types of the last two arguments to SET-SYNTAX-FROM-CHAR + were reversed. (reported by Levente Mészáros) + * fixed bug: Tests for the (VECTOR T) type gave the wrong answer + when given a vector displaced to an adjustable array. (reported + by Utz-Uwe Haus) + * bug fix: derivation of float boundaries from numbers outside the + appropriate float range (reported by John Wiseman) + * bug fix: MAKE-LOAD-FORM-SAVING-SLOTS accepts en empty slot name + list. + * bug fix: precomputing cache entries for generic functions with + some subclasses of specializers as yet invalid does not attempt to + fill a cache line with a negative offset. (reported by Levente + Mészároz) + * improvements to DOCUMENTATION for TYPE and STRUCTURE doc-types: + allow condition class objects as arguments to DOCUMENTATION and + (SETF DOCUMENTATION); only find and set documentation for + structure names for the STRUCTURE doc-type. (suggested by Gary + King) + * improvements to the Win32/x86 port: + ** (user-homedir-pathname) and default initialization file + locations now know about the user's "Documents and Settings" + directory (thanks to Yaroslav Kavenchuk) + ** run-program is implemented (thanks to Mike Thomas) + ** sockets support (thanks to Timothy Ritchey) + ** better backtrace support (thanks to Alastair Bridgewater) + ** sb-grovel supported + ** asdf-install and sb-posix work somewhat + ** capable of running Slime using SWANK:*COMMUNICATION-STYLE* NIL + * improvements to the Solaris/x86 port: + ** works on Solaris 11/Solaris Express + ** floating-point exception handling support + ** support for the breakpoint-based TRACE :ENCAPSULATE NIL facility + * fixed some bugs revealed by Paul Dietz' test suite: + ** REMOVE-METHOD returns its generic function argument even when + the method is not one of the generic functions' methods. + ** objects declared as MEMBER types can be admissible arguments to + structure accessors. + ** printing characters should simply be printed by the FORMAT ~:C + directive. + ** compiler failure when compiling functions with hairy constant + defaults for optional parameters. + ** compiler produces wrong code when MAYBE-INLINE-expanding a + function, which is already optimized. + +changes in sbcl-0.9.11 relative to sbcl-0.9.10: + * new platform: experimental support for SBCL x86/Darwin, including + MacOS X 10.4.5 on Intel. + * new feature: Unicode character names are now known to the system + (through CHAR-NAME and NAME-CHAR). + * new feature: the filesystem location of SBCL's core file is + exposed to lisp through the variable SB-EXT:*CORE-PATHNAME*. + * minor incompatible change: the contrib modules SB-POSIX and + SB-BSD-SOCKETS no longer depend on stub C libraries; the intent of + this change is to make it easier to distribute + location-independent binaries. + * bug fix: as implied by AMOP, standardized classes no longer have + slots named by external symbols of public packages. (reported by + Pascal Costanza) + * optimization: calling functions via constant symbols -- as in + (FUNCALL 'FOO) -- is now roughly as efficient as calling them + via the function object as in (FUNCALL #'FOO). + * optimization: on x86 and x86-64, the calling convention for the + case of dealing with an unknown number of values has been altered + to be friendlier to the prediction heuristics implemented, + particularly with reference to CALL and RET pairing. (thanks to + Alastair Bridgewater) + * optimization: on x86, the code for access to thread-local symbol + values and binding/unbinding of thread-local symbols is smaller. + (thanks to Alastair Bridgewater) + * enhancement: CONSTANTP is now able to determine constantness of + more complex forms, including calls to constant-foldable standardized + functions and some special forms beyond QUOTE. + * fixed bug: occasional GC crashes on Solaris/x86 + * optimization: x86-64 supports stack allocation of results of simple + calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT + * enchancement: the PROCESS-INPUT and -OUTPUT streams created by + SB-EXT:RUN-PROGRAM can be used for both character and byte IO + (thanks to James Knight) + * fixed bug: CL:LISTEN always returns NIL at end of file, as required + by the standard (thanks to Stephen Compall) + +changes in sbcl-0.9.10 relative to sbcl-0.9.9: + * new feature: new SAVE-LISP-AND-DIE keyword argument :EXECUTABLE can + be used for bundling the runtime and the core file into one + executable binary. This feature is not currently supported on all SBCL + platforms. (thanks to James Bielman and NIIMI Satoshi) + * new feature: a generational or ephemeral garbage collector is now + the default on the PowerPC platform (both Linux and Darwin). The + old Cheney (stop and copy) collector is a build-time option. + (thanks to Cyrus Harmon, after Raymond Toy) + * minor incompatible change: the method by which SBCL finds its + contributed modules has changed; it no longer relies on symbolic + links from an $SBCL_HOME/systems directory, but searches directly + in the subdirectories of $SBCL_HOME. + * enhancement: the dynamic heap size on the Linux/PPC platform is + markedly larger, even using the older Cheney garbage collector. + * fixed bug #399: full call to DATA-VECTOR-REF in accesses to + certain complicated string types. (reported by Gary King) + * fixed bug: STRING-TO-OCTETS and OCTETS-TO-STRING did not convert + character codes. (thanks to Yaroslav Kavenchuk and Ivan Boldyrev) + * fixed bug: DOCUMENTATION on structures no longer signals an + error if no structure type of the right name exists. (reported by + Glenn Ehrlich) + * fixed bug: compiled calls to MAKE-INSTANCE where there is an + applicable non-standard primary or :AROUND method on + INITIALIZE-INSTANCE or SHARED-INITIALIZE and a non-keyword initarg + no longer cause unbound variable errors. (reported by Kevin Reid) + * fixed bug: metacircle resolution in cases where methods have slots + added before the slots from STANDARD-METHOD. (reported by Jean + Bresson) + * fixed bug: the Power PC assembly code for calling into lisp + sometimes computed its return address wrongly (depending on the + 15th bit of the address, fixed at link time). This used to + manifest itself in a segmentation violation while building PCL. + (reported by Kevin Rosenberg, Eric Marsden, Lars Brinkhoff and + many others over the years) + * fixed bug: ROOM no longer reports silly numbers for stack usage if + the stack pointer (treated as a signed integer) is negative. + (thanks to Peter van Eynde) + +changes in sbcl-0.9.9 relative to sbcl-0.9.8: + * new platform: experimental support for the Windows operating + system has been added. (thanks to Alastair Bridgewater) + * fixed several bugs in and robustified the PPC FFI (including + callbacks). (thanks to Cyrus Harmon and Heiner Schwarte) + * bug fix: allow non-simple string symbol names (reported by Paul + Dietz) + * bug fix: interrupt handling on NetBSD (thanks to Richard M + Kreuter) + * bug fix: saving a core corrupted callbacks on x86/x86-64 + * bug fix: closed a loophole in metacircularity detection and + grounding in the PCL implementation of CLOS. + * bug fix: TRUENAME on "/" no longer returns a relative pathname. + (reported by tomppa on #lisp) + * bug fix: clear the direction flag on Lisp -> C transitions, as + required by the x86-64 ABI. Fixes mysterious GC crashes on SuSE. + (reported by Andrej Grozin and Hendrik Maryns) + * optimization: major improvements to GC efficiency on GENCGC platforms + * optimization: faster implementation of EQUAL + * optimization: emit more efficient opcodes for some common + immediate->register MOV instructions on x86-64. (thanks to Lutz Euler) + * optimization: several other minor code-generation improvements on x86-64 + * fixed segfaults on x86 FreeBSD 7-current. (thanks to NIIMI Satoshi) + +changes in sbcl-0.9.8 relative to sbcl-0.9.7: + * minor incompatible change: (SETF CLASS-NAME) and (SETF + GENERIC-FUNCTION-NAME) are generic functions once more (reverting + the change in the 0.9.7 release). (SETF CLASS-NAME) is specified + by ANSI as a generic function, and for consistency (SETF + GENERIC-FUNCTION-NAME) is treated likewise. + * fixed bug #233.b: make constraint propagation notice when a variable + value is changed after it is referenced but before it is used + * fixed bug #296: no more arbitrary behaviour from filenames with + odd characters as --load arguments. (reported by Adam Warner) + * fixed bug #390: :CHARACTER-SET pathname components now work as + expected. (reported by Tim Daly Jr) + * fixed bug #391: complicated :TYPE intersections in slot + definitions no longer cause an error in PCL internals. + * fixed bug #392: plugged a hole in the obsolete-instance protocol. + * bug fix: FILE-STRING-LENGTH is now external-format sensitive, + returning the number of octets which would be written to the + file-stream. (thanks to Robert J. Macomber) + * bug fix: the SB-SIMPLE-STREAMS contrib passes external-format + arguments to the internal stream functions. (thanks to David + Lichteblau) + * bug fix: stack exhaustion is now handled on the x86/SunOS + platform. (thanks to Daisuke Homma) + * bug fix: more accurate ROOM results on GENCGC platforms + * optimization: improved type inference for arithmetic-for + index variables in LOOP + * optimization: faster floating-point SQRT on x86-64 + * fixed some bugs revealed by Paul Dietz' test suite: + ** DOCUMENTATION returns NIL instead of "" for method combinations + that don't have a docstring + +changes in sbcl-0.9.7 relative to sbcl-0.9.6: + * minor incompatible change: (SETF CLASS-NAME) and (SETF + GENERIC-FUNCTION-NAME) are no longer generic functions, and + therefore are not customizeable by user code (as seems to be at + least permitted and maybe required by AMOP). As a consolation, + however, the SBCL implementation of these functions now calls + REINITIALIZE-INSTANCE as specified by AMOP. + * bug fix: slot-definition documentation is propagated as per ANSI + 7.6.2 to EFFECTIVE-SLOT-DEFINITIONS. + COMPUTE-EFFECTIVE-SLOT-DEFINITION now receives a :DOCUMENTATION + argument, as do eslotd initialization methods. (from Pascal + Costanza's "Closer" project) + * bug fix: REINITIALIZE-INSTANCE on generic functions calls + COMPUTE-DISCRIMINATING-FUNCTION (almost) unconditionally, as + specified by AMOP. + * bug fix: it is now possible to have more than one subclass of + STANDARD-GENERIC-FUNCTION without causing stack overflow. + (reported by Bruno Haible, Pascal Costanza and others) + * bug fix: the dependent update protocol now works for generic + functions. (thanks to Gerd Moellmann; reported by Bruno Haible + and Pascal Costanza) + * bug fix: condition-class instances corresponding to + DEFINE-CONDITION forms are now created eagerly. (reported by + Kalle Olavi Niemitalo on comp.lang.lisp) + * bug fix: floating point printing is more accurate in some + circumstances. (thanks to Simon Alexander) + * bug fix: *COMPILE-FILE-PATHNAME* now contains the user's pathname + merged with *DEFAULT-PATHNAME-DEFAULTS*. + * bug fix: callbacks on OS X now preserve stack-alignment. + (thanks to Cyrus Harmon) + * enhancement: the x86-64 disassembler is much better at + disassembling SSE instructions. (thanks to Lutz Euler) + * enhancement: CHECK-TYPE on a variable now allows type-inference + (thanks to Vincent Arkesteijn) + * optimization: improved performance of EUC-JP external format. + (thanks to NIIMI Satoshi) + * optimization: performance improvements to IO on file streams of + :ELEMENT-TYPE CHARACTER + * optimization: much faster memory allocation on x86-64 + * optimization: faster garbage collections (latency and throughput) + on gencgc + * optimization: faster bignum subtraction and division on x86 and x86-64 + (thanks to Lutz Euler) + * optimization: more accurate type-inference for loops that use a + floating point index variable or a negative step. + +changes in sbcl-0.9.6 relative to sbcl-0.9.5: + * bug fix: add a workaround to SBCL looping infinitely at startup on + Linux kernels with apparently buggy implementations of personality(). + (thanks to Svein Ove Aas) + * bug fix: Unicode symbols are correctly printed in LDB backtraces + (thanks to David Lichteblau) + * bug fix: local bindings shadow global symbol macros for + macroexpansion. (reported by Matthew D Swank on comp.lang.lisp) + * optimization: non-open coded uses of numeric comparison operators + (e.g. >) no longer cons when called with more than one parameter + on platforms supporting dynamic-extent allocation. + * enhancement: saving cores with foreign code loaded is now supported + on MIPS/Linux in addition to the previously supported platforms. + * bug fix: FIND-RESTART now tests for activity, not applicability when given + a restart object as identifier. (reported by Helmut Eller for CMUCL) + * bug fix: division by zero in sb-sprof when no samples were collected + * bug fix: a race when a slow to arrive sigprof signal killed sbcl + * bug fix: asdf-install uses CRLF as required by the HTTP spec. + (thanks to Alexander Kjeldaas) + * new feature: ignoring the return values of destructive functions + like NREVERSE signals a compile-time style-warning. + (thanks to Kevin Reid) + * new feature: the alignment of alien structure fields can be + explicitly specified. (thanks to Cyrus Harmon) + * bug fix: run cleanup forms (in all threads) when receiving a SIGTERM + and dump core on SIGQUIT + * threads + ** incompatible change: threads do not inherit values of specials + from their parents (see manual) + ** bug fix: threads stacks belonging to dead threads are freed by the + next exiting thread, no need to gc to collect thread stacks anymore + ** minor incompatible change: INTERRUPT-THREAD-ERROR-ERRNO removed + ** WITH-RECURSIVE-LOCK can be nested in a WITH-MUTEX for the same lock + ** bug fix: dynamic variable and thread start related gc lossage + ** bug fix: job control (SIGSTOP/SIGCONT) no longer confuses threads + suspended for gc + * fixed some bugs revealed by Paul Dietz' test suite: + ** SUBTYPEP is slightly more accurate on heinously complicated + CONS types where some of the members have uncertain (in the + NIL, NIL sense) type relationships to each other. + * GENCGC + ** Cores produced by SAVE-LISP-AND-DIE on GENCGC platforms are + no longer purified unless :PURIFY T is explicitly specified. + ** Non-purified cores are significantly smaller than before + +changes in sbcl-0.9.5 relative to sbcl-0.9.4: + * new feature: timers based on Zach Beane's excellent timer package + * added support for the following external formats: koi8-u, + x-mac-cyrillic, cp437, cp850, cp852, cp855, cp857, cp860, cp861, + cp862, cp863, cp864, cp865, cp866, cp869, cp874, iso-8859-2, + iso-8859-3, iso-8859-4, iso-8859-5, iso-8859-6, iso-8859-7, + iso-8859-8, iso-8859-9, iso-8859-10, iso-8859-11, iso-8859-13, + iso-8859-14, cp1250, cp1251, cp1252, cp1253, cp1254, + cp1255,cp1256, cp1257, cp1258 (contributed by Ivan Boldyrev) + * incompatible change: a threaded SBCL will no longer revert to + non-threaded mode on non-NPTL systems, but refuse to start entirely. + * bug fix: interrupts are disabled until startup is complete; no + more sigsegvs when receiving a signal to soon + * optimization: faster 32-bit SB-ROTATE-BYTE:ROTATE-BYTE on non-x86/ppc + platforms + * bug fix: add a workaround for the memory randomization features in + Linux kernels >= 2.6.12 that interfere with SBCL's memory maps. This + workaround will only be in effect on systems with the proc filesystem + mounted. + * bug fix: printing objects of type HASH-TABLE signals a + PRINT-NOT-READABLE error when *READ-EVAL* is NIL. (reported by + Faré Rideau) + * bug fix: GET-INTERNAL-REAL-TIME now works even for processes that + have been running for over 50 days. (reported by Gilbert Baumann) + * bug fix: the logic for getting names of functions gets less + confused when confronded with alternate-metaclass + funcallable-instances. (reported by Cyrus Harmon) + * bug fix: FUNCTIONP and (LAMBDA (X) (TYPEP X 'FUNCTION)) are now + consistent, even on internal alternate-metaclass objects. + * bug fix: flush closure information collected by physical + environment analysis prepass before the main pass. (bug reported + by Vasile Rotaru) + * bug fix: compiler pack phase does not modify a hashtable, which is + iterated. (reported by Bryan O'Connor, fixed by Rob MacLachlan) + * bug fix: backquote does not optimize (LIST* x y) to CONS when x + may be expanded. (reported by Alexander on c.l.l) + * bug fix: no more style-warnings when compiling code using LAST + under high-SPEED low-SPACE settings. (reported by David Wallin + aka froog on #lisp) + * fixed some incompatibilities between SBCL's MOP and the MOP + specified by AMOP: + ** the METAOBJECT class is now implemented; + ** FUNCALLABLE-STANDARD-OBJECT is now a subclass of + STANDARD-OBJECT, as required; + ** the classes STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are + now compatible (as required by VALIDATE-SUPERCLASS); there + remains a consistency requirement over the presence or absence + of the FUNCTION class in the superclass list of finalized + classes; see the manual for more details; + ** the :AROUND method for COMPUTE-SLOTS on + FUNCALLABLE-STANDARD-CLASS now honours the primary method's + requested slot ordering. + * threads + ** bug fix: parent thread now can be gc'ed even with a live + child thread + ** bug fix: binding a special with PROGV to no value is not + the same as that symbol not having been bound (thanks to + Hannu Koivisto) + ** bug fix: binding specials is thread safe (thanks to + Hannu Koivisto) + ** bug fix: interrupt handlers are now per-process, RUN-PROGRAM + and SB-SPROF do not die with 'no handler for signal XX in + interrupt_handle_now(..)' anymore + ** bug fix: WITH-TIMEOUT works with multiple running threads + * fixed some bugs revealed by Paul Dietz' test suite: + ** ENSURE-GENERIC-FUNCTION should take a method class object for + the :method-class keyword argument. + +changes in sbcl-0.9.4 relative to sbcl-0.9.3: + * new port: the Solaris operating system on x86 processors is now + mostly supported, though some rough edges in the environment + remain. (thanks to Daisuke Homma) + * enhancement: SBCL on MIPS platforms now has a much larger dynamic + space for its heap. (thanks to Thiemo Seufer) + * optimization: SBCL on MIPS platforms now supports dynamic-extent + closures. (thanks to Thiemo Seufer) + * minor incompatible change: eof selects abort in the debugger. + * minor incompatible change: *INVOKE-DEBUGGER-HOOK* is run before + *DEBUGGER-HOOK* => *DEBUGGER-HOOK* is not run when the debugger + is disabled. + * minor incompatible change: SB-KERNEL:INSTANCE-LAMBDA is + deprecated, and will go away in a future revision of SBCL. + * minor incompatible change: GC-ON and GC-OFF are no longer + implemented with a counter, it does not matter how many times gc + is switched on or off + * bug fix: discriminating functions for generic function classes + with non-standard methods for COMPUTE-APPLICABLE-METHODS no longer + make invalid assumptions about method precedence order. (reported + by Bruno Haible) + * bug fix: TRUNCATE now correctly signals division by zero on MIPS + platforms. (thanks to Thiemo Seufer) + * bug fix: degree sign () could not be encoded in KOI8-R. + * bug fix: correct pathname printing with printer escaping is on. + (thanks to Kevin Reid) + * bug fix: complex VOP definitions in "user-space" no longer trigger + package locks. (reported by Zach Beane) + * fixed bug 343: SB-KERNEL:INSTANCE-LAMBDA is no longer necessary + for funcallable-instance functions, and is no different from + regular LAMBDA. + * bug fix: PARSE-INTEGER no longer depends on the whitespaceness of + characters in the current readtable. (reported by Nicholas Neuss) + * bug fix: SUBTYPEP on various CONS types returns more a more + accurate acknowledgment of its certainty. + * optimizations: REMOVE-DUPLICATES now runs in linear time on + lists in some cases. This partially fixes bug 384. + * flush all standard streams before prompting in the REPL and the + debugger. + * bug fix: signal handling and triggering gc do not conflict + directly anymore, in particular a high frequency sb-sprof does + not prevent gc from running + * bug fix: DECODE-UNIVERSAL-TIME now uses a more reasonable + approximation for timezone and DST information between the + universal time epoch and the smallest negative 32-bit time_t. + * bug fix: ENCODE-UNIVERSAL-TIME no longer errors when passed the + year 1899 so long as the encoded time is non-negative. + * bug fix: on the x86 platform, SB-ROTATE-BYTE:ROTATE-BYTE returns + the correct answer for non-constant rotate amounts when performing + an inline 32-bit rotation. + * threads + ** bug fix: RELEASE-FOREGROUND doesn't choke on session lock if + there is only one thread in the session + ** bug fix: memory leak for streams created in one thread and + written to in another + ** bug fix: lockup when compiled with gcc4 + ** bug fix: race that allows the gc to be triggered when gc is + inhibited + ** bug fix: one less memory fault in INTERRUPT-THREAD, again + ** bug fix: gc and INTERRUPT-THREAD don't hang when the RT signal + queue is full + ** bug fix: finished threads are gc'ed properly + * fixed some bugs revealed by Paul Dietz' test suite: + ** CALL-NEXT-METHOD signals an error (in safe code) when the call + has arguments with a different set of applicable methods from + the orignal arguments. + ** The type error thrown by MAP now has a correct expected-type + cell. + ** DISASSEMBLE now throws a TYPE-ERROR when its argument does not + name a compiled function. + ** Three MISC tests where a large bignum was improperly coerced to + a float that couldn't represent that bignum during type + derivation were fixed. + ** SUBTYPEP can now handle types involving the negation of a + list-form FUNCTION type. + ** SUBTYPEP also now handles certain COMPLEX type specifiers such + as (COMPLEX (AND RATIO (NOT FIXNUM))). + ** READ-BYTE and WRITE-BYTE no longer take stream designators. + +changes in sbcl-0.9.3 relative to sbcl-0.9.2: + * New feature: Experimental support for bivalent streams: streams + opened with :element-type :default now allow character and binary + (unsigned-byte 8) I/O + * Support for the koi8-r external format. (thanks to Ivan Boldyrev) + * Bug fix: OPEN no longer fails when *PRINT-READABLY* is T. (thanks + to Zach Beane) + * bug fix: no more highly sporadic "couldn't check whether ~S is + readable" when reading a stream and an interrupt hits in the middle + of a select system call + * compiler better recognizes complex arrays (reported by Eduardo + Muñoz) + * bug fix: out-of-line SB-SYS:FOREIGN-SYMBOL-ADDRESS did not work + for variables on SBCL built with linkage-tables. (reported by Luis + Oliveira) + * various error reporting improvements. + * optimizations: LOGNOR on fixnums is improved in the MIPS backend. + (Thanks to Thiemo Seufer) + * bug fix: nested reader invokations work correctly + * bug fix: it is possible to have simultaneous references to foreign + code and foreign data with the same name. + * threads + ** added x86-64 support + ** incompatible change: the threading api now works with thread + objects instead of thread ids + ** bug fix: threads are protected from signals and interruption when + starting up or going down + ** bug fix: a race where an exiting thread could lose its stack to gc + ** bug fix: don't halt on infinite error in threads if possible + ** fixed numerous gc deadlocks introduced in the pthread merge + ** bug fix: fixed thread safety issues in read and print + ** bug fix: debugger doesn't hang on session lock if interrupted at + an inappropriate moment + ** bug fix: run-program is now thread safe(r) + ** bug fix: inner with-recursive-lock no longer releases the mutex + * fixed a bug in (DECODE-UNIVERSAL-TIME 0) (reported by Paul Dietz) + * fixed some bugs revealed by Paul Dietz' test suite: + ** TYPE-ERRORs from signalled by COERCE now have DATUM and + EXPECTED-TYPE slots filled. + ** MULTIPLE-VALUE-SETQ always returns the primary value of the + values form. + ** MAKE-CONDITION accepts classes as type-designators. + ** COMPILE may never return NIL. + ** ENCODE-UNIVERSAL-TIME now guards against times out of Unix's + range before calling Unix time functions + +changes in sbcl-0.9.2 relative to sbcl-0.9.1: + * numerous signal handling fixes to increase stability + * Support for EUC-JP external format. (thanks to NIIMI Satoshi) + * minor incompatible change: we now correctly canonize default + initargs, making them be a list of (INITARG INITFORM INITFUNCTION) + as per the MOP, rather than the historical (INITARG INITFUNCTION + INITFORM). (reported by Bruno Haible) + * new feature: WITH-COMPILATION-UNIT now accepts a non-standard + :SOURCE-PLIST option. See (DOCUMENTATION #'WITH-COMPILATION-UNIT T) + for more information. + * TRUENAME and PROBE-FILE now correctly resolve symlinks even if the + pathname is a directory pathname. + * SB-SPROF now works (more) reliably on non-GENCGC platforms. + * dynamic space size on PPC has been increased to 768Mb. (thanks to + Cyrus Harmon) + * SB-MOP:ENSURE-CLASS-USING-CLASS now accepts a class as the + :METACLASS argument in addition to a class name. (reported by + Bruno Haible for CMUCL, patch for CMUCL by Gerd Moellmann) + * RESTART-CASE can now be wrapped around CALL-METHOD forms. + (reported by Bruno Haible; patch from Gerd Moellmann) + * bug fix: sbcl runtime can now be compiled with gcc4 (thanks to + Sascha Wilde) + * bug fix: more cleanups to the floating point exception handling on + x86-64 (thanks to James Knight) + * bug fix: the compiler does not try to constant fold calls of + COERCE and BIT-* functions when they return freshly constructed + objects. (reported by Nikodemus Siivola and Paul Dietz) + * optimization: improved the MIPS versions of generic (in the + generic sense) arithmetic routines. (thanks to Thiemo Seufer) + * optimization: direct conversion of (unsigned-byte 32) to floats on + the PowerPC platform. + * optimization: structure instances with raw slots now use less + memory, and probably show better memory locality. (thanks to + David Lichteblau) + * optimization: DYNAMIC-EXTENT declarations for lists and closures + are treated as requests for stack allocation on the x86-64, + Alpha-32, PPC and SPARC platforms. + * contrib improvement: it's harder to cause SOCKET-CLOSE to close() + the wrong file descriptor; implementation of SOCKET-OPEN-P. + (thanks to Tony Martinez) + * threads + ** gcing a dead thread can no longer lead to lockups + ** threads block signals until they are set up properly + ** errno is no longer shared by threads + ** interrupt-thread restores the eflags register on x86 + ** fixed some lockups due to gc/thread interaction + * fixed some bugs revealed by Paul Dietz' test suite: + ** invalid dotted lists no longer raise a read error when + *READ-SUPPRESS* is T + ** signal an error if a symbol that names a declaration is used + as the name of a type, or vice versa + ** allow using the (declare (typespec var*)) abbreviation for + (declare (type typespec var*)) with all type specifiers + ** circularity detection works properly with PPRINT-LOGICAL-BLOCK + ** always return NIL from PPRINT-POP when OBJECT is NIL + ** don't signal errors when pretty-printing malformed LABELS, + FLET or MACROLET forms + ** declarations in a DOLIST body are also in scope for the + DOLIST return-form + ** COMPILE-FILE accepts all pathname designators as INPUT-FILE + and OUTPUT-FILE + ** the ELEMENT-TYPE keyword argument to WITH-OUTPUT-STREAM is + always evaluated + changes in sbcl-0.9.1 relative to sbcl-0.9.0: * fixed cross-compiler leakages that prevented building a 32-bit target with a 64-bit host compiler. @@ -16,14 +810,25 @@ changes in sbcl-0.9.1 relative to sbcl-0.9.0: generic subtraction routines on x86/x86-64. (Thanks to Lutz Euler) * optimization: the code generated on x86-64 is more compact thanks to not outputting unneccessary prefix bytes. (Thanks to Lutz Euler) - * bug fix: floating-point exception handling now works on x86-64. - (Thanks to James Knight) + * bug fix: floating-point exception handling now partly works on + x86-64. (Thanks to James Knight) + * improvement to the MIPS backend from Thiemo Seufer: C-style + 64-bit long long arguments and return values to alien functions + are now supported. * fixed some bugs revealed by Paul Dietz' test suite: ** the type-error signalled from WARN has a filled-in DATUM slot. ** the type-error required when a stream is not associated with a file has the stream as its datum. ** type-errors on single-floats on x86-64 no longer have :INVALID-OBJECT as the datum + ** the type-errors signalled for invalid function names now have + a correct expected type + ** (SETF (DOCUMENTATION ... 'STRUCTURE)) no longer signals an error + for structures defined with a :TYPE. Documentation strings for + typed structures are no longer immediately discarded + ** FILE-STRING-LENGTH and STREAM-EXTERNAL-FORMAT now work on + broadcast streams and synonym streams. FILE-LENGTH now also works + on broadcast streams. changes in sbcl-0.9.0 relative to sbcl-0.8.21: * incompatible change: the --noprogrammer option, deprecated since @@ -445,7 +1250,7 @@ changes in sbcl-0.8.16 relative to sbcl-0.8.15: (thanks to Richard Kreuter) * bug fix: defining classes whose accessors are methods on existing generic functions in other (locked) packages no longer signals - bogus package lock violations. (reported by François-René Rideau) + bogus package lock violations. (reported by François-René Rideau) * bug fix: special variables as DEFMETHOD parameters no longer have associated bogus type declarations. (reported by David Wragg and Bruno Haible)