开篇

React也应用了好一段时间,最近才有空把源码浏览一下(真是羞愧),因为我的项目用的React版本比拟老,所以找的版本也就对应我的项目应用的版本刚好是16.8.6,不过React源码剖析的文章曾经很多了,而且有很多也品质很高,所以这里仅仅当做本人的笔记作为记录吧。

问题

在还没接触React的时候就曾经理解到React16的一些新个性:协程,分片等,那个时候刚好接触到go语言对React的协程始终有几个疑难,会不会跟go语言的协程一样有调度器,React的调度单位是怎么的,Fiber是怎么抢占,中断和复原执行的?

Scheduler

React的调度器其实代码量并不多,仅仅只有700多行,而后外围性能就是以下两点:

  1. 利用requestAnimationFrame来动静计算每帧的工夫
  2. 利用MessageChannel来创立宏工作,来执行调度的工作

Scheduler目标是为了让工作都在每一帧的Idle阶段来执行,利用的是每帧闲暇工夫,而不阻塞浏览器的布局和绘制;
那么为什么不在requestAnimationFrame阶段来执行尼?咱们都晓得raf会在浏览器布局和绘制之前执行,但React是基本不晓得浏览器接着前面布局和绘制须要耗费多少工夫,所以在raf阶段解决是很难预计该预留多少工夫本人去执行,而后让回给浏览器。

那么为什么不应用requestIdleCallback来管制在每帧的Idle阶段来执行尼?一开始React的确是这么干,然而前面因为requestIdleCallback的一些问题,而且新的api也有兼容性问题。

那么当初的新方法是如何解决的尼,首先用requestAnimationFrame先触发一个anmiationTick,这里有两个作用:第一能够预估每帧大略的工夫;第二等anmiationTick触发时再用postMessage触发一个宏工作,这样这个宏工作就会在浏览器的布局和绘制之后执行,等同于在idle阶段执行了,当然这个宏工作外面还须要判断以后帧工夫是否没有了(然而如果工作曾经超时了不论还有没有工夫剩下也是会执行的),这个判断就利用第一点获取的帧工夫来进行的,如果没有剩余时间了就再触发一次animationTick,反复一次整个过程。

而每个调度的工作都会带有一个优先级priorityLevel,这个优先级是指:

var ImmediatePriority = 1;var UserBlockingPriority = 2;var NormalPriority = 3;var LowPriority = 4;var IdlePriority = 5;

这个优先级很重要,波及到当前任务和这个工作执行时派生的工作的超时工夫计算。

