Patent
1997-03-10
1999-12-28
Hafiz, Tariq R.
39518314, 395677, G06F 945, G06F 1100, G06F 946
Patent
active
060092696
ABSTRACT:
A computer implemented method detects concurrency errors in programs. Machine executable images of multiple program threads are instrumented to locate and replace instructions which affect concurrency states of the threads. Concurrency state information is recorded in a memory while the multiple threads are executing. The recorded concurrency state information is analyzed, and inconsistent dynamic concurrency state transitions are reported as concurrency errors.
REFERENCES:
patent: 5335344 (1994-08-01), Hastings
patent: 5440743 (1995-08-01), Yokota et al.
patent: 5459871 (1995-10-01), Van Den Berg
patent: 5469575 (1995-11-01), Madduri
patent: 5539907 (1996-07-01), Srivastava et al.
patent: 5590335 (1996-12-01), Dubourreau et al.
patent: 5682537 (1997-10-01), Davies et al.
patent: 5764976 (1998-06-01), Hsiao
patent: 5835766 (1998-11-01), Iba et al.
patent: 5845117 (1998-12-01), Fujita
patent: 5862376 (1999-01-01), Steele, Jr. et al.
"Deadlock Detection Using Only Thread Identifiers"; IBM Technical Disclosure Bulletin; vol. 39, No. 1, pp. 29-30, Jan. 1996.
Dinning, A., and Schonberg, E., Detecting Access Anomalies in Programs with Critical Sections, ACM SIGPLAN Notices vol. 26, No. 12, pp. 85-96, Dec. 1991.
Mellor-Crummey, J., On-the-fly Detection of Data Races for Programs with Nested Fork-Join Parallelism, Supercomputing '91, pp.24-33, 1991.
Burrows Michael
Nelson Charles G.
Savage Stefan
Sobalvarro Patrick G.
Digital Equipment Corporation
Hafiz Tariq R.
Sattizahn Brian
LandOfFree
Detecting concurrency errors in multi-threaded programs does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Detecting concurrency errors in multi-threaded programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Detecting concurrency errors in multi-threaded programs will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2388682