Como projetar um bloqueio distribuído usando Redis? Quais casos extremos devem ser considerados para evitar condições de corrida?