Hello, I'm not sure about the statement made in this section: "In contrast, Linux avoids these hints, in- stead getting similar results from a mechanism called futexes". Futexes are just wrappers around kernel mutexes, to speed up the case of acquiring a free lock. As such they do not solve the priority inversion problem, and are certainly not a replacement for disabling pre-emption when using spin locks. Kernel-level mutexes may address priority inversion by employing one of the established protocols (priority inheritance or priority protection). Am I missing something? --Elad
