Thread synchronization mechanisms are widely used in software development for assuring the correct work of multithreaded applications, especially the correct access to shared variables. However these mechanisms come at a ...