什么是pid文件

在Linux/Unix下，很多程序比如nginx会启动多个进程，而发信号的时候需要知道要向哪个进程发信号。不同的进程有不同的pid（process id）。将pid写进文件可以使得在发信号时比较简单。比如要重新加载nginx的配置可以这样写：

kill -HUP `cat /path/to/nginx.pid`