Remove without-interrupts from runtime/global.scm.

Clean-obarray runs as a secondary-gc-deamon and thus, in SMPing
worlds, it may run in parallel with other threads on other processors.

A number of primitives and compiler utilities modify the obarray so an
SMPing microcode will use a pthread mutex to serialize access to it.
Clean-obarray now uses a new procedure, with-system-obarray-lock, that
uses new primitives to participate in the serialization.

Remove limit-interrupts!.  Like without-interrupts, it will not work
as expected in SMPing worlds.

Remove without-interrupts from runtime/generic.scm.

Serial access to particular generic functions is still the
responsibility of the user.  Serial access to the
generic-procedure-records table is now ensured by a thread mutex.

Remove without-interrupts from runtime/geneqht.scm.

Serial access to a particular table is still the responsibility of the
user (e.g. SOS procedures?), but the list of all address hash tables
is now a serial population.

Add make-serial-population.

Also add empty-population! and for-each-inhabitant.

Do not export the /unsafe procedures even to (runtime); require that
they be explicitly imported (specifically exported?).  Use the /unsafe
procedures in (runtime 1d-property) and (runtime thread) package
initializations to avoid trying to lock the population-of-populations
too early in the cold load.

Remove without-interrupts from runtime/gcfinal.scm.

Serialize access to the list of gc finalizers and to each finalizer.

Initialize the thread system early in the cold load.

Thus with-thread-mutex-lock can be used during initialization of most
packages.  Avoid using the global set-interrupt-enables! binding in
dynamic-wind because it is now called so early.

This anticipates removing without-interrupts from gcfinal.scm and thus
calling with-thread-mutex-lock during make-gc-finalizer, e.g. during
the initialization of the (runtime string) package.

Remove with-absolutely-no-interrupts from runtime/gc.scm.

Default/purify and default/gc-flip modified the constant-space-queue
under the cover of with-absolutely-no-interrupts, which is no longer
atomic.  Serializing these procedures is a trick because the latter is
invoked by the GC interrupt.  (Thus ABSOLUTELY no interrupts were
allowed?)

But there is no need for default/gc-flip to remove items from the
queue.  Flush-purification-queue! will know that its queue is "empty"
when its head is in constant space.  Thus the interrupt no longer
modifies the queue, and the queuing process is serialized in the usual
way.

Since primitive-purify cannot fail for lack of space, ancient error
signals and retry loops are also eliminated.

Define make-thread-mutex early.

Global data structures like event-distributors and gc-daemon queues
need to serialize operations and could use thread mutexes except that
they are naturally created early in the cold load, before the thread
system is loaded.  So the mutex data structure is defined (withOUT
define-structure syntax) in a new file: runtime/thread-low.scm.  The
rest of thread.scm must be loaded after record.scm.

This breaks the circularity where thread system initialization
requires population and 1d-table operations which are serialized by
the thread system.

Remove without-interrupts from runtime/sfile.scm.

Serialize access to the files-to-delete element of the fixed-objects
vector.

Remove without-interrupts from runtime/rgxcmp.scm.

Add a mutex to each of the memoization caches.

Remove without-interrupts from runtime/ffi.scm (mostly).

Modifications to the registered-callbacks vector and the malloced
aliens list are now serialized by mutexes.  Call-alien still needs
without-interrupts.  It must avoid preemption during a callback.

Remove without-interrupts from runtime/string.scm.

It was only used to postpone aborts that would drop an external string
descriptor.  The interrupt mask manipulation in %string-head! only
postpones a GC flip while the local heap is edited.

Remove without-interrupts from runtime/rbtree.scm.

It was only used to postpone aborts that would leave data structures
inconsistent.

Unalias with-absolutely-no-interrupts in runtime/prgcop.scm.

It is not atomic in multiprocessing worlds.  The alias "atomically" is
no longer appropriate.

Remove without-interrupts from runtime/parser-buffer.scm.

