Distributed worker pools using redis