TECHNOLOGIES FOR BRIDGING GAPS IN EXECUTION TRACES

• US 20170371775A1
• Filed: 06/28/2016
• Published: 12/28/2017
• Est. Priority Date: 06/28/2016
• Status: Active Grant

• Current Assignee: Intel Corporation
• Original Assignee: Intel IP Corporation (Intel Corporation)
• Inventors: Metzger, Markus T.
• Granted Patent: US 10,642,724 B2
• Time in Patent Office: Days
• CPC Class Codes: G06F 11/3636 by tracing the execution of the program
• CPC Class Codes: G06F 11/3692 for test results analysis

Abstract

Technologies for bridging trace gaps include a computing device that traces execution of a program to generate an execution trace and identifies a trace gap in the execution trace. The computing device generates a first call stack that corresponds to a location immediately before the trace gap and a second call stack that corresponds to a location immediately after the trace gap. Each call stack identifies a list of functions, and each function corresponds to a source function of the program. The computing device evaluates connection pairs between the first call stack and the second call stack to determine whether each connection pair is valid and, for each valid connection pair, a number of matching functions. The computing device selects a connection pair that is valid and has a largest number of matching functions and bridges the trace gap with the selected connection pair. Other embodiments are described and claimed.

Claims

1. A computing device for program trace analysis, the computing device comprising:

a trace analysis module to generate, based on an execution trace of a program, a first call stack that corresponds to a first location immediately before a trace gap in the execution trace and a second call stack that corresponds to a second location immediately after the trace gap, wherein the first call stack identifies a first list of functions and the second call stack identifies a second list of functions, and wherein each function corresponds to a source function of the program;

a stack evaluation module to (i) evaluate potential connection pairs between the first call stack and the second call stack to determine whether each connection pair is valid and, for each valid connection pair, a number of matching functions, wherein each connection pair identifies a first function of the first call stack and a second function of the second call stack, and (ii) select a first connection pair that is valid and has a largest number of matching functions of the valid connection pairs; and

a gap connection module to bridge the trace gap of the execution trace with the first connection pair.

2. The computing device of claim 1, wherein to evaluate the potential connection pairs comprises to:

determine whether the first function of a connection pair and the second function of the connection pair correspond to the same source function of the program; and

increment the number of matching functions for the connection pair in response to a determination that the first function and the second function correspond to the same source function.

3. The computing device of claim 2, wherein to evaluate the potential connection pairs further comprises to:

recursively determine whether a first caller of the first function and a second caller of the second function correspond to the same source function of the program; and

increment the number of matching functions for the connection pair in response to a determination that the first caller and the second caller correspond to the same source function.

4. The computing device of claim 1, wherein to evaluate the potential connection pairs comprises to ignore tail calls in the first call stack and the second call stack.

5. The computing device of claim 1, wherein to bridge the trace gap comprises to:

connect the first function of the first connection pair to the second function of the first connection pair; and

recursively connect a first caller of the first function to a second caller of the second function.

6. The computing device of claim 5, wherein to bridge the trace gap further comprises to:

determine whether the first function or the second function has no real caller;

associate the first function with a caller of the second function in response to a determination that the first function has no real caller; and

associate the second function with a caller of the first function in response to a determination that the second function has no real caller;

wherein to recursively connect the first caller to the second caller comprises to recursively connect the first caller to the second caller in response to an association of the first function with the caller of the second function or an association of the second function with the caller of the first function.

7. The computing device of claim 5, wherein to recursively connect the first caller to the second caller comprises to:

identify the first caller of the first function of the pair of functions, wherein the first caller is not a tail caller;

identify the second caller of the second function of the pair of functions, wherein the second caller is not a tail caller; and

recursively connect the first caller and the second caller in response to identification of the first caller and identification of the second caller.

8. The computing device of claim 5, wherein to bridge the trace gap further comprises to add one or more tail callers of the first function to a call stack of the second function.

9. The computing device of claim 1, wherein the trace analysis module is further to trace execution of the program to generate the execution trace.

10. The computing device of claim 9, wherein to trace execution of the program comprises to trace execution of the program with execution trace support of a processor of the computing device.

11. The computing device of claim 9, wherein the trace analysis module is further to identify the trace gap in the execution trace of the program in response to tracing of the execution of the program.

12. A method for program trace analysis, the method comprising:

