Diffing a subject replayable execution trace against a plurality of comparison replayable execution traces

A computer system, comprising:

• at least one processor;
• and
• one or more computer-readable media having stored thereon computer-executable instructions that are executable by the at least one processor to cause the computer system to diff a subject replayable execution trace against a plurality of comparison replayable execution traces, the computer-executable instructions including instructions that are executable by the at least one processor to cause the computer system to at least:
• access a subject replayable execution trace, and access a plurality of comparison replayable execution traces, each replayable execution trace representing a corresponding sequence of executable instructions that executed as part of a corresponding executing entity;
• identify a plurality of distinct comparison sections within the plurality of comparison replayable execution traces, including:
• identifying a set of mappings among the plurality of comparison replayable execution traces, each mapping of the set of mappings identifying two or more corresponding comparison sections of consecutive executable instructions within the plurality of comparison replayable execution traces that execute equivalently, each comparison section in each mapping being from a different one of the plurality of comparison replayable execution traces, wherein identifying at least one mapping in the set of mappings comprises:
• generating a first set of outputs based on using a first set of inputs to emulate, on the at least one processor, execution of a first section of consecutive executable instructions from a first comparison replayable execution trace;
• generating a second set of outputs based on using the first set of inputs to emulate, on the at least one processor, execution of a second section of consecutive executable instructions from a second comparison replayable execution trace, and
• determining that the first set of outputs equals the second set of outputs;
• and
• based on the set of mappings, identifying the plurality of distinct comparison sections within the plurality of comparison replayable execution traces, each distinct comparison section either (i) lacking a mapping in the set of mappings, or (ii) being a representative comparison section from a different mapping in the set of mappings;
• after identifying the plurality of distinct comparison sections within the plurality of comparison replayable execution traces, compare the subject replayable execution trace and the plurality of comparison replayable execution traces, including:
• comparing each of a plurality of subject sections of consecutive executable instructions within the subject execution trace against one or more of the plurality of distinct comparison sections;
• based on the comparing, determining a comparison status of each of the plurality of subject sections, including determining at least one of whether each subject section is (i) equal to at least one corresponding distinct comparison section, or (ii) different than the plurality of distinct comparison sections;
• and
• applying the determined comparison status of at least one particular subject section with respect at least one particular corresponding distinct comparison section is applied to each additional comparison section to which the at least one particular distinct comparison section is mapped in the set of mappings;
• and
• provide an indicia of a result of the determining comparing to a software component at the computer system, or to an other computer system, and which is configured to cause the computer system or the other computer system to operate on the determined comparison status of each of the plurality of subject sections.

A computer program product comprising one or more hardware storage devices having stored thereon computer-executable instructions that are executable by at least one processor to cause a computer system to diff a subject replayable execution trace against a plurality of comparison replayable execution traces, the computer-executable instructions including instructions that are executable by the at least one processor to cause the computer system to at least:

• access a subject replayable execution trace, and access a plurality of comparison replayable execution traces, each replayable execution trace representing a corresponding sequence of executable instructions that executed as part of a corresponding executing entity;
• identify a plurality of distinct comparison sections within the plurality of comparison replayable execution traces, including:
• identifying a set of mappings among the plurality of comparison replayable execution traces, each mapping of the set of mappings identifying two or more corresponding comparison sections of consecutive executable instructions within the plurality of comparison replayable execution traces that execute equivalently, each comparison section in each mapping being from a different one of the plurality of comparison replayable execution traces, wherein identifying at least one mapping in the set of mappings comprises:
• generating a first set of outputs based on using a first set of inputs to emulate, on the at least one processor, execution of a first section of consecutive executable instructions from a first comparison replayable execution trace;
• generating a second set of outputs based on using the first set of inputs to emulate, on the at least one processor, execution of a second section of consecutive executable instructions from a second comparison replayable execution trace, and
• determining that the first set of outputs equals the second set of outputs;
• and
• based on the set of mappings, identifying the plurality of distinct comparison sections within the plurality of comparison replayable execution traces, each distinct comparison section either (i) lacking a mapping in the set of mappings, or (ii) being a representative comparison section from a different mapping in the set of mappings;
• after identifying the plurality of distinct comparison sections within the plurality of comparison replayable execution traces, compare the subject replayable execution trace and the plurality of comparison replayable execution traces, including:
• comparing each of a plurality of subject sections of consecutive executable instructions within the subject execution trace against one or more of the plurality of distinct comparison sections;
• based on the comparing, determining a comparison status of each of the plurality of subject sections, including determining at least one of whether each subject section is (i) equal to at least one corresponding distinct comparison section, or (ii) different than the plurality of distinct comparison sections;
• and
• applying the determined comparison status of at least one particular subject section with respect at least one particular corresponding distinct comparison section is applied to each additional comparison section to which the at least one particular distinct comparison section is mapped in the set of mappings;
• and
• provide an indicia of a result of the comparing to a software component at the computer system, or to an other computer system, and which is configured to cause the computer system or the other computer system to operate on the determined comparison status of each of the plurality of subject sections.