« Previous | Next » 

Revision bdb62f2f

IDbdb62f2f513fb82780fc47dcba3e432097266cd9
Parent 7a6c9ad9
Child 830aa993

Added by Csaba Kiraly almost 11 years ago

fix sched: selection in case of BEST policy and tie was not uniform random

It was supposed to be uniform random among those with equal score,
but it wasn't working.
Changed implementation to qsort based, with randomization afterward.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences