在分享内存的并发模子内部，线程之间分享法子的全球景色，线程之间通过读写内存中全球景色来进行隐式通讯

该内存指的是主内存，实验上是物理内存的一小部分

非线程安全:

在java中所有这个词的实例域、静态域、和数组元素齐存放在堆内存中，何况这些数据是线程分享的，是以会存在内存可见性问题

线程安全

局部变量、措施界说的参数、特地处理器参数是现时哨程的臆造机栈中的数据，何况不会进行线程分享，是以不会存在内存可见性问题

线程间通讯的本色是

JMM即JAVA内存模子进行适度，JMM决定了一个线程对分享变量的写入何时对其他线程可见。

由上图能看出来线程间的通讯齐是通过主内存来进行传递音问的， 每个线程在进行分享数据处理的时候齐是将分享的数据复制到现时哨程土产货(每个线程我方齐有一个内存)来进行操作。

线程一将主内存中的分享变量 A 加载到我方的土产货内存中进行处理。比如 A = 1; 此时将修改的分享变量 A 刷入到主内存中， 之后线程二再将主内存中的分享变量 A 读取到土产货内存进行操作; 通盘数据交互的过程是JMM适度的，主要适度主内存与每个线程的土产货内存如何进行交互来提供分享数据的可见性

法子在实施的时候为了进步效果会将法子教导进行再行排序

编译器优化重排序

编译器在不更变单线程法子语义的情况下进行语句实施章程的优化

教导集并行重排序

若是不存在数据的依赖性的话，处理器不错更变语句对应机器教导的实施章程

内存系统重排序

由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序实施

以上三种重排序齐会导致咱们在写并发法子的时候出现内存可见性的问题。

JMM的编译器重排序章程会退却特定类型的编译器重排序;

JMM的处理器重排序章程会要求java编译器在生成教导序列的时候插入特定的内存障蔽教导，通过内存障蔽教导来退却特定类型的处理器进行重排序

由于为了幸免处理器恭候向内存中写入数据的延时，在处理器和内存中间加了一个缓冲区，这么处理器不错一直向缓冲区中写入数据，比及一定时间将缓冲区的数据一次性的刷入到内存中。

优点:

1.处理器不同停顿，进步了处理器的运行效果

2.减少在向内存写入数据时的内存总线的占用

舛错:

每个处理器上的写缓冲区只对现时处理器可见，是以就会酿成内存操作的实施章程和实验情况不相宜 举例以下场景 :

在现时场景中就可能出当今处理器A和处理器B莫得将它们各自的写缓冲区中的数据刷回内存中， 将内存中读取的A=0、B =0进行给X和Y赋值，此时将缓冲区的数据刷入内存，导致了终末罢了和实验念念要的罢了不一致。因为唯独将缓冲区的数据刷入到了内存中才叫着实的实施

以上主内存与职责内存之间的具体交互契约，即一个变量如何从主内存拷贝到职责内存，如何从职责内存同步到主内存之间的罢了细节，JMM界说了以下8种操作来完成

若是要把一个变量从主内存中复制到职责内存中，就需要按章程地实施read和load操作，若是把变量从职责内存中同步到主内存中，就需要按章程地实施store和write操作。但Java内存模子只消求上述操作必须按章程实施，而莫得保证必须是连气儿实施

操作实施进程图解：

同步章程分析

为了惩办处理器重排序导致的内存失实，java编译器在生成教导序列的适合位置插入内存障蔽教导，来退却特定类型的处理器重排序

内存障蔽教导

happens-before 原则来扶持保证法子实施的原子性、可见性以及有序性的问题，它是判断数据是否存在竞争、线程是否安全的依据

皇冠体育hg86a

在JMM中若是一个操作中的罢了需要对另一个操作可见，那么这两个操作之前必须要存在happens-before酌量 (两个操作不错是并吞个线程也不错不是一个线程)

章程内容:

指的是在一个线程内适度代码章程，比如分支、轮回等，即在一个线程内必须保证语义串行性，也等于说按照代码章程实施

一个解锁(unlock)操作一定要发生于一个加锁(lock)操作之前，皇冠账号也等于说，若是关于一个锁解锁后，再加锁，那么加锁的手脚必须在解锁手脚之后(并吞个锁)

