정원 1석 슬롯에 여러 고객이 동시에 예약을 시도합니다. 락이 없으면 오버부킹이 발생하고, 제안서 4.1의 2단계 락(Redis 분산 락 + FOR UPDATE)을 적용하면 정확히 1건만 확정됩니다.
각 요청이 락 없이 동시에 '슬롯 가용'을 쿼리하여 정원 1석을 초과한 예약이 중복 커밋됩니다.
Redis 락으로 직렬 큐잉 처리 후 DB 레벨 Row 락으로 재검증하여 오버부킹을 완벽 차단합니다.