Quantifying Failure Risk of Version Switch for Rolling Upgrade on Clouds

Sun, Daniel; Bass, Len; Fekete, Alan; Gramoli, Vincent; Tran, An Binh; Xu, Ying; Zhu, Liming

doi:10.1109/bdcloud.2014.16

Cited by 6 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The model was simulated to determine the number of instances required to solve TCL problems efficiently, considering completion time, cost, and expected loss of service instances. Finally, Sun et al [30] employed DTMC to build a fault-tolerant rolling upgrade model, ensuring performance guarantees by verifying the number of MEC Servers Performance guarantee PRISM [24] MEC Servers Performance guarantee PRISM [25] Web Application QoS satisfaction PRISM [26] Live VM Migration Model capability PRISM [8] IoT Success rate of DDoS PRISM [10] Cloud scaling policies Performance guarantee PRISM [11] IoT Bandwidth standard PRISM [9] Adaptive system Runtime verification PRISM [27] Software rolling upgrade Performance guarantee Simulation tool [28] DDoS attack Malware threats CloudSim [29] IaaS resource allocation Accuracy of experimented data Sikuli [30] Software rolling upgrade Performance guarantee Simulation tool instances upgraded. This study focused on determining the most suitable version-switch method to apply.…”

Section: Dtmc For Cloud Scalingmentioning

confidence: 93%

Formal Verification of Cloud Scaling Policies: A Comparative Study using Markov Decision Process and Discrete-Time Markov Chain

Jawaddi,

Hatta,

Kamarulzaman

et al. 2023

Preprint

View full text Add to dashboard Cite

Cloud scaling plays a critical role in fulfilling the resource requirements of web-based enterprises. Nevertheless, current autoscaler implementations primarily operate reactively, triggering scaling actions based on predetermined thresholds. This approach often leads to erroneous decisions during peak hours, resulting in resource waste, energy consumption, performance degradation, and QoS violations. To overcome these challenges, we propose a formal verification approach utilizing probabilistic model checking, specifically Markov Decision Process (MDP) and discrete-time Markov Chain (DTMC), for analyzing the cloud scaling process. In this investigation, we compare the insights obtained from evaluating MDP and DTMC models for cloud scaling based on four key metrics: latency violation, CPU utilization, response time, and RAM capacity. To quantify probabilities and verify cloud scaling objectives, we employ Probabilistic Computation Tree Logic (PCTL). Experimental evaluations were conducted to assess the performance of the formalized cloud scaling process. The results demonstrate that the non-deterministic scaling behaviors in MDP models effectively reduce extreme-provisioning events compared to DTMC, which lacks the non-determinism aspect. Moreover, the non-deterministic characteristic enables MDP models to exhibit varying levels of accuracy when tested with different sample sizes. In contrast, DTMC, which relies solely on probability-based state transitions, maintains its accuracy in capturing the scaling behavior regardless of sample sizes. Our contributions encompass a formalization approach for the cloud scaling process, considering both deterministic and non-deterministic scaling actions. We present experimental results comparing MDP-based and DTMC-based cloud scaling processes, along with model accuracy results based on CPU utilization, response time, and RAM capacity. By addressing gaps in the existing literature, our study offers valuable perspectives and insights into the analysis of the cloud scaling process.

show abstract