Ako navrhnúť distribuovaný zámok pomocou Redis? Aké krajné prípady je potrebné zvážiť, aby sa predišlo súťažným podmienkam?