How would a global lock fix this?  Presumably you would have a process that is trying to decrement get a global lock and then crash, and eventually release the lock anyway, right?  So you get the same outcome.