开篇
React也应用了好一段时间,最近才有空把源码浏览一下(真是羞愧),因为我的项目用的React版本比拟老,所以找的版本也就对应我的项目应用的版本刚好是16.8.6,不过React源码剖析的文章曾经很多了,而且有很多也品质很高,所以这里仅仅当做本人的笔记作为记录吧。
问题
在还没接触React的时候就曾经理解到React16的一些新个性:协程,分片等,那个时候刚好接触到go语言对React的协程始终有几个疑难,会不会跟go语言的协程一样有调度器,React的调度单位是怎么的,Fiber是怎么抢占,中断和复原执行的?
Scheduler
React的调度器其实代码量并不多,仅仅只有700多行,而后外围性能就是以下两点:
- 利用requestAnimationFrame来动静计算每帧的工夫
- 利用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;
这个优先级很重要,波及到当前任务和这个工作执行时派生的工作的超时工夫计算。
另外一些杂七杂八的点:
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来兜底,这样就十拿九稳了。
- 而判断工作是否要过期,就要不停应用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); }}
分四步来剖析这个办法:
- 首先更新current树和workInProgress(如果存在)树fiber节点的childExpirationTime,而后返回root;这里简略阐明一下,current和workInProgress树,current树就代表着以后显示在用户背后的fiber节点树,workInProgress树就是正在做更新的fiber节点树,毕竟当初的React是diff过程曾经能够异步的,如果只有一棵树,那就很有可能呈现更新到一半就显示给用户了,综合起来这种也算是游戏中罕用的双缓冲技术的利用;而childExpirationTime代表的是子级节点中最高的优先级,能够用在前面更新的时候疾速判断子级节点需不需要更新,因为每次调度更新的时候,都是从ReactFiberRoot往下遍历,所以这个属性就很重要了,能够提高效率。
- 如果不在更新过程中,呈现了一种优先级更高的更新工作,也就是抢占,这个时候会重置执行栈,之前更新到一半的工作后果都会被摈弃,等下次调度从新开始。
标记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这个个性是否有这么大的价值,在前面的章节再具体分析一下。- 如果不在更新过程中,或者这个Root跟以后调度的Root不一样,把这个Root也退出到调度队列外面,如果优先级比以后调度的Root更高,就会申请一次新的调度。
集体总结
- React利用Scheduler寻找一个适合的执行机会
- 在这个适合的机会外面ReactFiberRoot就是它的调度单位
- 如果被更高优先级的工作打断,React会非常简单粗犷放弃掉之前实现到一半的更新,期待前面调度重头再开始