tool for concurrency learning a tool for examing correctness of my implement for classic concurrency sync problems blogs