FIELD: computer technology.
SUBSTANCE: technical result is achieved by reproducing a subset of instructions to obtain the state of one or more named resources, wherein the one or more named resources have a first state in the first instruction and another, second state in the second instruction; based on reproducing the subset of instructions, a diffgram is generated for the subset of instructions, wherein the diffgram contains one or more reversible mathematical operations on the first state that transform the first state into a second state, such that the summation of the diffgram in the first instruction by applying one or more reversible mathematical operations to the first state transfers one or more named resources to a second state, and subtracting a diffgram in a second instruction by applying the inverse of one or more reversible mathematical operations to the second state transfers one or more named resources to a first state; and store the diffgram in connection with the trace.
EFFECT: improving performance by using diffgrams to quickly restore program state to reach a target instruction.
20 cl, 9 dwg
