Matt Birkholz [Wed, 25 Feb 2015 15:29:01 +0000 (08:29 -0700)]
smp: Use make-serial-population. Squash into
7f0c85a.
Matt Birkholz [Wed, 25 Feb 2015 15:14:30 +0000 (08:14 -0700)]
smp: Use make-serial-population. Squash into
0dd59191.
Matt Birkholz [Wed, 25 Feb 2015 15:12:38 +0000 (08:12 -0700)]
smp: Add make-serial-population.
Matt Birkholz [Wed, 25 Feb 2015 15:07:02 +0000 (08:07 -0700)]
smp: Add without-interruption.
Matt Birkholz [Tue, 24 Feb 2015 23:25:42 +0000 (16:25 -0700)]
smp: without-interrupts: hashtb.scm
Matt Birkholz [Mon, 23 Feb 2015 18:29:04 +0000 (11:29 -0700)]
smp: without-interrupts: hash.scm
Matt Birkholz [Sun, 22 Feb 2015 19:55:32 +0000 (12:55 -0700)]
smp: Squash into
3b4bc23. Lock signal-subprocess-status-change
when called by handle-subprocess-status-change. Use %handle-
subprocess-status-change internally, to avoid a second (dead)lock.
Matt Birkholz [Sun, 22 Feb 2015 19:54:08 +0000 (12:54 -0700)]
smp: without-interrupts: global.scm
Matt Birkholz [Sun, 22 Feb 2015 01:17:32 +0000 (18:17 -0700)]
smp: Move call to make-fluid. Squash into
99bc079.
Presumably
99bc079 does not build without moving the make-fluid from
initialize-low! to initialize-high!.
Matt Birkholz [Sat, 21 Feb 2015 20:11:16 +0000 (13:11 -0700)]
smp: without-interrupts: generic.scm
Matt Birkholz [Sat, 21 Feb 2015 19:54:21 +0000 (12:54 -0700)]
smp: without-interrupts: geneqht.scm
Matt Birkholz [Sat, 21 Feb 2015 18:43:34 +0000 (11:43 -0700)]
smp: without-interrupts: gencache.scm
Matt Birkholz [Sat, 21 Feb 2015 18:42:37 +0000 (11:42 -0700)]
smp: without-interrupts: gdbm.scm
Matt Birkholz [Sat, 21 Feb 2015 18:41:02 +0000 (11:41 -0700)]
smp: README.txt wordsmithing. Squash into
be90997.
Matt Birkholz [Sat, 21 Feb 2015 18:35:36 +0000 (11:35 -0700)]
smp: README.txt correction. Squash into
ae2e9ce.
Matt Birkholz [Sat, 21 Feb 2015 18:33:00 +0000 (11:33 -0700)]
smp: README.txt wordsmithing. Squash into
9969ff0.
Matt Birkholz [Sat, 21 Feb 2015 18:17:26 +0000 (11:17 -0700)]
smp: (runtime wind) initialization. Squash into
fca7e9c, which also
needs to drop a line from make.scm, a line which did not disappear
until
99bc079.
Matt Birkholz [Sat, 21 Feb 2015 18:10:31 +0000 (11:10 -0700)]
smp: without-interrupts: gcfinal.scm
Matt Birkholz [Sat, 21 Feb 2015 01:05:21 +0000 (18:05 -0700)]
smp: without-interrupts: gc.scm
Matt Birkholz [Tue, 27 Jan 2015 23:53:37 +0000 (16:53 -0700)]
smp: without-interrupts: floenv.scm
Matt Birkholz [Sat, 31 Jan 2015 00:45:44 +0000 (17:45 -0700)]
smp: without-interrupts: ffi.scm
Matt Birkholz [Tue, 27 Jan 2015 20:27:36 +0000 (13:27 -0700)]
smp: without-interrupts: emacs.scm
Matt Birkholz [Tue, 27 Jan 2015 20:27:03 +0000 (13:27 -0700)]
smp: without-interrupts: crypto.scm
Matt Birkholz [Tue, 27 Jan 2015 20:26:21 +0000 (13:26 -0700)]
smp: without-interrupts: conpar.scm
Matt Birkholz [Tue, 27 Jan 2015 20:25:30 +0000 (13:25 -0700)]
smp: without-interrupts: condvar.scm
Matt Birkholz [Tue, 27 Jan 2015 20:24:04 +0000 (13:24 -0700)]
smp: without-interrupts: boot.scm
Matt Birkholz [Fri, 16 Jan 2015 22:25:12 +0000 (15:25 -0700)]
smp: without-interrupts: README.txt begins the analysis
Matt Birkholz [Fri, 16 Jan 2015 22:17:35 +0000 (15:17 -0700)]
smp: README.txt frobbery. Squash into
d93bc7f and
9969ff0.
Matt Birkholz [Sat, 6 Dec 2014 07:11:24 +0000 (00:11 -0700)]
smp: share: usrdef.o
Matt Birkholz [Sat, 6 Dec 2014 07:09:58 +0000 (00:09 -0700)]
smp: share: comutl.o
Matt Birkholz [Sat, 6 Dec 2014 07:07:51 +0000 (00:07 -0700)]
smp: share: cmpintmd.o
Matt Birkholz [Sat, 6 Dec 2014 07:04:40 +0000 (00:04 -0700)]
smp: share: cmpint.o
Matt Birkholz [Sat, 6 Dec 2014 07:02:44 +0000 (00:02 -0700)]
smp: share: pruxffi.o
Matt Birkholz [Sat, 6 Dec 2014 07:01:16 +0000 (00:01 -0700)]
smp: share: pruxdld.o
Matt Birkholz [Sat, 6 Dec 2014 06:56:21 +0000 (23:56 -0700)]
smp: share: tterm.o
Matt Birkholz [Sat, 6 Dec 2014 06:53:55 +0000 (23:53 -0700)]
smp: share: cmpauxmd.o
Matt Birkholz [Sat, 6 Dec 2014 06:14:08 +0000 (23:14 -0700)]
smp: share: uxutil.o
Matt Birkholz [Sat, 6 Dec 2014 06:09:11 +0000 (23:09 -0700)]
smp: share: uxtty.o
Matt Birkholz [Sat, 6 Dec 2014 06:07:28 +0000 (23:07 -0700)]
smp: share: uxtrap.o
Matt Birkholz [Sat, 6 Dec 2014 06:03:40 +0000 (23:03 -0700)]
smp: share: uxtop.o
Matt Birkholz [Sat, 20 Dec 2014 20:06:03 +0000 (13:06 -0700)]
smp: share: uxterm.o
Matt Birkholz [Sat, 6 Dec 2014 05:53:34 +0000 (22:53 -0700)]
smp: share: uxsock.o
Matt Birkholz [Sat, 20 Dec 2014 21:42:57 +0000 (14:42 -0700)]
smp: share: uxsig.o
Matt Birkholz [Sat, 20 Dec 2014 21:38:24 +0000 (14:38 -0700)]
smp: share: uxproc.o
Matt Birkholz [Sat, 20 Dec 2014 19:27:28 +0000 (12:27 -0700)]
smp: share: uxio.o
Matt Birkholz [Sat, 20 Dec 2014 21:34:56 +0000 (14:34 -0700)]
smp: share: uxfs.o
Matt Birkholz [Sat, 6 Dec 2014 01:00:34 +0000 (18:00 -0700)]
smp: share: uxenv.o
Matt Birkholz [Sat, 6 Dec 2014 00:56:07 +0000 (17:56 -0700)]
smp: share: uxctty.o
Matt Birkholz [Sat, 6 Dec 2014 00:55:10 +0000 (17:55 -0700)]
smp: share: ux.o
Matt Birkholz [Sat, 6 Dec 2014 00:53:08 +0000 (17:53 -0700)]
smp: share: intext.o
Matt Birkholz [Sat, 6 Dec 2014 00:51:32 +0000 (17:51 -0700)]
smp: share: prossmp.o
Matt Birkholz [Sat, 6 Dec 2014 19:18:02 +0000 (12:18 -0700)]
smp: share: prosio.o
Matt Birkholz [Sat, 6 Dec 2014 00:48:49 +0000 (17:48 -0700)]
smp: share: wind.o
Matt Birkholz [Sat, 6 Dec 2014 00:47:16 +0000 (17:47 -0700)]
smp: share: utils.o
Matt Birkholz [Sat, 6 Dec 2014 00:39:30 +0000 (17:39 -0700)]
smp: share: utabmd.o
Matt Birkholz [Sat, 6 Dec 2014 00:37:19 +0000 (17:37 -0700)]
smp: share: transact.o
Matt Birkholz [Sat, 6 Dec 2014 00:36:27 +0000 (17:36 -0700)]
smp: share: term.o
Matt Birkholz [Sat, 6 Dec 2014 19:24:10 +0000 (12:24 -0700)]
smp: share: syntax.o
Matt Birkholz [Sat, 6 Dec 2014 00:34:10 +0000 (17:34 -0700)]
smp: share: string.o
Matt Birkholz [Sat, 20 Dec 2014 19:08:15 +0000 (12:08 -0700)]
smp: share: storage.o
Matt Birkholz [Sat, 6 Dec 2014 19:21:02 +0000 (12:21 -0700)]
smp: share: regex.o
Matt Birkholz [Sat, 20 Dec 2014 19:15:31 +0000 (12:15 -0700)]
smp: share: primutl.o
Matt Birkholz [Fri, 5 Dec 2014 18:25:03 +0000 (11:25 -0700)]
smp: share: ostty.o
Matt Birkholz [Fri, 5 Dec 2014 17:53:32 +0000 (10:53 -0700)]
smp: share: option.o
Matt Birkholz [Fri, 5 Dec 2014 17:51:44 +0000 (10:51 -0700)]
smp: share: obstack.o
Matt Birkholz [Fri, 5 Dec 2014 17:49:18 +0000 (10:49 -0700)]
smp: share: memmag.o
Matt Birkholz [Fri, 5 Dec 2014 17:36:49 +0000 (10:36 -0700)]
smp: share: interp.o
Matt Birkholz [Fri, 5 Dec 2014 17:34:35 +0000 (10:34 -0700)]
smp: share: gcloop.o
Matt Birkholz [Fri, 5 Dec 2014 17:25:14 +0000 (10:25 -0700)]
smp: share: floenv.o
Matt Birkholz [Sat, 20 Dec 2014 18:55:34 +0000 (11:55 -0700)]
smp: share: fasload.o
Matt Birkholz [Sun, 21 Dec 2014 04:32:54 +0000 (21:32 -0700)]
smp: share: fasdump.o
Matt Birkholz [Fri, 5 Dec 2014 00:24:17 +0000 (17:24 -0700)]
smp: share: error.o
Matt Birkholz [Sat, 6 Dec 2014 20:00:59 +0000 (13:00 -0700)]
smp: share: debug.o
Matt Birkholz [Fri, 5 Dec 2014 00:19:42 +0000 (17:19 -0700)]
smp: share: boot.o
Matt Birkholz [Fri, 5 Dec 2014 00:16:21 +0000 (17:16 -0700)]
smp: share: bkpt.o
Matt Birkholz [Fri, 5 Dec 2014 00:12:57 +0000 (17:12 -0700)]
smp: share: avltree.o
Matt Birkholz [Sat, 6 Dec 2014 19:56:10 +0000 (12:56 -0700)]
smp: share: README.txt begins the analysis of microcode state
Matt Birkholz [Sat, 6 Dec 2014 19:45:40 +0000 (12:45 -0700)]
smp: Add a top-level README.txt, an overview of the SMP branch.
Matt Birkholz [Sat, 20 Dec 2014 18:50:06 +0000 (11:50 -0700)]
smp: Add mutex LOCK/UNLOCK boilerplate to confshared.h (everywhere).
Matt Birkholz [Sat, 20 Dec 2014 21:00:43 +0000 (14:00 -0700)]
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.
Matt Birkholz [Wed, 17 Dec 2014 09:12:58 +0000 (02:12 -0700)]
smp: Add copy-select-registry!.
Matt Birkholz [Wed, 17 Dec 2014 08:48:39 +0000 (01:48 -0700)]
smp: Add primitive copy-select-registry.
Matt Birkholz [Sat, 20 Dec 2014 18:13:30 +0000 (11:13 -0700)]
smp: Add SIGALRM distributor.
Matt Birkholz [Sat, 20 Dec 2014 16:27:47 +0000 (09:27 -0700)]
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.
Matt Birkholz [Sat, 20 Dec 2014 16:15:03 +0000 (09:15 -0700)]
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.
Matt Birkholz [Sat, 20 Dec 2014 16:05:57 +0000 (09:05 -0700)]
smp: Add smp-wake primitive.
Matt Birkholz [Sat, 20 Dec 2014 15:58:22 +0000 (08:58 -0700)]
smp: Add x86_64 support.
Matt Birkholz [Tue, 25 Nov 2014 15:50:37 +0000 (08:50 -0700)]
smp: unshare: svm1 interpreter's state
Matt Birkholz [Tue, 25 Nov 2014 15:46:15 +0000 (08:46 -0700)]
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.
Matt Birkholz [Tue, 25 Nov 2014 15:07:19 +0000 (08:07 -0700)]
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.
Matt Birkholz [Sat, 20 Dec 2014 15:50:09 +0000 (08:50 -0700)]
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.
Matt Birkholz [Sat, 20 Dec 2014 15:44:05 +0000 (08:44 -0700)]
smp: Serialize the outf functions.
Matt Birkholz [Sat, 20 Dec 2014 15:37:56 +0000 (08:37 -0700)]
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.
Matt Birkholz [Sat, 20 Dec 2014 15:32:10 +0000 (08:32 -0700)]
smp: Synchronize processors for GC.
Matt Birkholz [Tue, 25 Nov 2014 12:28:27 +0000 (05:28 -0700)]
smp: Add i386 assembly to allocate/access thread-local variables.
Change the storage class of thread-local variables in use thus far.
Matt Birkholz [Fri, 19 Dec 2014 23:53:42 +0000 (16:53 -0700)]
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.
Matt Birkholz [Fri, 19 Dec 2014 21:50:27 +0000 (14:50 -0700)]
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.
Matt Birkholz [Sun, 21 Dec 2014 19:02:38 +0000 (12:02 -0700)]
smp: Serialize access to (runtime thread) internals.
Matt Birkholz [Fri, 19 Dec 2014 19:29:29 +0000 (12:29 -0700)]
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.
Matt Birkholz [Wed, 5 Nov 2014 20:27:11 +0000 (13:27 -0700)]
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).