smp: without-interrupts: README.txt begins the analysis

smp: README.txt frobbery.  Squash into d93bc7f and 9969ff0.

smp: share: usrdef.o

smp: share: comutl.o

smp: share: cmpintmd.o

smp: share: cmpint.o

smp: share: pruxffi.o

smp: share: pruxdld.o

smp: share: tterm.o

smp: share: cmpauxmd.o

smp: share: uxutil.o

smp: share: uxtty.o

smp: share: uxtrap.o

smp: share: uxtop.o

smp: share: uxterm.o

smp: share: uxsock.o

smp: share: uxsig.o

smp: share: uxproc.o

smp: share: uxio.o

smp: share: uxfs.o

smp: share: uxenv.o

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.