> For the complete documentation index, see [llms.txt](https://nixum.gitbook.io/note/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://nixum.gitbook.io/note/juc.md). # Java并发 \[TOC] ## Java线程的状态 ### 1.状态转换 ![线程状态转换](https://github.com/Nixum/Java-Note/raw/master/picture/%E7%BA%BF%E7%A8%8B%E7%8A%B6%E6%80%81%E8%BD%AC%E6%8D%A2.png) “阻塞”与“等待”的区别： “阻塞”状态是等待着获取到一个排他锁，进入“阻塞”状态都是被动的，离开“阻塞”状态是因为其它线程释放了锁，不阻塞了； “等待”状态是在等待一段时间 或者 唤醒动作的发生，进入“等待”状态是主动的 ### 2. 状态 * New（新建）：通过new创建一个新线程，但还没运行，还有一些其他基础工作要做 * Runnable（可运行，就绪）：线程调用start方法，可能处于正在运行也可能处于没有运行，取决于操作系统提供的运行时间 * Running（运行） * Blocked（阻塞）：线程已经被挂起，等待锁的释放，直到另一个线程走完临界区或发生了相应锁对象wait()操作后，它才有机会去争夺进入临界区的权利 1. 等待阻塞：运行的线程执行wait()方法，JVM会把该线程放入等待池中。 2. 同步阻塞：运行的线程在获取对象的同步锁时，若该同步锁被别的线程占用，则JVM会把该线程放入锁池中。 3. 其他阻塞：运行的线程执行sleep()或join()方法，或者发出了I/O请求时，JVM会把该线程置为阻塞状态。当sleep()状态超时、join()等待线程终止或者超时、或者I/O处理完毕时，线程重新转入就绪状态。 * Waiting（无限期等待）： 处于此状态的线程会等待另外一个线程，不会被分配CPU执行时间，直到被其他线程唤醒 1. 没有设置timeout参数的Object.wait() 2. 没有设置timeout参数的Thread.join() 3. LockSupport.park() 以上方法会使线程进入无限等待状态 * Timed\_waiting（限期等待）：不会被分配CPU执行时间，不过无需等待被其它线程显示的唤醒 1. Thread.sleep()方法 2. 设置了timeout参数的Object.wait()方法 3. 设置了timeout参数的Thread.join()方法 4. LockSupport.parkNanos()方法 5. LockSupport.parkUntil()方法 * TERMINATED（结束，死亡）：已终止线程的线程状态，线程已经结束执行，run()方法走完了，线程就处于这种状态或者出现没有捕获异常终止run方法意外死亡 ## 死锁 ### 死锁产生的条件 * 互斥条件：一个资源每次只能被一个线程使用； * 请求与保持条件：一个线程因请求资源而阻塞时，对已获得的资源保持不放； * 不剥夺条件：进程已经获得的资源，在未使用完之前，不能强行剥夺； * 循环等待条件：若干线程之间形成一种头尾相接的循环等待资源关系。 ### 避免死锁 一般场景发生在共享资源的使用上： * 线程1对资源A加锁后，进行业务操作，线程2对资源B加锁后进行业务操作，线程1业务处理需要用到资源B，线程2业务处理需要用到资源A，此时发生死锁 * 线程1对资源A加锁后进行业务操作，线程2也需要用到资源A，但是线程1一直不释放锁， 互斥条件是保证线程安全的条件，因此不能破环，只能尽量破坏其他造成死锁的条件，比如提前分配各个线程所需资源；设置等待时间或者自旋次数，超时中断；分配好获得锁的顺序；避免逻辑中出现复数个线程相互持有对方线程所需的独占锁的情况； 比如: * 在合适的场景使用合适的锁类型，是否允许锁可重入的，共享还是排他 * 避免多个线程操作多个共享资源，注意锁的申请顺序，比如给资源设置序号，顺序取放 * 获取锁时设置超时时间 * 减少共享资源的使用，使用ThreadLocal，消息队列，共享资源在方法内复制(set回去的时候cas)，或者设计一种模式对共享资源的访问 * jstack检查线程与状态 ### 死锁检测工具 Jconsole, Jstack, visualVM ## Object和Thread中关于线程的一些方法 ### Object类中wait()和notify()、notifyAll() * wait()使得线程进入等待状态，同时释放锁，等待其他线程notify()、notifyAll()的唤醒 因为wait()和notify()、notifyAll()是对象中的方法，如果wait()没有释放锁，其他线程就无法获得锁进入同步代码块中，也就无法执行notify()或者notifyAll()方法唤醒挂起的线程，造成死锁 * **这套方法只能在同步块synchronized中使用**，否则会抛IllegalMonitorStateException异常，因为如果没有synchronized，有可能会导致多线程wait时对共享资源的竞争导致问题 * wait、notify、synchronized都是对同一个对象进行操作 * wait() 方法可以设置时间，时间到了也会进入就绪状态 * notify()方法只会随机唤醒某个在等待的线程，notifyAll()方法是唤醒全部，之后进行竞争，排队执行 * 可响应中断 * 会抛InterruptedException异常 为什么操作线程的方法wait()和notify()、notifyAll()是Object类中的？ java提供的锁是对象级别的，等待需要锁，把每个对象看成一个锁，同一个对象可以放入不同的线程中，从而达到不同线程可以等待或唤醒，如果是线程里的方法，当前线程可能会等待多个线程的锁，这样操作比较复杂 ### Thread中的yield() * 静态方法 * yield()的作用是让步。它能让当前线程由“运行状态”进入到“就绪状态”，从而**让其它具有相同优先级的等待线程获取执行权** * 该方法只是对线程调度器的一个建议，而且也只是建议具有相同优先级的其它线程可以运行，并不能保证在当前线程调用yield()之后，其它具有相同优先级的线程就一定能获得执行权，也有可能是当前线程又进入到“运行状态”继续运行 ### Thread中的 suspend() 和resume()，已过期 * 不是静态方法 * suspend()用于挂起线程， resume() 用于唤醒线程，需要配套使用，这两个方法被标为**过期，不推荐** * suspend() 在导致线程暂停的同时，并不会去释放任何锁资源。其他线程都无法访问被它占用的锁。直到对应的线程执行 resume() 方法后，被挂起的线程才能继续，从而其它被阻塞在这个锁的线程才可以继续执行 * 如果 resume() 操作出现在 suspend() 之前执行，那么线程将一直处于挂起状态，同时一直占用锁，这就产生了死锁。而且，对于被挂起的线程，它的线程状态居然还是 Runnable * 不会抛InterruptedException异常 ### Thread类中的sleep()方法 * 静态方法 * 使当前正在执行的线程进入休眠（阻塞），不会释放锁，单位是毫秒 * sleep() 可能会抛出 InterruptedException，因为异常不能跨线程传播回 main() 中，因此必须在本地进行处理。线程中抛出的其它异常也同样需要在本地进行处理 * 可响应中断 * 会抛InterruptedException异常 ### Thread类中的join()方法 * 不是静态方法 * 在线程中调用另一个线程的 join() 方法，会将当前线程挂起（阻塞），而不是一直等待，直到目标线程结束 * 没有释放锁 * 可响应中断 * 会抛InterruptedException异常 ### Condition类中的await()和signal()、signalAll() * Condition类中的await()和signal()、signalAll()用来代替传统Object里的wait()和notify()、notifyAll()方法，作用基本相同 * await()可以指定条件，Condition类中的await()和signal()、signalAll()会更加灵活 * Condition配合Lock(ReentrantLock)使用，Lock 可以用来获取一个 Condition对象、还有加锁解锁，阻塞队列中就使用了Condition来模拟线程间协作 * 会抛InterruptedException异常 ## 中断 参考[Java并发--InterruptedException机制](https://blog.csdn.net/meiliangdeng1990/article/details/80559012) ## 关键字 ### synchronized 在进入synchronized代码块时，执行 monitorenter，将计数器 +1，释放锁 monitorexit 时，计数器-1；当一个线程判断到计数器为 0 时，则当前锁空闲，可以占用；反之，当前线程进入等待状态。 synchronized是几种锁的封装：自旋锁、锁消除、锁粗化、轻量锁、偏向锁，在加对象锁时，在对象的对象头中的Mark Word记录对象的线程锁状态，根据线程的竞争情况在这几种锁中切换 * 当synchronized(xxx.class)锁住的是类时，多个线程访问不同对象(它们同类),就会锁住代码段，当一个线程执行完这个代码段后才轮到别的线程，可以理解成全局锁 * 当synchronized(object)锁住的是对象时，多个线程访问不同对象(它们同类),它们相互之间并不影响，只有当多个线程访问同一对象时，才会锁住代码段，等到一个线程执行完之后才轮到别的线程执行 * 当synchronized(this)锁住的是当前的对象，当synchronized块里的内容执行完之后，释放当前对象的锁。同一时刻若有多个线程访问这个对象，则会被阻塞 * synchronized加在方法上，作用同锁住this，即当前对象 * synchronized所在的方法被static修饰，则锁住的是整个类 * synchronized下不可被中断 * synchronized是非公平锁 在用synchronized关键字的时候，尽量缩小代码段的范围，能在代码段上加同步就不要再整个方法上加同步，减小锁的粒度，使代码更大程度的并发，如果锁的代码段太长了，别的线程等得就久一点 ### synchronized和ReentrantLock区别 相同点： * 都是加锁实现同步，阻塞性同步 * 可重入 * 有相同的并发性和内存语义 不同点： * synchronized，是关键字，底层靠JVM实现，通过操作系统调度；ReentrantLock是JDK提供的类，源码可查 * synchronized锁的范围看{}，能对类、对象、方法加锁，由JVM控制锁的添加和释放； ReentrantLock锁代码块，可以灵活控制加锁解锁的位置，需要手动控制锁的添加和释放，相对来讲锁的灵活，锁的细粒度都比synchronized好些 * synchronized是非公平锁，ReentrantLock支持公平锁和非公平锁，默认是非公平锁 * synchronized不可中断，除非抛异常，否则只能等同步的代码执行完；ReentrantLock持锁在长期不释放锁时，正在等待的线程可以选择放弃等待，方法如下： * lock(), 如果获取了锁立即返回，如果别的线程持有锁，当前线程则一直处于休眠状态，直到获取锁 * tryLock(), 如果获取了锁立即返回true，如果别的线程正持有锁，立即返回false； * tryLock (long timeout, TimeUnit unit)， 如果获取了锁定立即返回true，如果别的线程正持有锁，会等待参数给定的时间，在等待的过程中，如果获取了锁定，就返回true，如果等待超时，返回false； * lockInterruptibly: 如果获取了锁定立即返回，如果没有获取锁定，当前线程处于休眠状态，直到或者锁定，或者当前线程被别的线程中断 * synchronized在JDK1.6版本中进行了优化，性能跟ReentrantLock差不多，ReentrantLock仅比synchronized多了一些新功能 synchronized和ReentrantLock都提供了最基本的锁功能，ReentrantLock多了一些额外的功能：可以提供一个Condition类，实现分组唤醒需要唤醒的线程；提供一些方法监听当前锁的信息 ### volatile 需要先了解Java的内存模型，简单的说就是 每个线程有自己的工作内存，工作内存存在高速缓存中，而变量存在于主内存中，线程只能操作工作内存中的变量 线程操作变量的时候，变量会从主内存中load到工作内存中，线程再在工作内存中使用变量，处理完之后再把变量更新到主内存中 * 保证此变量对所有线程的可见性，即当以线程修改这个变量的值，新值对其他线程可知，即如果此变量发送改变，会立即同步到主内存中，volatile只能保证可见性 由于java里的运算不是原子性，所有volatile变量的运算在并发下一样不安全\ 当出现\ 运算结构不依赖变量的当前值，或能确保只有单一的线程修改变量的值\ 变量不需要与其他的状态变量共同参与不变约束\ 此时需要加锁 * 禁止指令重排序优化，普通变量只会保证该方法执行过程中所依赖赋值的结果都能获得正确的结果，不能保证变量赋值操作的顺序与程序代码的执行顺序一致 典型用法是 检查某个状态标记以判断是否退出循环 参考[Java多线程学习（三）volatile关键字](https://blog.csdn.net/qq_34337272/article/details/79680771) [全面理解Java内存模型(JMM)及volatile关键字](https://blog.csdn.net/javazejian/article/details/72772461) ## 一些锁的概念 ![java中的锁](https://github.com/Nixum/Java-Note/raw/master/picture/java-%E9%94%81.png) 参考： [java中的锁](http://www.importnew.com/19472.html) [美团技术团队 - 不可不说的Java“锁”事](https://tech.meituan.com/2018/11/15/java-lock.html) ## 线程池 为了解决无限创建线程产生的问题，采用线程池来管理，减少在创建和销毁线程上所消耗的时间以及系统资源的开销，解决资源不足的问题。如果不使用线程池，有可能造成系统创建大量同类线程而导致消耗完内存或者“过度切换”的问题 **线程池 Executors静态类**，工厂方法生成以下线程池 ### 线程池的分类 * newCachedThreadPool：核心数是0，最大数是Integer.MAX\_VALUE，使用SynchronousQueue，不存储任务。对于每个任务，如果有空闲线程可用，立即让他执行任务，如果没有可用得空闲线程，则创建新线程，空闲线程超时设置是1分钟，线程池可无限扩展。容易造成堆外内存溢出，一般用于大量短期任务 * newFixedThreadPool：构建有固定大小的线程池，使用LinkedBlockingQueue。如果提交的任务数多于核心线程数，则把任务放到队列中，等其他任务完成后再运行他，创建的线程不会超时 * newSingleThreadExecutor：大小为 1 的线程池，使用LinkedBlockingQueue，每次只有一个线程执行任务，从阻塞队列中取任务一个接一个执行 这三个静态方法 返回实现了ExecutorService接口的ThreadPoolExecutor类的对象 使用方式： ```java ExecutorService threadPool = Executors.newCachedThreadPool(); threadPool.execute(线程实例); // 无返回值 Future = threadPool.submit(实现了Callable的实例); // 有返回值 threadPool.shutdown(); ``` ### 基础 在阿里巴巴开发手册中不提倡使用Executors创建，而是通过 ThreadPoolExecutor的方式去定制线程池，从而明确线程池的参数 ```java ExecutorService threadPool = new ThreadPoolExecutor(一系列参数，具体看构造器); // 构造器 int corePoolSize, // 线程池中的线程数量 int maximumPoolSize, // 线程池中允许的最大数量，当前阻塞队列满了，且继续提交任务，则创建新的线程执行任务，前提是当前线程数小于maximumPoolSize，如果使用无界队列，该参数就没什么用了 long keepAliveTime, // 当活跃线程数大于corePoolSize时，多余的空闲线程最大存活时间 TimeUnit unit, // keepAliveTime单位 BlockingQueue workQueue, // 用来保存等待被执行的任务的阻塞队列，且任务必须实现Runable接口，常见的如ArrayBlockingQueue、LinkedBlockingQuene ThreadFactory threadFactory, // 当线程池创建新线程时调用，例如为每个线程实现一个名字 RejectedExecutionHandler handler // 线程池的饱和策略，线程池提供4种饱和策略，默认是AbortPolicy ``` * 阻塞队列 当线程池中的线程数量大于等于corePoolSize的时候，把该任务封装成一个Worker对象放入等待队列 1. ArrayBlockingQueue：是一个基于数组结构的有界阻塞队列，此队列按FIFO（先进先出）原则对元素进行排序，此时maximumPoolSize就会限制任务数 2. LinkedBlockingQueue：一个基于链表结构的阻塞队列，此队列按FIFO排序元素，吞吐量通常要高于ArrayBlockingQueue。静态工厂方法Executors.newFixedThreadPool()使用了这个队列。队列无界时，maximumPoolSize也不起作用了 3. SynchronousQueue：一个不存储元素的阻塞队列。每个插入操作必须等到另一个线程调用移除操作，否则插入操作一直处于阻塞状态，吞吐量通常要高于LinkedBlockingQueue，静态工厂方法newCachedThreadPool使用了这个队列 4. PriorityBlockingQueue：一个具有优先级的无界阻塞队列 * 饱和策略 当运行的线程数量大于等于maximumPoolSize，且阻塞队列满了，才执行饱和策略 1. AbortPolicy：无法处理新任务时抛出异常，默认策略 2. CallerRunsPolicy：只用调用者所在线程来运行任务 3. DiscardOldestPolicy：丢弃队列里最近的一个任务，并执行当前任务 4. DiscardPolicy：不处理，丢弃掉。 ### 线程池处理过程 ``` RUNNING：正常状态，接受新任务，处理等待队列中的任务 SHUTDOWN：不接收新任务，但会处理阻塞队列中的任务； STOP ：不接收新任务，也不会处理阻塞队列中的任务，而且会中断正在运行的任务； TIDYING ：所有的任务都销毁，workcount=0，线程池在转换为此状态时会执行terminated() TERMINATED：terminated()方法执行过后变成这个 ``` 线程池内部有一个变量（private final AtomicInteger变量ctl，高3位保存运行状态runState，低29位保存有效线程数量workerCount）来表示线程的状态，根据这个变量表达的状态在操作 1. 如果当前运行的线程少于corePoolSize，则创建新线程来执行任务（注意，执行这一步骤需要获取全局锁） 2. 如果运行的线程等于或多于corePoolSize，则将任务加入BlockingQueue 3. 如果无法将任务加入BlockingQueue(队列已满)，则创建新的线程来处理任务（注意，执行这一步骤需要获取全局锁） 4. 如果创建新线程将使当前运行的线程超出maximumPoolSize，任务将被拒绝，并调用RejectedExecutionHandler.rejectedExecution()方法 当corePoolSize = maximumPoolSize时，多出的任务都会交给阻塞队列去处理，如果阻塞队列满了，就执行饱和策略，如果队列无界，则任务堆积 线程池里线程的锁是不可重入锁 执行任务的时候要对工作线程加锁的理由：工作线程run方法中有个判断，当阻塞队列中没任务时，会阻塞，循环等待任务；调用shutdown方法时，会将线程池状态设置为SHUTDOWN，并且不允许将任务加入到阻塞队列中，中断各个工作线程；如果shutdown方法中没有对工作线程加锁，并在锁内修改状态，中断工作线程，如果此时操作系统分配的时间片给到工作线程的判断中，阻塞队列没有任务，就一直阻塞了，这样线程池就一直关闭不了了。 加锁操作发生在创建线程、工作线程在获取到任务后、工作线程没任务处理后退出、判断是否结束线程池、关闭线程池；线程池状态(ctl)的改变使用自旋+CAS判断操作 > 线程池的本质是一个生产者-消费者模型，解耦了线程和任务，达到线程复用的目的。任务管理部分充当生产者的角色，当任务提交后，线程池会判断该任务后续的流转：（1）直接申请线程执行该任务；（2）缓冲到队列中等待线程执行；（3）拒绝该任务。线程管理部分是消费者，它们被统一维护在线程池内，根据任务请求进行线程的分配，当线程执行完任务后则会继续获取新的任务去执行，最终当线程获取不到任务的时候，线程就会被回收。 [线程池的实现原理](https://www.cnblogs.com/a8457013/p/7819044.html) [深入理解Java线程池](https://juejin.im/entry/58fada5d570c350058d3aaad) [Java线程池实现原理及其在美团业务中的实践](https://tech.meituan.com/2020/04/02/java-pooling-pratice-in-meituan.html)，这篇文章写得十分详细易理解了 ### 对线程池复用的简单理解 这里先不谈如何保证线程安全，只说复用。比如corePoolSize = 5，就是内部有5个线程Worker（继承了AQS和Runnable接口），通过ThreadFactory创建，保持在一个HashSet里，任务task就是实现了Runnable接口的类。当任务数如果大于corePoolSize ，则加入到阻塞队列workQueue中；当然如果BlockingQueue存满了，corePoolSize 个线程里的任务还没执行完，会继续创建线程达到maximumPoolSize，多于corePoolSize 的线程没有被复用，当workQueue里没有任务了，并且线程池里也没其他任务了，这个时候就会等待keepAliveTime之后对线程进行回收。复用指的是对于接下来要执行的一系列任务，可以通过几个线程来执行，而不用重复的开启线程结束线程、一个任务对应一个线程。 线程worker的run方法里通过**直接获取任务**或者**从阻塞队列workQueue里获取任务**作为**循环**条件来执行**任务的run方法**来达到线程重用，注意不是start方法 ### 线程池是如何做到当线程数量大于corePoolSize ，多余的空闲线程在等待keepAliveTime之后被回收 在Worker类里的runWorker方法里，当阻塞队列里取不出任务task.take()==null，即task.take()方法里会根据timed属性作为是否回收空闲线程的标志，在取阻塞队列里的任务为null时，会等待keepAliveTime时间，返回null的任务，相应的空闲线程数将减少，runWorker方法的finally块里根据线程数目判断是否结束此方法，以此达到当前线程被回收的目的 ### 线程池调优 * 设置最大线程数，防止线程资源耗尽； * 使用有界队列，从而增加系统的稳定性和预警能力(饱和策略)； * 根据任务的性质设置线程池大小：CPU密集型任务(CPU个数个线程)，IO密集型任务(CPU个数两倍的线程)，混合型任务(拆分)。 ## JUC包内的一些类 ### BlockingQueue #### 1.分类 注：有界指的是，对阻塞队列初始化时**必须**指明队列大小 | 名称 | 说明 | | --------------------- | ------------------------------------------------------------------------- | | ArrayBlockingQueue | 底层是数组，有界，需要初始化时指明容量大小，支持公平模式，默认非公平模式，读写都是只有一把锁 | | LinkedBlockingQueue | 底层是链表，有界，默认容量是Integer.MAX\_VALUE，使用读锁和写锁，因此吞吐量比ArrayBlockingQueue大 | | PriorityBlockingQueue | 底层是数组 + 堆排实现排序，无界，默认容量是11，最大是Integer.MAX\_VALUE - 8，默认对元素使用自然顺序排序，也可指定比较器 | | DelayQueue | 无界，支持延时获取，不允许take或poll移除未过期元素，size=过期元素 + 非过期元素 | | SynchronousQueue | 有界，一个线程的插入必须等待另一个线程的删除后才能完成，反之亦然，不能被迭代，容量可理解为只有1，支持公平和非公平模式 | | LinkedTransferQueue | 底层是链表，无界，生产者会一直阻塞直到所添加到队列的元素被某一个消费者所消费，主要用于线程间消息的传递 | | LinkedBlockingDeque | 底层是链表，双向队列，无界 | #### 2.常用方法 | 操作 | 操作失败时会抛异常 | 操作后会返回特殊值 | 操作时会阻塞 | 超时退出返回特殊值 | | ------- | --------- | --------- | ------ | -------------------- | | 插入 | add(e) | offer(e) | put(e) | offer(e, time, unit) | | 移除 / 获取 | remove() | poll() | take() | poll(time, unit) | #### 3.原理 **ArrayBlockingQueue** ```java // 把数组当成环形队列使用 // 在执行插入或获取操作前会上锁，上的是同一把锁，方法执行完解锁，允许中断 final ReentrantLock lock; // 在take方法中，如果数组长度为0，则调用await()方法进行等待，否则就获取第一个元素，调用singal()方法唤醒等待线程生产 private final Condition notEmpty; // 在put方法中，往数组中添加一个元素，更新索引，再调用singal()方法唤醒等待线程消费，如果数组满了，则调用await()方法进行等待 private final Condition notFull; ``` **LinkedBlockingQueue** ```java // 整体分为读锁和写锁，而不像ArrayBlockingQueue只使用一个锁，原因是LinkedBlockingQueue底层是链表的，只需要关心头尾两个节点就行了，头节点加读锁，尾节点加写锁，使用的是不同的锁，因此读写时是不阻塞的；另外，由于节点是链表实例，在高并发下也会影响GC，而ArrayBlockingQueue是数组，不用包多一层 // take操作时上读锁，队列为空则等待，不为空时则移除并获取，再不为空则唤醒其他消费线程，解开读锁，允许中断 // 然后判断出消费元素之前队列是满的(此时是临界状态，但刚又被消费了一次)，则加写锁，唤醒其他生产线程，解写锁，不允许中断 private final ReentrantLock takeLock = new ReentrantLock(); // 读锁 private final Condition notEmpty = takeLock.newCondition(); // put操作时上写锁，队列满则等待，不满时则插入，插入后还不满则唤醒其他生产线程，解开写锁，允许中断 // 然后判断入队前只有一个元素(此时的该元素是刚刚加的)，则加读锁，唤醒其他消费线程，解读锁，不允许中断 private final ReentrantLock putLock = new ReentrantLock(); // 写锁 private final Condition notFull = putLock.newCondition(); ``` 其实ArrayBlockingQueue也可以像LinkedBlockingQueue使用读写锁，但此时的count和index就需要使用AtomicInteger来保证线程安全，加之数组不像链表那样还要构建节点，使用读写锁带来的收益不是特别大，所以没有使用了。 #### 参考 [java阻塞队列详解](https://www.jianshu.com/p/4028efdbfc35) ### AQS * AbstractQueuedSynchronized的缩写，全名：抽象队列同步器，基本是JUC包中各个同步组件的底层基础了 * 内置一个 `volatile int state` 记录同步状态； 还有一个`双端队列（遵循FIFO）`用于存放资源堵塞的线程，被阻塞的线程加入队尾，队列头结点释放锁时，唤醒后面结点 * AQS提供了一些同步组件，如下面提到的方法，使我们能制作自定义同步组件，公平锁和非公平锁是通过FairSync类和NonFairSync内部类实现的，独占式和共享式就是实现了这两个类的tryAcquire - tryRelease方法或tryAcquireShared-tryReleaseShared，像ReentrantLock是独占式就只实现了tryAcquire - tryRelease方法 * AQS内部有两种队列，一种是同步队列，用于锁的获取和释放时使用；一种是等待队列，用于Condition类，每个Condition对应一个队列 * AQS内控制线程阻塞和唤醒使用的是Unsafe类里native方法，如park、unpark方法 #### 同步方式 **独占式：如ReentrantLock** 获取： 1. 调用入口方法acquire 2. 调用模版方法tryAcquire(arg)尝试获取锁，若成功则返回，若失败则走下一步 3. 将当前线程构造成一个Node节点，并利用CAS将其加入到同步队列到尾部，然后该节点对应到线程进入自旋状态 4. 自旋时，首先判断其前驱节点释放为头节点&是否成功获取同步状态，两个条件都成立，则将当前线程的节点设置为头节点，如果不是，则利用`LockSupport.park(this)`将当前线程挂起，不然它一直循环 ,等待被前驱节点唤醒(释放锁的时候) 释放： 1. 调用入口方法release 2. 调用模版方法`tryRelease`释放同步状态 3. 获取当前节点的下一个节点 4. 利用`LockSupport.unpark(currentNode.next.thread)`唤醒后继节点，之后重复上面 获取 第4步 **共享式：如Semaphore，CountDownLatch** 获取： 1. 调用入口方法acquireShared 2. 进入tryAcquireShared(arg)模版方法获取同步状态，如果返回值>=0，则说明同步状态(state)有剩余，获取锁成功直接返回 3. 如果tryAcquireShared(arg)返回值<0，说明获取同步状态失败，向队列尾部添加一个共享类型的Node节点，随即该节点进入自旋状态 4. 自旋时，首先检查 (前驱节点是否为头节点 & tryAcquireShared()是否>=0) (即成功获取同步状态) 5. 如果是，则说明当前节点可执行，同时把当前节点设置为头节点，并且唤醒所有后继节点 6. 如果否，则利用`LockSupport.unpark(this)`挂起当前线程，等待被前驱节点唤醒 释放： 1. 调用releaseShared(arg)模版方法释放同步状态 2. 如果释放成，则遍历整个队列，利用`LockSupport.unpark(nextNode.thread)`唤醒所有后继节点 **区别** * 独占式每次释放锁只唤醒后继结点；共享式每次释放锁会唤醒所有后继结点，使它们同时获取同步状态 * 独占锁的同步状态值为1，同一时刻只能有一个线程成功获取同步状态；共享锁的同步状态>1，取值由上层同步组件确定 * 公平锁和非公平锁是分别重写tryAcquire()和tryRelease()方法实现，是两套方案，独占模式和共享模式都可以有公平锁非公平锁的实现 公平锁，当线程请求到来时先会判断同步队列是否存在结点，如果存在先执行同步队列中的结点线程，当前线程将封装成node加入同步队列等待（新加入的线程获取锁，如果队列不为空，加入队尾，执行队头的线程） 非公平锁，当线程请求到来时，不管同步队列是否存在线程结点，直接尝试获取同步状态，获取成功直接访问共享资源（新加入的线程获取锁，直接与队列中的头结点竞争，不成功在加入队列） #### Condition 一个Lock可以创建多个Condition，每个Condition对应一个等待队列，单向，有头尾两个结点，遵循 FIFO 当一个线程调用了await()相关的方法，那么该线程将会释放锁，并构建一个Node节点封装当前线程的相关信息加入到等待队列中进行等待，直到被唤醒、中断、超时才从队列中移出 只有独占式才有Condition、等待队列这些东西，共享式没有 await()：将当前线程封装成结点加入到等待队列中，释放同步状态以唤醒同步队列的后继结点，判断当前结点是否在同步队列中，不是就挂起当前线程，此时仍然在自旋中，等待被唤醒 singal()：判断当前线程是否持有锁，没有则抛异常，有的话唤醒等待队列的头结点，如果为null则继续唤醒后面的结点，唤醒的意思是移除等待队列中的头结点，加入到同步队列中，如果该结点的前驱结点结束或者Node.SIGNAL状态设置失败，唤醒它，解除await()方法中的自旋，等待获取锁 参考 [深入剖析基于并发AQS的重入锁(ReetrantLock)及其Condition实现原理](https://juejin.im/entry/59756e5051882566d86d8a5d) [(JDK)ReetrantLock手撕AQS](https://zhuanlan.zhihu.com/p/54297968?utm_source=wechat_session\&utm_medium=social\&utm_oi=632939468966072320) [从ReentrantLock的实现看AQS的原理及应用](https://tech.meituan.com/2019/12/05/aqs-theory-and-apply.html) ### 原子操作类 多线程下，java 自增自减操作是线程不安全的，因此JUC包才提供了线程安全的原子操作类 #### 原理 CAS + 自旋保证 [AtomicInteger源码分析——基于CAS的乐观锁实现](https://blog.csdn.net/qfycc92/article/details/46489553) ### ReentrantLock #### 原理 [ReentrantLock源码之一lock方法解析(锁的获取)](http://www.blogjava.net/zhanglongsr/articles/356782.html) ## 无同步方案 ### CAS Compare-and-Swap, 是一种算法，CAS 指令需要有 3 个操作数，分别是内存地址 V、旧的预期值 A 和新值 B。当执行操作时，只有当 V 的值等于 A，才将 V 的值更新为 B。 ### ThreadLocal\ 是java.lang包中的一个类，使用 ThreadLocal 维护变量时，其为每个使用该变量的线程提供独立的变量副本，把共享数据的可见范围限制在同一个线程之内，所以每一个线程都可以独立的改变自己的副本，而不会影响其他线程对应的副本。 注意：ThreadLocal 无法解决共享对象的更新问题，ThreadLocal 对象建议使用 static修饰。这个变量是针对一个线程内所有操作共享的，所以设置为静态变量，所有此类实例共享此静态变量 ，也就是说在类第一次被使用时装载，只分配一块存储空间，所有此类的对象(只要是这个线程内定义的)都可以操控这个变量 #### 原理 每个线程内部都会维护一个 静态的ThreadLocalMap对象，该对象里有一个Entry（K-V 键值对）**数组** Entry的Key是一个ThreadLocal实例，Value是一个线程特有对象。之所以key是一个ThreadLocal实例，是因为在同一线程内可以有多个ThreadLocal，而一个线程只有一个ThreadLocalMap，所以以一个ThreadLocal对应一个要保存的value就比较合适了 Entry的作用即是：为其属主线程建立起一个ThreadLocal实例与一个线程特有对象之间的对应关系； Entry对Key的引用是弱引用；Entry对 Value的引用是强引用； ThreadLocalMap不同于HashMap，其解决哈希冲突不使用拉链法，而是使用线性探测法，当出现哈希冲突时，由于key是弱引用，还会有不同的逻辑进行插入 每次对ThreadLocal做get、set操作时，以get方法为例，先通过Thread.currentThread()获得当前线程，在获取该线程对象里的ThreadLocalMap，以当前对象为key(当前线程的ThreadLoacl)在ThreadLocalMap中找到value，强转返回 ThreadLocal本身有探测式清理和启发式清理过期的key，但在一些场景 (尤其是使用线程池) 下，由于 ThreadLocal.ThreadLocalMap 的底层数据结构导致 ThreadLocal 有内存泄漏的情况，应该尽可能在每次使用 ThreadLocal 后手动调用 remove()，以避免出现 ThreadLocal 经典的内存泄漏甚至是造成自身业务混乱的风险，因为ThreadLocal里的key是弱引用，当释放掉对threadlocal对象的强引用后，map里面的value没有被回收，但却永远不会被访问到了 详细的可参考[threadlocalset方法源码详解](https://snailclimb.gitee.io/javaguide/#/docs/java/Multithread/ThreadLocal?id=threadlocalset%e6%96%b9%e6%b3%95%e6%ba%90%e7%a0%81%e8%af%a6%e8%a7%a3) ## 参考 [CyC2018/CS-Notes/并发](https://github.com/CyC2018/CS-Notes/blob/master/docs/notes/Java%20%E5%B9%B6%E5%8F%91.md) [过期的suspend()挂起、resume()继续执行线程](https://www.cnblogs.com/zhengbin/p/6505971.html) [ReenTrantLock可重入锁（和synchronized的区别）总结](https://blog.csdn.net/qq838642798/article/details/65441415) [ReentrantLock锁和Synchronized锁的异同点](https://blog.csdn.net/weixin_40792878/article/details/81369385) [Java程序员开发岗面试知识点解析](https://zhuanlan.zhihu.com/p/44185603) [Java并发包基石-AQS详解](https://www.cnblogs.com/chengxiao/p/7141160.html) [Java并发-AQS及各种Lock锁的原理](https://blog.csdn.net/zhangdong2012/article/details/79983404) [Java并发之AQS详解](https://www.cnblogs.com/daydaynobug/p/6752837.html) [Java并发编程JUC总结](http://www.cnblogs.com/chenpi/p/5614290.html) 阿里巴巴Java开发手册1.40 Java并发编程实战 --- # Agent Instructions This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com. ## Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter: ``` GET https://nixum.gitbook.io/note/juc.md?ask=&goal= ``` `ask` is the immediate question: it should be specific, self-contained, and written in natural language. `goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.