Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

sbcl Log


Commit Date  
[1656e5] (34.3 kB) by Paul Khuong Paul Khuong

New contrib: SB-GMP

This contrib was developed by Stephan Frank to replace some of our
bignum and rational arithmetic code with calls to libgmp. Simply
loading the contrib will transparently accelerate arithmetic on
large rationals when libgmp is available; if libgmp cannot be found,
the contrib should change nothing.

The contrib also wraps additional functions in GNU MP, so that they
accept and return SBCL-native integers or ratios. See GNU MP's manual
for more information.

2013-06-28 04:18:16 View
Download
[62f92b] (34.1 kB) by Lutz Euler Lutz Euler

Improve scaling of type derivation for LOG{AND,IOR,XOR}.

If the types of the arguments of LOG{AND,IOR,XOR} are known to be ranges
of non-negative integers the compiler currently derives the range of the
result using straightforward implementations of algorithms from
"Hacker's Delight". These take quadratical time in the number of bits of
the inputs in the worst case, potentially leading to unacceptably long
compilation times. (The algorithms are based on loops over the bits of
the inputs, doing calculations during each iteration that are themselves
linear in the number of bits of their operands.)

Instead implement bit-parallel algorithms I have found that take linear
time in all cases. While their runtime therefore is limited to much
smaller values for large inputs, it is comparable to that of the current
algorithms for small inputs, too; the new deriver for LOGXOR is in fact
faster than the old one by a factor of two to ten already in the latter
case.

The (existing) test for these derivers compares their results with those
from a brute-force algorithm for all O(N^4) many pairs of input ranges
with endpoints from the set of N-bit unsigned integers. The brute-force
algorithm needs to consider O(N^2) input pairs for each pair of ranges,
making the total runtime O(N^6). Therefore the test normally runs with
N = 5. I have tested all three new derivers successfully with N = 7.

Replace LOG{AND,IOR,XOR}-DERIVE-UNSIGNED-{LOW,HIGH}-BOUND with
LOG{AND,IOR,XOR}-DERIVE-UNSIGNED-BOUNDS to make it possible to evaluate
expressions only once that the calculations for the low and the high
bound have in common. The callers always need both bounds anyway.

Adapt the test to this change. (It runs twice as fast now due to the
brute force loop calculating both bounds in one go.)

Add a test for the scaling behaviour. This needs a function to measure
runtimes over potentially large ranges; add this to test-util.lisp.

Fixes lp#1096444.

2013-04-29 20:35:01 View
Download
[9e5377] (34.1 kB) by David Lichteblau David Lichteblau

Update NEWS, make-config.sh

2012-10-19 16:37:03 View
Download
[1d0630] (33.8 kB) by David Lichteblau David Lichteblau

SPARC gencgc

Based on Raymond Toy's work.

2012-10-05 16:07:43 View
Download
[807384] (33.8 kB) by David Lichteblau David Lichteblau

Mention safepoints in NEWS

