Cum se proiectează un lock distribuit folosind Redis? Ce cazuri extreme trebuie luate în considerare pentru a evita condițiile de cursă?