oscar-system / Singular.jl

Julia package for the Singular library
Other
30 stars 31 forks source link

Provide a stale_age to mkpidlock #815

Closed fingolfin closed 5 days ago

fingolfin commented 2 weeks ago

Normally the pidlock should be held for just a few seconds; waiting for its age to exceed 60 seconds until we consider it stale should be very safe. In fact Julia waits 5 times longer if the process creating the pid lock file seems to be still running.

On the other hand, without a stale age, the lock file is never considered stale, even if the process creating it definitely is gone, and so the user can get stuck, which obviously is very bad. To get unstuck they need to manually delete the lock file.