Browse by author
Lookup NU author(s): Said Kamil, Dr Nigel Thomas
This is the final published version of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2021.
For re-use rights please refer to the publisher's terms and conditions.
In this paper, we present a performance model of the Zab protocol formally specified using the Markovian process algebra PEPA. The model is parameterised from measurements taken from a real deployment of Zookeeper and is evaluated to derive estimates for average latency and throughput at various loads. These estimates are then compared against further measurements from the real system. Although the model is highly abstract and ignores much implementation detail, it is shown to give qualitative predictions for system behaviour, most notably for estimating the saturation point.
Author(s): Kamil SNS, Thomas N, Elsanosi I
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: EAI International Conference on Performance Evaluation Methodologies and Tools
Year of Conference: 2021
Online publication date: 08/12/2021
Acceptance date: 29/08/2021
Date deposited: 31/01/2022
Publisher: Springer
URL: https://doi.org/10.1007/978-3-030-92511-6_4
DOI: 10.1007/978-3-030-92511-6_4
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
ISBN: 9783030925116
