[r6rs-discuss] [Formal] SRFI-39 should be made an R6RS library

[Michael Sperber]

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