Stateless Stabilization Bootstrap (Extended Abstract).

Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations


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 languageEnglish
Title of host publicationSymposium on Self-Stabilizing Systems
EditorsPascal Felber, Vijay K. Garg
PublisherSpringer Verlag
Number of pages15
ISBN (Electronic)9783319117638
StatePublished - 1 Jan 2014

Publication series

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


  • Virtual Machine
  • Design Pattern
  • Safe State
  • Transient Fault
  • Code Segment

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Stateless Stabilization Bootstrap (Extended Abstract).'. Together they form a unique fingerprint.

Cite this