Kako dizajnirati distribuirani zaključavanje koristeći Redis? Koje krajnje slučajeve treba razmotriti da bi se izbegle trkačke uslove?