Java - 동기화시 휘발성이 필요합니까? 다음의 간단한 시나리오에서

Question

:

class A { 
    int x; 
    Object lock; 

    ... 

    public void method(){ 
    synchronized(lock){ 
     // modify/read x and act upon its value 
    } 
    } 
} 

X 필요는 휘발성해야합니까? 나는 동기화가 원 자성을 보장한다는 것을 알고 있지만 가시성에 대해서는 확신하지 못합니다 ... 자물쇠 -> 수정 -> 자물쇠 -> 자물쇠 보장, 두 번째 잠금 후 x 값이 "신선한"것인가?

Answer 1

아니요, 동기화 된에 이미 메모리 장벽이 삽입되어 있으므로 모든 스레드는 현재 스레드가 수행하는 업데이트를보고 다른 스레드가 동일한 잠금에서 동기화한다는 사실을 고려합니다.

휘발성은 동기화 된 것처럼 메모리 장벽이 붙어 있습니다. CPU에 따라 하나의 스레드에서 업데이트가 다른 스레드에서 볼 수 있도록하는 저장소 /로드/전체 장벽이 있습니다. 나는 이것이 CPU 캐시 무효화으로 수행된다고 가정합니다.

편집 방금 ​​읽은 것으로부터 저장소 버퍼가 CPU 캐시로 플러시되고 이것이 가시성을 얻는 방법입니다.

Answer 2

간체 대답 : 스레드 A가 필드를 업데이트 한 다음 잠금을 해제하면 스레드 B는 스레드 B가 동일한 잠금을 획득 한 후 업데이트를 보게됩니다.

참고 : "잠금 해제"는 synchronized 블록을 종료한다는 것을 의미하며 "동일한 잠금을 획득합니다"는 동일한 개체를 동기화한다는 의미입니다.