¿Cómo diseñar un bloqueo distribuido usando Redis? ¿Qué casos extremos se deben considerar para evitar condiciones de carrera?