Comment concevoir un verrouillage distribué en utilisant Redis ? Quels cas limites doivent être pris en compte pour éviter les conditions de course ?