Analyzing the impact of change in multi-threaded programs

Authors:
Krishnendu Chatterjee;Luca de Alfaro;Vishwanath Raman;César Sánchez
Affiliations:
Institute of Science and Technology, Vienna, Austria;Computer Science Department, University of California, Santa Cruz;Computer Science Department, University of California, Santa Cruz;IMDEA-Software, Madrid, Spain
Venue:
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Year:
2010

Citing 13
Cited 0

An efficient hybrid algorithm for incremental data flow analysis

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The art of computer programming, volume 3: (2nd ed.) sorting and searching

The art of computer programming, volume 3: (2nd ed.) sorting and searching
Testing evolving software

Journal of Systems and Software - Special issue on invited articles on top systems and software engineering scholars
The string-to-string correction problem with block moves

ACM Transactions on Computer Systems (TOCS)
Change impact analysis for object-oriented programs

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Software Change Impact Analysis

Software Change Impact Analysis
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Whole program Path-Based dynamic impact analysis

Proceedings of the 25th International Conference on Software Engineering
Chianti: a tool for change impact analysis of java programs

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis

IEEE Transactions on Software Engineering
Classifying Software Changes: Clean or Buggy?

IEEE Transactions on Software Engineering
Projecting code changes onto execution traces to support localization of recently introduced bugs

Proceedings of the 2009 ACM symposium on Applied Computing
Finding and reproducing Heisenbugs in concurrent programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool DIRECT. Our approach uses a combination of source code instrumentation and runtime management. The source code along with a test harness is instrumented to monitor Operating System (OS) and user defined function calls. DIRECT tracks all concurrency control primitives and, optionally, data from the program. DIRECT maintains an abstract global state that combines information from every thread, including the sequence of function calls and concurrency primitives executed. The runtime manager can insert delays, provoking thread interleavings that may exhibit bugs that are difficult to reach otherwise. The runtime manager collects an approximation of the reachable state space and uses this approximation to assess the impact of change in a new version of the program.