A robust redis lock