Little Book of Semaphores<p><a href="https://greenteapress.com/wp/semaphores/" rel="nofollow">https://greenteapress.com/wp/semaphores/</a><p>while not on the front page is a really good book that you should read if you are interested in multithreaded programming. It has a bunch of interesting puzzles and solutions. Even if you don't use semaphores, these exercises will be useful in increasing your understanding.
Just few hours ago, while driving, I was driving and thinking of one of the books - Little Book of Semaphores.
I need to go through some the algorithms and try to formally verify them in COQ, since I'm learning how to do formal proves.