The Little Book of Semaphores is a free (in both senses of the word) textbook that introduces the principles of synchronization for concurrent programming. In most computer science curricula, synchronization is a module in an Operating Systems class. OS textbooks present a standard set of problems with a standard set of solutions, but most students don't get a good understanding of the material or the ability to solve similar problems. The approach of this book is to identify patterns that are useful for a variety of synchronization problems and then show how they can be assembled into solutions. After each problem, the book offers a hint before showing a solution, giving students a better chance of discovering solutions on their own. The book covers the classical problems, including "Readers-writers," "Producer-consumer", and "Dining Philosophers." In addition, it collects a number of not-so-classical problems
C. Beckmann, и C. Polychronopoulos. Supercomputing '90: Proceedings of the 1990 ACM/IEEE conference on Supercomputing, стр. 180--189. Los Alamitos, CA, USA, IEEE Computer Society Press, (1990)
R. Nanjegowda, O. Hernandez, B. Chapman, и H. Jin. Evolving OpenMP in an Age of Extreme Parallelism, том 5568 из Lecture Notes in Computer Science, стр. 42--52. Springer, (июня 2009)