[Stackless] CSP functionality

Changjune Kim juneaftn at hanafos.com
Wed Jul 2 12:36:05 CEST 2003


----- Original Message -----
From: "Christian Tismer" <tismer at tismer.com>
To: "Tom Locke" <tom at livelogix.com>
Cc: <stackless at tismer.com>
Sent: Tuesday, July 01, 2003 8:31 AM
Subject: Re: [Stackless] CSP functionality


> Hi Tom,
>
> > I have read with interest Christian's comments on the website about
> > Limbo and CSP ideas.
>
> Still valid, but nothing but reading happened, yet.
>
> > Do you still intend to move in this direction Christian? If so, I might
> > be able to offer some pointers and some help.
>
> Great!
>

Wonderful!

[snip]
> Yes, I have read a lot about it, quite some while ago.
> Unfortunately, this isn't the only implementation,
> and there are other ways to do it. I was just unable
> to judge *which* way is the way to go, so I didn't go at all.
>

Now where are you headed towards? :)

> > Although I'm very new to Stackless, I'm guessing it would be possible to
> > port JCSP to Stackless. This would be a good thing to do, because JCSP
> > was a lot of work, and this stuff is *hard* to get right (especially the
> > ALT - there is now a formal proof of correctness for the JCSP ALT
> > (limited to 2 clients))

Having implemented some simple constructs of CSP myself, I agree that it's
very hard and needs a lot of work -- some harder if you want to make it
efficient and correct.

[snip]
> > Going further, it may be possible to improve on the JCSP implementation.
>
> I'd like to see a sketch of this idea.

When implementing ALT, for instance, maybe we could go down lower level than
JCSP's java level? At least SP's task context switching is far cheaper than
Java's. Moreover, we could control task context switching. That might be a
great advantage.

[snip]

I'm really looking forward to program with CSP in Stackless Python, hopefully.
As Andrew Cooke once put it, "this may change your(my) life." [1]

[1] http://www.acooke.org/andrew/writing/compjava.html#threads

Best wishes,

June


_______________________________________________
Stackless mailing list
Stackless at www.tismer.com
http://www.tismer.com/mailman/listinfo/stackless




More information about the Stackless mailing list