JS MarcoTasks MicroTasks

JS MarcoTasks MicroTasks

在JS的event loop中，有两种任务队列microtasks和macrotasks

microtasks

• process.nextTick
• Promise
• Object.observe
• MutationObserver

macrotasks

• setTimeout
• setInterval
• setImmediate
• I/O(Ajax, fs)
• UI渲染

在一个事件循环event loop的周期中，一个task应该从macrotask队列开始执行。当这个macrotask结束后，全部的microtasks将在同一个cycle中执行。
且在microtasks执行时还能够加入更多的microtask，而后一个一个的执行，直到microtask队列清空。

console.log('start')

const interval = setInterval(() => {  
  console.log('setInterval')
}, 0)

setTimeout(() => {  
  console.log('setTimeout 1')
  Promise.resolve()
      .then(() => {
        console.log('promise 3')
      })
      .then(() => {
        console.log('promise 4')
      })
      .then(() => {
        setTimeout(() => {
          console.log('setTimeout 2')
          Promise.resolve()
              .then(() => {
                console.log('promise 5')
              })
              .then(() => {
                console.log('promise 6')
              })
              .then(() => {
                clearInterval(interval)
              })
        }, 0)
      })
}, 0)

Promise.resolve()
    .then(() => {  
        console.log('promise 1')
    })
    .then(() => {
        console.log('promise 2')
    })

event loop1:
macrotasks: [主程序代码]
microtasks: []

执行macrotasks队列，也即执行主程序代码，收集macro或micro的tasks
输出: 'start'
收集的macrotasks（下次循环的）: [setInterval, setTimeout]
收集的microtasks（当前循环的）: [Promise]

macrotasks队列执行完毕，这时候microtasks: [Promise]不为空，执行microtasks队列
输出： 'promise1'
输出 ： 'promise2'
这时候microtasks为空

下次循环开始以前的队列状态
macrotasks: [setInterval, setTimeout]
microtasks: []

event loop2:
执行macrotasks队列
执行setInterval
输出：'setInterval'，且收集setInterval到下次循环的macrotasks中
执行setTimeout
输出：'setTimeout 1'，且收集Promise到当前循环的microtasks: [Promise]

因为当前循环的microtasks不为空，执行队列中的任务Promise
输出：'promise3'
输出: 'promise4'
收集setTimeout到下次循环的macrotasks中
这时候microtasks为空

下次循环开始以前的队列状态
macrotasks: [setInterval, setTimeout]
microtasks: []

event loop3:
执行macrotasks队列
执行setInterval
输出: 'setInterval'，且收集setInterval到下次循环的macrotasks: [setInterval]中
执行setTimeout
输出: 'setTimeout2'，且收集Promise到当前的microtasks: [Promise]

因为当前循环的microtasks不为空，执行队列中的任务Promise
输出: 'promise5'
输出: 'promise6'
清除定时器clearInterval，因此下次循环的macrotasks的setInterval被清除

下次循环开始以前的队列状态
macrotasks: []
microtasks: []

event loop4:
因为macrotasks为空，和microtasks为空，程序处于等待状态。

上面程序总的输出结果是

// event loop1
start

promise 1
promise 2

// event loop2
setInterval
setTimeout 1

promise 3
promise 4

// event loop3
setInterval
setTimeout 2

promise 5
promise 6

总结

• 一个循环开始的时候microtasks（大多状况）是空的，或者说当前循环的microtasks一开始是空的，在macrotasks执行完后可能不为空
• microtasks要等到macrotasks队列执行完毕才会开始执行，且microtasks的任务在执行的过程当中，是能够添加任务的，只要当前循环还未结束
• 在当前循环中收集的macro任务是收集到下一个循环的macrotasks，而当前循环收集的micro任务是收集到当前microtasks中