We're currently discussing Synchronization in our Operating Systems class and it just feels inadequate. This looks like a solid material to dive deeper into the topic :)