Topological, on-the-fly classification of objects into a global set and local sets

摘要

The present invention relates to concurrently executing program threads in computer systems, an more particularly to detecting data races. A computer implemented method for detecting data races in the execution of multi-threaded, strictly object oriented programs is provided, whereby objects on a heap are classified in a set of global objects, containing objects that can be reached by more than one thread, and sets of local objects, containing objects that can only be reached by one thread. Only the set of global objects is observed for determining occurrence of data races.