I&#x27;m actually exploring the usage of Redlock in one my projects and the first question I&#x27;ve is - How can you count on a program to end in a given time? That feels similar to Halting problem. The only option I&#x27;ve is to use an external program to kill the program that&#x27;s using the lock after the lock&#x27;s expiration period.