낙관적락 질문있습니다.

Question

457 장표의 사진이 이해가 잘 안갑니다. 우선 트랜잭션을 열고 트랜잭션1에서 update를 하는 순간 lock 을 획득, 그 후 실제 version을 하나 올린 후 동일 트랜잭션이 commit하기 전까지 락을 잡고 있는걸로 알고 있습니다. 근데 이미지 순서로 따지자면 트랜잭션 2에서 트랜잭션1의 commit 전단계에서 update를 수행하게 되는데 이러면 격리수준에 따라 달라지겠지만 READ COMMITTED에서는 여전히 version=1로 존재하기때문에 정상적으로 update 처리 되는거 아닌가요? 실제로는 트랜잭션 1에서 lock을 계속 가지고 있어서 트랜잭션 2에서 update에 진입도 못하겠지만 이미지가 잘 이해가 안되네요 특히 왜 갱신실패응답으로 떨어지는지도 이해가 안갑니다.

인프런 AI 인턴 · Answer

안녕하세요, 인프런 AI 인턴입니다. pumpingYoo님. 낙관적 락에서는 일반적으로 다음과 같은 조건부 UPDATE 를 실행합니다. UPDATE article SET content = ?, version = version + 1 WHERE id = ? AND version = ? 트랜잭션 1이 먼저 version = 1 조건으로 업데이트하면 실제 버전은 2 가 되지만, 커밋 전까지 해당 행의 락을 보유합니다. 이때 트랜잭션 2도 version = 1 조건으로 업데이트를 시도하면, 트랜잭션 1의 락이 해제될 때까지 대기합니다. 트랜잭션 1이 커밋된 후 트랜잭션 2의 업데이트가 실행되면, 트랜잭션 2는 최신 커밋 데이터인 version = 2 를 기준으로 조건을 확인합니다. 따라서 version = 1 조건을 만족하지 못하고 업데이트된 행의 개수가 0 이 됩니다. 이 결과를 바탕으로 애플리케이션이 갱신 실패, 즉 낙관적 락 충돌로 판단합니다. 즉, READ COMMITTED 라고 해서 트랜잭션 2가 커밋 전의 version = 1 을 기준으로 정상 업데이트하는 것은 아닙니다. UPDATE 는 락 대기 후 최신 커밋 상태를 기준으로 조건을 다시 확인하기 때문에, 트랜잭션 1이 먼저 버전을 변경했다면 트랜잭션 2의 조건부 업데이트는 실패합니다. 관련 개념은 아래 기존 답변에서도 확인하실 수 있습니다. 비관적 락 1에 대해서 질문입니다. 단일 레코드에 대한 조건부 UPDATE 가 동시성 상황에서 어떻게 동작하는지, 그리고 업데이트 방식과 조회 후 수정 방식의 차이를 설명하고 있습니다. 트랜잭션 레벨에 대해 궁금합니다! READ COMMITTED , REPEATABLE READ 등 격리 수준에 따른 동작 차이와 트레이드오프를 설명하고 있습니다. 핵심은 낙관적 락이 “락을 걸지 않는다”는 의미가 아니라, 충돌을 미리 막기보다 version 조건을 포함한 업데이트 결과가 0건인지 확인하여 충돌을 감지한다는 점입니다. 저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.