Waldspurger and Weihl: lottery scheduling

What changed

Introduced lottery tickets and currencies with a Mach prototype.

Scientific scope

The record is the exact two-author OSDI 1994 paper. It does not absorb all fair-share scheduling, later stride scheduling, production scheduler behavior or guarantees beyond the stated probabilistic mechanism.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author OSDI 1994 paper. It does not absorb all fair-share scheduling, later stride scheduling, production scheduler behavior or guarantees beyond the stated probabilistic mechanism.

Contributors

• Carl A. Waldspurger · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
• William E. Weihl · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• USENIX full text for lottery scheduling

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction