각 카운터를 AtomicInteger로 바꿨습니다. 두 카운터 합계 같은 복합 불변식에는 왜 별도 원자 경계가 필요한가요?

꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →

잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?

답변과 점검 포인트 펼치기답변 접기

구두 답변

정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.

각 카운터 증가가 원자적이어도 두 값을 함께 읽거나 A 감소·B 증가를 하나의 거래로 수행하는 것은 원자적이지 않습니다. 독자는 중간 조합을 볼 수 있습니다.

공통 lock·불변 묶음 CAS·단일 owner 등으로 불변식 범위를 보호합니다. AtomicInteger를 썼다는 사실만으로 전체 transaction이 되지 않습니다. 동시 읽기·예외·재시도에서 합계와 외부 효과를 검사합니다.

이해가 드러나는 지점을 확인해 보세요.

각 카운터 증가가 원자적이어도 두 값을 함께 읽거나 A 감소·B 증가를 하나의 거래로 수행하는 것은 원자적이지 않습니다. 독자는 중간 조합을 볼 수 있습니다.
동시 읽기·예외·재시도에서 합계와 외부 효과를 검사합니다.

놓치기 쉬운 조건과 오해를 짚어 보세요.

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: 각 카운터 증가가 원자적이어도 두 값을 함께 읽거나 A 감소·B 증가를 하나의 거래로 수행하는 것은 원자적이지 않습니다.

하나 더 질문하며 이해의 범위를 넓혀 보세요.

득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.

답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.