另外一些杂七杂八的点:

  1. requestAnimationTime有个毛病就是页面被暗藏的时候,有可能不执行,所以React采纳了一个解决方法:

    var requestAnimationFrameWithTimeout = function(callback) {  // schedule rAF and also a setTimeout  rAFID = localRequestAnimationFrame(function(timestamp) { // cancel the setTimeout localClearTimeout(rAFTimeoutID); callback(timestamp);  });  rAFTimeoutID = localSetTimeout(function() { // cancel the requestAnimationFrame localCancelAnimationFrame(rAFID); callback(getCurrentTime());  }, ANIMATION_FRAME_TIMEOUT);};

    利用setTimeout来兜底,这样就十拿九稳了。

  2. 而判断工作是否要过期,就要不停应用peformance.now/Date.now来获取以后工夫,而获取以后工夫个别也是一个零碎调用,频繁调用也是一种耗费;所以会利用timeoutTime来记录最近调度的一个工作的超时工夫,执行的时候如果判断曾经过期,则认为调度的工作列表外面存在过期工作,先把所有的过期工作清理完,所以整个过程只须要获取一次以后工夫就能够了,缩小获取以后工夫的耗费。

与React联合

React的Scheduler算是一个独立的包,齐全没有蕴含React其余内容,所以也很难答复我结尾的疑难,到底它的调度单位是什么,Fiber是怎么抢占和复原的。
间接来到ReactFiberScheduler.js,scheduleWork办法:

function scheduleWork(fiber: Fiber, expirationTime: ExpirationTime) {  const root = scheduleWorkToRoot(fiber, expirationTime); // 1  if (    !isWorking &&    nextRenderExpirationTime !== NoWork &&    expirationTime > nextRenderExpirationTime  ) {    resetStack(); // 2  }  markPendingPriorityLevel(root, expirationTime); // 3  if (    !isWorking ||    isCommitting ||    nextRoot !== root  ) { // 4    const rootExpirationTime = root.expirationTime;    requestWork(root, rootExpirationTime);  }}

分四步来剖析这个办法:

  1. 首先更新current树和workInProgress(如果存在)树fiber节点的childExpirationTime,而后返回root;这里简略阐明一下,current和workInProgress树,current树就代表着以后显示在用户背后的fiber节点树,workInProgress树就是正在做更新的fiber节点树,毕竟当初的React是diff过程曾经能够异步的,如果只有一棵树,那就很有可能呈现更新到一半就显示给用户了,综合起来这种也算是游戏中罕用的双缓冲技术的利用;而childExpirationTime代表的是子级节点中最高的优先级,能够用在前面更新的时候疾速判断子级节点需不需要更新,因为每次调度更新的时候,都是从ReactFiberRoot往下遍历,所以这个属性就很重要了,能够提高效率。
  2. 如果不在更新过程中,呈现了一种优先级更高的更新工作,也就是抢占,这个时候会重置执行栈,之前更新到一半的工作后果都会被摈弃,等下次调度从新开始。
  3. 标记ReactFiberRoot的优先级,在我一开始的源码浏览中,我一开始简略认为expirationTime就是超时工夫,实际上还蕴含优先级的意思,而且源码中更多时候代表的是优先级,越往前调度的工作优先级越高,越往后就越低,高于以后的帧的deadline,都示意这些工作是过期工作,过期工作哪怕以后帧工夫不够都会全副调度执行。而ReactFiberRoot上会有好几个字段跟优先级相干:

    earliestPendingTimelatestPendingTimeearliestSuspendedTimelatestSuspendedTimelatestPingedTimenextExpirationTimeToWorkOnexpirationTime

    结尾那5兄弟一开始真的让我感觉有点懵逼,一开始齐全不晓得为什么须要5个字段来标记优先级,在我认知外面每个节点仅仅须要一个expirationTime标记本身的优先级和childExpirationTime标记子级最高的优先级就足够了;然而前面多浏览几遍代码就发现它的用意,在这些优先级外面也是有分类的:Pending > Pinged > Suspended;React总是会先把Pending优先级工作清理完才会清理前面的工作,而Pending优先级代表的是还没有执行过的工作。
    而nextExpirationTimeToWorkOn和expirationTime个别状况下它们是相等,然而还有其余状况是不一样(就是解决Suspended类型优先级的时候),nextExpirationTimeToWorkOn代表的是筹备解决的优先级,大于或者等于这个优先级的fiber节点都会失去解决;expirationTime当然代表的是root整体的优先级,会用来跟其余root来比拟,看谁应该更优先解决。
    不过总的来说应该是React为了反对Suspend这个个性引入的复杂度,当然复杂度还不只这里,如果把Suspend相干的代码去掉,整体会很清新,Suspend这个个性是否有这么大的价值,在前面的章节再具体分析一下。

  4. 如果不在更新过程中,或者这个Root跟以后调度的Root不一样,把这个Root也退出到调度队列外面,如果优先级比以后调度的Root更高,就会申请一次新的调度。

集体总结

  1. React利用Scheduler寻找一个适合的执行机会
  2. 在这个适合的机会外面ReactFiberRoot就是它的调度单位
  3. 如果被更高优先级的工作打断,React会非常简单粗犷放弃掉之前实现到一半的更新,期待前面调度重头再开始