Как реализовать **distributed lock** через Redis (`SET NX EX`)? Какие проблемы у простой реализации (lost lock из-за GC pause, clock drift)? Что такое **Redlock** и почему многие (включая Martin Kleppmann) его критикуют?