Skip to Main content Skip to Navigation
Conference papers

Trustable Virtual Machine Scheduling in a Cloud

Abstract : In an Infrastructure As A Service (IaaS) cloud, the scheduler deploys VMs to servers according to service level objectives (SLOs). Clients and service providers must both trust the infrastructure. In particular they must be sure that the VM scheduler takes decisions that are consistent with its advertised behaviour. The difficulties to master every theoretical and practical aspects of a VM scheduler implementation leads however to faulty behaviours that break SLOs and reduce the provider revenues. We present SafePlace, a specification and testing framework that exhibits inconsistencies in VM schedulers. SafePlace mixes a DSL to formalise scheduling decisions with fuzz testing to generate a large spectrum of test cases and automatically report implementation faults. We evaluate SafePlace on the VM scheduler BtrPlace. Without any code modification, SafePlace allows to write test campaigns that are 3.83 times smaller than BtrPlace unit tests. SafePlace performs 200 tests per second, exhibited new non-trivial bugs, and outperforms the BtrPlace runtime assertion system. CCS CONCEPTS • Software and its engineering → Cloud computing; Software testing and debugging; Scheduling; KEYWORDS VM scheduling, software testing, specification language ACM Reference Format:
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download
Contributor : Ludovic Henrio <>
Submitted on : Thursday, November 2, 2017 - 3:35:13 PM
Last modification on : Monday, October 12, 2020 - 10:30:30 AM
Long-term archiving on: : Saturday, February 3, 2018 - 1:57:27 PM


Publication funded by an institution




Fabien Hermenier, Ludovic Henrio. Trustable Virtual Machine Scheduling in a Cloud. Proceedings of the 2017 Symposium on Cloud Computing. SoCC '17., Sep 2017, Santa Clara, United States. pp.12, ⟨10.1145/3127479.3128608⟩. ⟨hal-01627906⟩



Record views


Files downloads