Performance Evaluation of ZooKeeper Atomic Broadcast Protocol

Kamil, SNS; Thomas, N; Elsanosi, I

doi:10.1007/978-3-030-92511-6_4

Performance Evaluation of ZooKeeper Atomic Broadcast Protocol

Lookup NU author(s): Said Kamil, Dr Nigel Thomas ORCiD

Downloads

Published version [.pdf]

Licence

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.

Abstract

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.