Redis db migration Redis as simple distribution lock for simple cases