port of java.util.concurrent to PHP based on pthreads-extension