이전에 일어난 일에 대한 자세한 소개

프로그램을 실행할 때 프로세서와 컴파일러는 성능을 향상시키기 위해 명령을 재정렬하는 경우가 많지만 원하는 대로 정렬할 수는 없습니다. 1. 단일 명령 스레드 환경에서는 프로그램 실행 결과를 변경할 수 없습니다. 2. 데이터 종속성이 있는 경우 재정렬이 허용되지 않습니다. LZ의 이전 블로그를 읽었다면 실제로 이 두 지점이 하나의 지점에 귀속될 수 있다는 것을 알게 될 것입니다. 사전 발생 원칙을 통해 추론할 수 없습니다. 예, JMM은 임의의 순서를 허용합니다. as-if-serial 의미 체계 as-if-serial 의미 체계는 최적화를 위해 모든 작업을 재정렬할 수 있지만 재정렬 후 실행 결과가 변경될 수 없음을 보장해야 하며, 컴파일러, 런타임, 프로세서 모두 as-if-를 준수해야 함을 의미합니다. 직렬 의미론. as-if-serial은 단일 스레드 환경만 보장하며 다중 스레드 환경에서는 유효하지 않습니다. 간단한 예를 사용하여 설명하겠습니다. int a = 1; 프로그램을 실행할 때 성능을 향상시키기 위해 프로세서와 컴파일러는 명령을 재정렬하는 경우가 많지만 원하는 대로 정렬할 수는 없습니다. 다음 두 가지 조건을 충족해야 합니다. 1. 단일 스레드에서 프로그램 실행 결과는 환경에서 변경될 수 없습니다. 2. 데이터 종속성이 있는 경우 재정렬이 허용되지 않습니다. 실제로 이 두 지점은 하나의 지점에 귀속될 수 있다는 것을 알게 될 것입니다. 즉, JMM은 임의의 순서를 허용하므로 사전 발생 원칙을 통해 추론할 수 없습니다. as-if-serial 의미 as-if-se

2. 【죽은 Java 동시성】------Java 메모리 모델 발생 이전

소개: on 이 블로그에서 post ([Fuck Java Concurrency] - 휘발성 구현 원리 심층 분석) LZ는 스레드 로컬 메모리와 메인 메모리의 존재로 인해 재정렬과 결합되어 멀티 스레드 환경에서 가시성 문제가 발생할 것이라고 언급했습니다. . 따라서 동기화와 잠금을 올바르게 사용하면 스레드 A가 변수 a를 수정하면 언제 스레드 B에 표시됩니까? 스레드에 의해 수정된 변수가 다른 스레드에 표시되는 경우 모든 시나리오를 규정할 수는 없지만 특정 규칙은 JDK 5부터 발생합니다. JMM은 ha

3을 사용합니다. 실제 동기화 알고리즘(3) - RecentResultsProvider

소개: 이 기사를 제출해 주신 trytocatch에게 감사드립니다. 서문 이 기사를 읽기 전에 독자는 이전 발생에 대해 잘 알고 비차단 동기화의 몇 가지 기본 개념을 이해해야 합니다. 이 기사에서는 주로 사전 발생 규칙의 유연한 적용, 문제 해결을 위한 몇 가지 팁 및 문제 분석 방법에 중점을 둡니다. 배경 소개 원래 요구 사항은 다음과 같습니다. 정기 교체 도구를 작성하고 있었습니다

[관련 Q&A 권장 사항]:

java 메모리 모델은 의미 순서 문제가 발생하기 전에 발생합니다

위 내용은 이전에 일어난 일에 대한 자세한 소개의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!