UCSC-CRL-94-35: A TAXONOMY OF RACE DETECTION ALGORITHMS

09/01/1994 09:00 AM
Computer Science
This paper presents a taxonomy that categorizes methods for determining event orders in executions of parallel programs. These event orderings can then be used to detect race conditions in parallel programs. The paper also shows how recent race results fit into the event ordering taxonomy, and presents some new results for previously unexamined points in the taxonomy.

UCSC-CRL-94-35

Error | Technical Reports

Error

The website encountered an unexpected error. Please try again later.