sbcl Log


Commit Date  
[c78d72] by Cyrus Harmon Cyrus Harmon

alien type improvement: handle offsets in unparse-alien-record-type

Previously, when recomputing the offset to struct fields we would
ignore the offset and attempt to recompute it, occasionally getting it
wrong. Now store the offset in uparse-alien-record-field and use in
parse-alien-record-fields.

Also, fix some comment typos.

2012-11-04 17:09:21 Tree
[2f9585] by Nikodemus Siivola Nikodemus Siivola

sb-concurrency: frlocks

2012-11-03 11:39:57 Tree
[8ede17] by David Lichteblau David Lichteblau

Safepoint protocol upgrade

Upgrade to the new stop-the-world protocol from the Windows branch,
dating back to late 2011, an all-in-one readability and correctness
improvement.

Replace per-thread qrl locks with one process-wide lock for all
operations relating to GC state and the threads' CSP area. Use
condition variables for notifications on GC state changes.

Thanks to Anton Kovalenko.

2012-11-02 20:52:04 Tree
[2e535e] by David Lichteblau David Lichteblau

Update NEWS; explain Windows system requirements

2012-11-02 19:45:20 Tree
[f05756] by David Lichteblau David Lichteblau

Extend use of the linkage table to static symbols

- Formerly static symbols are static no more:

- Always use the linkage table, even in cross compilation. The
runtime retrieves the resulting list of foreign symbols and installs
linkage table entries before calling into Lisp for the first time.

- Simplify/remove various win32 foreign symbol special cases.

- Almost remove scratch().

Conditional on feature SB-DYNAMIC-CORE; required on Windows and optional
on other platforms supporting the linkage table.

With this feature, changes to src/runtime can be built using make,
without requiring a slam.sh step to update core files.

For LINKAGE-TABLE platforms only. Currently supported on x86 and
x86-64. (PowerPC does not yet work.) In the interest of simplicity,
disable this feature permanently on non-SB-THREAD platforms, because
these would require unpleasant changes to allocation macros.

Thanks to Anton Kovalenko.

2012-11-02 19:43:05 Tree
[3ea89b] by David Lichteblau David Lichteblau

Move the global safepoint to one page before static space

New attempt at finding an optimal location for the global safepoint
page. Hopefully this solution will cover all our use cases for
the foreseeable future.

- Relative to static space for architectures with small immediates.

- Also addresses the requirements of sb-dynamic-core, which needs
the safepoint to have an absolute address on x86(-64).

Hence, a new macro !gencgc-space-setup -- tweaks space parameters to
squeeze in the safepoint page, while also simplifying parms.lisp for
some platforms.

2012-11-02 12:23:19 Tree
[eac461] by David Lichteblau David Lichteblau

Windows console I/O overhaul

- Make non-interruptible I/O interruptable by means of a
background thread.

- Fixes lp#308923.

- Use Unicode in stdio streams.

Thanks to Anton Kovalenko.

2012-11-02 12:23:19 Tree
[3f85a9] by David Lichteblau David Lichteblau

Allow synchronous win32 I/O to be interrupted, too

... if and only if running on a version of Windows new enough to
support doing so. Two scenarios come to mind where synchronous (i.e.
non-overlapped) I/O might matter:

- There is one kind of HANDLE which is never overlapped: Unnamed
pipes. Unlike named pipes, the feature added by this commit is
our only option of interrupting I/O on the former.

- User code might pass in a HANDLE through MAKE-FD-STREAM without
the right flag set. In principle, non-interruptibily of such a
HANDLE is a bug in said user code, but it doesn't hurt to deal
with these correctly as a side benefit. (The only Windows
releases which support re-opening of a HANDLE with the right
flag also have the functions needed by this commit.)

One downside for users might be an element of surprise, in that the
same SBCL binary will exhibit the presence or lack of features,
respectively, when started on recent Windows or old Windows. However,
the advantages of offering the feature seem to me to outweigh that
disadvantage.

