일관성 이전 발생의 이해
JLS(Java 언어 사양) 17장에서는 "일관성 이전 발생"을 다음과 같이 정의합니다. 다음은 다음과 같습니다.
"A의 모든 읽기 r에 대해 일련의 A 작업이 일관되기 전에 발생합니다. 여기서 W(r)는 r에 표시된 쓰기 작업이고, hb(r , W(r)) 또는 w.v = r.v 및 hb(W(r), w) 및 hb(w, r)과 같은 쓰기 w가 A에 존재합니다."
이 정의는 단순화될 수 있습니다. 다음과 같이: 일관되기 전에 일련의 작업이 발생하려면 읽기가 나중에 발생하는 쓰기를 확인해서는 안 되며, 쓰기 후에는 이전 값을 확인하는 읽기가 이어져서는 안 됩니다.
질문
처음 두 가지 질문:
세 번째 질문:
실행 순서에서 작업 왼쪽에 있는 숫자는 작업이 실행된 순차적 순서를 나타냅니다.
네 번째 질문:
예, A와 B가 휘발성 필드가 아니기 때문에 r2와 r1 모두 초기 쓰기 0을 보았다는 점을 이해하신 것이 맞습니다. 비휘발성 필드는 레지스터에 저장될 수 있으며 이로 인해 일시적인 불일치가 발생할 수 있습니다.
다섯 번째 및 여섯 번째 질문:
설명된 상황 읽기가 나중에 발생하는 쓰기를 확인하는 두 번째 실행 순서에서는 실제 다중 스레드 시나리오에서 발생할 수 있습니다. 예는 다음과 같습니다.
이러한 불일치를 방지하려면 휘발성 필드를 사용하여 읽기 및 쓰기가 일관적인 방식으로 수행되기 전에 수행되도록 할 수 있습니다.
위 내용은 Java 언어 사양의 맥락에서 \"일관성 이전에 발생\"은 무엇을 의미합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!