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