작은 불변 상태와 큰 가변 상태

상태 표현 방식이 CAS 복사 비용과 잠금 단순성을 바꾼다.

작은 record

새 객체 전체를 계산해 AtomicReference로 교체한다.

CAS 가능

큰 집합

후보마다 전체 복사가 필요할 수 있다.

재계산 큼

복수 필드 Lock

한 임계 영역에서 좌석과 매출을 함께 바꾼다.

명료함

외부 I/O

CAS와 Lock 안 모두 오래 점유한다.

경계 밖 이동
판정함께 참이어야 하는 값은 하나의 전이로 묶는다.

핵심: 원자 필드 수를 늘리는 일은 복합 불변식을 자동으로 보장하지 않는다.