I am posting this as an individual member of the Scheme
community. I am not speaking for the R6RS editors.
Per Bothner wrote:
> I'm talking about two application threads.
> A garbage collector is not an "application".
> It knows about the treading model, memory system, etc.
> If it is written in Scheme, it would be a special
> "system Scheme" variant, not R6RS.
Are you suggesting that the interthread communication
techniques described in our paper would never be useful
in application threads?
They would never be useful in pthreads or Java threads,
because those systems define all races to be illegal.
Nevertheless many algorithms that rely on deliberate
races have been described in the literature, work just
fine (and provably so in some cases) on most hardware,
and I don't recall any Supreme Court rulings that say
application programs have to use pthreads, Java, or
even R6RS semantics.
OTOH, the Court is still in session...
Will
Received on Sat Mar 24 2007 - 21:47:14 UTC
This archive was generated by hypermail 2.3.0
: Wed Oct 23 2024 - 09:15:01 UTC