Memory management for self-stabilizing operating systems

Shlomi Dolev, Reuven Yagel

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

1 Scopus citations


This work presents several approaches for designing the memory management component of self-stabilizing operating systems. We state the requirements which a memory manager should satisfy. One requirement is eventual memory hierarchy consistency among different copies of data residing in different (level of) memory devices e.g., RAM and disk. Another requirement is stabilization preserving where the memory manager ensures that every process that is proven to stabilize independently, also stabilizes under the (self-stabilizing scheduler and the) memory manager operation. Three memory managers that satisfy the above requirements are presented. The first allocates the entire physical memory to a single process in every given point of time, the second uses fixed partition of the memory among processes, and the last uses memory leases for dynamic memory allocations.

Original languageEnglish
Title of host publicationSelf-Stabilizing Systems - 7th International Symposium, SSS 2005, Proceedings
Number of pages15
StatePublished - 1 Dec 2005
Event7th International Symposium on Self-Stabilizing Systems, SSS 2005 - Barcelona, Spain
Duration: 26 Oct 200527 Oct 2005

Publication series

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


Conference7th International Symposium on Self-Stabilizing Systems, SSS 2005

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Memory management for self-stabilizing operating systems'. Together they form a unique fingerprint.

Cite this