가시성
한 스레드의 쓰기를 다른 스레드가 보는 시점을 다룬다.
공유 상태 보장의 세 축
동시성 오류를 가시성 하나로 설명하면 원자성과 순서성 결함을 놓친다.
공유 상태 접근
원자성
중간 단계 없이 한 사건처럼 관찰되는지를 다룬다.
순서성
재배치에도 선행 관계가 유지되는지를 다룬다.
불변식
여러 값이 함께 만족해야 하는 업무 조건을 다룬다.
핵심: value++ 결함은 최신값 관찰보다 읽기·계산·쓰기의 결합 여부가 핵심이다.
동시성 오류를 가시성 하나로 설명하면 원자성과 순서성 결함을 놓친다.
한 스레드의 쓰기를 다른 스레드가 보는 시점을 다룬다.
중간 단계 없이 한 사건처럼 관찰되는지를 다룬다.
재배치에도 선행 관계가 유지되는지를 다룬다.
여러 값이 함께 만족해야 하는 업무 조건을 다룬다.
핵심: value++ 결함은 최신값 관찰보다 읽기·계산·쓰기의 결합 여부가 핵심이다.