OSIRIS: Efficient and consistent recovery of compartmentalized operating systems

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

Abstract

Much research has gone into making operating systems more amenable to recovery and more resilient to crashes. Traditional solutions rely on partitioning the operating system (OS) to contain the effects of crashes within compartments and facilitate modular recovery. However, state dependencies among the compartments hinder recovery that is globally consistent. Such recovery typically requires expensive runtime dependency tracking which results in high performance overhead, highcomplexity and a large Reliable Computing Base (RCB). We propose a lightweight strategy that limits recovery to cases where we can statically and conservatively prove that compartment recovery leads to a globally consistent state - trading recoverable surface for a simpler and smaller RCB with lower performance overhead and maintenance cost. We present OSIRIS, a research OS design prototype that demonstrates efficient and consistent crash recovery. Our evaluation shows that OSIRIS effectively recovers from important classes of real-world software bugs with a modest RCB and low overheads.

Original languageEnglish
Title of host publicationProceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
PublisherInstitute of Electrical and Electronics Engineers, Inc.
Pages25-36
Number of pages12
ISBN (Electronic)9781467388917
DOIs
Publication statusPublished - 29 Sep 2016
Event46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 - Toulouse, France
Duration: 28 Jun 20161 Jul 2016

Conference

Conference46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
CountryFrance
CityToulouse
Period28/06/161/07/16

Keywords

  • Crash recovery
  • Fault tolerance
  • Operating systems
  • Reliability
  • Static analysis

Fingerprint Dive into the research topics of 'OSIRIS: Efficient and consistent recovery of compartmentalized operating systems'. Together they form a unique fingerprint.

Cite this