A distributed semaphore and mutex built on Redis.