Race detection for parallel software

Details Race detection for parallel software Race detection for parallel software

2005-02-01

2005-02-01

Iqbal, Nadeem (Department: 2184)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C717S124000

Reexamination Certificate

active

06851075

ABSTRACT:
A method for race detection in parallel software, including performing an execution of software under test (SUT), the SUT having an expected outcome. The method further includes detecting a race condition in the SUT responsive to a first interleaving generated during the execution, replaying the first interleaving to a start-point of the race condition, and imposing a second interleaving at the start-point of the race condition. The method also includes determining a second-execution outcome of the SUT responsive to the second interleaving, and comparing the expected outcome with the second-execution outcome.

REFERENCES:
patent: 6286130 (2001-09-01), Poulsen et al.
patent: 6343371 (2002-01-01), Flanagan et al.
patent: 6772367 (2004-08-01), Tarafdar et al.
patent: 20020133806 (2002-09-01), Flanagan et al.
patent: 20030056149 (2003-03-01), Hue
patent: 20030097653 (2003-05-01), Kim et al.
U.S. Appln. No. 09/731,387, entitled “Interleaving Based Coverage Models for Concurrent and Distributed Software”, 2000.
U.S. Appln. No. 09/327,379, entitled “A Timing Related Bug Detector”, 1999.
Choi et al., “Deterministic Replay of Java Multithreaded Applications”,ACM SIGMETRICS Symposium on Parallel and Distributed Tools(SPDT), Aug. 1998, pp. 48-59.
Michiel Ronsee et al., “Non-intrusive on-the-fly Data Race Detection Using Execution Replay”, Published by Proceedings of the Forth International Workshop in Automated Debugging (AADEBUG2000), Aug. 2000.
Choi et al., “Deterministic Replay of Distributed Java Applications”, Published in proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, Aug. 1998.
Hembold et al., “A Taxonomy of Race Detection Algorithms”, doctoral dissertation to the University of California, Santa Cruz, on Sep. 28, 1994.
Netzer et al., “Improving the Accuracy of Data Race Detection”, Published in proceedings of the third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Apr. 1991.
Netzer et a;., “What are Race Conditions? Some Issues and Formalizations”, in ACM Letters on Programming Languages and Systems, Mar. 1992.
Lewis et al., “Threads Primer”, Appendix E, Published by Prentice Hall, 1996.
Orit Edelstein et al., “Multithreaded Java Program Test Generation”, presented at the Joint ACM Java Grande—ISCOPE 2001 Conference at Stanford University in Jun. 2001.

Affiliated with

Also associated with

Rating

Race detection for parallel software does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Race detection for parallel software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Race detection for parallel software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3469556