Trustable Virtual Machine Scheduling in a Cloud - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Trustable Virtual Machine Scheduling in a Cloud


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:
Fichier principal
Vignette du fichier
hermenier-socc17.pdf (589.33 Ko) Télécharger le fichier
Origin : Publication funded by an institution

Dates and versions

hal-01627906 , version 1 (02-11-2017)



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⟩
104 View
152 Download



Gmail Facebook Twitter LinkedIn More