A Taxonomy of Race Conditions

  title={A Taxonomy of Race Conditions},
  author={David P. Helmbold and Charles E. McDowell},
  journal={J. Parallel Distrib. Comput.},
abstract Parallel programs are frequently non-deterministic, meaning they can give diierent results when provided the same input. These diierent results arise because variations in the timing of the multiple threads cause the threads to access shared resources in diierent orders. The phenomena that cause the non-deterministic behavior have been (and continue to be) variously referred to as access anomalies, race conditions or just races. In a recent paper, Netzer and Miller made an important… CONTINUE READING