
14 Jun
2005
14 Jun
'05
5:21 a.m.
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?
As I read somewhere, round robin... -- Gracjan