[pypy-dev] The Work Plan Re: STM proposal funding
andrewfr_ice at yahoo.com
Sun Apr 8 02:01:18 CEST 2012
From: Christian Tismer <tismer at stackless.com>
To: Armin Rigo <arigo at tunes.org>
Cc: Andrew Francis <andrewfr_ice at yahoo.com>; "stackless at stackless.com" <stackless at stackless.com>; PyPy Developer Mailing List <pypy-dev at python.org>
Sent: Wednesday, April 4, 2012 6:47 AM
Subject: Re: [pypy-dev] The Work Plan Re: STM proposal funding
>Anyway, the underlying ideas have similarities that make me think a lot.
>Thinking of Stackless, I was looking for a way to isolate tasklets in
>a way to let them run in parallel, as long as they are independent.
>In STM, independence is enforced, currently at a relatively high
>If Stackless were able to provide some better isolation by design,
>maybe there could be a hybrid approach, where most operations would
>not need to rely on STM all the time?
>Just rolling ideas out -- Chris
The idea I like the most is to use STM and lock-free algorithms for the implementation of the
channels themselves. Again, the Scalable Join Patterns and Parallel ML papers are the inspiration
for this approach. In contrast I have looked at Go's channel implementation and it has to do stuff like sorting to get the correct locking order. What I like is that the approach assumes that Stackless programmers know how to write programmes that are fairly isolated.
One could experiment with this approach using the low-level rstm module or prototypes written in C using
existing STM and lock-free libraries.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the pypy-dev