多线程并发问题,基本是面试必问的。
大部分同学应该都知道 Synchronized , Lock ,部分同学能说到 volatile 、 并发包 ,优秀的同学则能在前面的基础上,说出Synchronized、volatile的原理,以及并发包中常用的数据结构,例如ConcurrentHashMap的原理。
这篇文章将总结多线程并发的各种处理方式,希望对大家有所帮助。
一、多线程为什么会有并发问题
为什么多线程同时访问(读写)同个变量,会有并发问题?
二、Java 内存模型(JMM)
Java 内存模型(JMM) 作用于工作内存(本地内存)和主存之间数据同步过程,它规定了如何做数据同步以及什么时候做数据同步,如下图。
三、并发编程三要素
原子性:在一个操作中,CPU 不可以在中途暂停然后再调度,即不被中断操作,要么执行完成,要么就不执行。
可见性:多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。
有序性:程序执行的顺序按照代码的先后顺序执行。
三、怎么做,才能解决止并发问题?(重点)
下面结合不同场景分析解决并发问题的处理方式。
一、volatile
1.1 volatile 特性
保证可见性,不保证原子性
禁止指令重排序指令重排序是指编译器和处理器为了优化程序性能对指令进行排序的一种手段,需要遵守一定规则:
1.2 使用场景
对于一个变量,只有一个线程执行写操作,其它线程都是读操作,这时候可以用 volatile 修饰这个变量。
1.3 单例双重锁为什么要用到volatile?
public class TestInstance {private static volatile TestInstance mInstance;public static TestInstance getInstance(){ //1 if (mInstance == null){ //2 synchronized (TestInstance.class){ //3 if (mInstance == null){ //4 mInstance = new TestInstance(); //5 } } } return mInstance;}
}
假如没有用volatile,并发情况下会出现问题,线程A执行到注释5 new TestInstance() 的时候,分为如下几个几步操作:
这时候如果发生指令重排,执行顺序是132,执行到第3的时候,线程B刚好进来了,并且执行到注释2,这时候判断mInstance 不为空,直接使用一个未初始化的对象。所以使用volatile关键字来禁止指令重排序。
1.4 volatile 原理
在JVM底层volatile是采用 内存屏障 来实现的,内存屏障会提供3个功能:
1.5 volatile 的局限性
**volatile 只能保证可见性,不能保证原子性。**写操作对其它线程可见,但是不能解决多个线程同时写的问题。
二、Synchronized
2.1 Synchronized 使用场景
多个线程同时写一个变量。
例如售票,余票是100张,窗口A和窗口B同时各卖出一张票, 假如余票变量用 volatile 修饰,是有问题的。
A窗口获取余票是100,B窗口获取余票也是100,A卖出一张变成99,刷新回主内存,同时B卖出一张变成99,也刷新回主内存,会导致最终主内存余票是99而不是98。
前面说到 volatile 的局限性,就是多个线程同时写的情况,这种情况一般可以使用 Synchronized 。
Synchronized 可以保证同一时刻,只有一个线程可执行某个方法或某个代码块。
2.2 Synchronized 原理
public class SynchronizedTest {public static void main(String[] args) { synchronized (SynchronizedTest.class) { System.out.println("123"); } method();}private static void method() {}}
将这段代码先用 javac 命令编译,再 java p -v SynchronizedTest.class 命令查看字节码,部分字节码如下
public static void main(java.lang.String[]);descriptor: ([Ljava/lang/String;)Vflags: ACC_PUBLIC, ACC_STATICCode: stack=2, locals=3, args_size=1 0: ldc #2 // class com/lanshifu/opengldemo/test/SynchronizedTest 2: dup 3: astore_1 4: monitorenter 5: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream; 8: ldc #4 // String 123 10: invokevirtual #5 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 13: aload_1 14: monitorexit 15: goto 23 18: astore_2 19: aload_1 20: monitorexit 21: aload_2 22: athrow 23: invokestatic #6 // Method method:()V 26: return
可以看到 4: monitorenter 和 14: monitorexit ,中间是打印的语句。
执行同步代码块,首先会执行 monitorenter 指令,然后执行同步代码块中的代码,退出同步代码块的时候会执行 monitorexit 指令 。
使用Synchronized进行同步,其关键就是必须要对对象的监视器monitor进行获取,当线程获取monitor后才能继续往下执行,否则就进入同步队列,线程状态变成BLOCK,同一时刻只有一个线程能够获取到monitor,当监听到monitorexit被调用,队列里就有一个线程出队,获取monitor。详情参考: www.jianshu.com/p/d53bf830f…
每个对象拥有一个计数器,当线程获取该对象锁后,计数器就会加一,释放锁后就会将计数器减一,所以只要这个锁的计数器大于0,其它线程访问就只能等待。
2.3 Synchronized 锁的升级
大家对Synchronized的理解可能就是重量级锁,但是Java1.6对 Synchronized 进行了各种优化之后,有些情况下它就并不那么重,Java1.6 中为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁。
偏向锁:大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。
当一个线程A访问加了同步锁的代码块时,会在对象头中存 储当前线程的id,后续这个线程进入和退出这段加了同步锁的代码块时,不需要再次加锁和释放锁。
轻量级锁:在偏向锁情况下,如果线程B也访问了同步代码块,比较对象头的线程id不一样,会升级为轻量级锁,并且通过自旋的方式来获取轻量级锁。
重量级锁:如果线程A和线程B同时访问同步代码块,则轻量级锁会升级为重量级锁,线程A获取到重量级锁的情况下,线程B只能入队等待,进入BLOCK状态。
2.4 Synchronized 缺点
三、ReentrantLock
上面说到 Synchronized 的缺点,不能设置锁超时时间和不能通过代码释放锁, ReentranLock就可以解决这个问题。
在多个条件变量和高度竞争锁的地方,用ReentrantLock更合适,ReentrantLock还提供了 Condition ,对线程的等待和唤醒等操作更加灵活,一个ReentrantLock可以有多个Condition实例,所以更有扩展性。
3.1 ReentrantLock 的使用
lock 和 unlock
ReentrantLock reentrantLock = new ReentrantLock(); System.out.println("reentrantLock->lock"); reentrantLock.lock(); try { System.out.println("睡眠2秒..."); Thread.sleep(2000); } catch (InterruptedException e) { e.printStackTrace(); }finally { reentrantLock.unlock(); System.out.println("reentrantLock->unlock"); }
实现可定时的锁请求:tryLock
public static void main(String[] args) { ReentrantLock reentrantLock = new ReentrantLock(); Thread thread1 = new Thread_tryLock(reentrantLock); thread1.setName("thread1"); thread1.start(); Thread thread2 = new Thread_tryLock(reentrantLock); thread2.setName("thread2"); thread2.start();} static class Thread_tryLock extends Thread { ReentrantLock reentrantLock; public Thread_tryLock(ReentrantLock reentrantLock) { this.reentrantLock = reentrantLock; } @Override public void run() { try { System.out.println("try lock:" + Thread.currentThread().getName()); boolean tryLock = reentrantLock.tryLock(3, TimeUnit.SECONDS); if (tryLock) { System.out.println("try lock success :" + Thread.currentThread().getName()); System.out.println("睡眠一下:" + Thread.currentThread().getName()); Thread.sleep(5000); System.out.println("醒了:" + Thread.currentThread().getName()); } else { System.out.println("try lock 超时 :" + Thread.currentThread().getName()); } } catch (InterruptedException e) { e.printStackTrace(); } finally { System.out.println("unlock:" + Thread.currentThread().getName()); reentrantLock.unlock(); } } }
打印的日志:
try lock:thread1try lock:thread2try lock success :thread2睡眠一下:thread2try lock 超时 :thread1unlock:thread1Exception in thread "thread1" java.lang.IllegalMonitorStateExceptionat java.util.concurrent.locks.ReentrantLock$Sync.tryRelease(ReentrantLock.java:151)at java.util.concurrent.locks.AbstractQueuedSynchronizer.release(AbstractQueuedSynchronizer.java:1261)at java.util.concurrent.locks.ReentrantLock.unlock(ReentrantLock.java:457)at com.lanshifu.demo_module.test.lock.ReentranLockTest$Thread_tryLock.run(ReentranLockTest.java:60)醒了:thread2unlock:thread2
上面演示了 trtLock 的使用, trtLock 设置获取锁的等待时间,超过3秒直接返回失败,可以从日志中看到结果。 有异常是因为thread1获取锁失败,不应该调用unlock。
3.2 Condition 条件
public static void main(String[] args) { Thread_Condition thread_condition = new Thread_Condition(); thread_condition.setName("测试Condition的线程"); thread_condition.start(); try { Thread.sleep(2000); } catch (InterruptedException e) { e.printStackTrace(); } thread_condition.singal(); }static class Thread_Condition extends Thread { @Override public void run() { await(); } private ReentrantLock lock = new ReentrantLock(); public Condition condition = lock.newCondition(); public void await() { try { System.out.println("lock"); lock.lock(); System.out.println(Thread.currentThread().getName() + ":我在等待通知的到来..."); condition.await();//await 和 signal 对应 //condition.await(2, TimeUnit.SECONDS); //设置等待超时时间 System.out.println(Thread.currentThread().getName() + ":等到通知了,我继续执行>>>"); } catch (Exception e) { e.printStackTrace(); } finally { System.out.println("unlock"); lock.unlock(); } } public void singal() { try { System.out.println("lock"); lock.lock(); System.out.println("我要通知在等待的线程,condition.signal()"); condition.signal();//await 和 signal 对应 Thread.sleep(1000); } catch (InterruptedException e) { e.printStackTrace(); } finally { System.out.println("unlock"); lock.unlock(); } } }
运行打印日志
lock测试Condition的线程:我在等待通知的到来...lock我要通知在等待的线程,condition.signal()unlock测试Condition的线程:等到通知了,我继续执行>>>unlock
上面演示了 Condition的 await 和 signal 使用,前提要先lock。
3.3 公平锁与非公平锁
ReentrantLock 构造函数传true表示公平锁。
公平锁表示线程获取锁的顺序是按照线程加锁的顺序来分配的,即先来先得的顺序。而非公平锁就是一种锁的抢占机制,是随机获得锁的,可能会导致某些线程一致拿不到锁,所以是不公平的。
3.4 ReentrantLock 注意点
四、并发包
通过上面分析,并发严重的情况下,使用锁显然效率低下,因为同一时刻只能有一个线程可以获得锁,其它线程只能乖乖等待。
Java提供了并发包解决这个问题,接下来介绍并发包里一些常用的数据结构。
####4.1 ConcurrentHashMap
我们都知道HashMap是线程不安全的数据结构,HashTable则在HashMap基础上,get方法和put方法加上Synchronized修饰变成线程安全,不过在高并发情况下效率底下,最终被 ConcurrentHashMap 替代。
ConcurrentHashMap 采用分段锁,内部默认有16个桶,get和put操作,首先将key计算hashcode,然后跟16取余,落到16个桶中的一个,然后每个桶中都加了锁(ReentrantLock),桶中是HashMap结构(数组加链表,链表过长转红黑树)。
所以理论上最多支持16个线程同时访问。
4.2 LinkBlockingQueue
链表结构的阻塞队列,内部使用多个ReentrantLock
/** Lock held by take, poll, etc */ private final ReentrantLock takeLock = new ReentrantLock(); /** Wait queue for waiting takes */ private final Condition notEmpty = takeLock.newCondition(); /** Lock held by put, offer, etc */ private final ReentrantLock putLock = new ReentrantLock(); /** Wait queue for waiting puts */ private final Condition notFull = putLock.newCondition();private void signalNotEmpty() { final ReentrantLock takeLock = this.takeLock; takeLock.lock(); try { notEmpty.signal(); } finally { takeLock.unlock(); } } /** * Signals a waiting put. Called only from take/poll. */ private void signalNotFull() { final ReentrantLock putLock = this.putLock; putLock.lock(); try { notFull.signal(); } finally { putLock.unlock(); } }
源码不贴太多,简单说一下 LinkBlockingQueue 的逻辑:
LinkBlockingQueue 是典型的生产者消费者模式,源码细节就不多说。
4.3 原子操作类:AtomicInteger
内部采用CAS(compare and swap)保证原子性
举一个int自增的例子
AtomicInteger atomicInteger = new AtomicInteger(0); atomicInteger.incrementAndGet();//自增
源码看一下
/** * Atomically increments by one the current value. * * @return the updated value */ public final int incrementAndGet() { return U.getAndAddInt(this, VALUE, 1) + 1; }
U 是 Unsafe,看下 Unsafe#getAndAddInt
public final int getAndAddInt(Object var1, long var2, int var4) { int var5; do { var5 = this.getIntVolatile(var1, var2); } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4)); return var5; }
通过 compareAndSwapInt 保证原子性。
总结
面试中问到多线程并发问题,可以这么答:
面试的时候按照上面总结的这个思路回答基本就ok了。既然说到并发包,那么除了 ConcurrentHashMap ,其它一些常用的数据结构的原理也需要去了解下,例如 HashMap、HashTabel、TreeMap原理, Arraylist、LinkList 对比,这些都是老生常谈的,自己去看源码或者一些博客。
关于多线程并发就先总结到这里,如果是应付面试的话按照这篇文章的思路来准备应该是没太大问题的。
end:如果你觉得本文对你有帮助的话,记得关注点赞转发,你的支持就是我更新动力。