Home > Research > Publications & Outputs > TraceSanitizer - Eliminating the Effects of Non...

Text available via DOI:

View graph of relations

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  • Habib Saissi
  • Stefan Winter
  • Oliver Schwahn
  • Karthik Pattabiraman
  • Neeraj Suri
Publication date25/06/2020
Host publication2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Number of pages12
ISBN (Electronic)978-1-7281-5809-9
ISBN (Print)978-1-7281-5810-5
<mark>Original language</mark>English


Modern computing systems typically relax execution determinism, for instance by allowing the CPU scheduler to inter- leave the execution of several threads. While beneficial for performance, execution non-determinism affects programs' execution traces and hampers the comparability of repeated executions. We present TraceSanitizer, a novel approach for execution trace comparison in Error Propagation Analyses (EPA) of multi-threaded programs. TraceSanitizer can identify and compensate for non- determinisms caused either by dynamic memory allocation or by non-deterministic scheduling. We formulate a condition under which TraceSanitizer is guaranteed to achieve a 0% false positive rate, and automate its verification using Satisfiability Modulo Theory (SMT) solving techniques. TraceSanitizer is comprehensively evaluated using execution traces from the PARSEC and Phoenix benchmarks. In contrast with other approaches, Trace- Sanitizer eliminates false positives without increasing the false negative rate (for a specific class of programs), with reasonable performance overheads.

Bibliographic note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.