Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2002-01-02
2008-12-23
Kendall, Chuck (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S131000, C717S144000, C714S038110, C714S048000
Reexamination Certificate
active
07469403
ABSTRACT:
A static datarace detection method (and apparatus) for multithreaded applications includes inputting a set of input information including a multithreaded context graph (MCG) representation of a multithreaded application, processing the set of input information, and outputting a statement conflict set (SCS). The SCS is a set of statement pairs that may exhibit dataraces. The processing of the set of information includes initializing a synchronization object set for each of a plurality of MCG nodes, performing a nested traversal on the MCG to identify pairs of MCG nodes which are not mutually synchronized, and examining each pair of MCG nodes which are not mutually exclusive to determine if pairs of statements in the nodes represent a datarace by considering objects that can be accessed by the statements.
REFERENCES:
patent: 5953530 (1999-09-01), Rishi et al.
patent: 6009269 (1999-12-01), Burrows et al.
patent: 6101524 (2000-08-01), Choi et al.
patent: 6286130 (2001-09-01), Poulsen et al.
patent: 6343371 (2002-01-01), Flanagan et al.
patent: 6593940 (2003-07-01), Petersen et al.
John Mellor-Crummey, Compile-time Support for Efficient Data Race Detection in Shared-Memory Parallel Programs, ACM Press 1993, pp. 129-139 (http://portal.acm.org/citation.cfm?id=171370&dl=GUIDE&coll=GUIDE&CFID=31826656&CFTOKEN=65552401).
Stefan Savage et. al. “A Dynamic Data Race Detector for Multithreaded Programs”, ACM Transactions on Computer Systems, vol. 15, No. 4, Nov. 1997, pp. 391-411.
Savage et al. “Eraser: A Dynamic Data Race Detector for Multithreaded Programs”, ACM Transactions on Computer Systems, vol. 15, No. 4, Nov. 1997, pp. 391-411.
Choi Jong-Deok
Loginov Alexey
Sarkar Vivek
Abzug, Esq. Jesse L.
International Business Machines - Corporation
Kendall Chuck
McGinn Ip Law Group, PLLC
LandOfFree
Static detection of a datarace condition for multithreaded... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Static detection of a datarace condition for multithreaded..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Static detection of a datarace condition for multithreaded... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4028627