Mathematical Model of Locking
N transactions each own K/2 locks on average
Each lock request has probability KN/2D of conflicting with an existing lock.
Each transaction requests K locks, so its probability of experiencing a conflict is K2N/2D.
Probability of a deadlock is proportional to K4N/D2
- Prob(deadlock) / Prop(conflict) = K2/D
- if K=10 and D = 106, then K2/D = .0001
- T time between lock requests