Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Analysis of Markov Decision Processes Under Parameter Uncertainty Read chapter Read first chapter

2017 | OriginalPaper | Chapter

Modelling and Analysis of Commit Protocols with PEPA

Authors : Said Naser Said Kamil, Nigel Thomas

Published in: Computer Performance Engineering

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing
next chapter Stochastic Models for Solar Power
Literature
1.
Al-Houmaily, Y.: Incompatibilty dimensions and integration of atomic commit protocols. Int. Arab J. Inf. Technol. 5(4), 381–392 (2008)
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)MathSciNetCrossRefMATH
3.
Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems (1987)
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)
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 CrossRef
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)
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 CrossRef
8.
Haritsa, J.R., Ramamritham, K., Gupta, R.: The PROMPT real-time commit protocol. IEEE Trans. Parallel Distrib. Syst. 11(2), 160–181 (2000)CrossRef
9.
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)
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
12.
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (2008). New Ed edition (21 Aug. 2008)MATH
13.
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 CrossRef
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)
16.
Skeen D.: A Quorum-Based Commit Protocol. Technical report, Cornell University, Ithaca, New York (1982)
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)CrossRef
18.
Thomas, N., Zhao, Y.: Mean value analysis for a class of pepa models. Comput. J. 54(5), 643–652 (2011)CrossRef
19.
Tribastone, M., Duguid, A., Gilmore, S.: The PEPA Eclipse Plugin. SIGMETRICS Perform. Eval. Rev. 36(4), 28–33 (2009)CrossRef
20.
Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Elsevier, Burlington (2001)
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)CrossRef
Metadata
Title
Modelling and Analysis of Commit Protocols with PEPA
Authors
Said Naser Said Kamil
Nigel Thomas
Copyright Year
2017
Book
Computer Performance Engineering

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

Electronic ISBN: 978-3-319-66583-2

Copyright Year: 2017

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