Under Linux, the maximum process ID is given by the pseudo-file /proc/sys/kernel/pid_max.
Linuxでは、プロセス識別子の最大値は擬似ファイル /proc/sys/kernel/pid_max にある。