Self-stabilizing device drivers

Shlomi Dolev; Reuven Yagel

doi:10.1007/978-3-540-49823-0_19

Self-stabilizing device drivers

Shlomi Dolev
, Reuven Yagel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings
Publisher	Springer Verlag
Pages	276-289
Number of pages	14
ISBN (Print)	3540490183, 9783540490180
DOIs	https://doi.org/10.1007/978-3-540-49823-0_19
State	Published - 1 Jan 2006
Event	8th International Symposium on Self-Stabilizing Systems, SSS 2006 - Dallas, TX, United States Duration: 17 Nov 2006 → 19 Nov 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4280 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Symposium on Self-Stabilizing Systems, SSS 2006
Country/Territory	United States
City	Dallas, TX
Period	17/11/06 → 19/11/06

Keywords

ATA interface standard
Device driver failures
Self-stabilizing systems

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-49823-0_19

Cite this

Dolev, S., & Yagel, R. (2006). Self-stabilizing device drivers. In Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings (pp. 276-289). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4280 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-49823-0_19

@inproceedings{36f9226a9cb34527b8b678a800b98e2e,

title = "Self-stabilizing device drivers",

abstract = "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.",

keywords = "ATA interface standard, Device driver failures, Self-stabilizing systems",

author = "Shlomi Dolev and Reuven Yagel",

year = "2006",

month = jan,

day = "1",

doi = "10.1007/978-3-540-49823-0\_19",

language = "English",

isbn = "3540490183",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "276--289",

booktitle = "Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings",

address = "Germany",

note = "8th International Symposium on Self-Stabilizing Systems, SSS 2006 ; Conference date: 17-11-2006 Through 19-11-2006",

}

Dolev, S & Yagel, R 2006, Self-stabilizing device drivers. in Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4280 LNCS, Springer Verlag, pp. 276-289, 8th International Symposium on Self-Stabilizing Systems, SSS 2006, Dallas, TX, United States, 17/11/06. https://doi.org/10.1007/978-3-540-49823-0_19

Self-stabilizing device drivers. / Dolev, Shlomi; Yagel, Reuven.
Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings. Springer Verlag, 2006. p. 276-289 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4280 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 - https://www.scopus.com/pages/publications/33845520129

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 -

Dolev S, Yagel R. Self-stabilizing device drivers. In Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings. Springer Verlag. 2006. p. 276-289. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-49823-0_19

Self-stabilizing device drivers

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this