java并发和内存

Java并发和内存

---

1、三个性质

1.1、原子性

指事务的不可分割性，一个事务的所有操作要么不间断地全部被执行，要么一个也没有执行。

Java原子性的理解：这个（些）指令不可以再被分割

Java违反了原子性会引发指令交错的现象，这里的交错指的是多个线程执行指令的交错

synchronized可以解决原子性问题，volatile不可以

1.2、可见性

可见性指的是，当一个线程对一个共享变量进行写操作后，另一个线程会不会立即收到最新的结果

为什么会出现可见性问题？ ——> JMM + CPU缓存结构

如何解决？synchronized 和 volatile 都可以解决

• syn内存语义

  进入syn：清空cache、读主内存

  退出syn：刷新回主内存

• volatile内存语义

  对volatile写操作：退出syn -> 刷新回主内存

  对volatile读操作：进入syn -> 清空cache、读主内存

1.3、有序性

有序性指的是：JVM 会在不影响正确性的前提下，可以调整语句的执行顺序

为什么会出现有序性的问题？ --> 为了使处理器内部运算单元能尽量被充分利用（指令级并行原理）

现代处理器会设计为一个时钟周期完成，一条执行时间最长的 CPU 指令。每条指令都可以分为： 取指令、指令译码、执行指令、内存访问、数据写回 这 5 个阶段。在不改变程序结果的前提下，这些指令的各个阶段可以通过重排序和组合来实现指令级并行

有序性问题的解决？

• syn：实际上syn并不能解决有序性的问题，因为syn的所有效果都体现在"原子性"的方面，syn里面的代码并不能解决有序性，但是因为其顺序对单线程的执行无影响，所以我们认为syn可以解决有序性
• volatile: 通过读写屏障解决，实际上volatile解决可见性的内存语义底层也是通过读写屏障解决，下面说

先行发生原则（happens-before）: Java语言中自带的一个硬性原则

它是判断数据是否竞争、线程是否安全的基本原则

时间上的先后顺序和先行发生原则没有因果关系，衡量并发安全问题一切以这个为准

主要规定有：

1. 单线程的程序顺序
2. 管程锁定（unlock比后面（时间上的后面）锁的lock先）
3. volatile变量规则（对一个volatile变量的写先于后面（时间上的后面）对它的读）
4. 线程启动原则（start() 先于此线程的任何操作）
5. 线程终止原则（任何操作都先于线程的终止操作）
6. 线程中断原则（对线程的打断（interrupt）先于打断之前）
7. 对象终结原则（一个对象的初始化完成（构造函数执行完）先行发生于它的 finalize()方法的开始）
8. 对变量默认值（0，false，null）的写，对其它线程对该变量的读可见
9. 传递性

2、两个关键字

2.1、Synchronized

详细不解释

这里说明它解决的问题：原子性、可见性、有序性

2.2、volatile

它解决的问题：可见性、有序性

volatile 的底层实现原理是内存屏障，Memory Barrier（Memory Fence）

对 volatile 变量的写指令后会加入写屏障

对 volatile 变量的读指令前会加入读屏障

可见性：

写屏障（sfence）保证在该屏障之前的，对共享变量的改动，都同步到主存当中

而读屏障（lfence）保证在该屏障之后，对共享变量的读取，加载的是主存中最新数据

有序性：

写屏障会确保指令重排序时，不会将写屏障之前的代码排在写屏障之后

读屏障会确保指令重排序时，不会将读屏障之后的代码排在读屏障之前

伪共享？ --》 CPU缓存结构

当多个线程同时修改一个缓存行的多个变量时，由于只能有一个线程操作缓存行（缓存协议，如MESI协议），所以相比于将这里的多个变量放入不同缓存行来说，性能下降

解决？

1. 字节填充

2. @sun.misc.Contened

3、两个模型

3.1、JMM（Java Memory Model）

3.2、CPU缓存结构

MESI协议？
https://blog.csdn.net/iteye_5282/article/details/82293791?utm_medium=distribute.pc_relevant_t0.none-task-blog-BlogCommendFromBaidu-1.control&depth_1-utm_source=distribute.pc_relevant_t0.none-task-blog-BlogCommendFromBaidu-1.control