Fixing deadlocks via lock pre-acquisitions
Automated atomicity-violation fixing