Detecting concurrency errors in multi-threaded programs
March 10, 2017. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.Patent ReferencesMethod for inserting new machine instructions into preexisting machine code to monitor preexisting machine access to memory Deadlock detecting system Detection and resolution of resource deadlocks in a distributed data processing system Determining a winner of a race in a data processing system System for monitoring computer system performance Process for analysis of deadlocks in an operating system Object lock management system with improved local lock management and global deadlock detection in a parallel data processing system Method and system of deadlock detection in a data processing system having transactions with multiple processes capable of resource locking System for detecting global deadlocks using wait-for graphs and identifiers of transactions related to the deadlocks in a distributed transaction processing system and a method of use therefore Deadlock detecting device InventorsAssigneeApplicationNo. 815979 filed on 03/10/1997US Classes:717/130, Including instrumentation and profiling714/38, Of computer software717/131Including analysis of program executionExaminersPrimary: Hafiz, Tariq R.Assistant: Sattizahn, Brian Attorney, Agent or FirmInternational ClassesG06F 009/45G06F 011/00 G06F 009/46 AbstractA 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.Other References
| |
