working redis mutexes into the lock manager