summaryrefslogtreecommitdiff
tag namesbcl_1_0_29 (69b448bd79784be6e60c4a8a7d1cc9b0f77db0c1)
tag date2009-06-04 12:59:09 +0300
tagged byNikodemus Siivola <nikodemus@random-state.net>
tagged objectcommit e834360df9...
changes in sbcl-1.0.29 relative to 1.0.28:
* IMPORTANT: bug database has moved from the BUGS file to Launchpad https://bugs.launchpad.net/sbcl Bugs can be reported directly there, or by sending email to sbcl-bugs@lists.sourceforge.net (no subscription required.) * minor incompatible change: under weak type checking policy integer types are weakened less aggressively. * minor incompatible change: SAVE-LISP-AND-DIE :TOPLEVEL function is now allowed to return, which causes SBCL to quit with exit status 0. Previously if the function returned with a small integer return value, that value was accidentally reused as the exit status. * new feature: SB-EXT:DEFINE-HASH-TABLE-TEST allows defining new arguments to MAKE-HASH-TABLE :TEST, and MAKE-HASH-TABLE has been extended with :HASH-FUNCTION argument. Refer to user manual for details. * new feature: SB-EXT:DEFGLOBAL macro allows defining global non-special variables. * new feature: SB-EXT:GET-TIME-OF-DAY provides access to seconds and microseconds since the Unix epoch on all platforms. * new feature: SB-EXT:ALWAYS-BOUND proclamation inhibits MAKUNBOUND, and allows the compiler to safely elide boundedness checks for special variables. * new feature: SB-EXT:GLOBAL proclamation inhibits SPECIAL proclamations for the symbol, prohibits both lexical and dynamic binding. This is mainly an efficiency measure for threaded platforms, but also valueable in expressing intent. * new feature: UNC pathnames are now understood by the system on Windows. * optimization: the compiler uses a specialized version of FILL when the element type is know in more cases, making eg. (UNSIGNED-BYTE 8) case almost 90% faster. * optimization: accesses to potentially non-simple arrays where element type is known are 50% faster. * optimization: compiler now generates faster array typechecking code. * optimization: ARRAY-DIMENSION is now faster for multidimensional and non-simple arrays. * optimization: multidimensional array accesses in the absence of type information regarding array rank are approximately 10% faster due to open coding of ARRAY-RANK. * optimization: result of (FILL (MAKE-ARRAY ...) ...) and (REPLACE (MAKE-ARRAY ...) ...) can be stack allocated if the result of MAKE-ARRAY form can be. * optimization: result of call to VECTOR can now be stack allocated. * optimization: MAKE-ARRAY with :INITIAL-CONTENTS is now vastly faster as long as the resulting array is one-dimensional and has a known element type. In particular, :INITIAL-CONTENTS (LIST ...) where the length of the list matches the known length of the vector does not allocate the list as an intermediate step. Ditto for VECTOR and simple backquoted forms. * optimization: MAKE-ARRAY can now stack allocate in the presence of :INITIAL-CONTENTS and :INITIAL-ELEMENT as long as the result has a known element type, and is known to be simple and one dimensional. * improvement: SBCL now emits a compiler note where stack allocation was requested but could not be provided (not in all cases, unfortunately) * improvement: better MACHINE-VERSION responses. (thanks to Josh Elsasser) * improvement: pretty-printing loop has been implemented properly. (thanks to Tobias Rittweiler) * documentation: CLOS slot typechecing policy has been documented. * bug fix: FILE-AUTHOR no longer signals an error on Windows. * bug fix: SB-SPROF could be foiled by foreign code not have a frame pointer, leading to memory faults. (thanks to Bart Botta) * bug fix: better floating point exception handling on x86/OpenBSD. (thanks to Josh Elsasser) * bug fix: exit status from QUIT when called under --script was lost (reported by Hubert Kauker) * bug fix: MAKE-ARRAY for non-zero :INITIAL-ELEMENT always used the same implementation of FILL to initialize the array, even if a more efficient one was available (reported by Stas Boukarev, thanks to Paul Khuong) * bug fix: potential miscompilation of array stack allocation on x86 and x86-64. (reported by Time Tossavainen) * bug fix: some forms of AND, OR, and COND resulted in expansions that could result in their subforms being treated as top level forms. (reported by James Knight) * bug fix: On x86/x86-64 alien functions declared to return integers shorter than a machine register could leave garbage in the high bits of the result register (bug 316325). * bug fix: disable address space randomization Linux/x86-64 as well, not just x86-64. (reported by Ken Olum) * bug fix: Attempting to DEREF an (ALIEN (* T)) would produce a WARNING and generate incorrect code. * bug fix: #201; type inference for CONS and ARRAY types could derive wrong results in the presence of eg. RPLACA or ADJUST-ARRAY. * bug fix: special variables with a proclaimed specific subtype of FUNCTION could not be assigned to or bound with PROGV. (reported by Lorenz Mösenlechner) * bug fix: the value of CL:- in the inspector was the previous expression evaluated rather than the expression being evaluated. * bug fix: constants can no longer be locally declared special. * bug fix: signals delivered to threads started from foreign land (read: directly by pthread_create, not by MAKE-THREAD) are redirected to a Lisp thread by blocking all signals and resignalling. * bug fix: SHARED-INITIALIZE initialized unbound :ALLOCATION :CLASS slots from :INITFORM, if any.