并发基础三大问题可见性原子性有序性
并发基础—三大问题：可见性、原子性、有序性
可见性
原子性
并发编程时，当一个线程对共享变量的修改操作进行到一半时，另一个线程也可能来操作共享变量，这时就会干扰前一个线程的操作，这也就是原子性问题。
public class AtomicDemo {
private static int num = 0;
public static void main(String[] args) {
List<Thread> list = new ArrayList<>();
for (int i = 0; i < 5; i++) {
Thread thread = new Thread(() -> {
for (int j = 0; j < 1000; j++) {
num++;
}
});
list.add(thread);
thread.start();
}
list.forEach(e -> {
try {
e.join();
} catch (InterruptedException ex) {
ex.printStackTrace();
}
});
System.out.println(num);
}
}上面代码的运行结果不一定是5000,原因分析如下：
i++编译后对应的JVM指令实际有4条，当只执行了部分操作时，另一个线程同时操作i变量，就会出现原子性问题
有序性（指令重排）
指令重排：为了保证程序的执行效率，在不影响正确性的前提下，编译器和CPU会对程序中代码进行优化，即指令重排序
- 指令重排必须保证单线程情况下程序的运行结果是正确的
- 指令重排在多线程下可能会影响程序运行结果的正确性。
经典的指令重排案例：单例模式的双重检查锁
volatile和synchronize都可以保证有序性
- synchronize：保证了只有一个线程在操作同步代码块内的代码，而指令重排在单线程的情况下运行结果是正确的
并发压测工具Jcstress证明指令重排会在多线程下出现问题（了解）
<dependency>
<groupId>org.openjdk.jcstress</groupId>
<artifactId>jcstress-core</artifactId>
<version>0.7</version>
<scope>test</scope>
</dependency>/**
* 需求：测试指令重排导致程序结果异常情况
* 方法test2中,有可能 flag=true先执行，而num=2后执行，位置交换导致出现方法test1结果r.r1=0
*/
@JCStressTest
//表示对输出结果的处理 Expect.ACCEPTABLE 可以接收的结果
@Outcome(id = {"1", "4"}, expect = Expect.ACCEPTABLE, desc = "ok")
//Expect.ACCEPTABLE_INTERESTING 表示可以接收，并感兴趣的结果
@Outcome(id = "0", expect = Expect.ACCEPTABLE_INTERESTING, desc = "danger")
@State
public class jcstress {
int num = 0;
boolean flag = false;
//线程1执行的代码
@Actor
public void test1(I_Result r) {
if (flag) {
r.r1 = num + num;
} else {
r.r1 = 1;
}
}
//线程2执行的代码
@Actor
public void test2(I_Result r) {
num = 2;
flag = true;
}
}
CPU缓存分为三个级别：L1、L2、L3
CPU的运算速度和内存的访问速度相差比较大，导致CPU每次操作内存都需要耗费大量的等待时间，于是CPU和内存直接增加了缓存设计。
（1）L1（一级缓存）是最接近CPU的，三个缓存中它容量最小，速度最快，每个物理内核上都有个一级缓存L1
（2）L2（二级缓存）速度比L1慢，比L3快，一般情况下每个物理核上都有一个独立的L2
（3）L3（三级缓存）是三个缓存中最大的，同时也是速度最慢的，同一个CPU插槽上的核共用一个三级缓存
寄存器
CPU和一级缓存之间还有寄存器，CPU经常使用同一内存地址的某数据时 ，为减少频繁读取的消耗，就会把该数据存储到寄存器。
缓存和寄存器的区别
（1）缓存是把CPU需要的数据提前缓存起来，减少读取的消耗，但不一定是经常使用的
（2）寄存器是把CPU经常使用的同一内存地址的数据缓存起来，减少读取消耗
JMM（java memory modle）
java内存模型和java内存结构不是一回事，java内存模型用于多线程读写共享数据时，保证共享数据的可见性、有序性、原子性，主要是通过synchronize、volatile两个关键字来实现
（1）主内存：主内存是所有线程都能访问，所有共享变量都存储在主内存—方法区和堆
（2）工作内存：每个线程都有自己的工作内存，只存储该线程需要用到的共享变量的副本，线程对变量的所有操作都是工作内存完成的，而不是直接读写主内存的变量，不同线程之间也不能相互访问工作内存中的变量。
（3）jMM内存模型和硬件内存不是一回事，它是一个抽象的概念，不管是工作内存的数据还是主内存的数据，即可能存储到内存，也可能存到CPU的三级缓存或者寄存器中。
