;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.13 relative to sbcl-1.0.12:
+ * 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.
+ * optimization: SUBSEQ is 30-80% faster for strings and vectors
+ whose element-type or simplicity is not fully known at
+ compile-time.
+ * 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 magnitue 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 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
x86/Darwin.
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)
- * improvement: the x86-64/darwin port now passes all tests and
- should be considered non-experimental.
+ * 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)
+ 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).