Skip to main content
SpringerLink
Log in

Modelling and Analysis of Commit Protocols with PEPA

  • Conference paper
  • First Online:
Computer Performance Engineering (EPEW 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10497))

Included in the following conference series:

  • 717 Accesses

Abstract

This paper introduces performance models of two phase and three phase commit protocols 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 commit phases of the protocols are examined using discrete state space (CTMC) and fluid (ODE) analysis and then compared to better understand how performance is affected by the different protocol behaviours.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Al-Houmaily, Y.: Incompatibilty dimensions and integration of atomic commit protocols. Int. Arab J. Inf. Technol. 5(4), 381–392 (2008)

    Google Scholar 

  2. Bernardo, M., Gorrieri, R.: A tutorial on empa: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoret. Comput. Sci. 202, 1–54 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems (1987)

    Google Scholar 

  4. Chrysanthis, P.K., Samaras, G., Al-Houmaily, Y.J.: Recovery and performance of atomic commit processing in distributed database systems. Recovery Mechanisms in Database Systems, pp. 370–416 (1998)

    Google Scholar 

  5. Donatelli, S.: Superposed generalized stochastic Petri Nets: definition and efficient solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 258–277. Springer, Heidelberg (1994). doi:10.1007/3-540-58152-9_15

    Chapter  Google Scholar 

  6. El Abbadi, A., Skeen, D., Cristian F.: An efficient, fault-tolerant protocol for replicated data management. In: Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. PODS 1985, pp. 215–229. ACM, New York (1985)

    Google Scholar 

  7. Gray, J.N.: Notes on data base operating systems. In: Bayer, R., Graham, R.M., Seegmüller, G. (eds.) Operating Systems: An Advanced Course. LNCS, vol. 60, pp. 393–481. Springer, Heidelberg (1978). doi:10.1007/3-540-08755-9_9

    Chapter  Google Scholar 

  8. Haritsa, J.R., Ramamritham, K., Gupta, R.: The PROMPT real-time commit protocol. IEEE Trans. Parallel Distrib. Syst. 11(2), 160–181 (2000)

    Article  Google Scholar 

  9. Harrison, P.G., Strulo, B.: SPADES - a process algebra for discrete event simulation. J. Logic Comput. 10(1), 3–42 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  10. Hayden R.A., Bradley, J.T.: Fluid-flow solutions in PEPA to the state space explosion problem. In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), p. 25 (2007)

    Google Scholar 

  11. Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST 2005), pp. 33–42, September 2005

    Google Scholar 

  12. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (2008). New Ed edition (21 Aug. 2008)

    MATH  Google Scholar 

  13. Hillston, J., Gilmore, S.: Performance Evaluation Process Algebra (2011). http://www.dcs.ed.ac.uk/pepa/about/. Accessed 05 April 2016

  14. Lampson, B.W.: Atomic transactions. In: Davies, D.W., Holler, E., Jensen, E.D., Kimbleton, S.R., Lampson, B.W., LeLann, G., Thurber, K.J., Watson, R.W. (eds.) Distributed Systems — Architecture and Implementation. LNCS, vol. 105, pp. 246–265. Springer, Heidelberg (1981). doi:10.1007/3-540-10571-9_11

    Chapter  Google Scholar 

  15. Skeen, D.: Nonblocking Commit Protocols. In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data. SIGMOD 1981, pp. 133–142. ACM, New York (1981)

    Google Scholar 

  16. Skeen D.: A Quorum-Based Commit Protocol. Technical report, Cornell University, Ithaca, New York (1982)

    Google Scholar 

  17. Skeen, D., Stonebraker, M.: A formal model of crash recovery in a distributed system. IEEE Trans. Softw. Eng. SE–9(3), 219–228 (1983)

    Article  Google Scholar 

  18. Thomas, N., Zhao, Y.: Mean value analysis for a class of pepa models. Comput. J. 54(5), 643–652 (2011)

    Article  Google Scholar 

  19. Tribastone, M., Duguid, A., Gilmore, S.: The PEPA Eclipse Plugin. SIGMETRICS Perform. Eval. Rev. 36(4), 28–33 (2009)

    Article  Google Scholar 

  20. Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Elsevier, Burlington (2001)

    Google Scholar 

  21. Weihai, Y., Calton, P.: A dynamic two-phase commit protocol for adaptive composite services. Int. J. Web Serv. Res. 4(1), 80–88 (2007)

    Article  Google Scholar 

Download references

Acknowledgements

The authors would like to acknowledge the contribution of Ibrahim El-Sanosi, a PhD student at Newcastle University, for providing measurements from another system which we have used to make assumptions for the rates in our models.

Author information

Authors and Affiliations

  1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Said Naser Said Kamil & Nigel Thomas

Authors
  1. Said Naser Said Kamil
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nigel Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Said Naser Said Kamil or Nigel Thomas .

Editor information

Editors and Affiliations

  1. Bristol, Germany

    Philipp Reinecke

  2. University of L’Aquila, L’Aquila, Italy

    Antinisca Di Marco

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Kamil, S.N.S., Thomas, N. (2017). Modelling and Analysis of Commit Protocols with PEPA. In: Reinecke, P., Di Marco, A. (eds) Computer Performance Engineering. EPEW 2017. Lecture Notes in Computer Science(), vol 10497. Springer, Cham. https://doi.org/10.1007/978-3-319-66583-2_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-66583-2_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-66582-5

  • Online ISBN: 978-3-319-66583-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation