Trace Sanitizer : Eliminating the Effects of Non-Determinism of Error Propagation Analysis

Saissi, Habib and Winter, Stefan and Schwahn, Oliver and Pattabiraman, K. and Suri, Neeraj (2020) Trace Sanitizer : Eliminating the Effects of Non-Determinism of Error Propagation Analysis. In: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE. ISBN 9781728158105

[thumbnail of DSN_2020_paper (1)]
Text (DSN_2020_paper (1))
DSN_2020_paper_1_.pdf - Accepted Version
Available under License Creative Commons Attribution-NonCommercial.

Download (746kB)

Abstract

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.

Item Type:
Contribution in Book/Report/Proceedings
Additional Information:
©2020 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
ID Code:
154041
Deposited By:
Deposited On:
21 Apr 2021 13:05
Refereed?:
Yes
Published?:
Published
Last Modified:
10 Jan 2024 00:46