Linear recovery algorithm, 153, 155, 160
M
Machine code file formats, 298
Main monitor, 177
Malfunction (transient) faults, 7, 36, 38–40, 44,
45, 72
Matter of concurrency, 181
Memory configuration, 94
Memory configuration mechanism, 96
Memory setup, 303
Message logging, 116
Message logging-based rollback recovery, 119
Method of active system safety, 47–50
Minix 3, 194
MLR algorithm, 149
MLR execution, 146
Models of fault tolerance, 18, 56
Modified linear algorithm, 143
Modified linear recovery, 160
Modified linear recovery algorithm, 144, 151,
160, 162–164
Module loader, 178
O
Oberon, 112, 128, 142, 165, 166, 171
Optimistic logging, 120
P
Parallelism, 180, 186–188, 191
Parallelism and concurrency vs GLM, 186
Parallel speedup model, 241
Passive zone, 4
PASS tracing algorithm, 53
Performance of distributed system, 249, 267
Performance-reliability-efficiency, 180, 221,
249, 250, 266
Performance-reliability-energy smartness
(PRE-smartness), 249
Permanent hardware faults, 29, 36, 89, 147
Pessimistic logging, 119
Physical storage media, 131
Preparation for recovery, 33, 68, 111, 112, 136
Principle of active system safety, 49
Principles of synchronization, 183
Problem of concurrency, 179
Procedure level of recovery, 34
Procedure T1, 79
Processor architecture, 197, 208
Programming language, 165
R
Real processor hardware, 236
Real-time system, 1, 2, 33, 74, 77, 108, 137,
190, 225
Reconfigurability, 1, 3, 5, 88–90, 105–107,
111, 166, 190, 251, 253, 254, 266
Reconfigurability, redundancy, 1, 251, 253,
254, 266
Reconfiguration, 68
Reconfiguration monitor, 177
Reconfiguration of other hardware devices, 100
Recoverability, 255
Recoverability costs, 262
Recovery, 4, 9, 10, 14, 22, 26–29, 31, 33–36,
40–44, 49, 50, 52, 53, 55, 56, 65, 68, 74,
77, 82, 85, 87, 90, 94, 98, 99, 107, 109,
111–132, 134–137, 141–147, 149–151,
153–166, 174, 194, 201, 215–217, 249,
255–257, 260–263, 265
Recovery algorithms, 65, 141, 144, 151,
153–155, 158, 159, 162–164
Recovery as a process, 141
Recovery at the level of procedures, 122
Recovery efficiency, 164
Recovery levels, 35
Recovery matrix, 52
Recovery of malfunctions, 41, 99, 116, 127,
145, 154–157, 160, 161, 216
Recovery of multiple faults, 151
Recovery on the instruction level, 142
Recovery on the procedure level, 142
Recovery pf permanent faults, 94, 116, 142,
144, 149, 154, 194
Recovery point generation, 136
Recovery points, 4, 28, 34, 35, 49, 65, 68, 99,
114–132, 134–137, 141–145, 147, 150,
151, 153, 154, 164, 166, 190, 194
Recovery preparation, 37, 111, 137, 165, 174
Recovery process, 10, 68, 114, 121, 131, 136,
137, 141, 142, 147, 150, 153, 201, 216,
257, 260
Recovery techniques, 114, 117
Redundancy, 1–3, 5, 7–9, 11–22, 25, 27–31,
33–39, 41–45, 47, 56, 60, 89, 93, 99,
100, 102, 126, 143, 189, 197, 216–218,
249–255, 266, 268, 269, 281
Redundancy analysis, 39, 44
Redundancy classification, 30
Relative performance gain, 239
Reliability, 1–5, 7, 9, 11–15, 18, 19, 21, 22, 25,
26, 29, 33, 36–41, 43–45, 47, 56, 59, 62,
65, 66, 78, 88, 89, 91, 92, 94, 104, 113,
116, 118, 123, 125–127, 132, 151, 157,
166, 167, 172, 179, 180, 189, 197, 202,
215–219, 221, 232, 249–252, 254, 261,
263–267, 269, 281, 291
Index
307
M
Machine code file formats, 298
Main monitor, 177
Malfunction (transient) faults, 7, 36, 38–40, 44,
45, 72
Matter of concurrency, 181
Memory configuration, 94
Memory configuration mechanism, 96
Memory setup, 303
Message logging, 116
Message logging-based rollback recovery, 119
Method of active system safety, 47–50
Minix 3, 194
MLR algorithm, 149
MLR execution, 146
Models of fault tolerance, 18, 56
Modified linear algorithm, 143
Modified linear recovery, 160
Modified linear recovery algorithm, 144, 151,
160, 162–164
Module loader, 178
O
Oberon, 112, 128, 142, 165, 166, 171
Optimistic logging, 120
P
Parallelism, 180, 186–188, 191
Parallelism and concurrency vs GLM, 186
Parallel speedup model, 241
Passive zone, 4
PASS tracing algorithm, 53
Performance of distributed system, 249, 267
Performance-reliability-efficiency, 180, 221,
249, 250, 266
Performance-reliability-energy smartness
(PRE-smartness), 249
Permanent hardware faults, 29, 36, 89, 147
Pessimistic logging, 119
Physical storage media, 131
Preparation for recovery, 33, 68, 111, 112, 136
Principle of active system safety, 49
Principles of synchronization, 183
Problem of concurrency, 179
Procedure level of recovery, 34
Procedure T1, 79
Processor architecture, 197, 208
Programming language, 165
R
Real processor hardware, 236
Real-time system, 1, 2, 33, 74, 77, 108, 137,
190, 225
Reconfigurability, 1, 3, 5, 88–90, 105–107,
111, 166, 190, 251, 253, 254, 266
Reconfigurability, redundancy, 1, 251, 253,
254, 266
Reconfiguration, 68
Reconfiguration monitor, 177
Reconfiguration of other hardware devices, 100
Recoverability, 255
Recoverability costs, 262
Recovery, 4, 9, 10, 14, 22, 26–29, 31, 33–36,
40–44, 49, 50, 52, 53, 55, 56, 65, 68, 74,
77, 82, 85, 87, 90, 94, 98, 99, 107, 109,
111–132, 134–137, 141–147, 149–151,
153–166, 174, 194, 201, 215–217, 249,
255–257, 260–263, 265
Recovery algorithms, 65, 141, 144, 151,
153–155, 158, 159, 162–164
Recovery as a process, 141
Recovery at the level of procedures, 122
Recovery efficiency, 164
Recovery levels, 35
Recovery matrix, 52
Recovery of malfunctions, 41, 99, 116, 127,
145, 154–157, 160, 161, 216
Recovery of multiple faults, 151
Recovery on the instruction level, 142
Recovery on the procedure level, 142
Recovery pf permanent faults, 94, 116, 142,
144, 149, 154, 194
Recovery point generation, 136
Recovery points, 4, 28, 34, 35, 49, 65, 68, 99,
114–132, 134–137, 141–145, 147, 150,
151, 153, 154, 164, 166, 190, 194
Recovery preparation, 37, 111, 137, 165, 174
Recovery process, 10, 68, 114, 121, 131, 136,
137, 141, 142, 147, 150, 153, 201, 216,
257, 260
Recovery techniques, 114, 117
Redundancy, 1–3, 5, 7–9, 11–22, 25, 27–31,
33–39, 41–45, 47, 56, 60, 89, 93, 99,
100, 102, 126, 143, 189, 197, 216–218,
249–255, 266, 268, 269, 281
Redundancy analysis, 39, 44
Redundancy classification, 30
Relative performance gain, 239
Reliability, 1–5, 7, 9, 11–15, 18, 19, 21, 22, 25,
26, 29, 33, 36–41, 43–45, 47, 56, 59, 62,
65, 66, 78, 88, 89, 91, 92, 94, 104, 113,
116, 118, 123, 125–127, 132, 151, 157,
166, 167, 172, 179, 180, 189, 197, 202,
215–219, 221, 232, 249–252, 254, 261,
263–267, 269, 281, 291
Index
307