Stabilization enabling technology

Shlomi Dolev, Yinnon Haviv

Research output: Contribution to journalArticlepeer-review


In this work, we suggest hardware and software components that enable the creation of a self-stabilizing os/vmm on top of an off-the-shelf, nonself-stabilizing processor. A simple "watchdog" hardware that is called a periodic reset monitor (prm) provides a basic solution. The solution is extended to stabilization enabling hardware (seh) which removes any real time requirement from the os/vmm. A stabilization enabling system that extends the seh with software components provides the user (an os/vmm designer) with a self-stabilizing processor abstraction. The method uses only a modest addition of hardware, which is external to the microprocessor. We demonstrate our approach on the XScale core by Intel. Moreover, we suggest methods for the adaptation of existing system code (e.g., code for operating systems) to be self-stabilizing. One method allows capturing and enforcing the configuration used by the program, thus reducing the work of the self-stabilizing algorithm designer to considering only the dynamic (nonconfigurational) parts of the state. Another method is suggested for ensuring that, eventually, addresses of branch commands are examined using a sanity check segment. This method is then used to ensure that a sanity check is performed before critical operations. One application of the latter method is for enforcing a full separation of components in the system

Original languageAmerican English
Article number6095569
Pages (from-to)275-288
Number of pages14
JournalIEEE Transactions on Dependable and Secure Computing
Issue number2
StatePublished - 1 Jan 2012


  • Computer systems organization
  • and serviceability
  • availability
  • fault tolerance
  • performance of systems
  • reliability
  • self-stabilization
  • virtualization.

All Science Journal Classification (ASJC) codes

  • General Computer Science
  • Electrical and Electronic Engineering


Dive into the research topics of 'Stabilization enabling technology'. Together they form a unique fingerprint.

Cite this