FT: Dependability and Fault Tolerance

Buch: 8.1 - 8.4 (ohne 8.2.3, 8.2.4) Taxonomie-Paper als Unterlage fr die Fragen 1 bis 3 in Ergnzung des Buches. berblickspaper zu Group Communication. Aufgaben: 1. Erlutern Sie die grundlegenden Begriffe der Dependability: Nennen Sie die fnf wesentlichen Attribute (bzw. Requirements) eines "dependable system". Was ist der Unterschied zwischen Availability und Reliability? 2. Erlutern Sie die "dependability threats" Failure, Error und Fault sowie den Zusammenhang zwischen den drei. Erlutern Sie "permanent", "transient" und "intermittent" faults anhand von Beispielen. 3. Geben Sie verschiedene Fehlermodelle ("failure models") fr "fail-controlled systems" an und diskutieren Sie diese v.a. hinsichtlich des bentigten Aufwandes fr die Maskierung. Wozu bentigt man berhaupt Fehlermodelle? Inwiefern ist es u.U. heikel zu spezifizieren, da ein System "k-fault-tolerant" sein soll? 4. Wieso bentigt man Redundanz zur Maskierung von Fehlern? Welche Arten von Redundanz gibt es? 5. Erlutern Sie die Fehlerklassen in RPC-Client/server-Umgebungen. Gehen Sie besonders auf das "lost reply" Problem ein. 6. Was versteht man unter reliable multicast (group communication) in statischen Gruppen von Prozessen? Was muss man bedenken, wenn sich die Gruppen dynamisch verndern knnen? Erlutern Sie das Prinzip des "atomic multicast" ("virtual synchrony"). 7. Erlutern Sie die verschiedenen Mglichkeiten des message ordering im Rahmen der group communication und gehen Sie auch auf Kombinationsmglichkeiten ein.

TX: Transactions and Consensus

Buch: 1.3.2, 8.2.3, 8.2.4, 8.5 Unterlagen: Buchauszug zum "Two army problem" (c) Pearson/Prentice Hall - mit freundlicher Genehmigung des Verlages Buchauszug zur "Concurrency Control" (c) Pearson/Prentice Hall - mit freundlicher Genehmigung des Verlages Folien von Kao und Melchior als Ergnzung zur Beantwortung der Frage zu den Byzantinischen Generlen, da die Erluterungen im Tanenbaum hier miverstndlich sind. Fr Interessierte steht auch das Paper aus dem Jahr 1975 zur Verfgung, in welchem das Two-Army-Problem erstmals angesprochen wurde (im Appendix), sowie der weithin bekannte Beweis aus dem Jahr 1985 ber die Unmglichkeit des Agreements in asynchronen Systemen mit zumindest einem fehlerhaften (ausfallenden) Proze. Aufgaben: 1. Wiederholen Sie die Grundkonzepte der Transaktion und gehen Sie auch auf "Nested Transactions" ein. 2. Was versteht man unter "concurrency control". Wozu dient sie. Welche grundlegenden Mglichkeiten gibt es, diese zu realisieren/implementieren? 3. Erlutern Sie das two-phase commit Protokoll und dessen Schwchen, v.a. im Fehlerfall.

4. Erlutern Sie das Grundprinzip des 3PC Protokolls und diskutieren Sie die Unterschiede zum 2PC, v.a. im Fehlerfall. 5. Erlutern Sie die Aussage des "two-army" Problems. 6. Erlutern Sie die Aussage der "Byzantinischen Generle".