bear <bear_at_sonic.net> writes:
> dynamic-wind introduces a segment of code which must be executed whenever
> entering or leaving a continuation. Threads mean that a particular
> continuation may be entered and/or left simultaneously by different
> threads. If you cannot guarantee that the continuation was created
> by the same thread that's entering/leaving it, you cannot make an
> effective semaphore on the winding code without using a (mutable)
> variable that must be in shared memory. Hence, necessary hideousness;
> you cannot have both threads and continuations in the absence of
> mutation.
Again, the full story on that is in the Scheme workshop paper cited
earlier.
--
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Tue Feb 13 2007 - 13:06:16 UTC