WorkerPool helpers for PHP