Detecting race conditions in parallel programs that use semaphores

DOI10.1007/s00453-002-1004-3zbMath1045.68165arXivcs/0208004OpenAlexW2737621452MaRDI QIDQ1402212

Hsueh-I Lu, Robert H. B. Netzer, Philip N. Klein

Publication date: 19 August 2003

Published in: Algorithmica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0208004

zbMATH Keywords

SchedulingParallel programsRace conditionsSemaphoresTractability

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

This page was built for publication: Detecting race conditions in parallel programs that use semaphores