2012-09-27 18:34:22 View
Download
[7217c0] (33.8 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.30.33: failed aver in %ALLOCATE-CLOSURES IR2 conversion

Patch by Larry D'Anna. He explains:

This snippit
(labels ((K (&optional x) #'k)))
fails with failed AVER: (XEP-P XEP), in %ALLOCATE-CLOSURES-IR2-CONVERT-OPTIMIZER

The problem is that it's trying to allocate a closure for the XEP
for K, but K has been deleted because nothing references K except
itself. %ALLOCATE-CLOSURES-IR2-CONVERT-OPTIMIZER already skips any
leafs that lacks a XEP. This patch makes it also skip leafs who's
XEPs have been deleted.

2009-08-04 10:15:11 View
Download
[72bd7d] (33.5 kB) by Gabor Melis Gabor Melis

1.0.27.49: update platform table, credit me

2009-04-30 07:34:53 View
Download
[b46345] (33.3 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.24.30: fixed and tested some more cleanups on hppa-hpux

* Fix a stray #+ -> #!+.

* Removed unneeded nops.

* Explanation of magic numbers (but not yet substituted.)

(Above changes in patch by Larry Valkama)

* Fix a bunch of comments in the HPPA backend to use the right number
of semicolons, and use FIXME-lav instead of FIX-lav to mark things
(better grepping for the rest of us.)

2009-01-10 11:19:22 View
Download
[f82850] (33.2 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.21.24: saving runtime options in executables

* SAVE-LISP-AND-DIE argument :SAVE-RUNTIME-OPTIONS causes the values
of --dynamic-space-size and --control-stack-size used in the
current invocation of SBCL to be saved in the executable core, which
will then reuse them instead of doing normal runtime option processing.

* Thanks to Zach Beane.

2008-10-17 12:49:35 View
Download
[3c3606] (33.1 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.12.40: NetBSD/Sparc port by Robert Swindells

* No NEWS entry yet, until someone can confirm this does what it says
on the tin. :)

* A random smattering of CREDITS updates.

2007-12-20 14:24:31 View
Download
[4872f5] (32.6 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.6.15: add SB-POSIX:LOCKF

* Patch by Zach Beane, also add a CREDITS entry for him.

2007-06-02 12:33:42 View
Download
[49e92e] (32.5 kB) by Juho Snellman Juho Snellman

1.0.5.28: new contrib: sb-cover, a code coverage tool

Still somewhat experimental, so it might be changed incompatibly once
people start actually using it. Or maybe even removed, if it's not
found to be useful in practice. More documentation on interpreting
the output and on the limitations of the coverage tool will be
committed later.

* Compiler
* Instrument all forms found in the original source code
when the store-coverage-data optimization quality is larger
than 1.
* The instrumentation is fairly lightweight; just literal conses that
are modified when the form is executed.
* This requires hacking the compiler to allow modifying literals
when we know what we're doing.
* Add some extra source location tracking capabilities to handle
non-cons source forms better (though still not perfectly).
* Contrib
* Get the instrumentation data from the compiler, and create
a aggregate report + pretty annotate source code reports
(as html) from it.
* The latter uses a modified version of the source code tracking
read-table from Swank, written by Helmut Eller.

2007-05-03 03:27:55 View
Download
[1ebf88] (32.3 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.0.3: correct stack start addresses on Windows
* based on patch by Alastair Bridgewater.
* add AB to initials glossary and sort it by initials.

2006-11-30 17:03:48 View
Download
[4e6200] (32.3 kB) by Christophe Rhodes Christophe Rhodes

0.9.18.61:
Callbacks for Linux/PPC, based on the patch from Joshua Ross
(joslwah sbcl-devel 2006-11-19).
... massage some of the comments into slightly better shape;
... rework the test case rather strongly.

2006-11-19 17:45:28 View
Download
[970dd2] (32.1 kB) by Juho Snellman Juho Snellman

0.9.16.27:
Add an interpreting EVAL, for cases where the compiler is
unsuitable due to e.g. compilation overhead.

* The old EVAL is still the default. To use the new one,
(SETF SB-EXT:*EVALUATOR-MODE* :INTERPRET).

Making the interpreter the default might be the purer
choice, since there's a standard way of ensuring that code
is compiled, and no standard way of ensuring that it's
not. On the other hand, there are practical reasons for
keeping the compiler as the default. The interpreter is very
slow, doesn't have proper debugger support (either for
backtraces or inspecting frames), and it doesn't have
stepper support.

* The interpreter doesn't treat THE or type declarations for
lexical variables as assertions. The regression tests that
assume otherwise have been disabled when running in
interpreted mode. The intepreter will however type-check the
proclaimed types of specials.

2006-09-13 15:59:31 View
Download
[54b330] (31.9 kB) by Juho Snellman Juho Snellman

0.9.16.17:
Support for external formats in SB-ALIEN. The C-STRING alien-type
specifier now accepts :EXTERNAL-FORMAT and :ELEMENT-TYPE parameters.
This is a slightly incompatible change: to get the behaviour of
the old C-STRING alien-type, use (C-STRING :EXTERNAL-FORMAT :ASCII
:ELEMENT-TYPE BASE-CHAR).

Thanks to Yaroslav Kavenchuk for doing most of the work on this.

* Also add support for non-ascii pathnames
* Add some recent CONTRIBUTORS
* Update INSTALL
* Add argument quote/space escaping to RUN-PROGRAM on win32

2006-09-06 20:27:09 View
Download
[3a0f36] (31.6 kB) by Christophe Rhodes Christophe Rhodes

0.9.9.36:
Merge Cyrus Harmon's 7th gencgc merge candidate
... with the addition of idempotent implementations of
arch_clear_pseudo_atomic_interrupted() for
sparc, mips, alpha and hppa. (the last three completely
untested).
... many, many changes, most of which are documented in
doc/internals-notes/GENCGC-PORTING-NOTES

(This commit may break horribly. Please read, please test)

2006-02-21 22:59:29 View
Download
[9015ef] (31.4 kB) by Christophe Rhodes Christophe Rhodes

0.9.8.43:
Commit patch from Luis Oliveira for alignment on #!+win32

2006-01-18 11:28:28 View
Download
[adeddf] (31.2 kB) by Nathan Froyd Nathan Froyd

0.9.8.9:
Merge "updated ppc callback patch and tests", Cyrus Harmon,
sbcl-devel 2006-01-01;
* ...with a fix from Heiner Schwarte, sbcl-devel 2005-12-25.

2006-01-04 14:52:29 View
Download
[7fb597] (31.1 kB) by Christophe Rhodes Christophe Rhodes

0.9.8.7:
Merge "merge candidate 1" for SBCL/Win32.
... a lot done, a lot left to do.

2006-01-03 09:52:37 View
Download
[f9b113] (31.0 kB) by Juho Snellman Juho Snellman

0.9.7.25:
Miscellanea.

* Don't return structures from FIND-DEFINITION-SOURCE-BY-NAME when
asking for classes
* Fix typo in error message for --eval '1 2' (reported by ignas
on #lisp)
* Add a couple of comments
* Add myself to the initials glossary

2005-12-11 04:23:04 View
Download
[40e3ba] (31.0 kB) by Christophe Rhodes Christophe Rhodes

0.9.3.63:
Merge Solaris/x86 support, mostly as in sbcl-devel 2005-06-07
... one or two minor fixups
... log the major problems remaining in BUGS

2005-08-19 12:15:15 View
Download
[75ae7b] (30.9 kB) by Gabor Melis Gabor Melis

0.9.3.14: debugger streams
* flush all standard streams before prompting in the REPL and the
debugger
* prompt for restart goes to *debug-io*
* disable-debugger, enable-debugger don't set *debug-io* anymore
* run *invoke-debugger-hook* before *debugger-hook* => if the debugger
is disabled then *debugger-hook* is not run
* eof selects abort in the debugger

2005-08-01 12:52:24 View
Download
[f3f677] (30.9 kB) by Christophe Rhodes Christophe Rhodes

0.9.1.38:
Merge DFL raw-slots patch (sbcl-devel "raw slot changes"
2005-05-18)
... with an amalgam of ths' two mips versions;
... note in OPTIMIZATIONS about the negative index idea, and the
disabledness of HPPA

2005-06-12 14:02:34 View
Download
[864c91] (30.7 kB) by Juho Snellman Juho Snellman

0.8.21.19:
* Merge more x86-64 disassembler improvements from Lutz Euler.
(sbcl-devel "Re: Improving the x86-64 disassembler" on
2005-04-05).
* Bump compact-info-env-entries-bits to allow purify on images with
large amounts of functions (sbcl-devel "purify failure when
compact-info-env-entries-bits is too small" on 2005-03-26
by Cyrus Harmon).

2005-04-06 01:47:35 View
Download
Older >