Distributed lock manager using Redis