一作OSDI 2026Oral· Operating Systems & Distributed Systems
kSTEP: Characterization and Deterministic Testing of Linux CPU Scheduler Bugs
Tingjia Cao · Shawn (Wanxiang) Zhong · Caeden Whitaker · Ke Han · Andrea C. Arpaci-Dusseau · Remzi H. Arpaci-Dusseau
摘要
We present an in-depth study of CPU scheduler bugs, covering both functional violations and misalignments between implementation and policy. Our study shows that these bugs are hard to observe and even harder to trigger. To close this gap, we introduce kSTEP. kSTEP gives testers fine-grained cont...
对齐与偏好OpenReview