Getting the PID from random numbers in PHP

Certifiably random: Swiss researchers claim perfect random number source

USN-8094-4: Linux kernel (Azure) vulnerabilities