smp: share: uxctty.o

smp: share: ux.o

smp: share: intext.o

smp: share: prossmp.o

smp: share: prosio.o

smp: share: wind.o

smp: share: utils.o

smp: share: utabmd.o

smp: share: transact.o

smp: share: term.o

smp: share: syntax.o

smp: share: string.o

smp: share: storage.o

smp: share: regex.o

smp: share: primutl.o

smp: share: ostty.o

smp: share: option.o

smp: share: obstack.o

smp: share: memmag.o

smp: share: interp.o

smp: share: gcloop.o

smp: share: floenv.o

smp: share: fasload.o

smp: share: fasdump.o

smp: share: error.o

smp: share: debug.o

smp: share: boot.o

smp: share: bkpt.o

smp: share: avltree.o

smp: share: README.txt begins the analysis of microcode state

smp: Add a top-level README.txt, an overview of the SMP branch.

smp: Add mutex LOCK/UNLOCK boilerplate to confshared.h (everywhere).

smp: Wake io-waiter when necessary.  Add io-waiter-registry...

...a copy of io-registry for io-waiter to block on while other threads
modify io-registry.  Test io-registry in thread-timer-interrupt-
handler only when there is no io-waiter.

smp: Add copy-select-registry!.

smp: Add primitive copy-select-registry.

smp: Add SIGALRM distributor.

smp: Add io-waiter and arrange for ONE processor to io-wait.

Also, clean up the stack in SMP-IDLE.  And do NOT tail into a runnable
thread in signal-thread-event -- always return.

smp: Check for SIGCHLD in thread timer interrupt handler.

An idle thread might get a SIGCHLD, wake and run the thread timer
interrupt handler (since there is no subprocess-status-change
interrupt) and return to idle.  If it is not the io-waiter, it does
not call test-select-registry nor otherwise notice the subprocess
status change.

Funnel all status change notifications through handle-subprocess-
status-change.  It uses the last-global-tick variable to remember the
tick when threads blocking on status changes were last woken.

smp: Add smp-wake primitive.

smp: Add x86_64 support.

smp: unshare: svm1 interpreter's state

smp: unshare: UX trap_state and current_interruptable_extent.

Split the thread-local parts out of UX_initialize_trap_recovery into
UX_initialize_trap_state, and those of OS_initialize into
OS_initialize_processor.

smp: unshare: interpreter_state, dstack, current_transaction...

...scheme_fenv, scheme_fenv_p, dstack_position,
current_winding_record, interpreter_state, prim_apply_error_code,
critical_section_hook, critical_section_hook_p, critical_section_name.

Pulled initializations into a new initialize_processor_early function
and used it in both main and the co-processors' work.

smp: Initialize thread-local compiler_utilities.

Split the thread-local parts of compiler_initialize into
compiler_initialize_processor, those of compiler_reset into
compiler_reset_processor.  Split the non-thread-local parts of
ASM_RESET_HOOK into ASM_INIT_HOOK, i.e. i386_reset_hook into
i386_init_hook.  Call the _processor versions in co-processor startup
and SMP-GC-WAITs.

Add compiler_reset_p flag to processor_t so that load-band
(compiler_reset) can notify the other processors to load the new
compiler_utilities into their Registers slots.

smp: Serialize the outf functions.

smp: Synchronize initialized processors.

The main pthread must wait for the other processors to be initialized,
else the first GC waits forever for processors that cleared the
global-gc interrupt while initializing.

smp: Synchronize processors for GC.

smp: Add i386 assembly to allocate/access thread-local variables.

Change the storage class of thread-local variables in use thus far.

smp: Add configure option --enable-smp.

Arrange for multiple Scheme machines, "processors" (pthreads), to
share the heap.  Each gets its own stack and "local" heap areas.
Gc-flips trace the stacks and evacuate the local heaps into the shared
heap.  The dump-band primitive now works like half a gc-flip,
evacuating the local heaps and saving the shared heap to disk before
the primitive gc daemons can start consing in a local heap again.

smp: Punt "permanent" i/o thread events.

A "permanent" input channel in the system select registry will cause
the io-waiter to spin until a thread reads the available input.
Always removing an entry after its event is delivered allows the
io-waiter to block until the thread processes the event, reads the
available input, and blocks again.

smp: Serialize access to (runtime thread) internals.

smp: Accommodate multiple processors.

Keep the threads running on each processor in the current-threads
vector.  Change the running list into a runnable list: the threads
that are runnable but not currently running on a processor.

smp: Clobber fluid-let and the (runtime state-space) package.

UNimplement fluid-let using dynamic-wind as a backward compatibility
kludge.  Subsystems still using fluid-let, e.g. LIAR, must not be run
in multiple threads simultaneously.  Fluid-let no longer provides
thread-local storage.

Replace the previously fluid-assigned bindings state-space:local and
(runtime dynamic)bindings with thread slots dynamic-point and
dynamic-environment.  Split the initialization of (runtime thread)
into "low" and "high" procedures.  The "low" procedure is applied
early in the bootstrap to create the initial thread, whose dynamic
state is needed later.  Lose the error handling in wait-for-io; it
runs when there is no current thread, thus no way to bind-condition-
handler.

Replace the uniprocessor-only Hanson/Lamping state-spaces with
Scheme48's multiprocessing-friendly dynamic-points in a new package
(runtime wind).

Add outf_error_line; use it everywhere.

Use it for brevity.  Later when each outf_ operation involves grabbing
a mutex, use it for efficiency.

Fix Do_Micro_Error to respect stack direction, and print arguments.

