This (or some other tool like it) is a great skill to have if you deal with concurrent datastructures. I used it to deal with a lock-free multithreaded ringbuff

This (or some other tool like it) is a great skill to have if you deal with concurrent datastructures. I used it to deal with a lock-free multithreaded ringbuffer at a previous job and it made my life much easier. The Spin Book is a good read.