线程池深入-字段篇（二）

早川不爱吃香菜

已于 2022-03-08 14:16:07 修改

阅读量1w

点赞数 2

分类专栏： JavaSE # 线程池文章标签： java 源码多线程

于 2022-02-15 16:54:45 首次发布

本文链接：https://blog.csdn.net/hxt159753/article/details/122948285

版权

JavaSE 同时被 2 个专栏收录

15 篇文章 0 订阅

订阅专栏

线程池

5 篇文章 1 订阅

订阅专栏

线程池内部字段解析

状态字段
COUNT_BITS
CAPACITY
ctl
workers

状态字段

线程池是有状态的，那必然有代表线程池各状态的字段

在这里插入图片描述
上图显示的是线程池中有五个代表状态的字段，其值受字段COUNT_BITS控制，那我们来看看这个COUNT_BITS

COUNT_BITS

在这里插入图片描述
COUNT_BITS字段值为29，所以各状态值对应二进制表示如下表

字段名	值（二进制）	状态
RUNNING	11100000000000000000000000000000	运行
SHUTDOWN	00000000000000000000000000000000	关机
STOP	00100000000000000000000000000000	停止
TIDYING	01000000000000000000000000000000	整理
TERMINATED	01100000000000000000000000000000	终止

可以看到各状态值的二进制表示除了前3位不同，其他位都相同，且前3位大小单调递增（第一位为符号位）。因此当前线程池状态通过前三位便就能获取到，这里便有个疑问，为什么是三位，不是四位或者五位，状态位位数是如何控制的？
当COUNT_BITS为Integer.SIZE-4时，各状态值二进制表示如下图

字段名	值（二进制）	状态
RUNNING	11110000000000000000000000000000	运行
SHUTDOWN	00000000000000000000000000000000	关机
STOP	00010000000000000000000000000000	停止
TIDYING	00100000000000000000000000000000	整理
TERMINATED	00110000000000000000000000000000	终止

可以发现，各状态值的二进制表示由高三位不同变成了高四位不同，这是COUNT_BITS的第一个作用，控制池状态位位数。

CAPACITY

在这里插入图片描述
除了以上几个字段，还有一个字段也使用了COUNT_BITS。就是CAPACITY字段，即池的容量上限，这也是COUNT_BITS的第二个作用，控制线程池容量。
而状态位位数和池的容量成反比，因为高3位已经能满足池所有状态的需求了，状态位越少，线程池容量也就越大，因此状态位设置为3。

ctl

现在各种运行状态有了，容量字段有了，正常思维的话再加个当前状态字段和当前线程总数字段就完美了。
在这里插入图片描述
看了下池中字段，能和二者扯上关系的，恐怕就只有ctl了，这也突出了线程池代码的精巧之处，它使用一个字段完成了两个字段的封装！

ctlOf方法的作用是将传入的两个参数进行或运算，状态和容量是根据计数位（COUNT_BITS）相隔离的，二者进行或运算的结果前三位是状态位，后29位是容量位，而当前线程总数必然是小于或等于容量的，因此状态与当前线程总数必然也是相隔离的，二者进行或运算的结果前三位是状态位，后29位是当前线程总数。
假设当前池中有1个线程，此时当前线程容量的二进制表示为00000000000000000000000000000001，池状态二进制表示为 11100000000000000000000000000000，将二者进行一次或运算结果为11100000000000000000000000000001，这时候完成了第一步即合并，接下来就是拆分了。
合并后的结果为11100000000000000000000000000001，想通过与运算从中分离出当前线程总数即通过11100000000000000000000000000001与一个数进行与运算且结果为00000000000000000000000000000001，可以得出这个数必然为00011111111111111111111111111111，而该数恰好于CAPACITY字段的二进制表示一致，因此合并后的结果与CAPACITY进行与运算的结果即为当前线程总数。同理分离出当前池状态需要的数为11100000000000000000000000000000，与CAPACITY字段的取反值一致，因此使用合并后的结果与CAPACITY取反后的结果进行与运算即为当前池状态。

workers

线程池，顾名思义就是用来存放线程的，而在线程池中存的并不是单纯的线程。
在这里插入图片描述
线程池使用Worker来代替线程，看看这个类

Worker实现了Runnable，先看run方法

run方法调用了线程池自身的runWorker方法，该方法是线程池核心方法，线程任务的获取及生命周期的控制，都在里面进行，该方法会在后面的章节进行详细解释。
除了Runnable，Worker也继承了AQS，且重写了tryAcquire 在这里插入图片描述
重写的tryAcquire方法当且仅当state为0时返回true，反之返回false，而在runWorker方法中，当前线程不空闲时会通过acquire进行一次加锁，空闲后通过release进行解锁，因此只需要调用重写后的tryAcquire方法就能知道当前线程是否处于空闲状态，这也让线程池的shutdown方法得以实现。