Oui, c'est garanti. Le processus aura le même PID même si son image sera remplacée par une autre par l'appel système exec.
Eh bien...surtout .
Comme d'autres affiches l'ont dit, tout processus particulier conservera son PID indéfiniment. Même à travers une ou plusieurs instances de exec .
Cependant , un programmeur souhaitant échapper à cette garantie sur une machine Unix n'aurait aucun problème. Il ferait simplement fork , ignorez les signaux HUP dans la fille, puis tuez le processus mère. Le résultat serait que la fille continue avec un nouveau PID et donne l'impression que le processus a changé son PID.
Les PID sous Linux et Windows sont uniques à ce processus. Les PID ne changeront jamais.