That lock is fundamentally broken because Pids aren't unique identifiers, and the presence of the pid in ps isn't a strong enough guarantee that the lock holder is actually still running