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:
Type de document :
Communication dans un congrès
Proceedings of the 2017 Symposium on Cloud Computing. SoCC '17., Sep 2017, Santa Clara, United States. pp.12, 2017, 〈10.1145/3127479.3128608〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01627906
Contributeur : Ludovic Henrio <>
Soumis le : jeudi 2 novembre 2017 - 15:35:13
Dernière modification le : mercredi 15 novembre 2017 - 01:14:20

Fichier

hermenier-socc17.pdf
Publication financée par une institution

Identifiants

Collections

Citation

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, 2017, 〈10.1145/3127479.3128608〉. 〈hal-01627906〉

Partager

Métriques

Consultations de la notice

10

Téléchargements de fichiers

5