Zusammenfassung
Wir geben einen Überblick über fehlertolerante Verfahren zur Synchronisation von Verteilten Systemen. In einem derartigen System aus unabhängigen Prozessoren, die nur paarweise durch den Austausch von Nachrichten kommunizieren können, ist Synchronisation durch Hardware-Mechanismen nicht möglich, sondern nur durch algorithmische Methoden. Verlangt man von solchen Verfahren zusätzlich eine gewisse Fehlertoleranz, so wird die Aufgabe erheblich schwieriger.
Unter diesem Gesichtspunkt ist grundlagentheoretisch bislang am umfassendsten untersucht worden das Consensus Problem oder auch genannt das Problem der Byzantinischen Generäle. Hierbei wird von den fehlerfreien Prozessoren eine einmütige Entscheidung verlangt. Die Frage der Lösbarkeit und der Komplexität der entsprechenden Protokolle hängt von verschiedenen Parametern ab. Dazu gehören die Topologie des Netzwerkes, die Art und Anzahl der auftretenden Fehler und der Grad der zeitlichen Asynchronität von Prozessoren und des Kommunikationsflusses. Wir diskutieren grundlegende Methoden und Lösungsansätze für das Byzantinische Agreement und ähnliche Probleme.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturverzeichnis
FCT Conf. on Foundations of Comupation Theory
FoCS IEEE Symp. on Foundations of Computation Theory
PoDC ACM Symp. on Principles of Distributed Systems
SToC ACM-SIGACT Symp. on Theory of Computing
H. Attiya, A. Bar-Noy, D. Dolev, D. Koller, D. Peleg, R. Reischuk, Achievable Cases in an Asynchronous Environment, to app. Proc. 27. FoCS, 1987
C. Mohan, R. Strong, S. Finkelstein, Method for Distributed Transaction Commit and Recovery Using BA within Clusters of Processors, Proc. 2. PoDC, 1983, 89–103
M. Ben-Or, Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols, Proc. 2. PODC, 1983, 27–30
G. Bracha, An Asynchronous (n-1)/3-Resilient Consensus Protocoll, Proc. 3. PoDC, 1984, 154–162
G. Bracha, An 0(log n) Expected Rounds Randomized Byzantine Generals Algorithms, Proc. 17. SToC, 1985, 316–326
G. Bracha, S. Toueg, Asynchronous Consensus and Broadcast Protocols, J. ACM 32, 1985, 824–840
B. Coan, A Communication-Efficient Canonical Form for Fault-Tolerant Distributed Protocols, Proc. 5. PoDC, 1986, 63–72
B. Chor, C. Dwork, Randomization in Byzantine Agreement, Technical Report, 1987
B. Coan, D. Dolev, C. Dwork, L. Stockmeyer, The Distributed Firing Squad Problem,. Proc. 17. SToC, 1985, 335–345
D. Dolev, The Byzantine Generals Strike Again, J. Alg. 3, 1982, 14–30
D. Dolev, C. Dwork, L. Stockmeyer, On the Minimal Synchronism Needed for Distributed Consensus, J. ACM 34, 1987, 77–97
D. Dolev, M. Fischer, R. Fowler, N. Lynch, R. Strong, An Efficient Algorithm for Byzantine Agreement without Authentication, Inf. Control 52, 1982, 257–274
D. Dolev, J. Halpern, R. Strong, On the Possibility and Impossibility of Achieving Clock Synchronization, Proc. 16. SToC, 1984, 504–511
D. Dolev, N. Lynch, S. Pinter, F. Stark, W. Weihl, Reaching Approximate Agreement in the Presence of Faults, J. ACM 33, 1986, 499–516
C. Dwork, N. Lynch, L. Stockmeyer, Consensus in the Presence of Partial Synchrony, Proc. 3. PoDC, 1984, 103–118
C. Dwork, D. Peleg, N. Pippenger, E. Upfal, Fault Tolerance in Networks of Bounded Degree, Proc. 18. SToC, 1986, 370–379
D. Dolev, R. Reischuk, Bounds on Information Exchange for Byzantine Agreement, J. ACM 32, 1985, 191–204
D. Dolev, R. Reischuk, R. Strong, ‘Eventual’ is Earlier than ’Immediate’, Proc. 23. FoCS, 1982, 196–203, to app. as Early Stopping in Byzantine Agreement, J. ACM, 1987
D. Dolev, R. Strong, Distributed Commit with Bounded Waiting, Proc. 2. Symp. on Reliability in Distributed Software and Database Systems, 1982
D. Dolev, R. Strong, Authenticated Algorithms for Byzantine Agreement, SIAM J. Comput. 12, 1983, 656–666
M. Fischer, The Consensus Problem in Unreliable Distributed Systems, Proc. 4. FCT, 1983, 127–140
M. Fischer, N. Lynch, A Lower Bound for the Time to Assure Interactive Consistency, Inf. Proc. Letters 14, 1982, 183–186
M. Fischer, N. Lynch, M. Merritt, Easy Impossibility Proofs for Distributed Consensus Problems, Distr. Comp. 1, 1986, 26–39
M. Fischer, N. Lynch, M. Paterson, Impossibility of Distributed Consensus with 1 Faulty Process, J. ACM 32, 1985, 374–382
J. Halpern, B. Simons, R. Strong, D. Dolev, Fault-Tolerant Clock Synchronization, Proc. 3. PoDC, 1984, 89–102
L. Lamport, The Weak Byzantine Generals Problem, J. ACM 30, 1983, 668–676
L. Lamport, Using Time instead of Timeout for Fault-Tolerant Distributed Systems, ACM Tr. on Progr. Lang. and Systems 6, 1984, 254–280
J. Lundelius, N. Lynch, An Upper and Lower Bound for Clock Synchronization, Inf. Control 62, 1984, 190–204
L. Lamport, P. Melliar-Smith, Byzantine Clock Synchronisation, Proc. 3. PoDC, 1984, 68–74
L. Lamport, R. Shostak, M. Pease, The Byzantine Generals Problem, ACM Tr. on Progr. Lang. and Systems 4, 1982, 382–401
Y. Moses, D. Dolev, J. Halpern, Cheating Husbands and other Stories, Dis. Comp. 1, 1986, 167–176
M. Pease, R. Shostak, L. Lamport, Reaching Agreement in the Presence of Faults, J. ACM 27, 1980, 228–234
M. Rabin, Randomized Byzantine Generals, Proc. 24. FoCS, 1983, 403–409
R. Reischuk, A New Solution for the Byzantine Generals Problem, Inf. Control 64, 1985, 23–42
S. Toueg, Randomized BA, Proc. 3. PoDC, 1984, 163–178
R. Turpin, B. Coan, Extending Binary Byzantine Agreement to Multivalued Byzantine Agreement, Inf. Proc. Letters 18, 1984, 73–76
S. Toueg, K. Perry, T. Srikanth, Fast Distributed Agreement, Proc. 4. PoDC, 1985, 87–101
Author information
Authors and Affiliations
Consortia
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reischuk, R., REISCHUK.DDADVSI.EARN. (1987). Konsistenz und Fehlertoleranz in Verteilten Systemen — Das Problem der Byzantinischen Generäle. In: Paul, M. (eds) GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro. Informatik-Fachberichte, vol 156. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01110-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-01110-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18478-2
Online ISBN: 978-3-662-01110-2
eBook Packages: Springer Book Archive