
16 Jun
2005
16 Jun
'05
10:44 a.m.
On 13 June 2005 16:55, Sebastian Sylvan wrote:
On 6/13/05, Simon Marlow
wrote: I presume you're running GHC. There's no way to increase the priority of a thread - GHC's scheduler doesn't have a concept of priorities.
Just out of curiousity, what scheme does GHC use for scheduling threads?
Just round-robin, at the moment. Cheers, Simon