The Little Book of Semaphores

Livro digital

Título:
The Little Book of Semaphores

Autor:
Allen B. Downey

Categoria:
Tecnologia > DevOps

Doador:
Raffaello D. N.

Sinopse:
Synchronization is one of the most counterintuitive topics in computer science — most students can follow a solution but few can produce one from scratch. Allen Downey wrote this book to change that. Starting from the simplest mutual exclusion primitives, the book builds up through classical problems — producer-consumer, readers-writers, dining philosophers — treating each not as a textbook example to memorize but as a puzzle whose solution reveals a reusable synchronization pattern. The book's structure mirrors a course the author taught: short chapters introduce a concept, then a puzzle, and later a hint for the truly stumped. Problems escalate from basic mutex usage through barrier synchronization, reusable barriers, and the notoriously subtle Santa Claus and building H₂O problems. Throughout, the emphasis is on systematic approaches — how to recognize which pattern applies and how to assemble solutions that are demonstrably correct rather than merely coincidentally functional. What makes the book effective is its respect for the difficulty of the material. It does not pretend synchronization is easy, nor does it bury readers in formalism. Instead, it provides the one thing most operating systems courses lack: enough practice, with enough time, for the patterns to sink in. The puzzles are genuinely fun, and solving them builds a mental toolkit that transfers to real concurrent programming in any language.