0 citations0 references

Dependable Horizontal Scaling Based on Probabilistic Model Checking

2015pp. 31–40

Citations Over TimeTop 1% of 2015 papers

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas

Abstract

The focus of this work is the on-demand resource provisioning in cloud computing, which is commonly referredto as cloud elasticity. Although a lot of effort has been invested in developing systems and mechanisms that enable elasticity, the elasticity decision policies tend to be designed without quantifying or guaranteeing the quality of their operation. We present an approach towards the development of more formalized and dependable elasticity policies. We make two distinct contributions. First, we propose an extensible approach to enforcing elasticity through the dynamic instantiation and online quantitative verification of Markov Decision Processes(MDP) using probabilistic model checking. Second, various concrete elasticity models and elasticity policies are studied. We evaluate the decision policies using traces from a realNoSQL database cluster under constantly evolving externalload. We reason about the behaviour of different modelling and elasticity policy options and we show that our proposal can improve upon the state-of-the-art in significantly decreasing under-provisioning while avoiding over-provisioning.

Related Papers

→ How a consumer can measure elasticity for cloud platforms(2012)155 cited
→ An Adaptive Approach to Resource Provisioning in PaaS(2011)1 cited
→ Diagnosing Memory Provisioning in IaaS Clouds(2013)
Application of Expected Loss Provisioning and Dynamic Provisioning(2011)