对一个volatile的变量的写操作要发生在对这个变量的读操作之前，这保证了volatile变量的可见性，通俗的连络等于，volatile变量在每次被线程造访时，齐将就从主内存中读该变量的值，而当该变量发生变化时，又会将就将最新的值刷新到主内存，任何技艺，不同的线程老是大约看到该变量的最新值

线程启动章程

线程的启动措施 start() 要发生在现时哨程所有这个词操作之前

线程停止章程

线程中所有这个词的操作齐要发生在线程停止之前，Thread.join()措施的作用是恭候现时实施的线程停止。假定在线程B停止之前，修改了分享变量，线程A从线程B的join措施奏凯复返后，线程B对分享变量的修改将对线程A可见

线程中断章程

线程调用interrupt()措施要发生在被中断线程的代码查验出中断事件之前

对象驱逐章程

对象的开动化完成要发生在对象被回收之前

传递性章程

若是操作A发生在操作B之前，操作B又发生在操作C之前，那么操作A一定发生于操作C之前

正经:两个操作之间具有 happens-before 酌量，并不虞味着前一个操作必须要在后一个操作之前实施，只需要前一个操作的罢了对后一个操作可见，何况前一个操作按章程要排在后一个操作之前。

等于前一个操作的罢了对后一个操作的罢了产生影响，此时编译器和处理器在处理现时稀有据依赖性的操作时不会更变存在数据依赖的两个操作的实施章程

正经: 此时所说的数据依赖只是针对单个处理器中实施的教导序列或者单个线程中实施的操作。不同处理器和不同线程的情况编译器和处理器是不会琢磨的

在单线程情况下无论如何重排序法子的实施罢了弗成被更变，是以若是在单处理器或者单线程的情况下，编译器和处理器关于稀有据依赖性的操作是不会进行重排序的。反之若是没稀有据依赖性的操作就有可能发生教导重排。

在多线程情况下才会出现数据竞争

在一个线程中写了一个变量，在另一个线程中读一个变量，而且写和读并莫得进行同步

若是在多线程条目下，法子大约正确地使用同步机制，那么法子的实施将具有章程一致性(就像在单线程条目下实施相似) 法子最终运行的罢了与你预期的罢了相似

5.3.1特质:

一个线程中的所有这个词操作必须按照法子的章程来实施 所有这个词的操作齐必须是原子性的操作，何况对其他线程可见的

5.3.2办法:

在办法上，章程一致性有一个单一的全局内存，在职意时间点最多唯唯一个线程不错结合到内存，当在多线程的场景下，会把所有这个词内存的读写操作变成串行化

5.3.3案例:

举例有多个并发线程A B C， A 线程有两个操作A1 A2， 他们的实施的章程是 A1->A2 。B 线程有三个操作B1 B2 B3， 他们的实施的章程是B1->B2->B3 。C线程有两个操作C1 C2那么他们在法子中实施的章程是C1->C2 。

场景分析：

场景一: 并发安全(同步)实施章程

A1->A2->B1->B2->B3->C1->C2

场景二: 并发不安全(非同步)实施章程

A1->B1->A2->C1->B2->B3->C2

论断：

在非同步的场景下，即使三个线程中的每一个操作乱序实施，然而在每个线程中的各自操作依然保抓有序的。何况所有这个词线程齐只可看到一个一致的合座实施章程，也等于说三个线程看到的齐是该章程 : A1->B1->A2->C1->B2->B3->C2 ，因为章程一致性内存模子中的每个操作必须立即对随便线程可见。

以上案例场景在JMM中不是这么的，未同步的法子在JMM中不仅合座的实施章程变了，就连每个线程的看到的操作实施章程亦然不相似的。

举例前边所说的若是线程A将变量的值a=2写入到了我方的土产货内存中，还莫得刷入到主存中，在线程 A 来看值是变了，然而其他线程B线程C根柢看不到值得更变，就觉得线程A的操作还莫得发生，唯独线程A将职责内存中的值刷回主内存线程B和线程C才调的到。然而若是是同步的情况下，章程一致性模子和JMM模子实施的罢了是一致的，然而法子的实施章程不一定，因为在JMM中，会发生教导重排风景是以实施章程会不一致。