It was only used to postpone aborts that would leave data structures
inconsistent.

Remove without-interrupts from runtime/gencache.scm.

It was only used to postpone aborts that would leave data structures
inconsistent.  Access to these caches needs to be serial.

Remove without-interrupts from runtime/gdbm.scm.

It was only used to postpone aborts that would leak gdbfs.

Remove without-interrupts from runtime/crypto.scm.

It was only used to postpone aborts that would leak mhash contexts.

Remove without-interrupts from runtime/condvar.scm.

Multi-threaded access to the chain of waiters is already adequately
serialized by the condition-variable.lock.  Without-interrupts was
only intended to postpone aborts that would leave a doubly-linked
chain without a complete pair of links.

Add without-interruption, to replace without-interrupts...

...where atomicity is not needed.  Without-interrupts is deprecated
because it is broken in multiprocessing worlds where it cannot provide
the atomicity it guarantees in uniprocessing worlds.

debug.c: Add a get-interrupt-code primitive.

debug.c (print_string): Summarize long strings.

Mark with-thread-events-blocked stack frames with the symbol.

These frames can then be recognized in Debug_Stack_Trace output.

Fix another typo in commit 2a447ff.

Fix typo in commit 2a447ff.

Fix VECTOR-8B->HEXADECIMAL/UPPERCASE test.

Add error checking to entity and apply hook operations.

No recursion needed: use WITH-THREAD-MUTEX-LOCK.

No recursion needed: use WITH-THREAD-MUTEX-LOCK.

No recursion needed: use WITH-THREAD-MUTEX-LOCK.

No recursion needed: use WITH-THREAD-MUTEX-LOCK.

No recursion needed: use WITH-THREAD-MUTEX-LOCK.

New WITH-THREAD-MUTEX-LOCKED rejects recursion like LOCK-THREAD-MUTEX.

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

This reverts commit d7241d6fe8b151f6d15db9cac8fba44b074ca215.

Evidently people did rely on this.

Use logarithmic balancing rather than bounded balancing for wttree.

Factor out wttree balancing criteria.

Add vector-8b<->hexadecimal tests.

Fix hexadecimal->vector-8b for real.

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*.

Fluidize (runtime structure-parser) internal variable name-counters.

Fluidize (runtime gc-statistics) internal hook/record-statistic!.

Fluidize (runtime save/restore) internal *within-restore-window?*.

Fluidize (runtime options) internal variables *options*, *parent*.

Fluidize (runtime parser) controls: *parser-radix*,...

... *parser-associate-positions?*,
    *parser-atom-delimiters*,
    *parser-canonicalize-symbols?*,
    *parser-constituents*,
    *parser-enable-file-attributes-parsing?*,
    *parser-keyword-style*,
    and *parser-table*.

Fluidize (runtime debugger) internals *dstate* and *port*.

Fluidize (runtime syntax) internal variable *rename-database*.

Fluidize (runtime user-interface) internal *notification-level*.

Fluidize (runtime unsyntaxer) internal variable: substitutions.

Fluidize (runtime program-copier) internal *copy-constants*?,...

...and *object-copies*.

Fluidize (runtime compiler-info) internal directory-rewriting-rules.

Fluidize (runtime advice) internal advice-continuation,...

...the-arguments, the-procedure and the-result.

Fluidize (runtime pathname) internal library-directory-path.

Fluidize (runtime unparser) internal *list-depth*, *output-port*,...

...*slashify?*, *environment* and *dispatch-table*.

Fluidize *pp-...*, i.e. *pp-default-as-code?*,...

... *pp-named-lambda->define?*,
    *pp-primitives-by-name*,
    *pp-uninterned-symbols-by-name*,
    *pp-no-highlights?*,
    *pp-save-vertical-space?*,
    *pp-lists-as-tables?*,
    *pp-forced-x-size*,
    *pp-avoid-circularity?*,
    *pp-auto-highlighter*, and
    *pp-arity-dispatched-procedure-style*.