Automated tool for detection of potential race condition

Details Automated tool for detection of potential race condition Automated tool for detection of potential race condition

2006-04-11

2006-04-11

Dang, Khanh (Department: 2111)

Electrical computers and digital data processing systems: input/

Access locking

C717S124000, C717S152000, C717S152000

Reexamination Certificate

active

07028119

ABSTRACT:
A method for detecting a potential race condition is provided comprising the steps of identifying a memory access in a source code segment, the source code segment being executable in any one of a plurality of execution threads; searching backward from the memory access through each of the plurality of threads for an assert protection declaration without any intervening deassert protection declaration, and identifying the potential race condition if the assert protection declaration without any intervening deassert protection declaration was not found in each of the plurality of threads; and searching forward from the memory access through each of the plurality of threads for the deassert protection declaration, and identifying the potential race condition if the deassert protection declaration was not found in each of the plurality of threads.

REFERENCES:
patent: 6343371 (2002-01-01), Flanagan et al.
patent: 6817009 (2004-11-01), Flanagan et al.
patent: 6851075 (2005-02-01), Ur et al.
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs, Savage et al.
Intel Thread Checker for Windows, Product Overview, 2004.
Warlock, A Static Data Race Analysis Tool, Nicholas Sterling, USENIX Winter 1993 Conference Proceedings, Jan. 1993.
What are race conditions? Some Issues and Formulations, Netzer et al., Mar. 1992.

Affiliated with

Also associated with

Rating

Automated tool for detection of potential race condition does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automated tool for detection of potential race condition, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated tool for detection of potential race condition will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3610196