Machine instruction level race condition detection

Details Machine instruction level race condition detection Machine instruction level race condition detection

2007-03-30

2010-12-28

Baderman, Scott T (Department: 2114)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C717S124000, C717S127000, C717S128000

Reexamination Certificate

active

07861118

ABSTRACT:
An apparatus, method and computer-readable medium provide for detecting and filtering potential race conditions. In one example, potential race conditions may be detected by determining overlap of memory accesses (e.g., read, write). Potential race conditions may be filtered as potentially benign or harmful race conditions using, for example, heuristics, comparison of output states from execution of instructions or operations in differing sequences or identifying of associated output bugs corresponding to the execution of operations in different sequences.

REFERENCES:
patent: 6343371 (2002-01-01), Flanagan et al.
patent: 6405326 (2002-06-01), Azagury et al.
patent: 6593940 (2003-07-01), Petersen et al.
patent: 6851075 (2005-02-01), Ur et al.
patent: 6920634 (2005-07-01), Tudor
patent: 7028119 (2006-04-01), Hue
patent: 7076776 (2006-07-01), Kim et al.
patent: 7174554 (2007-02-01), Pierce et al.
patent: 7346813 (2008-03-01), Schulz et al.
patent: 7366956 (2008-04-01), Karp et al.
patent: 7752605 (2010-07-01), Qadeer et al.
patent: 2003/0131283 (2003-07-01), Ur et al.
patent: 2005/0038806 (2005-02-01), Ma
patent: 2005/0216798 (2005-09-01), Yu
patent: 2005/0283781 (2005-12-01), Karp et al.
patent: 2007/0011671 (2007-01-01), Kahlon et al.
patent: 2007/0067762 (2007-03-01), Wadsworth et al.
patent: 2008/0120627 (2008-05-01), Krauss
patent: 2008/0178156 (2008-07-01), Kahlon et al.
Eraser: A Dynamic Data Race Detector for Multithreaded Programs by Stefan Savage Published Nov. 1997.
J.D. Choi et al. “Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs”, ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, Jun. 17-19, 2002.
Michiel Ronsse et al. “RecPlay: A Fully Integrated Practical Record/Replay System”, ACM Transactions on Computer Systems (TOCS), May 1999, vol. 17, Issue 2.
Yuan Yu et al. “RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking”, ACM Symposium on Operating Systems Principles, Proceedings of the twentieth ACM symposium on Operating systems principles, 2005.

Affiliated with

Also associated with

Rating

Machine instruction level race condition detection does not yet have a rating. At this time, there are no reviews or comments for this patent.

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

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4168464