Summary

The approach from previous lesson shows how real locks are built these days: some hardware support, in the form of a more powerful instruction, and some operating system support, e.g., in the form of park() and unpark() primitives on Solaris, or futex on Linux. Of course, the details ...