Redis Lettuce로 구현하는 안전한 분산 락 — 실시간 정합성 보장