Qu'est-ce qu'un fichier .pid et que contient-il ?

Question

Je suis récemment tombé sur un fichier avec l'extension .pid et j'ai exploré à l'intérieur mais je n'ai pas trouvé grand chose. La documentation dit :

Un fichier Pid est un fichier contenant le numéro d'identification du processus (pid) qui est stocké dans un emplacement bien défini du système de fichiers permettant ainsi à d'autres programmes de trouver le pid d'un script en cours d'exécution.

Quelqu'un peut-il m'éclairer sur ce point, ou me guider vers les détails de ce qui est contenu dans le fichier pid ?

Answer 1

Le fichier pid contient l'identifiant du processus (un numéro) d'un programme donné. Par exemple, Apache HTTPD peut écrire son numéro de processus principal dans un fichier pid - qui est un fichier texte ordinaire, rien de plus - et utiliser plus tard les informations qu'il contient pour s'arrêter. Vous pouvez également utiliser ces informations pour tuer le processus vous-même, en utilisant la commande cat filename.pid | xargs kill

Answer 2

Pidfile contient le pid d'un processus. Il s'agit d'une convention permettant aux processus qui s'exécutent depuis longtemps d'être plus conscients d'eux-mêmes. Un processus serveur peut l'inspecter pour s'arrêter, ou avoir l'heuristique que son autre instance est déjà en cours d'exécution. Les fichiers Pid peuvent également être utilisés pour tuer manuellement un risque, par ex. pkill -F <some.pid>

Answer 3

Pour comprendre les fichiers pid, reportez-vous à ce qui suit DOC

Parfois, certaines applications nécessitent une prise en charge supplémentaire par des plugins et des utilitaires supplémentaires. Il garde donc la trace de ces utilitaires et des identifiants d'exécution des processus de plugins en utilisant ce fichier pid comme référence.

C'est pourquoi, chaque fois que vous redémarrez une application, tous les plugins nécessaires et les applications dépendantes doivent être redémarrés car le fichier pid devient obsolète.