Journal
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS
Volume 24, Issue 4, Pages 2977-2994Publisher
SPRINGER
DOI: 10.1007/s10586-021-03305-4
Keywords
Formal models; Cloud architecture; Load balancing protocols; Distributed load balancing; Performance analysis
Ask authors/readers for more resources
Cloud computing is a new technology that provides various online resources and services. Load balancing is an important research area in this field, with existing scheduling algorithms playing a key role in maintaining balance and efficiency.
Cloud computing is a new technology, providing different online resources and services to users. Load balancing has become an interesting research area in this field. A few existing scheduling algorithms can maintain load balancing and provide better strategies through efficient job scheduling and resource allocation techniques as well. In order to gain maximum profits with optimized load balancing algorithms, it is necessary to guarantee a service level along dimensions such as performance, availability and reliability. In this work, we propose a Model-based approach to study and analyze centralized and distributed dynamic load balancing protocols in the Cloud. The formal verification of different properties of the studied protocols has been performed automatically and a performance analysis allowing their comparison is also provided. In this paper, we show how aspects of performance, resource consumption, and reliability of the Cloud can be formally modeled, verified and analyzed using a component-based architecture.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available