The JustPidFile libraray is a very simple, yet functional, pid file implementation.
This way the first process accessing the pid file, is able to write there its PID (Process ID). The next one will check the file, the pid inside, and will check if the process with the PID exists. If it exists, then an exception is thrown.
If the pid file doesn't exist, or contains garbage data, or an integer with a PID of a not running process, then the directory can be "locked".
"Locking" a directory is done by creating a ".pid" file in the directory with the locking process ID inside.
Locking a directory with a simple file works as long as everybody uses the same mechanism. There is nothing that forbids any other process to change files in the "locked" directory. The purpose of this library is to avoid having two processes writing to the same files at the same time.
Lock a directory using the simple functional API
import justpid as jp
directory = "abc"
try:
jp.lock(directory)
# some logic
jp.unlock(directory)
except jp.LockException:
print("Cannot lock a directory")
Use a context manager to automatically unlock the directory at the end
import justpid as jp
with jp.Lock(directory):
# do something here
# the directory is exlusively locked
# and here is unlocked
There are some hardcoded things like:
- The pid file is in side the locked directory and is named .pid
- The main api is made of functions.
- There is also a context manager, just to make life a little bit simpler.
Maybe? Who knows. I need.