在一定场景下,使用多线程会给我们日常工作带来很多的便利,但并不是在任何场景下都适用的。错误地使用多线程不仅不能提高效率,还可能使程序崩溃。
以路上开车为例:在一个单向行驶的道路上,如果每辆车都遵守交通规则行驶,这时候的整体通行是正常的。其中,『单向车道』意味着『一个线程』,『多辆车』意味着『一个线程中的多个 job 任务』。
如果需要提升车辆的同行效率,一般的做法就是扩展车道,对应着程序来说就是『加线程池』,增加线程数。这样,在同一时间内,通行的车辆数就远远大于了单车道。
然而,车道一旦多起来,也就意味着『加塞』的场景可能就会越来越多。出现碰撞后也会影响整条马路的通行效率。这么一对比,『多车道』确实可能比『单车道』要慢。
防止汽车频繁变道加塞情况的发生,可以采取在车道间增加『护栏』,以保证多个车道互不影响。
在程序中该如何实现呢?在程序中多线程遇到的问题归纳起来就是三类:线程安全问题
、活跃性问题
、性能问题
。
有时候我们会发现,明明在单线程环境中正常运行的代码,在多线程环境中可能会出现意料之外的结果。其实,这就是我们常听到的线程不安全
。那么,到底什么是线程不安全呢?
银行转账例子:账户 A 向账户 B 转账 1000 元,那么必然包括 2 个操作:从账户 A 减去 1000 元,往账户 B 加 1000 元,两个操作都成功才意味着一次转账最终成功。
试想一个比较极端的现象:如果这两个操作并不具备原子性,从账户 A 扣了 1000 块钱之后,操作突然终止了,账户 B 并没有增加 1000 块钱,那么就有问题了。
银行转账这个例子有两个步骤,出现了意外之后导致转账失败,说明没有原子性。
原子性:即一个操作或者多个操作要么全部执行并且执行的过程不会被任何因素打断,要么就不执行。
原子操作:即不会被线程调度机制打断的操作,没有上下文切换。
举个例子:
i = 0; // 操作1
i++; // 操作2
i = j; // 操作3
i = i + 1; // 操作4
上面的四个操作中,有哪些操作是原子性的?来分析一下:
在单线程环境下,上面四个操作都不会出现问题,但是在多线程环境下,如果不通过加锁操作,往往可能得到意料之外的值。
在 Java 语言中通过可以使用 synchronize 或者 lock 来保证原子性。
class Test {
int i = 50;
int j = 0;
public void update() {
// 线程1执行
i = 100;
}
public int get() {
// 线程2执行
j = i;
return j;
}
}
线程 1 执行 update() 方法将 i 赋值为 100,一般情况下线程 1 会在自己的工作内存中完成赋值操作,却没有及时将新值刷新到主内存中。
这时线程 2 执行 get() 方法,首先会从主内存中读取 i 的值,然后加载到自己的工作内存中,这个时候读取到 i 的值是 50,再将 50 赋值给 j,最后返回 j 的值就是 50 了。
原本期望返回的是 100,结果返回 50,这就是可见性问题,线程 1 对变量进行了修改,线程 2 没有立即看到 i 的新值。
可见性:指当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。
如图所示,每个线程都有属于自己的工作内存,工作内存和主内存之间需要通过 store 和 load 等进行交互。
为了解决多线程的可见性问题,Java 语言提供了 volatile 关键字。当一个共享变量被 volatile 关键字修饰时,它会保证修改的值会立即被更新到主存,当有其他线程需要读取时,它会去内存中读取新值。而普通共享变量不能保证可见性,因为变量被修改后什么时候回到主存是不确定的,另外一个线程读的可能就是旧值。
当然,Java 的锁机制比如 synchronize 和 lock 也是可以保证可见性的,加锁可以保证在同一时刻只有一个线程在执行同步代码块,释放锁之前将变量刷回至主存,这样也就保证了可见性。
为了解决可见性问题,我们可以采取加锁方式解决,但是如果加锁使用不当也容易引入其他问题,比如死锁。
那活跃性是什么呢?活跃性是指某件正确的事情最终会发生,当某个操作无法继续下去的时候,就会发生活跃性问题。
死锁是两个线程都在等待对方释放锁导致阻塞。而活锁中的线程并没有阻塞。当多个线程都在运行并且修改各自的状态,而其他线程彼此依赖这个状态,导致任何一个线程都无法继续执行,只能重复着自身的动作和修改自身的状态,这种场景就是发生了活锁。
如上图所示,两辆车迎面相走并互相谦让,但又有同时走到了一个方向。如果一直这样重复着避让,这两个人就发生了活锁。
如果一个线程没有其他异常却迟迟不能继续运行,那基本就是处于饥饿状态了。
常见有几种场景:
有一个非常经典的饥饿问题就是哲学家用餐问题,有五个哲学家在用餐,每个人必须要同时拿两把叉子才可以开始就餐,如果哲学家 1 和哲学家 3 同时开始就餐,那哲学家 2、4、5 就得饿肚子处于等待状态了:
前面提到了线程安全、死锁、活锁这些问题会影响多线程的执行过程,如果这些都没有发生,多线程并发一定比单线程串行执行的快吗?答案是不一定的,因为多线程有创建线程和线程上下文切换的开销
。
创建线程是直接向系统申请资源的,对操作系统来说,创建一个线程的代价是十分昂贵的,需要给它分配内存、列入调度等。
线程创建完成之后,还会遇到线程的上下文切换。
CPU 是很宝贵的资源,速度也非常快,为了保证雨露均沾,通常为给不同的线程分配时间片,当 CPU 从执行一个线程切换到执行另一个线程时,CPU 需要保存当前线程的本地数据、程序指针等状态,并加载下一个要执行的线程的本地数据、程序指针等,这个开关被称为上下文切换
。
一般减少上下文切换的方法有:
总之,多线程用好了可以让程序的效率成倍提升,用不好可能比单线程还要慢。