Abstract
Distributed systems comprise of a set of autonomous computer sites which communicate with each other by exchanging messages. Whenever a new task arrives in the system, it may be submitted at any site. This leads to uneven load distribution, thereby degrading system performance and increasing response time. In order to overcome this problem, an optimal threshold range for load values is calculated. At high system load, it may be possible that the load value of all the sites is above the threshold range and still be unevenly distributed. This paper presents a load sharing protocol for distributed systems in which adaptive threshold policy is used, i.e. the threshold range is modified dynamically according to the overall system load. The use of threshold range instead of threshold value prevents the problem of processor thrashing which may occur while trying to maintain load at each site at the exact threshold value. The formal specification of the proposed protocol using Event-B and Rodin platform is also presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Kshemkalyani AD, Singhal M (2011) Distributed computing: principles, algorithms, and systems. Cambridge University Press
Singhal M, Shivaratri NG (1994) Advanced concepts in operating systems. McGraw-Hill, Inc. (1994)
Yadav P, Suryavanshi R, Singh AK, Yadav D (2019) Formal verification of causal order-based load distribution mechanism using Event-B. In: Data, engineering and applications, vol. 2. Springer, Singapore, pp 229–241. https://doi.org/10.1007/978-981-13-6351-1_18
Shukla S, Suryavanshi R, Yadav D (2022) Formal modelling of cluster-coordinator-based load balancing protocol using event-B. In: Proceedings of second doctoral symposium on computational intelligence: DoSCI 2021. Springer Singapore, pp 593–603. https://doi.org/10.1007/978-981-16-3346-1_48
Yadav P, Suryavanshi R, Yadav D (2021) Formal verification of receiver initiated load distribution protocol with fault tolerance and recovery using Event-B. J Sci Ind Res 80:1078–1090
Yadav P, Suryavanshi R, Divakar Singh Y (2022) Formal specification of dynamic load-based coordinator selection algorithm with recovery in distributed systems. In: Proceedings of third doctoral symposium on computational intelligence: DoSCI 2022. Springer Nature Singapore, Singapore, pp 153–163. https://doi.org/10.1007/978-981-19-3148-2_13
Shukla S, Suryavanshi RS, Yadav D (2019) Split point load balancing algorithm based on Event B. Int J Innov Technol Explor Eng (IJITEE) 8(9):2258–2265. https://doi.org/10.35940/ijitee.I8420.078919
Abrial JR (2010) Modeling in Event-B: system and software engineering. Cambridge University Press. ISBN 978-0-521-89556-9
Riviere P, Singh NK, Aït-Ameur Y (2022) B4EB: a framework for reflexive Event-B. In: 2022 26th International conference on engineering of complex computer systems (ICECCS). IEEE, pp 71–80. https://doi.org/10.1109/ICECCS54210.2022.00017
Pooja Y, Suryavanshi R, Yadav D (2022) Formal verification of liveness properties in causal order broadcast systems using Event-B. In: Proceedings of second doctoral symposium on computational intelligence: DoSCI 2021. Springer Singapore, pp 199–210. https://doi.org/10.1007/978-981-16-3346-1_16
Zhu C, Butler M, Cirstea C, Hoang TS (2023) A fairness-based refinement strategy to transform liveness properties in Event-B models. Sci Comput Program 225:102907. https://doi.org/10.1016/j.scico.2022.102907
Aït-Ameur Y, Bogomolov S, Dupont G, Singh NK, Stankaitis P (2022) Reachability analysis and simulation for hybridised event-B models. In: Integrated formal methods: 17th international conference, IFM 2022, Lugano, Switzerland, 7–10 June 2022, Proceedings. Springer International Publishing, Cham, pp 109–128
Metayer C, Abrial J., Voison L (2005) Event-B language. RODIN deliverables 3.2. http://rodin.cs.ncl.ac.uk/deliverables/D7.pdf
Abrial J-R (2007) A system development process with Event-B and the Rodin platform. In: International conference on formal engineering methods. Springer, Berlin, Heidelberg, pp. 1–3. https://doi.org/10.1007/978-3-540-76650-6_1
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Yadav, P., Suryavanshi, R., Yadav, D. (2023). Rigorous Specification of an Optimized Load Sharing Protocol with Adaptive Threshold Policy. In: Swaroop, A., Kansal, V., Fortino, G., Hassanien, A.E. (eds) Proceedings of Fourth Doctoral Symposium on Computational Intelligence . DoSCI 2023. Lecture Notes in Networks and Systems, vol 726. Springer, Singapore. https://doi.org/10.1007/978-981-99-3716-5_65
Download citation
DOI: https://doi.org/10.1007/978-981-99-3716-5_65
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-3715-8
Online ISBN: 978-981-99-3716-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)