Thanks to Anton Kovalenko.

2012-11-02 12:23:19 Tree
[0baeb0] (sbcl-1.1.1) by Christophe Rhodes Christophe Rhodes

1.1.1: will be tagged as "sbcl-1.1.1"

2012-11-02 09:42:04 Tree
[6631ac] by David Lichteblau David Lichteblau

Fix the single-threaded Windows build

For this release, we purport to support Windows without threads as
an option. Make it so.

2012-10-26 17:35:19 Tree
[784b5e] by David Lichteblau David Lichteblau

Do not assert that the integer returned by UNIX-ISATTY is a BIT

2012-10-25 13:18:04 Tree
[3a3404] by David Lichteblau David Lichteblau

Fix build on MinGW (again)

Remove -mno-cygwin, re-added by mistake earlier.

2012-10-22 14:20:18 Tree
[f90266] by nyef nyef , pushed by Alastair Bridgewater Alastair Bridgewater

.gitignore: Add src/runtime/sparc-funcdef.h

* Just another auto-generated file for a rarely-maintained
target.

2012-10-19 18:50:50 Tree
[d3514a] by nyef nyef , pushed by Alastair Bridgewater Alastair Bridgewater

Disable an SB-INTROSPECT test on GENCGC SPARC.

* Test ALLOCATION-INFORMATION.4 is known to be flaky at best on
GENCGC PPC, and has been observed to fail on GENCGC SPARC. Since
it's been marked :FAILS-ON for GENCGC PPC, mark it as failing for
GENCGC SPARC as well.

2012-10-19 18:50:50 Tree
[ad096f] by nyef nyef , pushed by Alastair Bridgewater Alastair Bridgewater

GENCGC on SPARC/Linux

* Tweak make-config.sh to automatically select GENCGC, and to
update the fallback message for those poor bsd-using folks.

* Copied the gencgc memory map from the SunOS version to use for
Linux (the cheneygc maps were identical, we may as well keep the
parallelism).

* Also tweaked the linker flags to match. Not because it was
required to build, but because I don't know why they were changed
for SunOS, and in the absence of such knowledge I'd rather keep
things more or less parallel.

2012-10-19 18:50:34 Tree
[539339] by nyef nyef

src/runtime/sparc-arch.c: Use si_addr in arch_get_bad_addr().

* Since the sparc port was first merged, arch_get_bad_addr() has
only worked when the program counter is within read-only or the
current dynamic space.

* This is fragile simply because of the existance of static
space and PURIFY. It is WORSE when you add GENCGC to the mix (to
the point where SunOS with GENCGC doesn't even call
arch_get_bad_addr() anymore).

* The existing implementation looks like it predates the switch
to sigaction(2) style signal handlers. SBCL uses si_addr on all
other backends save Alpha (long undermaintained) and HPPA (even
longer undermaintained). Clearly, this approach works on SunOS.
From testing, it works on at least linux-2.6.32. We might as well
run with it, since we need it for GENCGC anyway, and we can easily
concoct a test case that would cause a failure using CHENEYGC.

* So, implementation patterned on any of the other backends, but
leaving the old code in place, conditional-compiled out, as a bit
of a historical note / warning to future historians.

2012-10-19 17:38:05 Tree
[9e5377] by David Lichteblau David Lichteblau

Update NEWS, make-config.sh

2012-10-19 16:37:03 Tree
[7f9bcc] by David Lichteblau David Lichteblau

sb-bsd-sockets: Add a test for interruptible I/O

Test TCP sockets even without :internet-available, albeit only on
threaded builds. Check that INTERRUPT-THREAD works in a timely
fashion on threads currently blocked in I/O on a socket.

2012-10-19 16:36:44 Tree
[7572e0] by David Lichteblau David Lichteblau

Windows: Use overlapped I/O, CreateFile

