SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs

Abstract

Abstract. Many dynamic analysis techniques have been proposed to detect incorrect program behaviors resulted from faulty code. However, the huge overhead incurred by such dynamic analysis prevents thorough testing of large-scale software systems. In this paper, we propose a novel framework using compile-time and run-time optimizations on instrumentation and monitoring that aim to significantly reduce the overhead of dynamic analysis on multithreaded programs. We implemented a tool called SAM (Self-Adaptive Monitoring) that can selectively turn off excessive monitoring on repeated code region invocations if the current program context has been determined to be redundant, which may assist many existing dynamic detection tools to improve their performance. Specifically, we approximate the program context for a code region invocation as a set of variables, which include path-critical variables and shared variables accessed in that region. The path-critical variables are inferred using a use-definition dataflow analysis, and the shared variables are identified using a hybrid thread-based escape analysis. We have implemented the tool in Java and evaluated it on a set of real-world programs. Our experimental results show that it can significantly reduce the runtime overhead of the baseline atomicity violation and data race analyses by an average of 50% and 20%, respectively, while roughly keeping the accuracy of the underlying runtime detection tools.

BAVC: Classifying Benign Atomicity Violations via Machine Learning

“…There are many existing research papers about detecting the various concurrency errors including deadlocks, data races and atomicity violations. Chen et al [5] presents a combined static and dynamic analysis, a new algorithm based on conflict-edges to detect and report atomicity violations. In [22], Wang et al proposed the reduction-based and block-based algorithms.…”

BAVC: Classifying Benign Atomicity Violations via Machine Learning

“…Chen et al [5] presents a combined static and dynamic analysis, a new algorithm based on conflict-edges to detect and report atomicity violations. In [22], Wang et al proposed the reduction-based and block-based algorithms.…”

Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente

“…• Tools based on the locking discipline or the happensbefore relations were proposed to detect races in multithread applications such as RACEZ [39], DrFinder [40], ThreadSanitizer [41], Portend+ [42], rccjava [43], NARADA [51], SAM [52], Deva [53], DROIDRACER [54], Dialyzer [55], TRADE [56], CLAP [57]. The empirical evaluations show that these tools are e↵ective for detecting data race concurrency bugs.…”