LittleBookOfSemaphores
LittleBookOfSemaphores copied to clipboard
AllenDowney
LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
The solution is not totally correct. Consider following events, Agent first provides tobacco and match, now let's say Pusher A get hold of the mutex first and simply increases numTobacco,...
The Barrier solution in 3.6.4 has a note towards the end: > It might seem dangerous to read the value of count outside the mutex. In this case it is...
In the Faneuil Hall problem hint, it appears that two variables have been omitted. Let's introduce these variables in a more formal manner to maintain consistency with the existing text....
Hi! I am not too familiar with Latex... how can I generate a version of this book that I can use on my Kindle or in my phone? (If it...
As in the previous reusable barrier solution, you need to lock the second turnstile when unlocking the first, and vice versa.
The problem described in the Section 3.7.2 for the non-solution in 3.7.1 is > If the n − 1th thread is interrupted at this point, and then the nth thread...
The sushi bar problem description doesn't clarify all the rules that the solution must comply with. The rules can be inferred from the solutions, but they should be stated in...
Fixes the implementation of `left` and `right` methods to be consistent with the definition in `Section 4.4`: > Similarly, the forks are numbered from 0 to 4, so that Philosopher...
git patches against 23d7177a084, renamed to *.txt as GitHub doesn't like *.patch. Add a clean target to start with a clean slate. [0004-Add-clean-target-to-Makefile.patch.txt](https://github.com/AllenDowney/LittleBookOfSemaphores/files/5761744/0004-Add-clean-target-to-Makefile.patch.txt) Today's LaTeX doesn't do {\bf ...} anymore....
Attached git patches against 23d7177. Files renamed to *.txt as GitHub doesn't like *.patch [0001-Need-another-run-of-LaTeX.patch.txt](https://github.com/AllenDowney/LittleBookOfSemaphores/files/5760545/0001-Need-another-run-of-LaTeX.patch.txt) [0002-Complete-dependencies.patch.txt](https://github.com/AllenDowney/LittleBookOfSemaphores/files/5760546/0002-Complete-dependencies.patch.txt) [0003-Generate-table.eps-via-Makefile.patch.txt](https://github.com/AllenDowney/LittleBookOfSemaphores/files/5760547/0003-Generate-table.eps-via-Makefile.patch.txt) [0004-Add-clean-target-to-Makefile.patch.txt](https://github.com/AllenDowney/LittleBookOfSemaphores/files/5760548/0004-Add-clean-target-to-Makefile.patch.txt)
Metadata
Owner
Metadata
LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.