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

From: Michael Sperber <sperber>
Date: Sat Feb 10 12:18:45 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
Received on Sat Feb 10 2007 - 12:18:41 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC