SQL: UPSERT 경쟁 동작을 검증하는 법

검증 범위

UPSERT 경쟁에서 유지해야 할 동작과 바뀌어야 할 결과를 나눠 적습니다. 동일 key의 concurrent upsert는 unique constraint와 row lock에서 경합하며 update 식이 lost update 없이 불변식을 지키는지 확인해야 합니다.

대표·경계·실패 조건

동시성 문제는 단일 성공으로 확인할 수 없습니다. 자원 획득 순서, transaction 범위, retry와 timeout을 그린 뒤 lock owner·waiter와 중복 요청 ID를 같은 시각으로 모읍니다.

조건	확인할 내용
대표 사례	자주 쓰는 조건에서 기대 결과가 나오는가
경계	값이나 동작이 바뀌는 지점이 안전한가
실패	오류가 정해진 방식으로 드러나고 중간 상태가 남지 않는가
반복	다시 실행해도 결과가 예측 가능한가

완료 판단

수정 전 실패 사례는 사라지고 기존 정상 사례는 유지돼야 합니다. 대표값과 경계값, 실제 데이터 분포에서 결과 정합성과 plan·실행 시간·I/O를 비교한다. barrier를 사용한 동시 테스트와 실패 주입으로 중복 결과, 교착, lost update와 retry 폭풍이 없는지 검증합니다. 한 번의 가장 좋은 결과나 화면 한 장으로 완료를 선언하지 않습니다. 실패 입력과 기대 결과를 자동 test나 실행 가능한 점검으로 남깁니다.

공식 문서와 적용 범위

• MariaDB SQL Statements (새 창에서 열림)

문서의 기본값과 동작은 version에 따라 달라질 수 있습니다. 현재 DB 제품과 version, schema·index·통계 상태, 데이터 분포와 동시 부하에서 다시 확인합니다.