Tag
mutexes
- Apr 24, 2026 Priority Inversion and the Protocols That Bound It How a low-priority lock holder can block a high-priority thread indefinitely, what inheritance and ceiling protocols each guarantee, and why both need the scheduler inside the lock. operating systems
- Mar 20, 2026 Condition Variables and the Lost Wakeup Problem Why checking a predicate and then sleeping is not atomic, how a condition variable closes the window with the mutex it is paired with, and why the wait must be a loop. operating systems