generating, by a computing device, based on an execution trace of a program, a first call stack corresponding to a first location immediately before a trace gap in the execution trace and a second call stack corresponding to a second location immediately after the trace gap, wherein the first call stack identifies a first list of functions and the second call stack identifies a second list of functions, and wherein each function corresponds to a source function of the program;

evaluating, by the computing device, potential connection pairs between the first call stack and the second call stack to determine whether each connection pair is valid and, for each valid connection pair, a number of matching functions, wherein each connection pair identifies a first function of the first call stack and a second function of the second call stack;

selecting, by the computing device, a first connection pair that is valid and has a largest number of matching functions of the valid connection pairs; and

bridging, by the computing device, the trace gap of the execution trace using the first connection pair.

13. The method of claim 12, wherein evaluating the potential connection pairs comprises:

determining whether the first function of a connection pair and the second function of the connection pair correspond to the same source function of the program; and

incrementing the number of matching functions for the connection pair in response to determining that the first function and the second function correspond to the same source function.

14. The method of claim 13, wherein evaluating the potential connection pairs further comprises:

recursively determining whether a first caller of the first function and a second caller of the second function correspond to the same source function of the program; and

incrementing the number of matching functions for the connection pair in response to determining that the first caller and the second caller correspond to the same source function.

15. The method of claim 12, wherein bridging the trace gap comprises:

connecting the first function of the first connection pair to the second function of the first connection pair; and

recursively connecting a first caller of the first function to a second caller of the second function.

16. The method of claim 15, wherein bridging the trace gap further comprises:

determining whether the first function or the second function has no real caller;

associating the first function with a caller of the second function in response to determining that the first function has no real caller; and

associating the second function with a caller of the first function in response to determining that the second function has no real caller;

wherein recursively connecting the first caller to the second caller comprises recursively connecting the first caller to the second caller in response to associating the first function with the caller of the second function or associating the second function with the caller of the first function.

17. The method of claim 12, further comprising tracing, by the computing device, execution of the program to generate the execution trace.

18. The method of claim 17, further comprising identifying, by the computing device, the trace gap in the execution trace of the program in response to tracing the execution of the program.

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

generate, based on an execution trace of a program, a first call stack corresponding to a first location immediately before a trace gap in the execution trace and a second call stack corresponding to a second location immediately after the trace gap, wherein the first call stack identifies a first list of functions and the second call stack identifies a second list of functions, and wherein each function corresponds to a source function of the program;

evaluate potential connection pairs between the first call stack and the second call stack to determine whether each connection pair is valid and, for each valid connection pair, a number of matching functions, wherein each connection pair identifies a first function of the first call stack and a second function of the second call stack;

select a first connection pair that is valid and has a largest number of matching functions of the valid connection pairs; and

bridge the trace gap of the execution trace using the first connection pair.

20. The one or more computer-readable storage media of claim 19, wherein to evaluate the potential connection pairs comprises to:

determine whether the first function of a connection pair and the second function of the connection pair correspond to the same source function of the program; and

increment the number of matching functions for the connection pair in response to determining that the first function and the second function correspond to the same source function.

21. The one or more computer-readable storage media of claim 20, wherein to evaluate the potential connection pairs further comprises to:

recursively determine whether a first caller of the first function and a second caller of the second function correspond to the same source function of the program; and

increment the number of matching functions for the connection pair in response to determining that the first caller and the second caller correspond to the same source function.

22. The one or more computer-readable storage media of claim 19, wherein to bridge the trace gap comprises to:

connect the first function of the first connection pair to the second function of the first connection pair; and

recursively connect a first caller of the first function to a second caller of the second function.

23. The one or more computer-readable storage media of claim 22, wherein to bridge the trace gap further comprises to:

determine whether the first function or the second function has no real caller;

associate the first function with a caller of the second function in response to determining that the first function has no real caller; and

associate the second function with a caller of the first function in response to determining that the second function has no real caller;

wherein to recursively connect the first caller to the second caller comprises to recursively connect the first caller to the second caller in response to associating the first function with the caller of the second function or associating the second function with the caller of the first function.

24. The one or more computer-readable storage media of claim 19, further comprising a plurality of instructions that in response to being executed cause the computing device to trace execution of the program to generate the execution trace.

25. The one or more computer-readable storage media of claim 24, further comprising a plurality of instructions that in response to being executed cause the computing device to identify the trace gap in the execution trace of the program in response to tracing the execution of the program.