An Event Selection Algorithm for Two-pass On-the-fly Detection of the First Races in Parallel Programs with Synchronization

摘要

PURPOSE: A method of selecting events for detecting an initial race amid executing a parallel program of a synchronous shared memory is provided to reduce a traffic jam by decreasing comparing by discriminating whether a read or write event is related with a race, for detecting the initial race, while executing there. CONSTITUTION: A method for selecting events for detecting an initial race amid executing aparallel program of a synchronous shared memory, uses an approaching source structure of read, write, and write after read in each parallel thread. The method uses approach source structure of each thread, to select needed events for detecting the initial race.