search
HomeJavajavaTutorialPrinciples of Java Visibility Mechanism

Basic concepts

1. Visibility

When one thread modifies a shared variable, another thread can read the modified value.

2. Memory Barriers

A set of instructions for the processor to implement sequential restrictions on memory operations.

3. Buffer Line

The CPU tells the smallest unit of storage that can be allocated in the cache, and when the processor fills in the cache line, the entire cache line is loaded.

4.Lock prefixed instructions

Lock prefixed instructions will do two things on a multi-core processor:

1) Associate the data of the current processor’s cache line into the system memory.

2) This operation of writing back to the memory will invalidate the data cached by other CPUs at the memory address.

5. Cache coherence protocol

Under multi-processor, zero guarantees that the cache of each processor is consistent. Each processor will check whether the value of its cache is consistent by sniffing the data spread on the bus. expired. When the processor finds that the address corresponding to its cache line has been modified, it will set the current processor's cache line to an invalid state. When the processor reads or writes this data, it will re-read the data from the memory into the processor cache.

6.CAS

CompareAndSwap Compare and swap

CAS operation requires inputting two values, an old value (the value before performing the CAS operation, the expected value) and a new value. This is only possible when the current value is equal to the old value. Sets the current value to the new value, otherwise does not set it. This is an atomic operation, guaranteed by hardware.

7. Reordering rules

Fundamentally, JMM has only one reordering restriction for compilers and processors, as long as the results of program execution are not changed (referring to single-threaded or correctly synchronized multi-threaded environments) , then the compiler and processor can optimize it.

Volatile

As can be seen from the above Lock prefix instructions and cache consistency protocol, this is the implementation principle of volatile.

In fact, when the valatile variable is written, a Lock prefix is ​​indeed added to achieve the purpose of visibility.

final

The Final field can only be explicitly assigned once, but this does not mean that the final field cannot be initialized multiple times.

For example: final int i; i will be initialized to the default value: 0 before it is assigned in the constructor. This can be proven by debugging the code.

In order to ensure that the value of the final field will not be accessed before initialization, the programmer only needs to ensure one thing: that is, in the constructor, the object being constructed (this) does not "escape". Then without any synchronization means, it can be guaranteed that the final fields seen by any thread, including basic types and reference types, have been correctly initialized through the constructor.

An example of an object being constructed escapes:

public class FinalTest{ 
   final int i; 
   static FinalTest obj; 
 
   public FinalTest(){ 
   i  =1; 
   /** 
   *这里会使正在被构造的对象逸出,如果和上一句做了重排序,那么其他线程就可以通过obj访问到还为被初始化的final域。 
   **/ 
   obj = this;  
  } 
}

Happens-Before rule

The meaning of happens-before

Happen-Before rule is used to describe the sequential relationship between two operations. These two The operation can be in one thread or not. This order does not strictly mean execution time order, but rather that the results of the previous operation are visible to the subsequent operation.

Happens-Before relationship is defined as follows:

If one happens-before another operation, then the execution result of the first operation is visible to the second operation, and the execution order of the first operation is ranked after the second operation The existence of a happens-before relationship between two operations does not mean that the specific implementation of the Java platform must be executed in the order specified by the happens-before relationship. If the execution result after reordering is consistent with the execution result according to the happens-before relationship, then this reordering is not illegal.

For example, if A precedes B in the order of program execution, and A modifies a shared variable, and B happens to use the shared variable, then A needs to happen-before B. To put it more bluntly, A has to share The modification of variables needs to be visible to B when B is executed.

happens-before rule

Program sequence rule: Every operation in a thread happens-before any subsequent operation in that thread.

Monitor lock rules: Unlocking a lock happens-before the subsequent locking of the lock.

volatile rule: A write to a volatile field happens-before any subsequent read of this volatile field.

Transitivity: If Ahappens-before B, and B happens-before C, then A happens-before C.

start() rule: If thread A performs the operation ThreadB.start(), then the ThreadB.start() operation of thread A happens-before any operation in thread B.

join() rule: If thread A performs the ThreadB.join() operation and returns successfully, then any operation of thread B happens-before thread A returns successfully from the ThreadB.join() operation.

Explanation of all these rules: Ahappens-before B does not mean that A must happen before B, but it means that if A has happened before B, then the operation result of A must be visible to B

Statement
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
How does IntelliJ IDEA identify the port number of a Spring Boot project without outputting a log?How does IntelliJ IDEA identify the port number of a Spring Boot project without outputting a log?Apr 19, 2025 pm 11:45 PM

Start Spring using IntelliJIDEAUltimate version...

How to elegantly obtain entity class variable names to build database query conditions?How to elegantly obtain entity class variable names to build database query conditions?Apr 19, 2025 pm 11:42 PM

When using MyBatis-Plus or other ORM frameworks for database operations, it is often necessary to construct query conditions based on the attribute name of the entity class. If you manually every time...

How to use the Redis cache solution to efficiently realize the requirements of product ranking list?How to use the Redis cache solution to efficiently realize the requirements of product ranking list?Apr 19, 2025 pm 11:36 PM

How does the Redis caching solution realize the requirements of product ranking list? During the development process, we often need to deal with the requirements of rankings, such as displaying a...

How to safely convert Java objects to arrays?How to safely convert Java objects to arrays?Apr 19, 2025 pm 11:33 PM

Conversion of Java Objects and Arrays: In-depth discussion of the risks and correct methods of cast type conversion Many Java beginners will encounter the conversion of an object into an array...

How do I convert names to numbers to implement sorting and maintain consistency in groups?How do I convert names to numbers to implement sorting and maintain consistency in groups?Apr 19, 2025 pm 11:30 PM

Solutions to convert names to numbers to implement sorting In many application scenarios, users may need to sort in groups, especially in one...

E-commerce platform SKU and SPU database design: How to take into account both user-defined attributes and attributeless products?E-commerce platform SKU and SPU database design: How to take into account both user-defined attributes and attributeless products?Apr 19, 2025 pm 11:27 PM

Detailed explanation of the design of SKU and SPU tables on e-commerce platforms This article will discuss the database design issues of SKU and SPU in e-commerce platforms, especially how to deal with user-defined sales...

How to set the default run configuration list of SpringBoot projects in Idea for team members to share?How to set the default run configuration list of SpringBoot projects in Idea for team members to share?Apr 19, 2025 pm 11:24 PM

How to set the SpringBoot project default run configuration list in Idea using IntelliJ...

See all articles

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

Video Face Swap

Video Face Swap

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

Hot Tools

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor

Atom editor mac version download

Atom editor mac version download

The most popular open source editor

VSCode Windows 64-bit Download

VSCode Windows 64-bit Download

A free and powerful IDE editor launched by Microsoft

Safe Exam Browser

Safe Exam Browser

Safe Exam Browser is a secure browser environment for taking online exams securely. This software turns any computer into a secure workstation. It controls access to any utility and prevents students from using unauthorized resources.

ZendStudio 13.5.1 Mac

ZendStudio 13.5.1 Mac

Powerful PHP integrated development environment