[JAVA] 스레드 안전한 공유 객체를 만드는 세 가지 축: 불변, 공개, confinement

·
Language/Java
1. 이 글에서 정리할 것이 글은 공유 객체를 어떻게 설계·공개해야 안전한가를 JMM(Java Memory Model)과 JIT 관점까지 엮어서 정리한 것이다. 핵심 축은 세 가지다.공유 가변 상태를 가능한 줄이고, 불변/결과적 불변으로 최대한 끌어올릴 것객체를 어떻게 공개하느냐(safe publication) 를 설계에 포함할 것아예 공유하지 않을 수 있을 때는 thread confinement로 escape 자체를 막을 것2. 공유 상태의 세 단계: 불변 / 결과적으로 불변 / 가변공유 상태는 다음 세 수준으로 나눠서 보는 게 이해가 쉽다.2.1 완전 불변(Immutable)조건은 세 가지 정도로 정리할 수 있다.생성 이후 상태가 절대 변하지 않는다 (setter 없음, 내부 가변 구조도 변경되지 않..