a lock manager based on redis