UCSC-CRL-93-30: WHAT IS A RACE IN A PROGRAM AND WHEN CAN WE DETECT IT?

08/01/1993 09:00 AM
Computer Science
This paper presents a taxonomy of methods for detecting race conditions in parallel programs, shows how recent results fit into the taxonomy, and presents some new results for previously unexamined points in the taxonomy. It also presents a taxonomy of ``races\'\' and suggested terminology.

UCSC-CRL-93-30