TY - GEN
T1 - Self-stabilizing device drivers
AU - Dolev, Shlomi
AU - Yagel, Reuven
PY - 2006/1/1
Y1 - 2006/1/1
N2 - This work presents approaches for designing the input-output device management components of self-stabilizing operating systems. As an example, we demonstrate the non-stability of the ATA standard protocol for storage devices. We state the requirements that an operating system and I/O devices should satisfy in order to become self-stabilizing. Then we suggest two solutions to satisfy these requirements. The first uses leases in order to guarantee progress from the I/O device side. The second assumes stabilization of the I/O device, and uses snapshots to perform consistency checks. By supplying an infrastructure for practical self-stabilizing systems, robust and dependable systems can be achieved.
AB - This work presents approaches for designing the input-output device management components of self-stabilizing operating systems. As an example, we demonstrate the non-stability of the ATA standard protocol for storage devices. We state the requirements that an operating system and I/O devices should satisfy in order to become self-stabilizing. Then we suggest two solutions to satisfy these requirements. The first uses leases in order to guarantee progress from the I/O device side. The second assumes stabilization of the I/O device, and uses snapshots to perform consistency checks. By supplying an infrastructure for practical self-stabilizing systems, robust and dependable systems can be achieved.
KW - ATA interface standard
KW - Device driver failures
KW - Self-stabilizing systems
UR - http://www.scopus.com/inward/record.url?scp=33845520129&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-49823-0_19
DO - 10.1007/978-3-540-49823-0_19
M3 - Conference contribution
AN - SCOPUS:33845520129
SN - 3540490183
SN - 9783540490180
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 276
EP - 289
BT - Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings
PB - Springer Verlag
T2 - 8th International Symposium on Self-Stabilizing Systems, SSS 2006
Y2 - 17 November 2006 through 19 November 2006
ER -