LockingΒΆ
- Lock types and their rules
- Runtime locking correctness validator
- Lock Statistics
- Kernel Lock Torture Test Operation
- Generic Mutex Subsystem
- RT-mutex implementation design
- RT-mutex subsystem with PI support
- Sequence counters and sequential locks
- Locking lessons
- Wound/Wait Deadlock-Proof Mutex Design
- Proper Locking Under a Preemptible Kernel: Keeping Kernel Code Preempt-Safe
- Lightweight PI-futexes
- Futex Requeue PI
- Hardware Spinlock Framework
- Percpu rw semaphores
- A description of what robust futexes are
- The robust futex ABI