Recovery from Inconsistent States

Implement transactional atomicity to ensure that partial operations are not left behind after a deadlock resolution.