Lock Order Verification: WITNESS

• Run-time lock order monitor

  • Tracks lock acquisitions
  • Builds graph reflecting order
  • Detects and warns about cycles

• Supports both hard-coded and dynamic discovery of order

• Expensive but useful