为啥同样的逻辑在不同前端框架中效果不同

公众号@魔术师卡颂

发布于 2021-11-17 10:40:46

1.5K0

发布于 2021-11-17 10:40:46

文章被收录于专栏：魔术师卡颂魔术师卡颂

大家好，我卡颂。

前端框架中经常有「将多个自变量变化触发的更新合并为一次执行」的批处理场景，框架的类型不同，批处理的时机也不同。

比如如下Svelte代码，点击H1后执行onClick回调函数，触发三次更新。由于批处理，三次更新会合并为一次。

接着分别以同步、微任务、宏任务的形式打印渲染结果：

<script>
  let count = 0;
  let dom;
  const onClick = () => {
    // 三次更新合并为一次
    count++;
    count++;
    count++;
  
    console.log("同步结果：", dom.innerText);
  
    Promise.resolve().then(() => {
      console.log("微任务结果：", dom.innerText);
    });
  
    setTimeout(() => {
      console.log("宏任务结果：", dom.innerText);
    });
  }
</script>

<h1 bind:this={dom} on:click={onClick}>{count}</h1>

同样的逻辑用不同框架实现，打印结果如下：

Vue3：同步结果：0 微任务结果：3 宏任务结果：3
Svelte：同步结果：0 微任务结果：3 宏任务结果：3
Legacy React：同步结果：0 微任务结果：3 宏任务结果：3
Concurrent React：同步结果：0 微任务结果：0 宏任务结果：3

4种实现的Demo地址：React[1]Vue3[2]Svelte[3]

本质原因在于：有的框架使用宏任务实现批处理，有的框架使用微任务实现批处理。

本文接下来会讲解宏任务、微任务的起源，以及他们与批处理的关系。

如何调度任务

先放上完整流程图，方便有个整体印象：

事件循环流程图

默认情况下，浏览器（以Chrome为例）中每个Tab页对应一个渲染进程，渲染进程包含主线程、合成线程、IO线程等多个线程。

主线程的工作非常繁忙，要处理DOM、计算样式、处理布局、处理事件响应、执行JS等。

这里有两个问题需要解决：

这些任务不仅来自线程内部，也可能来自外部，如何调度这些任务？
主线程在工作过程中，新任务如何参与调度？

第一个问题的答案是：「消息队列」

所有参与调度的任务会加入任务队列中。根据队列「先进先出」的特性，最早入队的任务会被最先处理。用伪代码描述如下：

// 从任务队列中取出任务
const task = taskQueue.takeTask();
// 执行任务
processTask(task);

其他进程通过IPC将任务发送给渲染进程的IO线程，IO线程再将任务发送给主线程的任务队列，比如：

鼠标点击后，浏览器进程通过IPC将“点击事件”发送给IO线程，IO线程将其发送给任务队列
资源加载完成后，网络进程通过IPC将“加载完成事件”发送给IO线程，IO线程将其发送给任务队列

如何调度新任务

第二个问题的答案是：「事件循环」

主线程会在循环语句中执行任务。随着循环一直进行下去，新加入的任务会插入队列末尾，老任务会被取出执行。用伪代码描述如下：

// 退出事件循环的标识
let keepRunning = true;

// 主线程
function MainThread() {
  // 循环执行任务
  while(true) {
    // 从任务队列中取出任务
    const task = taskQueue.takeTask();
    // 执行任务
    processTask(task);

    if (!keepRunning) {
      break;
    }
  }
}

延迟任务

除了任务队列，浏览器还根据WHATWG标准，实现了延迟队列，用于存放需要被延迟执行的任务（如setTimeout），伪代码如下：

function MainThread() {
  while(true) {
    const task = taskQueue.takeTask();
    processTask(task);

    //执行延迟队列中的任务 
    processDelayTask()

    if (!keepRunning) {
      break;
    }
  }
}

当本轮循环任务执行完后（即执行完processTask后），会执行processDelayTask检查是否有延迟任务到期，如果有任务过期则执行他。

介于processDelayTask的执行时机在processTask之后，所以当任务的执行时间比较长，可能会导致延迟任务无法按期执行。考虑如下代码：

function sayHello() { console.log('hello') }

function test() { 
  setTimeout(sayHello, 0); 
  for (let i = 0; i < 5000; i++) {
    console.log(i);
  }
}
test()

即使将延迟任务sayHello的延迟时间设为0，也需要等待test所在任务执行完后才能执行，所以sayHello最终的延迟时间是大于设定时间的。