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

Michael Sperber sperber at informatik.uni-tuebingen.de
Sat Feb 10 12:18:41 EST 2007


"R. Kent Dybvig" <dyb at cs.indiana.edu> writes:

>>From Section 13.4:
>
>   When a thread parameter is created, a separate location is set aside in
>   each current and future thread to hold the value of the parameter's
>   internal state variable.

OK, thanks.  Now, this is different from SRFI 39, where a parameter is
bound to a single storage cell.  Presumably, the spec could be twisted
to allow thread creation to create new storage cells, but I believe
this was specifically not the intent of SRFI 39.

Anyway, the behavior of Chez's thread parameters isn't covered by what
I meant as "hideous".  However, even Chez's thread parameters (which
behave the same as PLT Scheme's parameters, I believe) are problematic
when threads and continuations interact.  Things are simpler when
dynamic binding and (possibly thread-local) mutation are separate
mechanisms.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla



More information about the r6rs-discuss mailing list