Abstract
In real-time systems some objects or their values may have — among other application specific conditions — a time-dependent functionality. This consistency condition causes on the one hand by the requirements of the controlled process and on the other hand on communication delays that can’t ignored in distributed systems. The objective of this paper is to introduce an algorithm promising consistency with respect to the time dependency of objects. It is a timed decentralized 3-phase-commit (td3PC) protocol including a so-called cooperative termination protocol. In opposite to the more popular 2PC the 3PC protocols can tolerate any limited number of site or omission failure (r-resilience). The proposed solution is based on a calculation scheme that gives a specification for the time intervals within the phases have to proceed. Furthermore, we proof that the algorithm (1) terminates in time and holds functional consistency for all operational entities in presence of these failures and (2) guarantees that other entities can be reintegrated consistently with these entities when the failure is repaired.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Abbott, R.K.; H. Garcia-Molina: Scheduling Real-Time Transactions: A Performance Evaluation. ACM Transactions on Database Systems, Vol. 17, No. 3, Sep. 1992, pp 513–560
Austen, M.W., J.M. Janas, H.-R. Wiehle: Über das ISO Norm-Projekt zur verteilten Transaktionsverarbeitung: Stand und technische Alternativen. ITG/GI-Fachtagung: Kommunikation in verteilten Systemen. Stuttgart, 22.–24. Feb. 1989, (IFB 205) Springer-Verlag, S. 99–114
Bernstein, P.A.; V. Hadzilacos; N. Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987
Bolognesi, T.; H. Rudin: On the Analysis of Time-Dependent Protocols by Network Flow Algorithms. Protocol Specification, Testing, and Verification, IV. Y. Yemini, R. Storm, and S. Yemini (eds.), Elsevier Science Publishers B.V. ( North-Holland), (c) IFIP, 1985, pp 491–513
Buchmann, A.P.; D.R. McCarthy; M. Hsu; U. Dayal: Time-Critical Database Scheduling: A Framework for Integrating Real-Time Scheduling and Concurrency Control. IEEE Proceedings of 5th International Conference on Data Engineering, Los Angeles, CA, Feb., 1989, pp 470–480
Davidson, S.B.; I. Lee; V. Wolfe: Timed Atomic Commitment. IEEE Transactions on Computers, Vol. 40, No. 5, May 1991, pp 573–583
Dobler, G.; M. Slopianka: Kommunikationsunterstützung für verteilte Transaktionen mit Echtzeitanforderungen. PEARL 93 — Workshop über Realzeitsysteme. (Informatik aktuell) Springer-Verlag, Dez. 1993, erscheint in diesem Tagungsband
Elnakhal, A.E.: Effiziente Kommunikationsarchitekturen für zeitkritische Anwendungen in lokalen Rechnernetzen. Dissertation, Universität der Bundeswehr, Fakultät für Informatik, Dez. 1991
Hadzilacos, V.: On the Relationship Between the Atomic Commitment and Consensus Problems. Workshop on Fault-Tolerant Distributed Computing. Pacific Grove, CA, 17-19 March 1986, (LNCS 448) Springer-Verlag, 1990, pp 201–208
Halang, W.A.: Schwerpunkte der internationalen Forschung im Bereich Echtzeitsysteme. PEARL 89 — Workshop über Realzeitsysteme, 10. Fachtagung des PEARL-Vereins e.V., Boppard, Dez. 1989, (IFB 231) Springer-Verlag, S. 1–12
Haritsa, J.R.; M.J. Carey; M. Livny: Dynamic Real-Time Optimistic Concurrency Control. IEEE Proceedings of the 11th Real-Time Systems Symposium, Lake Buena Vista, FL, 5-7 Dec. 1990, pp 94–103
Hartlmüller, P.: Wahrung der Konsistenz wesentlicher systeminterner Daten in fehlertoleranten verteilten Realzeitsystemen. Dissertation, Universität der Bundeswehr München, Fakultät für Informatik, Juni 1988
ISO 10026: Information Processing Systems — Open Systems Interconnection — Distributed Transaction Processing. 1991
Jablonski, S.; B. Reinwald; T. Ruf: Eine Fallstudie zur Datenverwaltung in CIM-Systemen. Informatik Forschung und Entwicklung, Band 6, Heft 2, April 1991, S. 71–78
LeLann, G.: Critical Issues for the Development of Distributed Real-Time Computing Systems. INRIA Rapports de Recherche, N° 1274, Août 1990,19 pages
Meier, A.: Erweiterung relationaler Datenbanksysteme für technische Anwendungen. (IFB 135) Springer-Verlag, 1987
Minet, P.; S. Sedillot: Integration of Real-Time and Consistency Constraints in Distributed Databases: The SIGMA Approach. Computer Standards & Interfaces, Vol.6, No.1, 1987, (c) Elsevier Science Publishers B.V. (North-Holland), pp 97–105
Rzehak, H.: Echtzeitkommunikationssysteme — Eine Einführung in die Problembereiche und Lösungsansätze. Telekommunikation und multimediale Anwendungen der Informatik. 21. GI-Jahrestagung, J. Encarnaçao (Hrsg.), Darmstadt, 14. –18. Okt. 1991, (IFB 293) Springer-Verlag, S. 631–642
Skeen, D.: Nonblocking Commit Protocols. Proceedings of the ACM-SIGMOD International Conference on Management of Data, Ann Arbor, MI, 29 April -1 May 1981, pp 133 – 142
Skeen, D.: A Decentralized Termination Protocol. Proceedings of the 1st IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, PA, July 21–22, 1981, pp 27 – 32
Skeen, D.; M. Stonebraker: A Formal Model of Crash Recovery in a Distributed System. IEEE Transactions on Software Engineering, Vol. 9, No. 3, March 1983, pp 219–227
Son, S.H.; J. Lee; Y. Lin: Hybrid Protocols Using Dynamic Adjustment of Serialization Order for Real-Time Concurrency Control. The Journal of Real-Time Systems, Vol. 4, No. 3, Sep. 1992, pp 269–276
Stankovic, J.A.: Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems. IEEE Computer, Vol. 21, No. 10, Oct. 1988, pp 10–19
Stieger, K.: Randbedingungen für Protokolle zur transaktionsorientierten Datenverarbeitung in verteilten Realzeitsystemen. Telekommunikation und multimediale Anwendungen der Informatik. 21. GI-Jahrestagung, J. Encarnaçao (Hrsg,), Darmstadt, 14. –18. Okt. 1991, (IFB 293) Springer-Verlag, S. 643–656
Stoyenko, A.D.; V.C. Hamacher; R.C. Holt: Analyzing Hard-Real-Time Programs for Guaranteed Schedulability. IEEE Transactions on Software Engineering, Vol. 17, No. 8, Aug. 1991, pp 737–750
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stieger, K. (1993). Die Zeitabhängigkeit als maßgebliche Konsistenzbedingung und ihre Zusicherung durch ein neues fehlertolerantes Commit-Protokoll. In: Holleczek, P. (eds) Pearl 93. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78658-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-78658-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57473-6
Online ISBN: 978-3-642-78658-7
eBook Packages: Springer Book Archive