Untuk apa file pid dan kunci?

Saya sering melihat bahwa program menentukan file pid dan kunci. Dan saya tidak yakin apa yang mereka lakukan. Misalnya, saat mengompilasi nginx: --pid-path=/var/run/nginx.pid \ --lock-path=/var/lock/nginx.lock \ Adakah yang bisa menjelaskan hal