Distributed timer, backed by Redis.