does it have to be non-deterministic? couldn't they add an option to hint which should be prioritized? maybe

  hint_prioritize_cpu_begin()
  ...
  hint_prioritize_cpu_end()

or something?