;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.10 relative to sbcl-1.0.9:
+ * 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.
+
+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
+ 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 <constant>)) now
+ produce more efficient code on x86-64 if the compiler can determine
+ that (+ INDEX <constant>) 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
variants no longer cons.
* optimization: Direct calls to CHAR-{EQUAL,LESSP,GREATERP} and
their NOT- variants no longer cons.
- * 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
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.
+ * 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.
* bug fix: SB-EXT:MUFFLE-CONDITIONS declarations no longer trigger a
- bogus warning in DEFMETHOD bodies (reported by Kevin Reid)
+ 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
+ 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)
+ 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)
- * 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
- * improvement: the x86-64/darwin port now passes all tests and
- should be considered non-experimental.
+ 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)
+ 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).
projects / sbcl.git / blobdiff