Re: Pre-emptive or co-operative concurrency (was: Concurrency)

2006-04-01 Thread Benjamin Franksen
On Wednesday 29 March 2006 13:35, John Meacham wrote: > I am not sure what the MVar guarentee means, if it is blocked on an > MVar, then it becomes runnable when the MVar is filled, so the > runnable rule seems to take care of it. Unfortunately not. Suppose threads A, B, and C compete for taking t

Re[2]: Concurrency

2006-04-01 Thread Bulat Ziganshin
Hello David, Saturday, April 1, 2006, 4:31:05 PM, you wrote: > I'd like to be sure that asynchronous exceptions can get into the standard. > They require concurrency, but I'm not sure that they're included in John's > page. this an another ticket > It would also be nice to address signal behavi

Re[4]: thread priorities?

2006-04-01 Thread Bulat Ziganshin
Hello Simon, Friday, March 31, 2006, 4:57:19 PM, you wrote: threadSetPriority :: ThreadID -> Int -> IO () >> >> it was requested by Joel Reymont, and he even give us information how >> that is implemented in Erlang, together with hint to assign higher >> priorities to consuming threads. > Y

FD improvement, variable quantification & generalised propagation

2006-04-01 Thread Claus Reinke
I've had some interesting off-list discussion with Tom Schrijvers (one of the guys responsible for the K.U.Leuven CHR System, which is provided, eg., in SWI Prolog). particularly interesting was the difference in perspective (logic vs functional programming). I'd like to share two items from that

Re[2]: FFI, safe vs unsafe

2006-04-01 Thread Bulat Ziganshin
Hello John, Saturday, April 1, 2006, 4:53:00 AM, you wrote: >> In an implementation which runs more than one Haskell thread inside >> one OS thread, like ghc without -threaded or hugs, the threads are >> NOT completely independent, because they share one C stack. So while > no, state-threads

Re: Concurrency

2006-04-01 Thread David Roundy
On Fri, Mar 31, 2006 at 04:41:06AM -0800, John Meacham wrote: > I have tried to summarize the current thinking into a proposal on the > wiki. > > http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/Concurrency Just to pop up my head: this looks good to me. I've only used concurrency a