CORR
2002
Springer
14 years 11 days ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
313
click to vote
Lecture Notes
As the name implies, it is a short introduction about operating system.
Book
"I wrote the first edition this book with the goal of identifying synchronization
idioms and patterns that could be understood in isolation and then assembled
to solve compl...