Jak navrhnout distribuovaný zámek pomocí Redis? Jaké krajní případy je třeba zvážit, aby se předešlo závodním podmínkám?