## 线程是否要锁住同步资源 * 锁住?悲观锁 * 不锁住?乐观锁 ## 锁住同步资源失败 线程是否要阻塞 * 阻塞 * 不阻塞自旋锁，适应性自旋锁 ## 多个线程竞争同步资源的流程细节有没有区别 * 不锁住资源，多个线程只有一个能修改资源成功，其它线程会重试无锁 * 同一个线程执行同步资源时自动获取资源偏向锁 * 多个线程竞争同步资源时，没有获取资源的线程自旋等待锁释放?轻量级锁 * 多个线程竞争同步资源时，没有获取资源的线程阻塞等待唤醒?重量级锁 ## 4.多个线程竞争锁时是否要排队 * 排队公平锁 * 先尝试插队，插队失败在排队非公平锁 ## 一个线程的多个流程能不能获取同一把锁 * 能?可重入锁 * 不能非可重入锁 ## 多个线程能不能共享一把锁 * 能?共享 * 不能排他锁 ## 悲观锁与乐观锁 悲观锁与乐观锁时一种广义的概念，体现的是看待线程同步的不同角度。 ## 悲观锁 悲观锁认为自己在使用数据的时候一定有别的线程来修改数据，在获取数据的时候会先加锁，确保数据不会被别的线程修改。 锁实现：`synchronized`?接口`Lock`的实现类 适用场景：写操作多，先加锁可以保证写操作时数据正确。 ## 乐观锁 乐观锁认为自己在使用数据时不会有别的线程修改数据，所以不会添加锁，只是在更新数据的时候去判断之前有没有别的线程更新了这个数据。 锁实现：`CAS`算法，例如`AtomicInteger`类的原子自增时通过`CAS`自旋实现。 适用场景：读操作较多，不加锁的特点能够使其读操作的性能大幅度提升。 乐观锁的执行流程： 线程A获取到数据以后直接操作，操作完数据以后准备更新同步资源，更新之前会先判断内存中同步资源是否被更新： 1.如果没有被更新，更新内存中同步资源的值。 2.如果同步资源被其他线程更新，根据实现方法执行不同的操做(报错or重试)。 ## CAS算法 全名：Compare And Swap（比较并交换） 无锁算法：基于硬件原语实现，在不使用锁(没有线程被阻塞)的情况下实现多线程之间的变量同步。 jdk中的实现：java.util.concurrent包中的原子类就是通过CAS来实现了乐观锁。 算法涉及到的三个操作数： ``` 需要读写的内存值V 进行比较的值A 要写入的新值的B ```  ## CAS存在的问题 **1.ABA问题** 线程1准备用CAS将变量的值由A替换为B，在此之前，线程2将变量的值由A替换为C，又由C替换为A，然后线程1执行CAS时发现变量的值仍然为A，所以CAS成功。但实际上这时的现场已经和最初不同了，尽管CAS成功，但可能存在潜藏的问题。 举例：一个小偷，把别人家的钱偷了之后又还了回来，还是原来的钱吗，你老婆出轨之后又回来，还是原来的老婆吗？ABA问题也一样，如果不好好解决就会带来大量的问题。最常见的就是资金问题，也就是别人如果挪用了你的钱，在你发现之前又还了回来。但是别人却已经触犯了法律。 但是jdk已经解决了这个问题。 想追下源码来着，但是一追发现直接到c了。 **2.循环时间长开销大** **3.只能保证一个共享变量的原子操作** # 最后 各位读者，由于本篇幅度过长，为了避免影响阅读体验，下面我就大概概括了整理了，需要的话请**[点赞后点击这里免费下载文章资料！](https://docs.qq.com/doc/DSmxTbFJ1cmN1R2dB)**