Diverse partial memory replication

Ryan M. Lefever, Vikram S. Adve, William H. Sanders

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

An important approach for software dependability is the use of diversity to detect and/or tolerate errors. We develop and evaluate an approach for automated program diversity called Diverse Partial Memory Replication (DPMR), aimed at detecting memory safety errors. DPMR is an automatic compiler transformation that replicates some subset of an executable's data memory and applies one or more diversity transformations to the replica. DPMR can detect any kind of memory safety errors in any part of a program's data memory. Moreover, DPMR is novel because it uses partial replication within a single address space, replicating (and comparing) only a subset of a program's memory. We also perform a detailed study of the diversity mechanisms and state comparison policies in DPMR (a first of its kind for such diversity approaches), which is valuable for exploiting the high flexibility of DPMR.

Original languageEnglish (US)
Title of host publicationProceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010
Pages71-80
Number of pages10
DOIs
StatePublished - 2010
Event2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010 - Chicago, IL, United States
Duration: Jun 28 2010Jul 1 2010

Publication series

NameProceedings of the International Conference on Dependable Systems and Networks

Other

Other2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010
Country/TerritoryUnited States
CityChicago, IL
Period6/28/107/1/10

Keywords

  • Diversity
  • Experimental evaluation
  • Fault injection
  • Replication
  • Software memory errors

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Diverse partial memory replication'. Together they form a unique fingerprint.

Cite this