sbcl Log

Commit Date  
[d1873c] (1.5 kB) by Gabor Melis Gabor Melis handling of potential corruptions

- add corruption_warning_and_maybe_lose that prints a warning and
loses depending on lose_on_corruption_p (false by default)
- use corruption_warning_and_maybe_lose when the control stack is
exhausted and on memory faults
- use corruption_warning_and_maybe_lose on the lisp handlers of
SIGILL, SIGBUS and SIGEMT, as invoking them is surely not a good
- add --lose-on-corruption as a runtime option
- add --disable-ldb as a runtime option
- update the man page and the user manual
- exit pseduo atomic properly and do pending interrupt if needed
- signalling HEAP-EXHAUSTED in a WITHOUT-INTERRUPTS is dangerous
- use --lose-on-corruption in make-target*.sh

Also, block blockable signals on lose() to prevent other threads,
timers and such from interfering. If only all threads could be stopped

2009-02-16 21:36:13 View
[70ea77] (1.5 kB) by Andreas Fuchs Andreas Fuchs make-target-2.lisp split into compile and dump phases.

* Split make-target-2.lisp into make-target-2.lisp and
make-target-2-load.lisp, reducing unnecessary state that was kept around.
Not keeping symbols that were interned during the compilation of PCL
saves us 400kB on x86 and between 1MB and 1.5MB on x86_86.
* Unintern symbols that are internal to CL-USER before dumping the core.
This doesn't save any space; just removes confusion.

2007-02-28 13:01:58 View
[2365c1] (1.3 kB) by Rudi Schlatte Rudi Schlatte
new toplevel options --no-sysinit, --no-userinit to inhibit
loading the corresponding init files
... also fixes the win32 build failure that motivated this change

2006-04-05 07:46:56 View
[89987c] (1.3 kB) by Christophe Rhodes Christophe Rhodes
Beginnings of a Win32 merge.
... rearrange the build scripts to use input from files rather
than <<HERE documents.
... (no other changes; just working to get the meaty changes
isolated from the fluff)

2005-12-29 16:08:31 View
[8977ab] (3.9 kB) by Juho Snellman Juho Snellman
More merging. SAVE-LISP-AND-DIE defaults to not purifying on
GENCGC platforms.

2005-10-13 00:01:36 View
[babd45] (4.0 kB) by Thiemo Seufer Thiemo Seufer
Robustify the build system scripts.

2005-09-16 13:26:39 View
[1b775f] (3.9 kB) by Nathan Froyd Nathan Froyd
Reduce core file size by 600k+:

* Disable FORMAT-with-constant-format-string transform in the
cross compiler--eliminates many large LAMBDAs from the core;
* Remove call to PURIFY at the beginning of warm init so that
cold-init-only stuff doesn't get moved to read-only space
before it is uninterned and (not) garbage collected.

2005-08-15 17:44:49 View
[3273f8] (4.0 kB) by Christophe Rhodes Christophe Rhodes
More build fixes
... for our non-8859-1 friends, explicitly request the C locale
while building.
... running the tests (and indeed starting up the new sbcl)
in unknown locales will fail instantly, but that's probably
less annoying than having the build fail at cold-init time.
... probably stdin/out/err should fall back to ascii external format
if all else fails

2005-05-08 15:55:06 View
[fae139] (3.9 kB) by Alexey Dejneka Alexey Dejneka
* Allocate closures at the beginning of FLET/LABELS form.
... fix bug 125.
* Partial support of stack allocation of dynamic-extent
closures on x86.

2005-01-08 09:41:46 View
[8a8a89] (3.9 kB) by Nikodemus Siivola Nikodemus Siivola Step SBCL, step!
* Merge the new intrumentation based single stepper,
excise stale breakpoint code for STEP; TRACE breakpoints
should be unaffected.
* A dash of documentation.

