在写前面两篇文章23和24的时候自己有很多细节搞得不是很明白，这篇文章把Fork和Work-Stealing相关的源代码重新梳理一下。
首先来看一些线程池定义的成员变量：
关于scanGuard：
volatile int scanGuard; private static final int SG_UNIT = 1 << 16; private static final int SMASK = 0xffff;
scanGuard低位16位数值（0到15位）始终等于2的N次方减去1，代表的是大于Worker线程数的最小的2的N次方减去1。因此每次要取低16位数据时都要用到SMASK。
scanGuard的第16位是一个标志位，被当成是一个更新worker线程数组的锁使用。当该位的数据是1时，表示worker线程数组被锁住，其他线程无法更新worker线程。
要更新第16位的数值，就需要用到SG_UNIT。
再来说说与任务队列有关的三个变量：
// 存储任务的数组，长度是2的N次方 ForkJoinTask<?>[] queue; // 最后一个元素数组下标+1 // 如果把数组看成是队列，那么该位置就是队列尾部（FIFO添加元素） // 如果看成是栈，那么该位置就栈顶(LIFO拿走元素) // 只能当前线程会使用这个数值，不存在多线程问题，因此不用volatile int queueTop; // 第一个元素的数组下标 // 也就是队列的头部的位置，从队列中拿走元素时，该数值加1 // 其他线程偷任务（FIFO方式）时会更新这个变量，因此需要volatile volatile int queueBase;
任务队列的设计和Work-Stealing要求的一致（支持LIFO和FIFO）。
下面是scan方法源代码解析（补充了一些细节）：
private boolean scan(ForkJoinWorkerThread w, int a) { int g = scanGuard; // parallelism表示并发数，一般等于CPU可以同时运行的线程数， // 默认值是Runtime类的availableProcessors方法返回值，表示 // 处理器的数量，因此parallelism大于0。 // a是活跃的Worker线程数，肯定大于等于0，因此 // 条件parallelism == 1 - a满足意味着parallelism为1而a为0。 // 也就是当前没有Worker线程在执行任务。blockedCount为0意味 // 着没有线程因为join被阻塞。 // 两个条件同时满足也就意味既没有任何线程在运行，那么也就 // 意味着不可能有任务存放于worker线程，所以m=0，也就是没 // 法偷任务。 // g & SMASK返回的值scanGuard的0到15位的数值(一个2的N次方减去1的值) int m = (parallelism == 1 - a && blockedCount == 0) ? 0 : g & SMASK; ForkJoinWorkerThread[] ws = workers; if (ws == null || ws.length <= m) return false; // 偷任务 for (int r = w.seed, k = r, j = -(m + m); j <= m + m; ++j) { ForkJoinTask<?> t; ForkJoinTask<?>[] q; int b, i; // 从线程队列中随机获取一个worker线程 ForkJoinWorkerThread v = ws[k & m]; // v!=null表示随机索引的线程存在 // queueBase不等于queueTop表示线程的任务队列不为空 // v.queue不为null表示任务队列已经被初始化 // (q.length - 1) 同样是2的N次方减一，和b相与得到一个 // 在数组长度范围内的数组下标 // 这一串判断是为了确认找到了一个有任务的线程来偷任务 if (v != null && (b = v.queueBase) != v.queueTop && (q = v.queue) != null && (i = (q.length - 1) & b) >= 0) { // u是计算Unsafe的索引，用以CAS操作 long u = (i << ASHIFT) + ABASE; // (t = q[i]) != null用以判断数组该位置存有任务 // v.queueBase == b为了确认没有线程拿走任务 // CAS操作把该数组元素设为null表示拿走任务 if ((t = q[i]) != null && v.queueBase == b && UNSAFE.compareAndSwapObject(q, u, t, null)) { //v.queueBase = b + 1更新队列头部位置 int d = (v.queueBase = b + 1) - v.queueTop; v.stealHint = w.poolIndex; // d是偷走一个任务后任务队列的长度 if (d != 0) signalWork(); w.execTask(t); } r ^= r << 13; r ^= r >>> 17; w.seed = r ^ (r << 5); // false表示扫描到了任务 return false; } // j < 0时随机选取Worker线程 else if (j < 0) { // 异或移位，更新k r ^= r << 13; r ^= r >>> 17; k = r ^= r << 5; } // j >= 0后按个尝试线程 else ++k; } // 如果扫描不到任务，但是scanGuard被更新了， // 说明有新的Worker线程被添加进来 if (scanGuard != g) return false; else { // 从线程池的任务队列中取出任务来执行 // 逻辑和上面从其他线程的任务队列偷任务类似 ForkJoinTask<?> t; ForkJoinTask<?>[] q; int b, i; if ((b = queueBase) != queueTop && (q = submissionQueue) != null && (i = (q.length - 1) & b) >= 0) { long u = (i << ASHIFT) + ABASE; if ((t = q[i]) != null && queueBase == b && UNSAFE.compareAndSwapObject(q, u, t, null)) { queueBase = b + 1; w.execTask(t); } return false; } return true; } }
Worker线程一上来就直接偷其他线程的任务，自己的任务不管吗？来看execTask就知道了：
final void execTask(ForkJoinTask<?> t) { currentSteal = t; for (;;) { // 首先执行偷来的任务 if (t != null) t.doExec(); // 先把自己的任务全部执行，再返回去偷别的线程去执行 if (queueTop == queueBase) break; // locallyFifo一般来自线程池的设置 // 为true使用FIFO的方式从队列中取任务执行 // 为false使用LIFO的方式（栈的方式）取任务 t = locallyFifo ? locallyDeqTask() : popTask(); } // 更新偷任务的计数 ++stealCount; currentSteal = null; }
在线程池的work方法（见第23篇）中还涉及到一个tryAwaitWork方法，以下是该方法的解析：
private boolean tryAwaitWork(ForkJoinWorkerThread w, long c) { int v = w.eventCount; // ctl值的0-30位存储了等待线程的信息 //（参考第23篇中work方法解析中关于ctl的解释） // 等待线程是按照栈的方式存储的，因此这里把原来排 // 第一位的等待线程设为当前线程的下一个，当前线程 // 变成排到第一位 w.nextWait = (int)c; // 正在运行的线程数减少1，因此把48-63位的AC值减1 long nc = (long)(v & E_MASK) | ((c - AC_UNIT) & (AC_MASK|TC_MASK)); // 两个条件等同于ctl发生了变化 if (ctl != c || !UNSAFE.compareAndSwapLong(this, ctlOffset, c, nc)) { long d = ctl; // 第一个条件表示第一个等待线程已经发生变化（ctl值的0-30位） // 第二个条件表示增加了正在运行的线程数变少 // 两个条件都满足时返回true，强制再扫描一次 return (int)d != (int)c && ((d - c) & AC_MASK) >= 0L; } // for (int sc = w.stealCount; sc != 0;) { // accumulate stealCount long s = stealCount; // 把线程w的stealCount加到线程池的stealCount上，然后再设置w // 的stealCount为0 if (UNSAFE.compareAndSwapLong(this, stealCountOffset, s, s + sc)) sc = w.stealCount = 0; // 线程自己的eventCount发生变化，则下次再更新stealCount else if (w.eventCount != v) return true; } // shutdown或者tryTerminate不为false表示当前的线程没有处于正在关闭状态 // (int)c != 0表示有线程在等待 // parallelism + (int)(nc >> AC_SHIFT)表示活跃线程数为0 // blockedCount == 0表示正在join等待的线程数为0 // quiescerCount == 0表示Quiesce线程池中的线程数为0 // 关于Quiesce线程池后面会做介绍 if ((!shutdown || !tryTerminate(false)) && (int)c != 0 && parallelism + (int)(nc >> AC_SHIFT) == 0 && blockedCount == 0 && quiescerCount == 0) // 满足上述条件说明当前线程池没有任何线程在工作（包括运行 // 任务和join等待），这种情况下，这个线程就会等待一段时间 // 然后如果还是没有任何事件发生，就会把这个线程关闭。 idleAwaitWork(w, nc, c, v); for (boolean rescanned = false;;) { if (w.eventCount != v) return true; // 尝试把当前线程从等待队列中移除， // 一旦移除，eventCount就会发生变化，然后返回 if (!rescanned) { int g = scanGuard, m = g & SMASK; ForkJoinWorkerThread[] ws = workers; if (ws != null && m < ws.length) { rescanned = true; for (int i = 0; i <= m; ++i) { ForkJoinWorkerThread u = ws[i]; if (u != null) { if (u.queueBase != u.queueTop && !tryReleaseWaiter()) rescanned = false; if (w.eventCount != v) return true; } } } if (scanGuard != g || (queueBase != queueTop && !tryReleaseWaiter())) rescanned = false; if (!rescanned) // 让出控制权，减少冲突 Thread.yield(); else // 在Park之前清除中断状态 Thread.interrupted(); } else { w.parked = true; if (w.eventCount != v) { w.parked = false; return true; } LockSupport.park(this); rescanned = w.parked = false; } } }
零零碎碎说了关于Fork的部分，后面会继续说关于Join的过程。