AUTOMATIC IDENTIFICATION OF INTERESTING INTERLEAVINGS IN A MULTITHREADED PROGRAM

摘要

A facility that for a multithreaded program executing on a root machine causes the threads of the program to be executed in a relative scheduling that produces an interesting result. The facility suspends execution of the program. The facility then tests a plurality of relative thread schedulings on one or more virtual machines and observes the result. Based upon the observed result the facility selects one of the tested relative thread schedulings. The facility then resumes execution of the program using the selected relative thread scheduling.

主权项

1. A method in a computing system that, for a multithreaded program executing on a root machine, causes the threads of the multithreaded program to be executed in a scheduling that produces an interesting result, the method comprising:
suspending execution of all the threads of the multithreaded program on the root machine; while execution of all the threads of the multithreaded program on the root machine are suspended, saving the state of the root machine; performing a plurality of simulations, each simulation comprising:
initializing a simulation machine with the saved state;determining a set of communication interleavings among threads of the multithreaded program;executing the multithreaded program on the simulation machine in accordance with the determined set of communication interleavings; andattributing a single score to the simulation based on the results of execution of the multithreaded program; selecting, based on a comparison of the attributed scores, one of the plurality of simulations; and resuming execution of the multithreaded program on the root machine in accordance with the set of communication interleavings determined for the selected simulation.