Я пишу Python script, который может или не может (в зависимости от множества вещей) работать в течение длительного времени, и я хотел бы убедиться, что несколько экземпляров (запущенных через cron) не шаг друг на друга. Логичный способ сделать это, похоже, является файлом блокировки на основе PID... Но я не хочу заново изобретать колесо, если для этого уже есть код.
Итак, есть ли там модуль Python, который будет управлять деталями файла блокировки на основе PID?