Overlapped I/O is win32's asynchronous I/O mechanism, which allows
us to start an I/O operation and explicitly wait for it to finish at
a time of our choosing, such that we can simultaneously await other
events instead of blocking unconditionally.

- Support for overlapped I/O is a per-HANDLE flag specified at
file opening time, necessitating a switch to win32's CreateFile
and away from the CRT's _open.

- Wrap win32 file operations in POSIX-compatible functions, so
that UNIX-OPEN, UNIX-READ, UNIX-WRITE, UNIX-CLOSE continue to
work as before. Under the hood, these now call our Lisp or C
functions instead of versions from CRT.

- For now, these functions still return and expect what passes as
file descriptors in CRT.

- INTERRUPT-THREAD is now capable of performing the interruption
in a target thread blocked in socket I/O, indicated using an
errno of "EINTR". Minor changes in FD streams to retry the I/O
operation explicitly in that case.

Does not yet include changes for console I/O, and instead still
falls back to _read and _write in that case. Also not yet included
is interruptible non-overlapped I/O, e.g. for unnamed pipes.

Thanks to Anton Kovalenko.

2012-10-19 16:07:24 Tree
[67f44c] by Lutz Euler Lutz Euler

Improve basic block ordering for some loops.

Currently the compiler rotates most loops to minimize branching costs,
but for some loops this actually has the opposite effect (i.e., larger
and slower code being generated), namely for those that already have the
termination test at the end.

So, inhibit loop rotation if such a loop is detected. The decision is
based upon whether the loop's back edge starts with a conditional branch
(don't rotate) or an unconditional branch (do rotate). This heuristic is
correct in simple cases but may err, e.g. if a loop has multiple back
edges. As we didn't try before and don't try now to analyse complex
loops to aid the decision whether to rotate or not, or even how far,
hopefully any differences introduced here will cancel on average with
respect to their impact on performance and code size.

(Loops consisting of only one basic block -- which necessarily have the
termination test at the end -- were (obviously) treated correctly
already. But even small loops can easily consist of multiple blocks, for
example if the loop body contains code from inlining a function call.)

2012-10-17 19:05:58 Tree
[e35a79] by Lutz Euler Lutz Euler

Typo and other small fixes in the manuals and the man page

That is, in the texinfo files of the user manual, the internals manual,
and in sbcl.1. Fix spelling and grammar errors, put sufficiently many
dots in abbreviations and consistently write "SBCL" in all caps in
prose. Also, SIGABORT should be SIGABRT.

2012-10-13 19:11:43 Tree
[d15afa] by Nikodemus Siivola Nikodemus Siivola

allow SB-CONTRIB operation without explicitly set CC

Fall back to "cc" with a style-warning.

2012-10-08 05:49:41 Tree
[c712f8] by Nikodemus Siivola Nikodemus Siivola

don't close runtime dlhandle on Darwin

On newish Darwin it works, but some people still run old enough
version that it won't work. As long as we're not explicitly checking
for "Darwin new enough?", let's try not to break...

Fixes lp#957385

2012-10-07 12:23:19 Tree
[c0569c] by Francois-Rene Rideau Francois-Rene Rideau , pushed by Nikodemus Siivola Nikodemus Siivola

make it possible to run tests on an installed SBCL

Allow override of SBCL location via TEST_SBCL_HOME,
TEST_SBCL_RUNTIME, and TEST_SBCL_CORE.

Allow override of temporary file location via TEST_DIRECTORY. (Some
tests still write to /tmp, though -- so user beware!)

Small unrelated whitespace / style-warning fixes.

2012-10-07 12:15:25 Tree
[7374ca] by Nikodemus Siivola Nikodemus Siivola

teach NODE-CONSERVATIVE-TYPE about union types

Conservative type of STRING is STRING -- and this makes it so.

Fixes lp#1050768 (but also future-proof ARRAY-IN-BOUNDS-P against
'*) explicitly.

2012-10-07 11:48:33 Tree
Older >