Redis kullanarak dağıtık bir kilit nasıl tasarlanır? Yarış koşullarını önlemek için hangi uç durumlar dikkate alınmalıdır?