Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling and analysis of commit protocols with PEPA

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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper introduces performance models of two phase and the three phase commit protocols, which are specified formally using the Markovian process algebra PEPA. We show how we can investigate the performance of such distributed commit protocols to get more insight into the system behaviour under different loads. The protocol behaviour is examined using discrete state space (CTMC) and fluid (ODE) analysis; and then compared to identify which of these protocols can provide better performance.

Publication metadata

Author(s): Kamil SNS, Thomas N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Computer Performance Engineering: 14th European Workshop (EPEW 2017)

Year of Conference: 2017

Pages: 266-281

Online publication date: 13/08/2017

Acceptance date: 02/04/2016

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-319-66583-2_17

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319665825