Trustable Virtual Machine Scheduling in a Cloud - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Trustable Virtual Machine Scheduling in a Cloud

Résumé

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
Origine : Publication financée par une institution
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
109 Consultations
171 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More