Жанры
Авторы
Контакты
О сайте
Книжные новинки
Популярные книги
Найти
Главная
Авторы
Wenbing Zhao
From Traditional Fault Tolerance to Blockchain
Читать книгу From Traditional Fault Tolerance to Blockchain - Wenbing Zhao - Страница 1
Оглавление
Предыдущая
Следующая
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
...
69
Оглавление
Купить и скачать книгу
Вернуться на страницу книги From Traditional Fault Tolerance to Blockchain
Оглавление
Страница 1
Table of Contents
List of Illustrations
List of Tables
Guide
Pages
Страница 7
Страница 8
Страница 9
Страница 10
Страница 11
Страница 12
Страница 13
Страница 14
Страница 15
Страница 16
1
Introduction
1.1 Basic Concepts and Terminologies for Dependable Computing
1.1.1 System Models
1.1.2 Threat Models
1.1.3 Dependability Attributes and Evaluation Metrics
1.1.3.1 Availability
1.1.3.2 Reliability
1.1.3.3 Integrity
1.1.3.4 Maintainability
1.1.3.5 Safety
1.2 Means to Achieve Dependability
1.2.1 Fault Avoidance
1.2.2 Fault Detection and Diagnosis
1.2.3 Fault Removal
1.2.4 Fault Tolerance
1.3 System Security
REFERENCES
Страница 34
2
Logging and Checkpointing
2.1 System Model
2.1.1 Fault Model
2.1.2 Process State and Global State
EXAMPLE 2.1
2.1.3 Piecewise Deterministic Assumption
2.1.4 Output Commit
2.1.5 Stable Storage
2.2 Checkpoint-Based Protocols
2.2.1 Uncoordinated Checkpointing
EXAMPLE 2.2
2.2.2 Tamir and Sequin Global Checkpointing Protocol
2.2.2.1 Protocol Description.
EXAMPLE 2.3
2.2.2.2 Correctness of the Protocol.
2.2.3 Chandy and Lamport Distributed Snapshot Protocol
2.2.3.1 Protocol Description.
EXAMPLE 2.4
2.2.4 Discussion
2.3 Log Based Protocols
2.3.1 Pessimistic Logging
EXAMPLE 2.5
2.3.1.1 Benefits of Pessimistic Logging.
2.3.1.2 Discussion.
2.3.1.3 Pessimistic Logging Cost.
2.3.2 Sender-Based Message Logging
2.3.2.1 Data Structures
2.3.2.2 Normal Operation of the Message Logging Protocol
EXAMPLE 2.6
2.3.2.3 Recovery Mechanism.
2.3.2.4 Limitations and Correctness.
EXAMPLE 2.7
2.3.2.5 Discussion.
REFERENCES
{buyButton}
Подняться наверх