A mirrored data structures approach to diverse partial memory replication

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

Abstract

Software memory errors are a growing threat to software dependability. In previous work, we proposed an approach for detecting memory errors, called Diverse Partial Memory Replication (DPMR), that utilized automated program diversity and memory replication. The original design aimed to maximize coverage by making the pointers stored in different memory replicas comparable. In this paper, we propose and evaluate an alternative design called Mirrored Data Structures (MDS), which sacrifices pointer comparability to gain three primary benefits. 1) MDS significantly increases DPMR's applicability by eliminating all DPMR restrictions on memory allocation, pointer arithmetic, and pointer-to-pointer casts. 2) For programs that store many pointers to memory, MDS reduces DPMR's overhead, as is demonstrated in experimental results. 3) MDS significantly reduces DPMR's memory footprint.

Original languageEnglish (US)
Title of host publicationProceedings - 9th European Dependable Computing Conference, EDCC 2012
Pages61-72
Number of pages12
DOIs
StatePublished - Jul 30 2012
Event9th European Dependable Computing Conference, EDCC 2012 - Sibiu, Romania
Duration: May 8 2012May 11 2012

Publication series

NameProceedings - 9th European Dependable Computing Conference, EDCC 2012

Conference

Conference9th European Dependable Computing Conference, EDCC 2012
CountryRomania
CitySibiu
Period5/8/125/11/12

    Fingerprint

Keywords

  • diversity
  • experimental evaluation
  • fault injection
  • replication
  • software memory errors

ASJC Scopus subject areas

  • Computer Science Applications

Cite this

Lefever, R. M., Adve, V. S., & Sanders, W. H. (2012). A mirrored data structures approach to diverse partial memory replication. In Proceedings - 9th European Dependable Computing Conference, EDCC 2012 (pp. 61-72). [6214761] (Proceedings - 9th European Dependable Computing Conference, EDCC 2012). https://doi.org/10.1109/EDCC.2012.18