Implementing force unlocking of locks held by crashed nodes