Bug isolation via remote program sampling
- 9 May 2003
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 38 (5) , 141-154
- https://doi.org/10.1145/780822.781148
Abstract
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program's user community. Several example applications illustrate ways to use sampled instrumentation to isolate bugs. Assertion-dense code can be transformed to share the cost of assertions among many users. Lacking assertions, broad guesses can be made about predicates that predict program errors and a process of elimination used to whittle these down to the true bug. Finally, even for non-deterministic bugs such as memory corruption, statistical modeling based on logistic regression allows us to identify program behaviors that are strongly correlated with failure and are therefore likely places to look for the error.Keywords
This publication has 14 references indexed in Scilit:
- Monitoring deployed software using software tomographyPublished by Association for Computing Machinery (ACM) ,2002
- Diagnosis of multiple cancer types by shrunken centroids of gene expressionProceedings of the National Academy of Sciences, 2002
- Tracking down software bugs using automatic anomaly detectionPublished by Association for Computing Machinery (ACM) ,2002
- Untrusted hosts and confidentialityPublished by Association for Computing Machinery (ACM) ,2001
- A framework for reducing the cost of instrumented codeACM SIGPLAN Notices, 2001
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Efficient and flexible value samplingACM SIGPLAN Notices, 2000
- Immunizing online reputation reporting systems against unfair ratings and discriminatory behaviorPublished by Association for Computing Machinery (ACM) ,2000
- A portable sampling-based profiler for Java virtual machinesPublished by Association for Computing Machinery (ACM) ,2000
- Continuous profilingACM Transactions on Computer Systems, 1997