Leverage redis-semaphore for locking mutexes