面试必问并发安全问题

线程安全涉及到并发编程中的正确性,确保代码在多线程环境下能正确执行。实现线程安全的方法包括线程封闭(如栈封闭和ThreadLocal)、使用无状态类或使类不可变,以及加锁和CAS操作。死锁是多线程中的一个问题,描述了进程间因资源争夺导致的相互等待状态。解决死锁通常需要破坏四个必要条件之一。文章还讨论了线程安全的单例模式,特别是双重检查锁定存在的线程安全问题及解决方案。
摘要由CSDN通过智能技术生成

线程安全性

        什么是线程安全性?我们可以这么理解,我们所写的代码在并发情况下使用时,总是能表现出正确的行为;反之,未实现线程安全的代码,表现的行为是不可预知的,有可能正确,而绝大多数的情况下是错误的,正如java语言规范在 《Chapter 17.Threads and Locks》所说的:

        图中标红文字的意思是:线程的行为(尤其是在未正确同步的情况下)可能会造成混淆并且违反直觉。本章描述了多线程程序的语义。它包括规则,通过读取多个线程更新的共享内存可以看到值。

        如果要实现线程安全性,就要保证我们的类是线程安全的。在《Java并发编程实战》中,定义类是线程安全的如下:

        当多个类访问某个类时,不管运行时环境采用何种调度方式或者这些线程将如何交替执行,并且在调用代码中不需要任何额外的同步或者协同,这个类都能表现出正确的行为,那么就称这个类是线程安全的

        如何实现呢?

线程封闭

        实现好的并发是一件困难的事情,所以很多时候我们都想躲避并发。避免并发最简单的方法就是线程封闭。什么是线程封闭呢?

        就是把对象封装到一个线程里,只有这一个线程能看到此对象。那么这个对象就算不是线程安全的也不会出现任何安全问题

栈封闭

        栈封闭是我们编程当中遇到的最多的线程封闭。什么是栈封闭呢? 简单的说就是局部变量。多个线程访问一个方法,此方法中的局部变量都会被拷贝一份到线程栈中。所以局部变量是不被多个线程所共享的,也就不会出现并发问题。所以能用局部变量就别用全局变量,全局变量容易引发并发问题。

ThreadLocal

        ThreadLocal是实现线程封闭的最好方法。ThreadLocal内部维护了一个Map,Map 的key 是每个线程的名称,而Map 的值就是我们要封闭的对象。每个线程中的对象都对应着Map中的一个值,也就是TreadLocal利用Map实现了对象的线程封闭。

无状态的类

        没有任何成员变量的类,就叫无状态的类,这种类一定是线程安全的。如果这个类的方法参数中使用了对象,也是线程安全的吗?比如

        当然也是,为何? 因为多线程下的使用,固然user这个对象的实例会不正常,但是对于StatelessClass这个类的对象实例来说,它并不持有UserVo的对象实例,它自己并不会有问题,有问题的是UserVo这个类,而非StatelessClass本身

让类不可变

        让状态不可变,加final关键字,对于一个类,所有的成员变量应该是私有的,同样的只要有可能,所有的成员变量应该加上final关键字,但是加上final,要注意如果成员变量又是一个对象时,这个对象所对应的类也要是不可变的,才能保证整个类是不可变的。

        但是要注意,一旦类的成员变量中有对象,上述的final关键字保证不可变并不能保证类的安全性,为何?因为在多线程下,虽然对象的引用不可变,但是对象在堆上的实例是有可能被多个线程同时修改的,没有正确处理的情况下,对象实例在堆中的数据是不可预知的。

加锁和CAS

        我们最常使用的保证线程安全的手段,使用synchronized关键字,使用显式锁,使用各种原子变量,修改数据时使用CAS机制等

死锁

