• 스케쥴러는 1초마다 N명의 사용자를 승격시켜준다.
• 이때 흐름은 대기열에서 ‘N명 ZPOPMIN → Active 상태로 SET(활성 유저로 등록)’ 하는 흐름이다.
• 유저의 순번 조회 API는 zRank이며 만약 두 커맨드 사이에 순번 조회가 이루어지면 사용자는 대기열에 없다는 응답을 받게 되고, 튕겨나갈 위험이 있다.
• 따라서 ZPOPMIN + SET 을 원자적으로 처리하도록 한다.