Towards Proving Optimistic Multicore Schedulers | Zendy

Baptiste Lepers | Zendy; Willy Zwaenepoel | Zendy; Jean-Pierre Lozi | Zendy; Nicolas Palix | Zendy; Redha Gouicem | Zendy; Julien Sopena | Zendy; Julia Lawall | Zendy; Gilles Muller | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards Proving Optimistic Multicore Schedulers

Author(s) -

Baptiste Lepers,

Willy Zwaenepoel,

Jean-Pierre Lozi,

Nicolas Palix,

Redha Gouicem,

Julien Sopena,

Julia Lawall,

Gilles Muller

Publication year - 2017

Publication title -

hal (le centre pour la communication scientifique directe)

Language(s) - English

Resource type - Conference proceedings

ISBN - 978-1-4503-5068-6

DOI - 10.1145/3102980.3102984

Subject(s) - idle , computer science , multi core processor , power demand , work (physics) , power (physics) , core (optical fiber) , distributed computing , scheduling (production processes) , operating system , embedded system , power consumption , engineering , telecommunications , operations management , mechanical engineering , physics , quantum mechanics

International audienceOperating systems have been shown to waste machine resources by leaving cores idle while work is ready to be scheduled. This results in suboptimal performance for user applications, and wasted power. Recent progress in formal verification methods have led to operating systems being proven safe, but operating systems have yet to be proven free of performance bottlenecks. In this paper we instigate the first effort in proving performance properties of operating systems by designing a mul-ticore scheduler that is proven to be work-conserving

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research