[bonzini]

The book is good but it has a couple important drawbacks:

* while it tells you how to do lock-free programming but doesn't teach you why, nor whether you should it.

* it has a relatively narrow focus on linearizability, but the truth is memory is neither linearizable nor sequentially consistent. These days it is agreed that Lamport's "happens before" relationship and acquire-release are a better way to reason on multithreaded code.