Как проектировать систему против priority inversion end-to-end?

Ceiling/наследование, короткие CS, запрет вложенных неупорядоченных lock, разделение ресурсов hard/soft.

Разбор

• Статический анализ lock order.
• Трассировка.
• Код review.
• Тесты инверсии.

Итог

Инверсия лечится архитектурой ресурсов.