目录
如果原子性、可见性、有序性是并发编程微观的问题或诱因,那么安全性、活跃性和性能问题就是宏观的结果。
1、安全性问题
安全性问题前面强调的比较多了,只要多线程能并发读写的数据,没有解决原子性、可见性、有序性任一问题都会照成数据不安全(得不到我们期望的值 或者 程序不是按照我们期望的运行)。对于这种问题,官方称为竞态条件,指程序执行的结果依赖线程执行的顺序。这样的方案使用互斥(锁)的方式就可以解决,后续在线程池的使用和并发编程中会理解的更加深入(能够并行的程序相互之间是没有依赖关系的,只有串行的则存在竞态条件)。
2、活跃性问题
活跃性统一指程序不能正常的执行下去,前面一篇博客()分析了死锁就是其中一种。除了死锁还有活锁和饥饿的问题。
1)、死锁
2)、活锁
有时候线程虽然没有发生阻塞,但还是存在执行不下去的情况,称为活锁。比如:A和B相对并且需要走过去,以相同的步伐往左往右避让结果都发现走的同一边,如果是人那么可以协商一个人不动,另一个人选另一边通过,但是程序会一直避让下去,形成活锁。那么程序破解活锁的方式也比较简单,就是发生活锁后,各自等待一个随机时间再避让,那么活锁就解了。
3)、饥饿
饥饿是指线程因无法访问所需资源而无法执行下去的情况。解决饥饿的方法有三个:
一、保证资源充足
二、避免持有锁的线程长时间持有
三、平均地分配资源
针对该方式,在juc Lock等AQS工具中都提供了公平锁和非公平锁,当然默认是非公平锁,性能更高。
线程池中任务队列,一般使用AQS的子类,比如 LinkedBlockingQueue底层使用了ReentrantLock(+ Condition),并且默认使用的是非公平锁,所以也需要注意饥饿的问题。
public LinkedBlockingDeque(int var1) {
this.lock = new ReentrantLock();
this.notEmpty = this.lock.newCondition();
this.notFull = this.lock.newCondition();
if (var1 <= 0) {
throw new IllegalArgumentException();
} else {
this.capacity = var1;
}
}
public ReentrantLock() {
this.sync = new ReentrantLock.NonfairSync();
}
3、性能问题
程序执行的过程中,读写公共资源或非线程安全的程序需要互斥加锁,那么公共资源只允许单线程进入临界区处理对性能的影响有多大呢。通过阿姆达尔(Amdal)定律,如果一段程序的串行度为 5%,那么不论使用什么技术,理论上也就只能提高20倍的性能。具体公式如下(其中:n可以理解为CPU的核心数,p可以理解为并行百分比,那么(1-p)就是串行百分百):
怎样提高性能问题:
1、减少锁持有的时间。本质上就是讲并行的程序使用管程串行化,或者将可以使用多个细粒度锁分解一个粗粒度的锁。比如:jdk7之前的ConcurrentHashMap的分段锁;读写锁,只有在写的时候需要串行,读无锁。
2、使用无锁的算法或数据结构
1)、线程本地存储(ThreadLocal),并发编程模式 - ThreadLocal源码和图文分析
2)、CopyOnWrite模式容器,并发编码模式 - CopyOnWrite模式(COW)
3)、Java并发包中的无锁数据结构,atomic包下的数据类,Disruptor也是一个无锁的内存队列,性能比较高。