CORR
2002
Springer
13 years 4 months 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...
239
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...