File PID

Un file .pid è un piccolo file di testo semplice utilizzato dai demoni Unix e dai servizi in background per registrare il proprio ID di processo (PID) all'avvio. Il file contiene un singolo intero decimale - il PID - opzionalmente seguito da un carattere di nuova riga, rendendo la dimensione tipica del file di soli 2-10 byte.

I file .pid servono a tre scopi pratici. In primo luogo, fungono da blocco (lock): un servizio legge il file all'avvio e controlla se un processo con quel PID è ancora in esecuzione, prevenendo istanze duplicate. In secondo luogo, consentono agli script di inizializzazione e ai gestori di servizi di inviare segnali (SIGTERM, SIGHUP) al processo corretto senza una ricerca separata. Terzo, gli strumenti di monitoraggio li usano per rilevare se un servizio è andato in crash.

I file sono convenzionalmente memorizzati in /var/run/ su Linux o /tmp/ su altri sistemi Unix e prendono il nome dal servizio proprietario - ad esempio, nginx.pid o mysqld.pid. Quando il processo termina correttamente, rimuove il proprio file .pid; un file lasciato dopo un crash è chiamato *stale PID file* (file PID obsoleto) e deve essere rimosso prima di riavviare il servizio.

I formati correlati includono i file .lock, che svolgono un ruolo simile di mutua esclusione. I moderni sistemi Linux che eseguono systemd si affidano sempre più al tracciamento dei processi basato su cgroup invece dei file .pid, riducendone gradualmente l'uso nelle definizioni delle nuove unità di servizio.