5.3
Dependency Matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.4
Recovery Matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.5
PASS Tracing Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.5.1
Forward Tracing Algorithm . . . . . . . . . . . . . . . . . . . 53
5.5.2
Backward Tracing Algorithm . . . . . . . . . . . . . . . . . . 55
5.6
Chapter Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6 System Software Support for Hardware Deficiency: Functions
and Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.1
System Software Life Cycle Versus Fault Tolerance . . . . . . . . 66
6.2
System Software Phases . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7 Testing, Checking, and Hardware Syndrome . . . . . . . . . . . . . . . . . 71
7.1
Hardware-Checking Process . . . . . . . . . . . . . . . . . . . . . . . . . . 72
7.2
Analysis of Checking Process . . . . . . . . . . . . . . . . . . . . . . . . 75
7.2.1
The System Model . . . . . . . . . . . . . . . . . . . . . . . . . 76
7.2.2
Diagnostic Process Algorithm . . . . . . . . . . . . . . . . . 77
7.2.3
Procedure T1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
7.2.4
Extension of the Diagnostic Procedure . . . . . . . . . . . 81
7.2.5
Testing of Time-Sharing Systems . . . . . . . . . . . . . . 83
7.2.6
FT Scheduling . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.3
System Monitoring of Checking Process: A Syndrome . . . . . . 88
7.3.1
Access and Location of the Syndrome . . . . . . . . . . . 92
7.3.2
Memory Configuration . . . . . . . . . . . . . . . . . . . . . . 94
7.3.3
Interfacing Zone: The Syndrome as Memory
Configuration Mechanism . . . . . . . . . . . . . . . . . . . . 96
7.3.4
Graceful Degradation Approach
and Implementation . . . . . . . . . . . . . . . . . . . . . . . . 97
7.3.5
Reconfiguration of Other Hardware Devices . . . . . . . 100
7.4
Software Support for Hardware Reconfiguration . . . . . . . . . . . 101
7.4.1
Software Support for Degradation . . . . . . . . . . . . . . 101
7.4.2
Hardware Condition Monitor . . . . . . . . . . . . . . . . . . 103
7.4.3
Hardware Condition Monitor—System Software
Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
7.5
Hardware Reconfiguration Outlook . . . . . . . . . . . . . . . . . . . . 108
7.6
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
8 Recovery Preparation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
8.1
Runtime System Support for Fault Tolerance
and Reconfigurability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
8.2
Overview of Existing Backward Recovery Techniques . . . . . . 114
xii
Contents