changes in sbcl-1.1.1 relative to sbcl-1.1.0:
* enhancement: WITH-COMPILATION-UNIT no longer grabs the world-lock.
(COMPILE and COMPILE-FILE still do.)
* optimization: the SPARC backend now supports the precise generational
(GENCGC) garbage collection. Enabled by default on Solaris/SPARC and
Linux/SPARC. Thanks to Raymond Toy (via CMUCL).
* enhancement: add experimental support for the SB-THREAD feature and the
timer facility on Windows. Thanks to Dmitry Kalyanov and Anton Kovalenko.
Threads are enabled by default, and this version of SBCL is considered
to be the last and final release to officially support building with
threads disabled.
* optimization: The compiler no longer rotates loops in some cases where
this transformation actually lead to worse code being generated.
* bug fix: SB-CLTL2:MACROEXPAND-ALL correctly handles shadowing of
symbol-macros by lexical bindings.
* bug fix: stack allocation was prevented by high DEBUG declaration in
several cases.
* bug fix: SB-EXT:GC-LOGFILE signaled an error when no logfile was set.
(thanks to SANO Masatoshi)
* bug fix: PARSE-NATIVE-NAMESTRING performed non-native parsing when
:JUNK-ALLOWED was true.
* bug fix: type derivation inferred overly conservative types for
unions of array types. (lp#1050768)
changes in sbcl-1.0.54 relative to sbcl-1.0.53:
* minor incompatible changes:
** RENAME-FILE on a symbolic links used to rename the linked-to file
instead of the link.
** DELETE-DIRECTORY on symbolic link to a directory used to delete the
directory, but now signal an error instead. Use TRUENAME to resolve the
pathname if you wish to delete the linked directory, and DELETE-FILE if
you wish to delete the
** The internal SB-THREAD::SPINLOCK API has been deprecated, and using
symbols associated with it will trigger a compile-time warning.
* thread-related enhancements:
(This work has been funded by the SBCL Threading 2011 IndieGoGo campaign.
Many thanks to generous donors!)
** Threading is now more reliable on non-Linux platforms. We still don't
consider threads on non-Linux platforms good enough to enable them by
default, but they're in a clearly better shape now.
** Deadlines supported now on all platforms.
** All blocking functions in the threading API now have a :TIMEOUT
argument.
** Semaphore notification objects have been added to SB-THREAD.
** SB-CONCURRENCY contrib now includes Allegro-style GATE objects.
** SB-EXT:COMPARE-AND-SWAP has been extended to support SLOT-VALUE,
STANDARD-INSTANCE-ACCESS, and FUNCALLABLE-STANDARD-INSTANCE-ACCESS.
** Users can now defined new places usable with SB-EXT:COMPARE-AND-SWAP
using an API anologous to defining new SETFable places.
* GC-related enhancements and bug fixes:
** --dynamic-space-size and --control-stack-size now understand Kb, Mb,
and Gb suffixes. Default is megabytes as before.
** on GENCGC targets, the default dynamic space size is now 512Mb for
32-bit systems, and 1Gb for 64-bit systems. (OpenBSD/x86-64 is the only
exception, defaulting to mere 444Mb to fit under default ulimits.) The
new defaults are in place to prevent hitting swap on low-end systems.
Use build-time option --dynamic-space-size to build an SBCL with
another default, or the runtime option to adjust the size at startup: a
good size is at most equal to the amount of physical memory the system
has.
** on GENCGC targets, nursery and generation sizes now default to 5% of
dynamic-space size.
** on GENCGC targets, SB-KERNEL:MAKE-LISP-OBJ no longer categorically
refuses to create SIMPLE-FUN objects.
** on 64-bit GENCGC targets, setting the nursery size above 4Gb now works.
(lp#870868)
** on CHENEYGC targets, SB-KERNEL:MAKE-LISP-OBJ now does the same
validation of pointer objects as GENCGC does, instead of a
comparatively weak bounds-check against the heap spaces.
* SB-BSD-SOCKETS bug fixes:
** GET-PROTOCOL-BY-NAME had a significant memory leak.
** GET-HOST-BY-NAME and GET-HOST-BY-ADDRESS small amounts of memory on
systems with getaddrinfo().
** GET-HOST-BY-NAME and GET-HOST-BY-ADDRESS weren't thread or interrupt
safe outside systems with getaddrinfo().
* enhancement: ASDF has been updated 2.019.
* enhancement: special-case TCO prevention for functions which never return
extended to untrusted types, keeping one more frame's worth of debug
information around in many cases.
* enhancement: debug-names of anonymous and local function are more
descriptive. Affects backtraces and SB-SPROF results. (lp#805100)
* enhancement: on win32, ABS of complex floats guards better against
overflows. (lp#888410)
* enhancement: RUN-PROGRAM now distinguishes exec() failing from child
process exiting with code 1. (lp#676987)
* enhancement: convenience function SET-SBCL-SOURCE-LOCATION for informing
the system where on the filesystem the SBCL sources themselves are
located. (Thanks to Zach Beane)
* enhancement: the compiler is now able to derive tighter bounds for
floating point numbers in some cases. (Thanks to Lutz Euler, lp#894498)
* bug fix: on 64-bit targets, atomic-incf/aref does index computation
correctly, even on wide-fixnum builds. (lp#887220)
* bug fix: (DIRECTORY "foo/*/*.*") did not follow symlinks in foo/ that
resolved to directories.
* bug fix: type mismatch when assigning to lexical variables no longer
result in fasl-dumping internal type objects. (lp#890750)
* bug fix: type mismatch on (SETF AREF) and function return values no
longer result in fasl-dumping internal type objects.
* bug fix: With several combinations of argument types, for example (EXPT
<integer> <(complex double)>), EXPT now uses double-precision throughout
instead of partially calculating only to single-precision. (lp#741564;
thanks to Lutz Euler)
* bug fix: SYMBOL-VALUE-IN-THREAD is no longer able to construct bogus
objects when interrupted by GC on PPC.
changes in sbcl-1.0.42 relative to sbcl-1.0.41
* build changes
** Cross-compilation host is now specified to make.sh using
command-line argument --xc-host=<command> instead of a positional
argument. (thanks to Daniel Herring)
** Install location can be specified to make.sh using command-line
argument --prefix=<path>. (lp#550889s, thanks to Daniel Herring)
* optimization: The default implementation of
COMPUTE-DISCRIMINATING-FUNCTION does much less wasted work.
* enhancement: Explicit memory barrier operations are now available for use
by multithreaded code. See documentation for details.
* enhancement: Experimental support for threading on Linux/PPC.
* bug fix: RENAME-PACKAGE returns the package. (Thanks to Eric Marsden)
* bug fix: EXPT signals an error if first argument is a zero and second
argument is a floating point zero. (lp#571581, thanks to Roman Marynchak)
* bug fix: DEFTYPE signals an error for non-list lambda-lists.
(lp#576594, thanks to Roman Marynchak)
* bug fix: make ASDF-INSTALL compatible with the now-included ASDF2.
(lp#612998, reported by Phil Hargett; patch from Jim Wise)
changes in sbcl-1.0.38 relative to sbcl-1.0.37:
* incompatible change: Thread names are now restricted to SIMPLE-STRINGs
like for any other thread-related datastructure, MUTEX, etc. (lp#547095)
* deprecation: the SB-QUEUE contrib was merged into the SB-CONCURRENCY
contrib module. New code should depend on SB-CONCURRENCY, not SB-QUEUE.
* deprecation: SB-THEAD:GET-MUTEX was deprecated in favor of
SB-THREAD:GRAB-MUTEX.
* new contributed module: SB-CONCURRENCY is a new contrib; it's supposed to
contain additional data structures and tools for concurrent programming;
at the moment it contains a lock-free queue, and a lock-free mailbox
implementation.
* new feature: added SB-THREAD:GRAB-MUTEX; it's like the now deprecated
GET-MUTEX but takes &key rather than &optional parameters. Also added
:TIMEOUT argument to GRAB-MUTEX on non-sb-lutex platforms like Linux and
BSD.
* new feature: added SB-THREAD:TRY-SEMAPHORE, a non-blocking variant of
SB-THREAD:WAIT-ON-SEMAPHORE.
* new feature: SB-EXT:ATOMIC-DECF has been added as a companion to
SB-EXT:ATOMIC-INCF.
* new feature: a CANCEL-DEADLINE is associated with DEADLINE-TIMEOUT
conditions to defer the deadline for forever.
* enhancement: *STANDARD-OUTPUT*, *STANDARD-INPUT*, and *ERROR-OUTPUT* are
now bivalent.
* enhancement: errors from NO-APPLICABLE-METHOD and
NO-PRIMARY-METHOD now have a RETRY restart available to retry the
generic function call.
* enhancement: SB-BSD-SOCKET improvements
** sockets and socket streams now have a more informative printed
representation based on the corresponding SOCKET-NAME and
SOCKET-PEERNAME.
** SOCKET-MAKE-STREAM once more supports the :AUTO-CLOSE option.
(lp#540413)
** SOCKET-CLOSE now accepts :ABORT argument, which is passed on to
CL:CLOSE when appropriate, and no longer disassociates the stream
from the socket if close failed. (lp#543951)
* improvements to the instrumenting profiler
** new feature: report per-function GC overhead. (thanks to John Fremlin)
** optimization: counters no longer use locks for the overflow mode.
** bug fix: whenever a profiling counter wrapped into overflow mode, it
incurred an off-by-one miscount.
* enhancement: improved MAKE-HASH-TABLE documentation (lp#543473)
* enhancement: improved DEFMETHOD pretty-printing.
* enhancement: perform range reduction when arguments are too large for
x87's transcendentals (instead of returning 0). (lp#327192)
* enhancement: eliminate some spurious TYPE-WARNINGs. Should help with
some of CL-PPCRE's macros. (lp#570079)
* enhancement: our machine code is slightly less hostile to valgrind on
x86-64.
* enhancement: up-to-date versions of NetBSD-current are supported. (Thanks
to Robert Swindells and Aleksej Saushev)
* bug fix: correct restart text for the continuable error in MAKE-PACKAGE.
* bug fix: a rare case of startup-time page table corruption.
* bug fix: a semaphore with multiple waiters and some of them unwinding due
to timeouts could be left in an inconsistent state.
* bug fix: fix typo in "Reporting Bugs" section of the manual (lp#520366)
* bug fix: misoptimization of multiplication by one in
(SB-C::FLOAT-ACCURACY 0) policies.
* bug fix: miscounts in SB-PROFILE.
* bug fix: Fix lost wakeup bug between SB-THREAD:CONDITION-WAIT and
CONDITION-NOTIFY on Linux. See threads "lost wakeup in condition-wait /
condition-notify" (Feb 2010) and "Condition-Wait, Deadline handler, waking
up itself" (March 2010) for further details.
* bug fix: allow forward FIND and POSITION on lists to elide checking :END
against length of the list if the element is found before the specified
END is reached. (thanks to Alec Berryman, lp#554385)
* bug fix: errors signalled during package graph modification no longer
block FIND-SYMBOL and FIND-PACKAGE in other threads. (lp#511072)
* bug fix: SB-POSIX build was broken when SBCL was compiled without the
:SB-DOC feature. (lp#552564)
* bug fix: SB-INTROSPECT build issues on GENGC/PPC. (lp#490490)
* bug fix: more robust runtime executable path detection. (lp#375549)
* bug fix: GCD always returns positive values. (lp#413680)
* bug fix: Converting division to multiplication by reciprocal handles
denormals.
* bug fix: We were too eager in eliding range reduction tests on x87.
The maximal magnitude is 2^63, not 2^64.
* bug fix: Transforms for TRUNCATE don't die when the result is completely
ignored anymore.
* bug fix: Maybe restore buildability on Alpha.
* bug fix: READ-BYTE isn't inline anymore, fixing weird streams failures.
(lp#569404)
* bug fix: RANDOM-STATE can be printed readably again.
* bug fix: Unreadable objects were sometimes printed like #<\nFoo>.
* bug fix: Using EQL with non-constant values of constant type (e.g. EQL
types) could result in type mismatches during compilation.
changes in sbcl-1.0.37 relative to sbcl-1.0.36:
* enhancement: Backtrace from THROW to uncaught tag on x86oids now shows
stack frame thrown from.
* enhancement: WITH-COMPILATION-UNIT :POLICY allows restricting changes to
compiler optimization qualities inside dynamic extent of its body.
* enhancement: LOAD-LOGICAL-PATHNAME-TRANSLATIONS can be used to load
translations from SYS:SITE;<HOST>.TRANSLATIONS.NEWEST (thanks to Michael
Weber)
* optimization: SLOT-VALUE and (SETF SLOT-VALUE) take advantage of
constraint propgation, allowing better compilation eg. when used to
access structures with WITH-SLOTS. (lp#520366)
* optimization: the compiler is now more aware of the type of the underlying
storage vector for multidimensional simple arrays resulting in better code
for accessing such arrays.
* optimization: passing NIL as the environment argument to TYPEP no longer
inhibits optimizing it. (lp#309788)
* optimization: more efficient register usage when handling single-float
arguments on x86-64. (thanks to Lutz Euler)
* optimization: ADJUST-ARRAY and STABLE-SORT on vectors no longer use
pre-allocated temporary vectors. (lp#496249)
* bug fix: Fix compiler error involving MAKE-ARRAY and IF forms
in :INITIAL-CONTENTS. (lp#523612)
* bug fix: FUNCTION-LAMBDA-EXPRESSION lost declarations from interpreted
functions. (lp#524707)
* bug fix: bogus style warnings from certain (SETF SLOT-VALUE) and
WITH-SLOTS usages during compilation.
* bug fix: SB-C::CLASS-INFO now prints correctly. (lp#514762)
* enhancement: Can now build with ud2 instead of int3 as trap instruction on
all x86oid platforms with :UD2-BREAKPOINTS target feature.
* bug fix: Breakpoints now work when using ud2 instead of int3 as trap
instruction (tested on x86oid linux with ud2-breakpoints).
* bug fix: slam.sh now works on win32.
* bug fix: better differences of numeric types. (lp#309124)
* bug fix: arrays declared intersection and union types can have their
upgraded element type derived. (lp#316078)
* bug fix: SB-SPROF allocation profiling for all threads failed to profile
threads started during profiling. (lp#472499)
* bug fix: SB-INTROSPECT test failure when building without SB-EVAL feature.
(lp#535658)
* bug fix: SB-CLTL2:DECLARATION-INFORMATION did not take
SB-EXT:RESTRICT-COMPILER-POLICY into account. (lp#313337)
* bug fix: Comma inside a backquoted array or structure resulted in nonsense
values instead of signaling an error. (lp#309093)
* bug fix: Spurious unused variable warning in a DEFSTRUCT edge case.
(lp#528807)
* bug fix: More consistent warnings and notes for ignored DYNAMIC-EXTENT
declarations (lp#497321)
* bug fix: FIND and POSITION on lists did not check sequence bounds properly
and failed to detect circular lists (lp#452008)
* bug fix: leakage from ~/.asdf-install into the ASDf-INSTALL contrib build
(lp#538974)
* bug fix: LOOP OF-TYPE VECTOR compile-time error. (lp#540186)
* bug fix: SIGNAL SB-SYS:INTERACTIVE-INTERRUPT before entering the debugger
due to it, so that handlers can run.
* bug fix: reparsing undefined types if they have become defined since
parsing. (lp#309128)
* bug fix: missing &REST type in a proclamation for a function with both
&REST and &KEY in lambda-list caused miscompilation (lp#458354)
* bug fix: WHO-CALLS information for source-transformed and compiler-macro
expanded calls (lp#542174)
* bug fix: more accurate WHO-MACROEXPANDS information; point into rather
than just at toplevel form.
Changes since previous packaged version are too long to list,
they include 1,5 years of continuous development, adding features,
compiler optimizations, and fixing bugs. See log at
http://www.sbcl.org/all-news.html
New version has NetBSD/powerpc support (although I haven't adjusted
the Makefile due to lack of test machines) and now builds the
sb-posix package properly.
I would list the changes to the package here, but SBCL makes a new
release every month, and there are usually a dozen or more minor
changes per release. The previous version of this package is about
18 months old...