2004-09-13 07:14:35 View
[ff9259] (3.9 kB) by Nikodemus Siivola Nikodemus Siivola Merge package locks, AKA "what can go wrong with a 3783 line patch?"
... Controlled by the presence of :sb-package-locks in target
... This builds both with and without package locks on both
x86 Linux and SunOS Sparc, with both CMUCL and SBCL
as host -- so chances are it should build elsewhere as
... Remaining TODO: turn package locking errors from lexical
constructs to program errors in the produced code, fix
the bits in SBCL that hit host's SBCL-tyle package locks
(relevant FIXME is in src/cold/shared.lisp).

2004-06-29 08:50:51 View
[6a9bbe] (3.7 kB) by Christophe Rhodes Christophe Rhodes
deKLUDGE the solution for PACK-BEFORE-GC-HOOK
... well, not completely. PACK remains non-reentrant and
non-threadsafe, but at least now global data structures
don't grow without bounds;
... mostly whitespace changes, but clear the PACK structures
after every call, not once per GC cycle. Marginally
less efficient, I fear :-(
... while we're at it, fix analogously VOP-TN-REFS, and while
we're at it, document that a special is a bit of an
odd way to implement a (non-reentrant non-threadsafe)
... only one BEFORE-GC-HOOK left.

2004-04-15 13:30:07 View
[cd1303] (3.7 kB) by Christophe Rhodes Christophe Rhodes
Miscellaneous fixes
... fix bad behaviour on on missing directories (reported
Zach Beane sbcl-devel 2004-01-16)
... fix PUSHNEW docstring (patch VJA sbcl-devel 2003-12-30)
... call PACK-BEFORE-GC-HOOK by hand in, to get
core sizes down a bit (2Mb on x86, 6Mb on PPC). We're still
awaiting a proper fix, though.

2004-02-12 10:32:30 View
[eb105c] (3.7 kB) by Christophe Rhodes Christophe Rhodes
Fix bug in ROUND/FROUND revealed by PFD
... after cmucl-imp/sbcl-devel 2003-08-xx
Remove last vestiges of *GC-NOTIFY-STREAM*

2003-09-01 12:51:08 View
[a237d7] (3.8 kB) by Alexey Dejneka Alexey Dejneka

Compiler issues a full WARNING on calling of an undefined
function with a name from the CL package.

2003-04-25 04:06:31 View
[201072] (3.6 kB) by Alexey Dejneka Alexey Dejneka
* Declare MAPCAN and MAPCON to return T;
* Remove (:FUNCTION :IR1-TRANSFORM) info type.

2003-01-31 05:59:01 View
[3eb39e] (3.6 kB) by Christophe Rhodes Christophe Rhodes
Fix bug 185 (top level forms at the REPL)
... implement a LOCALLY method for EVAL-IN-LEXENV
translators for same
in terms of said DEFINITIONIZE-FUN macros and LOCALLY
... set compilation policy in make-target-2 to avoid file scope
... set interaction policy by hard-coding it in
... throw it together and hope it all still works.

2002-10-27 14:52:48 View
[bed279] (3.1 kB) by William Harold Newman William Harold Newman

DEFSTRUCT cleanups.. rid of old SLOT-ACCESSOR-FORM in favor of
%ACCESSOR-PLACE-FORM, so that now information about
the different types of raw slots is more nearly
centralized in *RAW-SLOT-DATA-LIST*
..moved target-only stuff from near %TARGET-DEFSTRUCT call in
miscellaneous cleanups..
..added (SETQ *PRINT-CIRCLE* T) to the before-proper-printing
hacks in
fixed stupid *PRINT-CIRCLE*-related bug in OUTPUT-OBJECT
(introduced in the 0.pre7.76 changes)

2001-11-01 20:24:55 View
[4eb1a6] (3.1 kB) by William Harold Newman William Harold Newman

merged flaky6 changes back into main branch

2001-10-31 17:51:04 View
[dec94b] (2.7 kB) by William Harold Newman William Harold Newman

deleting old byte-compiler/byte-interpreter stuff..
..find . -name *byte*lisp | xargs rm
..find . -name *.lisp | xargs egrep -i 'byte.*comp'

2001-10-06 17:18:30 View
[416152] (2.7 kB) by William Harold Newman William Harold Newman

(flaky5_branch RIP. There are still problems: debugging data
going astray, and new DEFUN of inline FOO being too
wimpy. But it seems better than 0.pre7.37. So..)
merged flaky5_branch back onto the main branch

2001-10-03 15:20:43 View
[c82185] (2.5 kB) by William Harold Newman William Harold Newman

(Oops: In the previous version, I worked on "reimplemented
ONCE-ONLY so it expands into a single LET, so that
DECLAREs inside work as they should" enough that I
put it into the commit notes, but then I realized
that using an inline function is a nice way to solve
the UNIX-FAST-SELECT problemm, so I undid the ONCE-ONLY
changes, but forgot to clean up the commit notes.)
(This version builds under sbcl-0.6.13 with :SB-SHOW, and
without :SB-INTERPRETER, in target *FEATURES*. Now
maybe I can use the result to figure out why it can't
build itself.)
Maybe we don't need the extra space in DISASSEM-BYTE-COMPONENT
after all.
added :IGNORE-FAILURE-P for src/cold/cold-init in order to
build with :SB-SHOW
got rid of various early /SHOWs (before the definition of
UNWIND in assem-rtns.lisp is loaded) so that the system
could cold init
chopped *PRINT-LEVEL* back down to 5 so that
/SHOW statements terminate before hell freezes over

2001-08-21 19:58:13 View
[31361a] (2.3 kB) by William Harold Newman William Harold Newman

(Oops, I was wrong before -- I made a typo when I thought I
was deleting :SB-INTERPRETER from target *FEATURES*,
so I didn't test what I thought I tested, and
0.pre7.13 didn't actually work without
So, now to make things actually work without :SB-INTERPRETER..
..saved a few things
from src/compiler/eval.lisp in early-c.lisp
..SB!EVAL can't be conditional on :SB-INTERPRETER, since it's
the home of stuff like the 'eval stack' (also used
by the byte interpreter).
..made INTERPRETED-FUNCTION-NAME hacking conditional on
..made other SB!EVAL:FOO stuff conditional on :SB-INTERPRETER
..s/#+!sb-show/#!+sb-show/ (Isn't it Perl that Lispers slam
for accepting line noise as valid input?)
..raised *PRINT-LENGTH* and *PRINT-LEVEL* to
10 so that
compilation aborted because of input error:
no dispatch function defined for ~S
would no longer have key information elided
..(This version still doesn't work without :SB-INTERPRETER,
but it does have some progress, and at least it still
works with :SB-INTERPRETER, so I'm checking it in.)

2001-08-17 15:10:47 View
[fbe6e2] (2.3 kB) by William Harold Newman William Harold Newman
(got confused, thought GENCGC was excessively conservative,
tried to fix it, then backed out)
tweaked a lot of comments and some names in gencgc.c
made GENESIS systematically propagate *SHEBANG-FEATURES*
entries into #define's in sbcl.h. (This isn't currently
used for anything -- I wrote it to support my confused
make-GENCGC-less-conservative effort, which no longer
exists. However, it seems harmless and could be useful
e.g. for making C-level code depend on SB-SHOW, so I
left it in.)

2001-07-12 23:15:12 View
[c8322d] (2.0 kB) by William Harold Newman William Harold Newman
(As per Daniel Barlow sbcl-devel 2001-05-17, the removal of
the mysterious "" special case in UNIX-STAT will
probably keep this version from building itself,
so I didn't even try. It does, however, at least
do "sh" successfully.)
fixed declaration in %EXTRACT-STAT-RESULTS so that the
system won't have to interpret the alien reference
at runtime on every call to the function
I found how to fix the boot/gencgc/purify problem which was
leaving initial-function unmapped -- I could copy
current_region_free_pointer into
boxed_region.free_pointer just before
gc_alloc_update_page_pages() in save.c. However,
that left me with other flaky GC problems. So I gave
up my GC hacking in this version as a bad job, and
copied original GC-related files over
the modified versions: gencgc.c, save.c, purify.c,
gc.lisp, save.lisp
made %EXTRACT-STAT-RESULTS inline to suppress an apparent
memory corruption bug

2001-05-18 13:22:50 View
Older >