Distributed concurrency models using Redis.