Re: ISSUE-826 Re: More Problems with Preemption

In which cases would this algorithm differ from the one I proposed?

The one I proposed is far faster.

Chris

Received on Friday, 8 February 2013 15:02:44 UTC