ioredfour is a Redis-based binary semaphore and mutex implementation with consistency guarantees,...