Thread synchronization library for PHP