Как PID (идентификатор процесса) создается в режиме ядра под Windows?

Я хотел бы знать, как идентификаторы процесса (также известные как PID) генерируются в Windows. Является ли он уникальным для разных машин? например, рассмотрим идентификатор 5856, который в настоящее время назначен моей программе Firefox. То же самое для того же исполняемого образа на другом компьютере?