Abstract: Synchronization mechanism is one of the key techniques to control access to shared resources in computer science. However, since these concepts are abstract, and most of the textbooks are ...