[Fighting Java Concurrency]-----Reordering of Java Memory Model-javaTutorial-php.cn

Table of Contents

as-if-serial semantics

Home

Java

javaTutorial

[Fighting Java Concurrency]-----Reordering of Java Memory Model

黄舟

Feb 24, 2017 am 10:05 AM

java memory model

When executing a program, in order to provide performance, processors and compilers often reorder instructions, but they cannot be reordered at will. It is not how you want to sort it. It needs to meet the following two conditions:

1. The result of program running cannot be changed in a single-threaded environment;
2. Reordering is not allowed if there are data dependencies

If you have read LZ’s previous blog, You will know that in fact, these two points can be attributed to one thing: it cannot be deduced through the happens-before principle, and JMM allows arbitrary ordering.

as-if-serial semantics

as-if-serial semantics means that all operations can be reordered for optimization, but you must ensure that they are executed after reordering The result cannot be changed, and the compiler, runtime, and processor must adhere to as-if-serial semantics. Note that as-if-serial only guarantees a single-threaded environment and is invalid in a multi-threaded environment.

Let’s use a simple example to illustrate:

int a = 1 ;      //A
int b = 2 ;      //B
int c = a + b;   //C

Copy after login

The three operations of A, B, and C have the following relationship: A and B do not have data dependencies, and A and C, B and C has a data dependency relationship, so when reordering, A and B can be sorted arbitrarily, but they must be in front of C. The execution order can be A –> B –> C or B –> A –> C. But no matter what the execution order, the final result C is always equal to 3.

as-if-serail semantics protects single-threaded programs, which can ensure that the final result of the program is always consistent under the premise of reordering.

In fact, for the above code, they have such a happened-before relationship:

A happens-before B
B happens -before C
##A happens-before C

1 and 2 are program sequence rules, and 3 is transitivity. However, doesn't it mean that through reordering, B may be executed before A? Why does A happen-before B? Here again, it is stated that A happens-before B is not that A will definitely be executed before B, but that A is visible to B, but relative to this program, the execution results of A do not need to be visible to B, and their reordering will not affect the results. So JMM will not consider this reordering illegal.

We need to understand this: improve the operating efficiency of the program as much as possible without changing the execution results of the program.

Below we are looking at an interesting piece of code:

public class RecordExample1 {
    public static void main(String[] args){        
    int a = 1;        
    int b = 2;        
    try {
            a = 3;           //A
            b = 1 / 0;       //B
        } catch (Exception e) {

        } finally {
            System.out.println("a = " + a);
        }
    }
}

Copy after login

According to the reordering rules, operation A and operation B may be reordered. If they are reordered, B will throw an exception. (/ by zero), statement A will definitely not be executed at this time, so will a still be equal to 3? If you follow the as-if-serial principle it changes the result of the program. In fact, the JVM does a special processing for exceptions. In order to ensure as-if-serial semantics, the Java exception handling mechanism does a special processing for reordering: JIT will insert error compensation in the catch statement during reordering. Code (a = 3), although doing so will cause the logic in cathc to become complicated, the JIT optimization principle is: optimize the logic under normal operation of the program as much as possible, even at the expense of the complexity of the catch block logic.

The impact of reordering on multi-threading

In a single-threaded environment due to as-if-serial semantics, reordering cannot affect the final result, but what about a multi-threaded environment?

The following code (classic usage of volatile):

public class RecordExample2 {
    int a = 0;    boolean flag = false;    
    /**
     * A线程执行
     */
    public void writer(){
        a = 1;                  
        // 1
        flag = true;            
        // 2
    }    /**
     * B线程执行
     */
    public void read(){        
    if(flag){                  
    // 3
           int i = a + a;          
           // 4
        }
    }

}

Copy after login

Thread A executes writer(), thread B executes read(), can thread B read a = 1 during execution? The answer is not necessarily (

Note: X86CPU does not support write-write reordering. If it is operated on x86, this will definitely be a=1. LZ did not test it for a long time, and finally found out after checking the information ).

Since there is no data dependency between operation 1 and operation 2, reordering can be performed. There is also no data dependency between operation 3 and operation 4. They can also be reordered, but operations 3 and 4 There is a control dependency between operations 4. If operation 1 and operation 2 are reordered:

[Fighting Java Concurrency]-----Reordering of Java Memory Model

According to this execution order, thread B will definitely not be able to read the a value set by thread A. The semantics of multi-threading here are It has been destroyed by reordering.

Operation 3 and operation 4 can also be reordered, which will not be explained here. But there is a control dependency relationship between them, because operation 4 will be executed only if operation 3 is established. When control dependencies exist in the code, it will affect the parallelism of the execution of the instruction sequence, so compilers and processors will use guessing execution to overcome the impact of control dependencies on parallelism. If operation 3 and operation 4 are reordered and operation 4 is executed first, the calculation result will be temporarily saved in the reordering buffer. When operation 3 is true, the calculation result will be written to variable i

Through the above analysis,

