2015 International Conference on Parallel Architecture and Compilation (PACT) (2015)
San Francisco, CA, USA
Oct. 18, 2015 to Oct. 21, 2015
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PACT.2015.20
Dataflow analysis-based dynamic parallel monitoring(DADPM) is a recent approach for identifying bugsin parallel software as it executes, based on the key insightof explicitly modeling a sliding window of uncertainty acrossparallel threads. While this makes the approach practical andscalable, it also introduces the possibility of false positives inthe analysis. In this paper, we improve upon the DADPMframework through two observations. First, by explicitlytracking new "uncertain" states in the metadata lattice, wecan distinguish potential false positives from true positives. Second, as the analysis tool runs dynamically, it can use theexistence (or absence) of observed uncertain states to adjustthe tradeoff between precision and performance on-the-fly. Forexample, we demonstrate how the epoch size parameter canbe adjusted dynamically in response to uncertainty in orderto achieve better performance and precision than when thetool is statically configured. This paper shows how to adapt acanonical dataflow analysis problem (reaching definitions) anda popular security monitoring tool (TAINTCHECK) to our newuncertainty-tracking framework, and provides new provableguarantees that reported true errors are now precise.
Uncertainty, Instruction sets, Monitoring, Metadata, Analytical models, Security
M. L. Goodstein, P. B. Gibbons, M. A. Kozuch and T. C. Mowry, "Tracking and Reducing Uncertainty in Dataflow Analysis-Based Dynamic Parallel Monitoring," 2015 International Conference on Parallel Architecture and Compilation (PACT), San Francisco, CA, USA, 2015, pp. 266-279.