‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 14:35 - 15:35 at Matisse - PASS 1

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.

BtrPlace is a VM scheduler written in Java. It computes VM placements satisfying constraints, and the action schedule that lead to this target configuration. BtrPlace uses constraint programming to model the VM placement and the action schedule.

I will present SafePlace, a specification and testing framework that exhibits inconsistencies in VM schedulers. SafePlace mixes a DSL to formally specify constraint specifications 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 makes the writing of tests smaller, the testing more exhaustive, and naturally targets a wider range of configurations than the existing unit tests. We will show the performance of the testing framework as well as a few future research directions.

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 16:00
PASS 1PASS at Matisse
Day opening
Yu David Liu State University of New York (SUNY) Binghamton, Lukasz Ziarek SUNY Buffalo, USA, Christoph Bockisch Philipps-Universität Marburg, Hidehiko Masuhara Tokyo Institute of Technology
SafePlace: Trustable Virtual Machine Scheduling (invited talk)PASS Invited Talk
Managing Hybrid Memories by Predicting Object Write Intensity
Shoaib Akram Ghent University, Kathryn S McKinley Google, Jennifer B. Sartor Vrije Universiteit Brussel, Lieven Eeckhout Ghent University, Belgium