Stateless stabilization bootstrap

Shlomi Dolev; Ramzi Martin Kahil; Reuven Yagel

doi:10.1007/978-3-319-11764-5_13

Stateless stabilization bootstrap

Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel

Department of Computer Science

Ben-Gurion University of the Negev

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

Abstract

Stateless protocols, servers, services and programs are inherently self-stabilizing when repeatedly invoked, as any invocation starts from scratch. We suggest to augment a given stateful program with a stateless prefix that (upon invocation of the stateful program, and possibly periodically) verifies the consistency of the state of the stateful program prior to the execution of the stateful program.

We demonstrate the new stateless stabilization bootstrap paradigm by implementing stabilizing double linked list of the Linux kernel. In particular we focus on the KVM linked list data structure consistency.

Original language	American English
Title of host publication	Stabilization, Safety and Security of Distributed Systems
Editors	Pascal Felber, Vijay K. Garg
Publisher	Springer Verlag
Pages	180-194
Number of pages	15
ISBN (Electronic)	9783319117638
DOIs	https://doi.org/10.1007/978-3-319-11764-5_13
State	Published - 1 Jan 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8756

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-11764-5_13

Cite this

Dolev, S., Kahil, R. M., & Yagel, R. (2014). Stateless stabilization bootstrap. In P. Felber, & V. K. Garg (Eds.), Stabilization, Safety and Security of Distributed Systems (pp. 180-194). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8756). Springer Verlag. https://doi.org/10.1007/978-3-319-11764-5_13

@inbook{868ff2ea378b45b499c09bbcfde76e8b,

title = "Stateless stabilization bootstrap",

abstract = "Stateless protocols, servers, services and programs are inherently self-stabilizing when repeatedly invoked, as any invocation starts from scratch. We suggest to augment a given stateful program with a stateless prefix that (upon invocation of the stateful program, and possibly periodically) verifies the consistency of the state of the stateful program prior to the execution of the stateful program.We demonstrate the new stateless stabilization bootstrap paradigm by implementing stabilizing double linked list of the Linux kernel. In particular we focus on the KVM linked list data structure consistency.",

author = "Shlomi Dolev and Kahil, {Ramzi Martin} and Reuven Yagel",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-319-11764-5_13",

language = "American English",

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

publisher = "Springer Verlag",

pages = "180--194",

editor = "Pascal Felber and Garg, {Vijay K.}",

booktitle = "Stabilization, Safety and Security of Distributed Systems",

address = "Germany",

}

Dolev, S, Kahil, RM & Yagel, R 2014, Stateless stabilization bootstrap. in P Felber & VK Garg (eds), Stabilization, Safety and Security of Distributed Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8756, Springer Verlag, pp. 180-194. https://doi.org/10.1007/978-3-319-11764-5_13

Stateless stabilization bootstrap. / Dolev, Shlomi; Kahil, Ramzi Martin; Yagel, Reuven.
Stabilization, Safety and Security of Distributed Systems. ed. / Pascal Felber; Vijay K. Garg. Springer Verlag, 2014. p. 180-194 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8756).

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

TY - CHAP

T1 - Stateless stabilization bootstrap

AU - Dolev, Shlomi

AU - Kahil, Ramzi Martin

AU - Yagel, Reuven

PY - 2014/1/1

Y1 - 2014/1/1

N2 - Stateless protocols, servers, services and programs are inherently self-stabilizing when repeatedly invoked, as any invocation starts from scratch. We suggest to augment a given stateful program with a stateless prefix that (upon invocation of the stateful program, and possibly periodically) verifies the consistency of the state of the stateful program prior to the execution of the stateful program.We demonstrate the new stateless stabilization bootstrap paradigm by implementing stabilizing double linked list of the Linux kernel. In particular we focus on the KVM linked list data structure consistency.

AB - Stateless protocols, servers, services and programs are inherently self-stabilizing when repeatedly invoked, as any invocation starts from scratch. We suggest to augment a given stateful program with a stateless prefix that (upon invocation of the stateful program, and possibly periodically) verifies the consistency of the state of the stateful program prior to the execution of the stateful program.We demonstrate the new stateless stabilization bootstrap paradigm by implementing stabilizing double linked list of the Linux kernel. In particular we focus on the KVM linked list data structure consistency.

UR - http://www.scopus.com/inward/record.url?scp=84908280889&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-11764-5_13

DO - 10.1007/978-3-319-11764-5_13

M3 - Chapter

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 180

EP - 194

BT - Stabilization, Safety and Security of Distributed Systems

A2 - Felber, Pascal

A2 - Garg, Vijay K.

PB - Springer Verlag

ER -

Stateless stabilization bootstrap

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this