多线程系列九之线程安全

多线程系列九之线程安全

提示：本文主要讲述在多线程编程中可能会产生线程安全的问题

---

一、线程安全问题的原因

根本原因：操作系统调度线程的策略是随机调度，抢占式执行。

在多线程编程中，最容易出现的问题就是线程安全问题。如果是单线程，代码的执行顺序是固定的，执行结果是可以预期的。但是有了多线程，变成抢占式执行，就会从一种情况变成无数种情况，那么我们就需要保证这无数种线程调度顺序，代码的执行顺序得到的结果都是正确的，

二、代码结构

什么样的代码结构会出现线程安全问题呢？
读写操作

1.一个线程修改读取一个变量，不会出现线程安全
2.多个线程读取同一个变量，不会出现线程安全
3.多个线程修改不同的变量，不会出现线程安全

1) 线程安全的情形

1.当多个线程同时修改同一个变量
2.一个线程修改变量，另外一个线程读取这个变量的时候
就可能会出现线程安全问题！！！

三、原子性

如果修改操作本身是原子的，不会产生线程安全问题，但是如果修改操作不是原子的，就有很大的概率出现线程安全问题。
因为可能一个线程 t1 还没进行完毕修改操作，就被操作系统调离CPU，而另外一个线程 t2 被调度到CPU上执行的时候，就会读到 t1 线程还没来得及返回的脏数据。

1) 两个线程修改同一个变量

运行结果：

与预期结果10w不符合，出现了线程安全问题。

2) 分析

1.由图可知，出现线程安全的原因是 t2 线程读到了 t1线程的还没来得及返回的脏数据。
2.预期结果两个线程各执行一次后，number的值应该变为2，但是由于脏读，两次执行完后number的值为1.

3) synchronized

使用方法：

1.可以修饰普通方法。
2.也可以修饰静态方法。
3.修饰代码块，进入代码块加锁，出代码块释放锁。

4) 重点理解锁对象

锁规则
1.两个线程针对同一个对象加锁，就会产生锁竞争，先到先得，一个线程获取锁之后，另外一个线程只能阻塞等待，且不可抢占，只能等这个线程释放锁。
2.两个线程针对不同的对象加锁，就不会产生锁竞争。
3.两个线程一个线程加锁，另外一个线程不枷锁，这个时候是没有锁竞争的。

锁对象
1.加锁是针对对象加锁
2.加锁的对象可以是this 也可以是普通对象，我们通常定义一个Object类的实例作为锁，还可以是类对象 类名.class
3.一个线程 t1 加锁并不意味着这个线程会一直赖在CPU上执行，仍然是随机调度，抢占式执行的。但是当另外一个线程 t2 调度在CPU上执行的时候尝试获取该锁的时候，就会进入阻塞等待。直到 t1 线程释放该锁。

5) 死锁

synchronized加锁虽然可以将包裹的代码块抽象地变成原子的，但是容易发生死锁问题。
具体参考详谈死锁的文章

1.可重入锁与不可重入锁
2.两个线程在获取到自己的锁之后，又都尝试获取对方的锁
3.M个线程N把锁，例如:哲学家就餐问题。

四、内存可见性问题

1) 一个线程读变量一个线程修改变量

运行结果：

此时输入数字1 flag的数值不再为0，本来应该按照预期结果 t1 线程的循环应该结束，但是此时并没有结束。

2) 分析

1.内存可见性
这里出现的线程安全问题就是内存可见性问题

---

内存可见性问题就是一个线程针对这个变量进行读取操作，另外一个线程针对这个变量进行修改操作。但是此时，读线程不一定能感知到修改后的数值，读取到的不一定是修改后的值。

---

2.图解

1.cpu针对寄存器的操作比内存要快3-4个数量级；
cpu针对内存的操作速度又比硬盘要快3-4个数量级。一秒要循环几百万次。
2.相对于图中的cmp操作，load操作要慢的很多，又因为得到的load的数值都一样，此时编译器就做了一个优化，只从内存中读取一次后，直接从cpu寄存器中读取了。
3.这是编译器的一种优化策略。

3) volatile

为了解决这种内存可见性的线程安全问题，我们引入了volatile关键字。

这个volatile关键字就是告诉编译，这个是易改变的变量，不可以进行编译器优化，每次都需要从内存中读取这个数值，万万不可直接从cpu寄存器中直接读取。

运行结果:

但是我们需要注意的是 这种编译器优化策略并不是百分之百误判，如果在循环里面加入了一个休眠一段时间，这个时候编译器也不会发生误判的！！！

4) JMM角度看待内存可见性问题

JMM是这样描述内存可见性问题的
1.在Java程序中，有一个主内存，每个线程又有自己的工作内存，也就是说 t1 和 t2线程的有各自的工作内存。
因为编译器的优化
1.t1线程只读取自己工作内存的东西
2.t2线程是先修改了自己的工作内存的值，然后在同步到主内存中
3.但是由于编译器的优化策略，t1线程没有更新主内存中更新的数值。

---

主内存：就是我们平时所说的内存。
工作内存：cpu寄存器，可能还会包含cache高速缓存寄存器。
寄存器：存储空间小，读写速度快。
cache：存储空间居中，读写速度居中。
内存：存储空间大，读写速度慢。

---

五、指令重排序

1) 饿汉模式中的指令重排序问题

指令重排序本质上也是因为编译器的优化问题
在单例模式中涉及一个指令重排序的典型问题：

2) volatile关键字解决

重点：

1.按照正常执行顺序123，由于编译器的优化可能会变成132，如果是在单线程中没有任何问题。
先在内存中申请一片空间，然后把这个空间的地址赋值给instance 最后在这片空间上构造对象。
2.************************
如果在多线程环境中执行完13后线程恰好被调离CPU
此时另外一个线程看到的时候instance都已经被赋值了地址，就不会再继续构造对象了，因为这是一个单例模式呀！！！
3.************************
这个时候我们创建的这个唯一实例，是没有在内存空间构造对象的。所以instance引用所指向的对象就是一个不完整的对象

---

这个时候我们使用关键字volatile可以解决内存可见性问题和指令重排序问题。

---