js的事件循环机制和任务队列
上篇讲异步的时候,提到了同步队列和异步队列的说法,其实只是一种形象的称呼,分别代表主线程中的任务和任务队列中的任务,那么此篇我们就来详细探讨这两者。
一、来张图感受一下
如果看完觉得一脸懵逼,请继续往下看。
二、解析
我们还是拿上篇的例子做解析
step1:f1、Promise对象实例化、f2被放入主线程的堆内存中;
step2:Promise对象实例化后的同步代码块被放入主线程的执行栈中执行,并且产生的异步任务被放入任务队列;
step3:f1被放入主线程的执行栈中执行(打印“我是F1”),for循环产生的1000个定时器(异步任务)放入任务队列;
step4:f2被放入主线程的执行栈中执行,连续5次;
step5:至此,主线程的执行栈中已经没有任务了,于是事件循环(event loop)机制从任务队列中取出一个任务放入主线程的执行栈中执行;
step6:等待主线程的执行栈中又没有任务了,事件循环机制再次去任务队列中取出任务;
step7:重复第6步。
三、任务队列
上面提到了任务队列,任务队列就是等候执行的一系列任务,就好比锅里的饭,你只有把碗里的饭吃完了,才能再次去锅里再盛一碗(不要杠!);
只有主线程的执行栈中没有了任务,事件循环机制才会去任务队列拿任务去执行。
由刚开始的图,你也看到了,任务队列是分不同类别并且是有优先级的。
- 任务队列又分为macro-task(宏任务)和micro-task(微任务);
- macro-task大概包括:script(整体代码),setTimeout,setInterval,setImmediate,I/O,UI rendering;
- micro-task大概包括:process.nextTick,Promise,Object.observe(已废弃),MutationObserver(html5新特性)
- setTimeout/Promise等我们称之为任务源。而进入任务队列的是他们指定的具体执行任务。
- 来自不同任务源的任务会进入到不同的任务队列
优先级的话,micro-task > macro-task;
对于micro-task:process.nextTick > Promise.then
对于macro-task:setTimeout > setImmediate
Promise.resolve().then(()=>{ console.log('Promise1') setTimeout(()=>{ console.log('setTimeout2') },0) }) setTimeout(()=>{ console.log('setTimeout1') Promise.resolve().then(()=>{ console.log('Promise2') }) },0)
step1:
分析:开始任务队列里有微任务promise1和宏任务timeout1,第一次事件循环一看有微任务,二话不说,直接拿promise1到主线程跑(其实是跑完所有的微任务);promise1运行结果是,控制台打印promise1,并生成一个宏任务timeout2。
step2:
分析:因为此时任务队列里只有宏任务,于是,根据队列规则以及优先级(这里只有一种宏任务,所以没有涉及到优先级),事件循环拿timeout1去主线程跑;
timeout1运行结果,打印setTimeout1,并生成一个微任务promise2,至此第一次事件循环结束。
step3:
分析:任务队列里有微任务promise2和宏任务timeout2,事件循环一看有微任务,二话不说,直接拿promise2到主线程跑;
运行结果,控制台打印promise2,此时任务队列只剩下一个宏任务timeout2。
step4:
分析:此时任务队列只有一个宏任务timeout2,事件循环二话不说,因为没得挑了嘛,直接拿到主线程去跑,控制台打印timeout2,至此结束,也是第二次事件循环结束。
所以,一次事件循环是跑完所有微任务并推一个宏任务到主线程的过程。