CH15-2 · MODEL

동기화와 공유 상태: 실제 코드에서 남는 경계

AtomicInteger의 incrementAndGet처럼 한 변수의 갱신에는 적합하지만 여러 필드 불변식은 별도 락이나 불변 상태 교체가 필요합니다.

확장 점검

Atomic 클래스는 단일 변수의 원자 연산을 제공한다

AtomicInteger의 incrementAndGet처럼 한 변수의 갱신에는 적합하지만 여러 필드 불변식은 별도 락이나 불변 상태 교체가 필요합니다.

확장 점검

복합 동작은 하나의 원자 경계로 묶는다

확인 후 변경처럼 여러 단계가 하나의 불변식을 지키면 같은 락 안에서 수행해야 합니다.

확장 점검

Concurrent 컬렉션은 순회 계약도 다르다

동시 변경을 허용하는 대신 스냅샷이나 약한 일관성 등 구현별 순회 의미를 가집니다.

확장 조건 동시 변경을 허용하는 대신 스냅샷이나 약한 일관성 등 구현별 순회 의미를 가집니다.