Use INTERRUPTABLE_EXTENT in OS_pause when !HAVE_SIGSUSPEND.

Just warn when set-debug-flags! is used on a non-debugging machine.

doc: Clean up doc-config.scm.

doc: Configure --disable-* should disable build as well as install.

Add a TARGETS variable to collect ENabled targets, like INST_TARGETS.

Tweak condition variable locking.

- Use WITH-THREAD-MUTEX-LOCKED.
- Use ASSERT-THREAD-MUTEX-OWNED.

No functional changes intended.

Allow thread barriers to be named.

Show the condition, not just its report, in derived condition reports.

That way you can (debug #@n) it or M-x browse-continuation it.

Fix timed condition variable waits.

Sternly advise against non-debugging use of THREAD-MUTEX-OWNER.

Remove support for recursion in WITH-THREAD-MUTEX-LOCKED.

Don't let just any event wake THREAD-JOIN.

Sort names in (runtime thread) package.

Rename GUARANTEE-THREAD-MUTEX-OWNED to ASSERT-THREAD-MUTEX-OWNED.

Fluidize hook/exit and hook/quit.  Add hook/%exit for Edwin.

Replace the fluid-let in src/edwin/intmod.scm with let-fluids.  The
fluid-let kludge in SMP worlds causes Edwin to hang when killed.

Unfluidize (runtime boot-definitions) internal boot-inits.

Replace the fluid-let with its expansion into a dynamic-wind, which
works only if the bootstrap proceeds in one thread and thus
thread-local values for boot-inits are not needed.

runtime/thread-queue.scm: Use a mutex to serialize accesses.

Also, use #f events.  The (lambda () unspecific) events accumulate
unnecessarily.

svm: Make the trap handlers static.

I won't vouch for any speed improvement.  I just noticed all the
others were declared static.

etc/usermap: Update my email address.

Quiet the last CREF complaint on Unix.

Convert references to compiler global variables into
environment-lookup combinations.

Add bindings to edwin/debug.scm; punt browser-evaluator.

Add ansi.scm to (edwin screen console-screen) for unix as well as
dos and nt.  This quiets cref's complaint about termcap.scm's
reference to make-ansi-terminal-description.

The browser-evaluator command was never implemented(?).

Syntax sf before compiler.

The trivial package model of (scode-optimizer) does not include the
internal bindings needed when analyzing (compiler).

Move compile-directory.  Punt sf- and compile-directory?.

Sf-directory? and friend appear to have been broken since
directory-processor started expecting output-type to be a thunk.

Moving compile-directory out of sf/butils.scm and into
compiler/base/toplev.scm eliminates free variable references noted by
CREF.

Add thread barrier abstraction.

Add condition variable abstraction.

Add GUARANTEE-THREAD-MUTEX-OWNED.

Inherit the root thread continuation.

Fixes
<http://lists.gnu.org/archive/html/mit-scheme-devel/2012-04/msg00000.html>:
nested CREATE-THREADs sometimes see an unassigned root continuation.

Fix indentation in GET-X-DISPLAY botched by last commit.

Reset Edwin's X display on restore.

It now works to save and restore bands in which you have run Edwin
with X, as long as Edwin is not currently running while you save the
band.

Call dload_finalize_file, not dld_finalize_file.  Oops.

Reset dld (.so) handles on restore.

Don't pass `-isysroot -fconstant-cfstrings' if we can't find OS X SDKs.

svm: Do fni->bci step in host, not with interpreted compress.

tests: Replace : with / so progress notes are not errors to Emacs.

Use - instead of : in timestamps reported by compile-svm.sh too.

typo

svm: Fix continue_from_trap.

Signal handlers always find an unknown pc when the svm interpreter is
running.  This patch extracts the virtual machine's instruction
pointer for classify_pc in the hope that the compiled code block can
be located.

i386 flonums: Fix substitution of FLDZ,FUCOMP for FTST in 521ffb3.

The branch instructions needed to be swapped.

This caused compiled generic arithmetic to get e.g. (> x 0.) wrong,
causing an overflow in float->integers when compiling
runtime/arith.scm for the SVM.

make check: To avoid long run times, export FAST=y.

A nip and a tuck and the SVM can get through `make check' in 10-15
minutes, instead of MORE THAN 5 HOURS on a Dell Inspiron 1420 (2.2GHz
Core2Duo Centrino with 2GB RAM).

mcrypt: A libmcrypt plugin (separately buildable FFI wrapper).

microcode/unix: fix continue_from_trap to freak out (force GC) less

The classify_pc function returns pcl_unknown for traps in shared
libraries, e.g. in feraiseexcept (in the raise-float-exceptions
primitive) or any callout (in the c-call primitive).  This new
continue_from_trap function is less conservative, ignoring the
pcl_unknown result from classify_pc when the stack_pointer, Free and
PRIMITIVE registers all look good.  This eliminated all complaints
during `make check' about "resetting bogus Free" (not the actual
problem), representing 14 unnecessarily forced GCs.

Also, fix the murmur about "resetting bogus Free".  Correct it for
accuracy and so that it must be turned on with the
((make-primitive-procedure 'SET-DEBUG-FLAGS! 2) 9 #t)

microcode/i386: Set sse_presence.

Fluidize (runtime thread) internal root-continuation-default.

Fluidize *bound-restarts* and dynamic-handler-frames.

Fluidize *random-state*.

Fluidize flonum-unparser-cutoff.

Fluidize (runtime swank) internal variables *top-level-restart*,...

...*sldb-state*, *index* and *buffer-pstring*.