7.7 Recovery from Deadlock - si-manual