Patent ID: 8997056
Filing Date: 2015-03-31
Classification: G06F

Abstract:
1. A method, comprising: receiving, by a hardware processor, a trace log from storage containing information pertaining to read and write operations and, for each read and write operation, the trace file contains a start time, a completion time, and a value targeted by the read or write operation; based on the trace log, constructing, by the hardware processor, a directed graph comprising nodes as well as edges interconnecting the nodes, each node representing a read or write operation; and determining, by the hardware processor, whether the constructed directed graph has any cycles; wherein at least one edge is a data edge representing a data precedence between operations, at least one edge is a time edge representing a time precedence between operations, and at least one edge is a hybrid edge representing both time and data precedence between operations, and wherein the hybrid edge is an edge from one node representing a write operation to another node representing a different write operation.