Carl A. Waldspurger William E. Weihl Lottery Scheduling: Flexible Proportional-Share Resource Management. 1-11 1994 OSDI db/conf/osdi/osdi94.html#WaldspurgerW94