Wong, Tsz-Yeung. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2002. / Includes bibliographical references (leaves 77-79). / Abstracts in English and Chinese. / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Related Work --- p.2 / Chapter 1.2 --- Progressive Fault-Tolerant Mechanism --- p.4 / Chapter 1.3 --- Organization of This Thesis --- p.7 / Chapter 1.4 --- Contribution of The Thesis --- p.8 / Chapter 2 --- Server Failure Detection and Recovery --- p.9 / Chapter 3 --- Agent Failure Detection and Recovery --- p.12 / Chapter 3.1 --- System Architecture --- p.12 / Chapter 3.2 --- Protocol Design --- p.14 / Chapter 3.3 --- Failure and Recovery Scenarios --- p.16 / Chapter 3.3.1 --- When fails to receive msgiarrive --- p.17 / Chapter 3.3.2 --- Whenwi-1 fails to receive msgieave --- p.19 / Chapter 3.3.3 --- Failures of the witness agents and recovery scenarios --- p.22 / Chapter 3.3.4 --- Catastrophic failures --- p.24 / Chapter 3.4 --- Simplification --- p.24 / Chapter 4 --- Fault-Tolerant Mechanism Analysis --- p.27 / Chapter 4.1 --- Definitions and Notations --- p.27 / Chapter 4.2 --- Assumptions --- p.29 / Chapter 4.3 --- The Algorithm --- p.30 / Chapter 4.3.1 --- Informal algorithm descriptions --- p.30 / Chapter 4.3.2 --- Formal algorithm descriptions --- p.32 / Chapter 4.4 --- Liveness Proof --- p.39 / Chapter 4.5 --- Simplification Analysis --- p.52 / Chapter 5 --- Link Failure Analysis --- p.61 / Chapter 5.1 --- Problems of Link Failure --- p.61 / Chapter 5.2 --- Solution --- p.62 / Chapter 6 --- Reliability Evaluation --- p.67 / Chapter 6.1 --- Server Failure Detection Analysis --- p.68 / Chapter 6.2 --- Agent Failure Detection Analysis --- p.71 / Bibliography --- p.77 / A Glossary --- p.80
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_324018 |
| Date | January 2002 |
| Contributors | Wong, Tsz-Yeung., Chinese University of Hong Kong Graduate School. Division of Computer Science and Engineering. |
| Source Sets | The Chinese University of Hong Kong |
| Language | English, Chinese |
| Detected Language | English |
| Type | Text, bibliography |
| Format | print, vii, 81 leaves : ill. ; 30 cm. |
| Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0023 seconds