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.
CITATION STYLE
Kamil, S. N. S., Thomas, N., & Elsanosi, I. (2021). Performance Evaluation of ZooKeeper Atomic Broadcast Protocol. In Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST (Vol. 404 LNICST, pp. 56–71). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-92511-6_4
Mendeley helps you to discover research relevant for your work.