Correlation Of Function Calls To Functions In Asynchronously Executed Threads

A method comprising:

• obtaining a program trace that is a recording of execution of multiple threads of a program on a computing device, the multiple threads including multiple asynchronous threads, the program trace including information regarding instructions of the program that is executed on the computing device;
• correlating function calls in a first of the multiple threads with functions executed in the multiple asynchronous threads;
• determining, from the program trace, whether a pair of the multiple asynchronous threads accessed a same memory address;
• and
• in response to determining that the pair of asynchronous threads accessed the same memory address:
• determining, based at least in part on the types of accesses the pair of asynchronous threads made to the same memory address, whether there is a potential concurrency problem with the pair of asynchronous threads, the types of accesses including read accesses or write accesses;
• and
• generating, in response to determining that there is a potential concurrency problem with the pair of asynchronous threads, a warning notification that there is a potential concurrency problem with the pair of asynchronous threads, the warning including an indication of the memory address.

A computing device comprising:

• a processor;
• and
• a computer-readable storage medium having stored thereon multiple instructions that, responsive to execution by the processor, cause the processor to:
• obtain a program trace that is a recording of execution of multiple threads of a program on the computing device, the multiple threads including multiple asynchronous threads, the program trace including information regarding instructions of the program that is executed on the computing device;
• correlate function calls in a first of the multiple threads with functions executed in the multiple asynchronous threads;
• use the correlated function calls and functions to reorder the trace information for one or more of the asynchronous threads in accordance with the order of code in the program rather than the order in which the asynchronous threads were executed;
• and
• expose the reordered trace information so that a linear view of the trace information in accordance with the order of the code in the program rather than the order in which the multiple asynchronous threads were executed is available.