在讲解相关的定义之前,先了解一下CPU在读取数据时候的工作顺序。
CPU要读取一个数据时,首先从Cache中查找,如果找到就立即读取并送给CPU处理;如果没有找到,就用相对慢的速度从内存中读取并送给CPU处理,同时把这个数据所在的数据块调入Cache中,可以使得以后对整块数据的读取都从Cache中进行,不必再调用内存。
其中Intel从Pentium开始将Cache分开,通常分为一级高速缓存L1和二级高速缓存L2。
![8438756-ad4d06678d3a4d6e.png](https://i-blog.csdnimg.cn/blog_migrate/815723c318f331477c70410131b8ba0d.png)
1.原子性
关于原子性解释:指不会被线程调度机制打断的操作;这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程)。一个经典的例子
i++
这个操作会被分解为
1. 读取i
2. 进行+1操作
3. 写入到缓存
当一个线程执行的时候上面的操作肯定是原子性的。但是当两个线程进行操作的时候,可能发生下面的情况
第一个线程将寄存器中的值读为0。
第一个线程为值加1,计数器的值应为1,但在将新值写回寄存器之前,它可能会暂停,同时第二个进程正在运行:
第二个线程读取寄存器中的值,该值仍然等于0;
第二个线程为值添加一个;
第二个线程将新值写入寄存器,寄存器现在的值为1。
而实际情况运行结果应该是2。这个操作是体现了原子性的重要性。
2.可见性
我对可见性的解释:当一个共享变量被多个线程进行操作的时候,如果变量的值被一个线程修改了,那么另外的一个线程能够知道这个变量的新值。
导致可见性的原因也是CPU的缓存结构导致的,数据在第一次读取的时候会从主存中拿出来,然后保存在缓冲中,而在读取值的时候每个线程会去先去缓存中获取值。在对变量进行写操作的时候,才会将新的值刷新到主存中。上面再原子性的举例中就能看到这个问题。
3.顺序一致性
顺序一致性:顺序一致性内存模型是一个理论模型。有两大特征
1.一个线程中的所有操作必须按照程序的顺序来执行
2.所有线程都只能看到一个单一的操作执行顺序。(每个操作都必须原子执行且必须立刻对所有的线程可见)
在java内存模型中,只保证在不改变程序执行结果的前提下,尽可能地为编译器和处理器的优化提供方便。
4.happen-before
happen-before关系:
1.代码的执行顺序,编写在前面的发生在编写在后面的
2.unlock必须发生在lock之后
3.volatile修饰的变量,对一个变量的写操作,先于对该变量的读操作
4.传递规则:操作A先于B,B先于C,那么A肯定先于C
5.线程启动规则:start方法肯定先于线程run
6.线程终端规则:线程的中断方法interrupt动作,必须发生在捕获该动作之前
7.对象初始化必须发生在finalize之前。
8.所有的操作都发生在线程死亡之前。