大家好，我是讯享网，很高兴认识大家。

React 调度器中工作循环的主要算法

讯享网

工作循环配图，来自 Lin Clark 在 ReactConf 2017 精彩的演讲

为了教育我自己和社区，我花了很多时间在Web 技术逆向工程和写我的发现。在过去的一年里，我主要专注在 Angular 的源码，发布了网路上最大的 Angular 出版物—Angular-In-Depth。现在我已经把主要精力投入到 React 中。变化检测已经成为我在 Angular 的专长的主要领域，通过一定的耐心和大量的调试验证，我希望能很快在 React 中达到这个水平。

在 React 中, 变化检测机制通常称为 "协调" 或 "渲染"，而 Fiber 是其最新实现。归功于它的底层架构，它提供能力去实现许多有趣的特性，比如执行非阻塞渲染，根据优先级执行更新，在后台预渲染内容等。这些特性在并发 React 哲学中被称为时间分片。

除了解决应用程序开发者的实际问题之外，这些机制的内部实现从工程角度来看也具有广泛的吸引力。源码中有如此丰富的知识可以帮助我们成长为更好的开发者。

如果你今天谷歌搜索“React Fiber”，你会在搜索结果中看到很多文章。但是除了Andrew Clark 的笔记，所有文章都是相当高层次的解读。在本文中，我将参考 Andrew Clark 的笔记，对 Fiber 中一些特别重要的概念进行详细说明。一旦我们完成，你将有足够的知识来理解Lin Clark 在 ReactConf 2017 上的一次非常精彩的演讲中的工作循环配图。这是你需要去看的一次演讲。但是，在你花了一点时间阅读本文之后，它对你来说会更容易理解。

这篇文章开启了一个 React Fiber 内部实现的系列文章。我大约有 70%是通过内部实现了解的，此外还看了三篇关于协调和渲染机制的文章。

我在ag-Grid担任开发人员。如果你想了解数据表格或寻找终极的 React 数据表格解决方案，请查看这篇指南 “在 5 分钟内开始使用 React 网格”尝试一下。

我很乐意回答你的任何问题。请关注我！

让我们开始吧!

基础

Fiber 的架构有两个主要阶段：协调/渲染和提交。在源码中，协调阶段通常被称为“渲染阶段”。这是 React 遍历组件树的阶段，并且：

• 更新状态和属性
• 调用生命周期钩子
• 获取组件的children
• 将它们与之前的children进行对比
• 并计算出需要执行的 DOM 更新

所有这些活动都被称为 Fiber 内部的工作。 需要完成的工作类型取决于 React Element 的类型。 例如，对于Class Component React 需要实例化一个类，然而对于Functional Component却不需要。如果有兴趣，在这里你可以看到 Fiber 中的所有类型的工作目标。 这些活动正是 Andrew 在这里谈到的：

在处理 UI 时，问题是如果一次执行太多工作，可能会导致动画丢帧…

具体什么是一次执行太多？好吧，基本上，如果 React 要同步遍历整个组件树并为每个组件执行任务，它可能会运行超过 16 毫秒，以便应用程序代码执行其逻辑。这将导致帧丢失，导致不顺畅的视觉效果。

那么有好的办法吗?

较新的浏览器（和 React Native）实现了有助于解决这个问题的 API …

他提到的新 API 是requestIdleCallback

全局函数，可用于对函数进行排队，这些函数会在浏览器空闲时被调用。以下是你将如何使用它:

requestIdleCallback((deadline)=>{     console.log(deadline.timeRemaining(), deadline.didTimeout) });

讯享网

如果我现在打开控制台并执行上面的代码，Chrome 会打印49.9 false。

它基本上告诉我，我有49.9ms去做我需要做的任何工作，并且我还没有用完所有分配的时间，否则deadline.didTimeout

将会是true。请记住timeRemaining可能在浏览器被分配某些工作后立即更改，因此应该不断检查。

requestIdleCallback 实际上有点过于严格，并且执行频次不足以实现流畅的 UI 渲染，因此 React 团队必须实现自己的版本。

现在，如果我们将 React 对组件执行的所有活动放入函数performWork, 并使用requestIdleCallback来安排工作，我们的代码可能如下所示：

