Есть ли в Linux какая-либо политика в отношении утилизации использованных PID? Я имею в виду, если PId уже использовался, сколько позже он будет использоваться снова?