Grouping and analysis of data access hazard reports

摘要

A method for analyzing race conditions between multiple threads of an application is disclosed. The method comprises accessing hazard records for an application under test. It further comprises creating a graph comprising a plurality of vertices and a plurality of edges using the hazard records, wherein each vertex of the graph comprises information about a code location of a hazard and wherein each edge of the graph comprises hazard information between one or more vertices. Additionally, it comprises assigning each edge with a weight, wherein the weight depends on a number and relative priority of hazards associated with a respective edge. Finally, it comprises traversing the graph to report an analysis record for each hazard represented in the graph.

主权项

1. A method for analyzing race conditions comprising:
accessing hazard records of conflicting access between multiple threads for an application under test; creating a graph comprising a plurality of vertices and a plurality of edges using said hazard records, wherein each vertex of said plurality of vertices of said graph comprises information about a code location of a hazard and wherein each edge of said plurality of edges of said graph comprises hazard information between one or more vertices of said plurality of vertices; assigning said each edge of said plurality of edges with a respective weight, wherein said weight depends on a number and relative priority of hazards associated with said each edge; and traversing said graph to generate an analysis record for each hazard represented in said graph, wherein said traversing comprises analyzing each edge of said plurality of edges to determine if a first edge of said plurality of edges has a common source and destination vertex.