Sí, está garantizado. El proceso tendrá el mismo PID incluso si su imagen será reemplazada por otra mediante una llamada al sistema exec.
Bueno... principalmente .
Como han dicho otros carteles, cualquier proceso en particular retendrá su PID indefinidamente. Incluso a través de una o más instancias de exec .
Sin embargo , un programador que quisiera evadir esa garantía en una caja de Unix no tendría ningún problema. Sería simple fork , ignore las señales HUP en la hija y luego elimine el proceso madre. El resultado sería que la hija continuaría con un nuevo PID y daría la apariencia de que el proceso cambió su PID.
Los PID en Linux y Windows son exclusivos de ese proceso. Los PID nunca cambiarán.