Wie kann man eine verteilte Sperre mit Redis entwerfen? Welche Randfälle sollten berücksichtigt werden, um Race Conditions zu vermeiden?