
31 Mar
2006
31 Mar
'06
9:22 a.m.
Hello John, Friday, March 31, 2006, 5:48:30 AM, you wrote:
threadSetPriority :: ThreadID -> Int -> IO ()
with a small modification to the progress guarentee saying that when threads of different priorities are runnable, one of the threads of the highest priority will be running.
afair, Erlang has different strategy. Threads with lesser priority should get _LESSER_ amount of time, but they should still be running -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com