Distributed mutex and semaphore based on Redis - View it on GitHub