Come progettare un lock distribuito usando Redis? Quali casi limite devono essere considerati per evitare condizioni di gara?