Switch to redis-semaphore