reordering will not affect the execution results of a single-threaded environment, but will destroy the execution semantics of multi-threads .

The above is the content of [Fighting Java Concurrency]-----Reordering of Java Memory Model. For more related content, please pay attention to the PHP Chinese website (www.php.cn)!

Statement of this Website

The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn

Hot AI Tools

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress images for free

Clothoff.io

AI clothes remover

Video Face Swap

Swap faces in any video effortlessly with our completely free AI face swap tool!

Hot Article

Roblox: Grow A Garden - Complete Mutation Guide

4 weeks ago By DDD

Roblox: Bubble Gum Simulator Infinity - How To Get And Use Royal Keys

4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌

Nordhold: Fusion System, Explained

1 months ago By 尊渡假赌尊渡假赌尊渡假赌

Mandragora: Whispers Of The Witch Tree - How To Unlock The Grappling Hook

4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌

Clair Obscur: Expedition 33 - How To Get Perfect Chroma Catalysts

2 weeks ago By 尊渡假赌尊渡假赌尊渡假赌

Hot Tools

Notepad++7.3.1

Easy-to-use and free code editor

SublimeText3 Chinese version

Chinese version, very easy to use

Zend Studio 13.0.1

Powerful PHP integrated development environment

Dreamweaver CS6

Visual web development tools

SublimeText3 Mac version

God-level code editing software (SublimeText3)

Hot Topics

Java Tutorial

1677

CakePHP Tutorial

1430

Laravel Tutorial

1333

PHP Tutorial

1278

C# Tutorial

1257

Related knowledge

PHP vs. Python: Understanding the Differences Apr 11, 2025 am 12:15 AM

PHP and Python each have their own advantages, and the choice should be based on project requirements. 1.PHP is suitable for web development, with simple syntax and high execution efficiency. 2. Python is suitable for data science and machine learning, with concise syntax and rich libraries.

PHP: A Key Language for Web Development Apr 13, 2025 am 12:08 AM

PHP is a scripting language widely used on the server side, especially suitable for web development. 1.PHP can embed HTML, process HTTP requests and responses, and supports a variety of databases. 2.PHP is used to generate dynamic web content, process form data, access databases, etc., with strong community support and open source resources. 3. PHP is an interpreted language, and the execution process includes lexical analysis, grammatical analysis, compilation and execution. 4.PHP can be combined with MySQL for advanced applications such as user registration systems. 5. When debugging PHP, you can use functions such as error_reporting() and var_dump(). 6. Optimize PHP code to use caching mechanisms, optimize database queries and use built-in functions. 7

PHP vs. Other Languages: A Comparison Apr 13, 2025 am 12:19 AM

PHP is suitable for web development, especially in rapid development and processing dynamic content, but is not good at data science and enterprise-level applications. Compared with Python, PHP has more advantages in web development, but is not as good as Python in the field of data science; compared with Java, PHP performs worse in enterprise-level applications, but is more flexible in web development; compared with JavaScript, PHP is more concise in back-end development, but is not as good as JavaScript in front-end development.

PHP vs. Python: Core Features and Functionality Apr 13, 2025 am 12:16 AM

PHP and Python each have their own advantages and are suitable for different scenarios. 1.PHP is suitable for web development and provides built-in web servers and rich function libraries. 2. Python is suitable for data science and machine learning, with concise syntax and a powerful standard library. When choosing, it should be decided based on project requirements.

PHP's Impact: Web Development and Beyond Apr 18, 2025 am 12:10 AM

PHPhassignificantlyimpactedwebdevelopmentandextendsbeyondit.1)ItpowersmajorplatformslikeWordPressandexcelsindatabaseinteractions.2)PHP'sadaptabilityallowsittoscaleforlargeapplicationsusingframeworkslikeLaravel.3)Beyondweb,PHPisusedincommand-linescrip

PHP: The Foundation of Many Websites Apr 13, 2025 am 12:07 AM

The reasons why PHP is the preferred technology stack for many websites include its ease of use, strong community support, and widespread use. 1) Easy to learn and use, suitable for beginners. 2) Have a huge developer community and rich resources. 3) Widely used in WordPress, Drupal and other platforms. 4) Integrate tightly with web servers to simplify development deployment.

PHP vs. Python: Use Cases and Applications Apr 17, 2025 am 12:23 AM

PHP is suitable for web development and content management systems, and Python is suitable for data science, machine learning and automation scripts. 1.PHP performs well in building fast and scalable websites and applications and is commonly used in CMS such as WordPress. 2. Python has performed outstandingly in the fields of data science and machine learning, with rich libraries such as NumPy and TensorFlow.

H5: Tools, Frameworks, and Best Practices Apr 11, 2025 am 12:11 AM

The tools and frameworks that need to be mastered in H5 development include Vue.js, React and Webpack. 1.Vue.js is suitable for building user interfaces and supports component development. 2.React optimizes page rendering through virtual DOM, suitable for complex applications. 3.Webpack is used for module packaging and optimize resource loading.

See all articles