3 ms·
Yeah, they are preemptive (though there had been a long-standing bug where threads that have no allocations don't get preempted, I believe it is fixed now). Th
by Peaker 14y ago
Yeah, they are preemptive (though there had been a long-standing bug where threads that have no allocations don't get preempted, I believe it is fixed now).
This is some documentation of the scheduler: http://blog.ezyang.com/2013/01/the-ghc-scheduler/ http://blog.ezyang.com/2013/01/the-ghc-scheduler/