Redis backed synchronization tools.