Tools and methods for discovering race condition errors

Details Tools and methods for discovering race condition errors Tools and methods for discovering race condition errors

2007-02-06

2007-02-06

Bullock, Jr., Lewis A. (Department: 2195)

Electrical computers and digital processing systems: virtual mac

Task management or control

Process scheduling

C714S025000, C712S227000, C712S228000, C710S260000, C710S262000, C710S266000, C702S119000, C717S124000

Reexamination Certificate

active

10326772

ABSTRACT:
Tools and methods are described herein for discovering race condition errors in a software program. The errors are discovered by deliberately causing a processor executing the test program to switch threads at intervals other than normally scheduled by an operating system. The thread switching is caused upon occurrence of selected events. The intervals may be selected automatically or with user input. Furthermore, thread switching may be caused during conditions more likely to cause race condition errors. For example, thread switches may be caused between threads that share control of a memory device or while the processor is executing instructions related to synchronization tools (e.g. locks, mutex, etc.).

REFERENCES:
patent: 5515538 (1996-05-01), Kleiman
patent: 5682554 (1997-10-01), Harrell
patent: 5835705 (1998-11-01), Larsen et al.
patent: 6018759 (2000-01-01), Doing et al.
patent: 6052708 (2000-04-01), Flynn et al.
patent: 6256775 (2001-07-01), Flynn
patent: 6341347 (2002-01-01), Joy et al.
patent: 6370606 (2002-04-01), Bonola
patent: 6418542 (2002-07-01), Yeager
patent: 6748556 (2004-06-01), Storino et al.
patent: 6957432 (2005-10-01), Ballantyne
patent: 2001/0034751 (2001-10-01), Eto et al.
patent: 2002/0078121 (2002-06-01), Ballantyne
patent: 2005/0229178 (2005-10-01), Ballantyne
patent: 2005/0229179 (2005-10-01), Ballantyne
Gergeleit, Martin et al. “JewelNT: Monitoring of Distributed Real-time Applications on Windows NT.” Oct. 1999.
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro and Thomas Anderson, “Eraser: A Dynamic Data Race Detector for Multithreaded Programs”,ACM, Proceedings of the sixteenth ACM symposium on Operating systems principles, Oct. 1997, vol. 31, No. 5, pp. 27-37.
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro and Thomas Anderson, “Eraser: A Dynamic Data Race Detector for Multithreaded Programs”,ACM, Transactions on Computer Systems (TOCS), Nov. 1997, vol. 15, No. 4, pp. 391-411.
Eli Poznianasky and Asaf Schuster, “Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs”,ACM, Proceedings of the ninth ACM SIGPLAN symposium on principles and practice of parallel programming, Jun. 2003, vol. 38, Issue 10, pp. 179-190.
Robert O'Callahan and Jong-Deok Choi, “Hybrid Dynamic Data Race Detection”,ACM, Proceedings of the ninth ACM SIGPLAN symposium on principles and practice of parallel programming, Jun. 2003, vol. 38, Issue 10, pp. 167-178.
Cormac Flanagan and Stephen N. Freund, “Type-Based Race Detection for Java”,ACM, Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, May 2000, vol. 35, Issue 5, pp. 219-232.
Michiel Ronsse and Koen De Bosschere, “RecPlay: A Fully Integrated Practical Record/Replay System”,ACMTransactions on Computer Systems (TOCS), May 1999, vol. 17, No. 2, pp. 133-152.

Affiliated with

Also associated with

Rating

Tools and methods for discovering race condition errors does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Tools and methods for discovering race condition errors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tools and methods for discovering race condition errors will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3872215