How Con Kolivas's BFS CPU scheduler works