Leverage redis-semaphore for locking mutexes

Prefer double-quoted strings unless you need single quotes to avoid extra backslashes for escaping.