- Há apenas um número finito de PIDs disponíveis, portanto, é possível (embora improvável) que o processo seja encerrado e, em seguida, que algum processo completamente diferente seja iniciado com o mesmo PID. Para ter certeza de que você estava olhando o processo certo com
ps
, você também deveria verificar a hora de início, mas quem se incomoda com isso? - O pidfile é normalmente gerenciado por um script rc, não pelo processo em si, e, como você suspeita, é possível que eles sejam deixados para trás quando um processo ou servidor falha. Então, tem que ser decidido de alguma forma que o pidfile é seguro para ser removido, talvez usando
ps
para procurar um processo com esse PID. Mas, veja o item 1.