Types for Safe Locking

  title={Types for Safe Locking},
  author={Cormac Flanagan and Mart{\'i}n Abadi},
A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded programming. They often lead to unintended nondeterminism and wrong results. Moreover, they are notoriously hard to diagnose, and attempts to eliminate them can introduce deadlocks. In practice, race conditions and deadlocks are often avoided through prudent programming discipline: protecting each shared data structure with a… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 285 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 124 extracted citations

285 Citations

Citations per Year
Semantic Scholar estimates that this publication has 285 citations based on the available data.

See our FAQ for additional information.