A distributed pool management system for php-resque