Using code motion and write and read delays to increase the probability of bug detection in concurrent systems

摘要: A tool is provided for modifying the code of a multi-threaded computer program undergoing testing. The executes in an environment that has governing memory model. It assumed there global heap and thread-local heap, which are synchronized from time to time. modifications two types: (1) instructions reordered while remaining compliance with model; (2) variables added functions, together inserted synchronizing instructions. modified programs then used by test generator prepare cases execution. have effect changing interleavings occur among different threads, increase likelihood exposing flaws may become evident under models.