Pthreads, an API for multi-threading in PHP