US 10,540,254 B2Granted

Technologies for analyzing persistent memory programs

AssigneeIntel Corporation

InventorsZhiqiang Ma, Paul M. Petersen

Life of this patent

Estimating the term…

Loading patent…

Abstract

Technologies for analyzing persistent memory programs include a computing device having persistent memory. The computing device executes a persistent memory program that includes one or more store operations to the persistent memory. The computing device records persistent memory store events of the persistent memory program and constructs a load dependency graph of the persistent memory program. The persistent memory store events may include persistent memory stores, cache flush events, memory fence events, and persistent memory commit events. The computing device replays the persistent memory store events and analyzes the load dependency graph. The computing device may identify persistency programming errors in the persistent memory program. The computing device may identify persistent memory commit points of the persistent memory program. The computing device may identify groups of persistent memory store operations to persist atomically. Other embodiments are described and claimed.

Claims22

Dependent claims

A computing device for analyzing a persistent memory program, the computing device comprising:

an instrumentation module to (i) execute a persistent memory program, wherein the persistent memory program includes one or more store operations to a persistent memory of the computing device, and (ii) record persistent memory store events of the persistent memory program in response to execution of the persistent memory program;
a dependency module to generate a load dependency graph of the persistent memory program in response to execution of the persistent memory program;
a replay module to replay the persistent memory store events;
and
an analysis module to analyze the persistent memory store events with the load dependency graph in response to a replay of the persistent memory store events;
wherein to generate the load dependency graph comprises to (i) determine a first persistent memory load instruction associated with a first persistent memory location, (ii) determine a backward slice of a persistent memory program from the first persistent memory load instruction, (iii) determine a second persistent memory load instruction of the backward slice, wherein the second persistent memory load instruction occurred before the first persistent memory load instruction, and wherein the second persistent memory load instruction is associated with a second persistent memory location, and (iv) add a load dependency between the first persistent memory location and the second persistent memory location to the load dependency graph.

3 more elements

A method for analyzing a persistent memory program, the method comprising:

executing, by a computing device, a persistent memory program, wherein the persistent memory program includes one or more store operations to a persistent memory of the computing device;
recording, by the computing device, persistent memory store events of the persistent memory program in response to executing the persistent memory program;
generating, by the computing device, a load dependency graph of the persistent memory program in response to executing the persistent memory program;
replaying, by the computing device, the persistent memory store events;
and
analyzing, by the computing device, the persistent memory store events using the load dependency graph in response to replaying the persistent memory store events;
wherein generating the load dependency graph comprises:
determining a first persistent memory load instruction associated with a first persistent memory location;
determining a backward slice of a persistent memory program starting at the first persistent memory load instruction;
determining a second persistent memory load instruction of the backward slice, wherein the second persistent memory load instruction occurred before the first persistent memory load instruction, and wherein the second persistent memory load instruction is associated with a second persistent memory location;
and
adding a load dependency between the first persistent memory location and the second persistent memory location to the load dependency graph.

9 more elements

One or more non-transitory, computer-readable storage media comprising a plurality of instructions that in response to being executed cause a computing device to:

execute a persistent memory program, wherein the persistent memory program includes one or more store operations to a persistent memory of the computing device;
record persistent memory store events of the persistent memory program in response to executing the persistent memory program;
generate a load dependency graph of the persistent memory program in response to executing the persistent memory program;
replay the persistent memory store events;
and
analyze the persistent memory store events using the load dependency graph in response to replaying the persistent memory store events;
wherein to generate the load dependency graph comprises to:
determine a first persistent memory load instruction associated with a first persistent memory location;
determine a backward slice of a persistent memory program starting at the first persistent memory load instruction;
determine a second persistent memory load instruction of the backward slice, wherein the second persistent memory load instruction occurred before the first persistent memory load instruction, and wherein the second persistent memory load instruction is associated with a second persistent memory location;
and
add a load dependency between the first persistent memory location and the second persistent memory location to the load dependency graph.

9 more elements

Dependencies are inferred from the claim text.