讯享网requestIdleCallback((deadline) => {     // 当我们有时间时，为组件树的一部分执行工作         while ((deadline.timeRemaining() > 0 || deadline.didTimeout) && nextComponent) {         nextComponent = performWork(nextComponent);     } });

我们对一个组件执行工作，然后返回要处理的下一个组件的引用。如果不是因为如前面的协调算法实现中所示，你不能同步地处理整个组件树，这将有效。

这就是 Andrew 在这里谈到的问题：

为了使用这些 API，你需要一种方法将渲染工作分解为增量单元

因此，为了解决这个问题，React 必须重新实现遍历树的算法，从依赖于内置堆栈的同步递归模型，变为具有链表和指针的异步模型。这就是 Andrew 在这里写的：

如果你只依赖于[内置]调用堆栈，它将继续工作直到堆栈为空。。。

如果我们可以随意中断调用堆栈并手动操作堆栈帧，那不是很好吗？这就是 React Fiber 的目的。 Fiber 是堆栈的重新实现，专门用于 React 组件。 你可以将单个 Fiber 视为一个虚拟堆栈帧。

这就是我现在将要讲解的内容。

关于堆栈想说的

我假设你们都熟悉调用堆栈的概念。如果你在断点处暂停代码，则可以在浏览器的调试工具中看到这一点。以下是维基百科的一些相关引用和图表：

在计算机科学中，调用堆栈是一种堆栈数据结构，它存储有关计算机程序的活跃子程序的信息…调用堆栈存在的主要原因是跟踪每个活跃子程序在完成执行时应该返回控制的位置…调用堆栈由堆栈帧组成…每个堆栈帧对应于一个尚未返回终止的子例程的调用。例如，如果由子程序DrawSquare调用的一个名为DrawLine的子程序当前正在运行，则调用堆栈的顶部可能会像在下面的图片中一样。

为什么堆栈与 React 相关？

正如我们在本文的第一部分中所定义的，React 在协调/渲染阶段遍历组件树，并为组件执行一些工作。协调器的先前实现使用依赖于内置堆栈的同步递归模型来遍历树。关于协调的官方文档描述了这个过程，并谈了很多关于递归的内容：

默认情况下，当对 DOM 节点的子节点进行递归时，React 会同时迭代两个子节点列表，并在出现差异时生成突变。

如果你考虑一下，每个递归调用都会向堆栈添加一个帧。并且是同步的。假设我们有以下组件树：

用render函数表示为对象。你可以把它们想象成组件实例：

const a1 = {name: 'a1'}; const b1 = {name: 'b1'}; const b2 = {name: 'b2'}; const b3 = {name: 'b3'}; const c1 = {name: 'c1'}; const c2 = {name: 'c2'}; const d1 = {name: 'd1'}; const d2 = {name: 'd2'}; a1.render = () => [b1, b2, b3]; b1.render = () => []; b2.render = () => [c1]; b3.render = () => [c2]; c1.render = () => [d1, d2]; c2.render = () => []; d1.render = () => []; d2.render = () => [];

React 需要迭代树并为每个组件执行工作。为了简化，要做的工作是打印当前组件的名字和获取它的 children。下面是我们如何通过递归来完成它。

递归遍历

循环遍历树的主要函数称为walk，实现如下：

讯享网walk(a1); function walk(instance) {     doWork(instance);     const children = instance.render();     children.forEach(walk); } function doWork(o) {     console.log(o.name); }

这里是我的得到的输出：

a1, b1, b2, c1, d1, d2, b3, c2

如果你对递归没有信心，请查看我关于递归的深入文章。

递归方法直观，非常适合遍历树。但是正如我们发现的，它有局限性。最大的一点就是我们无法分解工作为增量单元。我们不能暂停特定组件的工作并在稍后恢复。通过这种方法，React 只能不断迭代直到它处理完所有组件，并且堆栈为空。

那么 React 如何实现算法在没有递归的情况下遍历树？它使用单链表树遍历算法。它使暂停遍历并阻止堆栈增长成为可能。

链表遍历

我很幸运能找到 SebastianMarkbåge 在这里概述的算法要点。

要实现该算法，我们需要一个包含 3 个字段的数据结构：

• child — 第一个子节点的引用
• sibling — 第一个兄弟节点的引用
• return — 父节点的引用

在 React 新的协调算法的上下文中，包含这些字段的数据结构称为 Fiber。在底层它是一个代表保持工作队列的 React Element。更多内容见我的下一篇文章。

下图展示了通过链表链接的对象的层级结构和它们之间的连接类型：

我们首先定义我们的自定义节点的构造函数：

class Node {     constructor(instance) {         this.instance = instance;         this.child = null;         this.sibling = null;         this.return = null;     } }

以及获取节点数组并将它们链接在一起的函数。我们将它用于链接render方法返回的子节点：

讯享网function link(parent, elements) {     if (elements === null) elements = [];     parent.child = elements.reduceRight((previous, current) => {         const node = new Node(current);         node.return = parent;         node.sibling = previous;         return node;     }, null);     return parent.child; }

该函数从最后一个节点开始往前遍历节点数组，将它们链接在一个单独的链表中。它返回第一个兄弟节点的引用。

这是一个如何工作的简单演示：

const children = [{name: 'b1'}, {name: 'b2'}]; const parent = new Node({name: 'a1'}); const child = link(parent, children); // 下面两行代码的执行结果为true console.log(child.instance.name === 'b1'); console.log(child.sibling.instance === children[1]);

我们还将实现一个辅助函数，为节点执行一些工作。在我们的情况是，它将打印组件的名字。但除此之外，它也获取组件的children并将它们链接在一起：

讯享网function doWork(node) {     console.log(node.instance.name);     const children = node.instance.render();     return link(node, children); }

好的，现在我们已经准备好实现主要遍历算法了。这是父节点优先，深度优先的实现。这是包含有用注释的代码：

function walk(o) {     let root = o;     let current = o;     while (true) {         // 为节点执行工作，获取并连接它的children         let child = doWork(current);         // 如果child不为空, 将它设置为当前活跃节点         if (child) {             current = child;             continue;         }         // 如果我们回到了根节点，退出函数         if (current === root) {             return;         }         // 遍历直到我们发现兄弟节点         while (!current.sibling) {             // 如果我们回到了根节点，退出函数             if (!current.return || current.return === root) {                 return;             }             // 设置父节点为当前活跃节点             current = current.return;         }         // 如果发现兄弟节点，设置兄弟节点为当前活跃节点         current = current.sibling;     } }

虽然代码实现并不是特别难以理解，但你可能需要稍微运行一下代码才能理解它。在这里做。

思路是保持对当前节点的引用，并在向下遍历树时重新给它赋值，直到我们到达分支的末尾。然后我们使用return指针返回根节点。

如果我们现在检查这个实现的调用堆栈，下图是我们将会看到的：

正如你所看到的，当我们向下遍历树时，堆栈不会增长。但如果现在放调试器到doWork函数并打印节点名称，我们将看到下图：

它看起来像浏览器中的一个调用堆栈。所以使用这个算法，我们就是用我们的实现有效地替换浏览器的调用堆栈的实现。这就是 Andrew 在这里所描述的：

Fiber 是堆栈的重新实现，专门用于 React 组件。你可以将单个 Fiber 视为一个虚拟堆栈帧。

因此我们现在通过保持对充当顶部堆栈帧的节点的引用来控制堆栈：

讯享网function walk(o) {     let root = o;     let current = o;     while (true) {             ...             current = child;             ...             current = current.return;             ...             current = current.sibling;     } }

我们可以随时停止遍历并稍后恢复。这正是我们想要实现的能够使用新的requestIdleCallback API 的情况。

React 中的工作循环

这是在 React 中实现工作循环的代码：

function workLoop(isYieldy) {     if (!isYieldy) {         // Flush work without yielding         while (nextUnitOfWork !== null) {             nextUnitOfWork = performUnitOfWork(nextUnitOfWork);         }     } else {         // Flush asynchronous work until the deadline runs out of time.         while (nextUnitOfWork !== null && !shouldYield()) {             nextUnitOfWork = performUnitOfWork(nextUnitOfWork);         }     } } 

如你所见，它很好地映射到我上面提到的算法。nextUnitOfWork变量作为顶部帧，保留对当前 Fiber 节点的引用。

该算法可以同步地遍历组件树，并为树中的每个 Fiber 点执行工作（nextUnitOfWork）。

这通常是由 UI 事件（点击，输入等）引起的所谓交互式更新的情况。或者它可以异步地遍历组件树，检查在执行 Fiber 节点工作后是否还剩下时间。

函数shouldYield返回基于deadlineDidExpire和deadline变量的结果，这些变量在 React 为 Fiber 节点执行工作时不停的更新。

这里深入介绍了peformUnitOfWork函数。