Toggle Main Menu Toggle Search

Open Access padlockePrints

Performance Evaluation of ZooKeeper Atomic Broadcast Protocol

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.

Publication metadata

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


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