On 2/12/07, bear <[EMAIL PROTECTED]> wrote:
.

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.

The return value of the entry and exit thunks is discarded and are
only for effect.
If there is no mutation, then there is no effect of running the entry
and exit thunks.

--
~jrm

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to