概念

        是指两个或两个以上的进程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或者系统产生了死锁

 举个例子:A 和 B 去按摩洗脚,都想在洗脚的时候,同时顺便做个头部按摩, 13 技师擅长足底按摩,14 擅长头部按摩。 这个时候 A 先抢到 14,B 先抢到 13,两个人都想同时洗脚和头部按摩,于 是就互不相让,扬言我死也不让你,这样的话,A 抢到 14,想要 13,B 抢到 13, 想要 14,在这个想同时洗脚和头部按摩的事情上 A 和 B 就产生了死锁。怎么解 决这个问题呢? 第一种,假如这个时候,来了个 15,刚好也是擅长头部按摩的,A 又没有两 个脑袋,自然就归了 B,于是 B 就美滋滋的洗脚和做头部按摩,剩下 A 在旁边气 鼓鼓的,这个时候死锁这种情况就被打破了,不存在了。 第二种,C 出场了,用武力强迫 A 和 B,必须先做洗脚,再头部按摩,这种 情况下,A 和 B 谁先抢到 13,谁就可以进行下去,另外一个没抢到的,就等着, 这种情况下,也不会产生死锁。

        所以总结一下:

        1,死锁是必然发生在多操作者(M>=2个) 争夺多个资源 (N >=2 个,且N <=M)才会发生这种情况。很明显,单线程自然不会有死锁,只有B 一个去,不要2个,打十个都没问题,单资源呢?只有13,A和B也只会产生激烈竞争,打得不可开交,谁抢到就是谁的,但不会产生死锁

        2,争夺资源的顺序不对,如果争夺资源的顺序是一样的,也不会产生死锁:

        3,争夺者对拿到的资源不放手

        学术化的定义

        死锁的发生必须具备以下四个必要条件

        1,互斥条件:指进程对所分配到的资源进行排他性使用,即在一段时间内某资源只由一个进程占用。如果此时还有其它进程请求资源,则请求者只能等待,直至占有资源的进程用毕释放

        2)请求和保持条件:指进程已经保持至少一个资源,但又提出了新的资源 请求,而该资源已被其它进程占有,此时请求进程阻塞,但又对自己已获得的其 它资源保持不放。

        3)不剥夺条件:指进程已获得的资源,在未使用完之前,不能被剥夺,只 能在使用完时由自己释放。

         4)环路等待条件:指在发生死锁时,必然存在一个进程——资源的环形链, 即进程集合{P0,P1,P2,···,Pn}中的 P0 正在等待一个 P1 占用的资源;P1 正在等待 P2 占用的资源,……,Pn 正在等待已被 P0 占用的资源。

        理解了死锁的原因,尤其是产生死锁的四个必要条件,就可以最大可能地避 免、预防和解除死锁。

        只要打破四个必要条件之一就能有效预防死锁的发生。

         打破互斥条件:改造独占性资源为虚拟资源,大部分资源已无法改造。

        打破不可抢占条件:当一进程占有一独占性资源后又申请一独占性资源而无 法满足,则退出原占有的资源。

        打破占有且申请条件:采用资源预先分配策略,即进程运行前申请全部资源, 满足则运行,不然就等待,这样就不会占有且申请。

        打破循环等待条件:实现资源有序分配策略,对所有设备实现分类编号,所 有进程只能采用按序号递增的形式申请资源。

        避免死锁常见的算法有有序资源分配法、银行家算法。

解决

       定位

        要解决死锁,当然要先找到死锁,怎么找?

        通过jps查询应用的id,再通过 jstack id查看应用的锁的持有情况

修正

        关键是保证拿锁的顺序一致

        两种解决方式

                1.内部通过顺序比较,确定拿锁的顺序

                2.采用尝试拿锁的机制

线程安全的单例模式

        在设计模式中,单例模式是比较常见的一种设计模式,如何实现单例呢?一种比较常见的是双重检查锁定

双重检查锁定

上面的双重检查锁定却存在着线程安全问题,为什么呢?

        singleDcl = new SingleDcl();

        虽然只有一行代码,但是其实在具体执行的时候有好几步操作:

        1,JVM为SingleDcl 的对象实例在内存中分配空间

        2,进行对象初始化,完成new 操作

        3,JVM把这个空间的地址赋给我们的引用 singleDcl

        因为JVM内部的实现原理(指并发相关的重排序等)会产生一种情况,第3步会在第2步之前执行

        于是在多线程下就会产生问题,A线程正在syn同步块中执行 singleDcl = new SingleDcl(),此时B线程也来执行 getInstance(),进行了single == null 的检查,因为第3步会在第2步之前执行,B线程检查发现singleDcl 不为null,会直接拿着singleDcl实例使用,但是这时A线程还在执行对象初始化,这就导致B线程拿到的singleDcl实例可能只初始化了一半,B线程访问singleDcl实例中的对象域就很有可能出错

        怎么解决这个问题呢?在前面声明singleDcl的位置加上volatile关键字

 

 

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值