DBRaven
Relationship · Vulnerable To
Source: Workload·Target: Failure Mode

Summary

Financial transaction workloads are vulnerable to deadlocks when concurrent transactions acquire locks on the same account or balance rows in different orders.

Evidence

  • ·deadlock's canonical cause is lock-order inversion: A locks (X,Y) while B locks (Y,X) (failure_modes/deadlock.yaml)
  • ·financial_transaction_workload is write-heavy with ordering_required, doing concurrent account-balance updates (workloads/financial_transaction_workload.yaml)

Evidence grounding

Grounded, 2 supporting items

Concurrent debits/credits on the same account rows are the textbook deadlock-inducing access pattern.

financial_transaction_workload vulnerable to deadlock: DBRaven