The Little Book of Semaphores
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, some written by the author and some by other teachers and textbook writers. Readers are invited to create and submit new problems.
Table of contents
- Introduction
- Semaphores
- Basic synchronization patterns
- Classical synchronization problems
- Less classical synchronization problems
- Not-so-classical problems
- Not remotely classical problems
- Synchronization in Python
- Synchronization in C
- Cleaning up Python threads
- Cleaning up POSIX threads
| Pages : | 291 |
| Size : | 1.2 MB |
| File type : | |
| Downloads: | 74 |
| Created: | 2022-02-03 |
| License: | CC BY-NC-SA |
| Author(s): | Allen Downey |
Warning: Trying to access array offset on false in /home/tutovnfz/public_html/article.php on line 233
Others Semaphores Tutorials
Others related eBooks about The Little Book of Semaphores
Algorithms Notes for ProfessionalsDownload free course Algorithms Notes for Professionals, pdf file on 257 pages by by Stack Overflow Community....
Digital Video Concepts, Methods, and MetricsDownload free course Digital Video Concepts, Methods, and Metrics, pdf file on 359 pages by Shahriar Akramullah....
Open Data Structures: An IntroductionOffered as an introduction to the field of data structures and algorithms, Open Data Structures covers the implementation and analysis of data structures for sequences (lists), queues, priority queues, unordered dictionaries, ordered dictionaries, and graphs. ...
Azure Serverless SuccinctlyDownload free course Azure Serverless Succinctly, pdf file on 92 pages by by Sander Rossel....
LDAP for Rocket ScientistsThis book is about LDAP, OpenLDAP 2.x and ApacheDS on Linux and the BSD's (FreeBSD, OpenBSD and NetBSD). It is meant for newbies, Rocket Scientist wannabees and anyone in between:...
Blockchain and Crypt CurrencyDownload free course Blockchain and Crypt Currency, pdf file on 150 pages by by Makoto Yano, Chris Dai, Kenichi Masuda, Yoshio Kishimoto....
Google Maps API SuccinctlyDownload free course Google Maps API Succinctly, pdf file on 104 pages by Mark Lewin....
Beginners guide to Adobe PhotoshopWelcome to the complete beginners guide to Adobe Photoshop.It's a free PDF file under 44 pages by TastyTuts....
A Rust SamplerDownload free course A Rust Sampler, pdf file on 27 pages by by Carol Nichols, Jake Goulding....
Logical ReasoningThe goal of this book is to improve your logical-reasoning skills. Your logical-reasoning skills are a complex weave of abilities that help you get someone's point, generate reasons for your own point, evaluate the reasons given by others, decide what or what not to do, decide what information to ...