On 31 March 2006 10:24, Bulat Ziganshin wrote:
Hello Simon,
Friday, March 31, 2006, 12:24:23 PM, you wrote:
threadSetPriority :: ThreadID -> Int -> IO ()
I'd rather not, if we can avoid it. The only rationale I'll offer is that we don't have it in GHC, and people manage to do a lot without priorities. Priorities come with a whole can of worms that I'd rather not deal with.
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.
Yes, but the Erlang implementation doesn't do anything about priority inversion. Also, I don't think Joel really wanted priorities, his problem could have been solved by using bounded channels. Cheers, Simon