JS 引擎的执行机制
关于JS引擎的执行机制,首先牢记2点:
- .JS是单线程语言
- JS的Event Loop是JS的执行机制。深入了解JS的执行,就等于深入了解JS里的event loop
关于单线程相对还比较好理解,就是同时只能做一件事,JS最初设计用在浏览器中的,如果浏览器中的JS是多线程的,那将有可能出现以下场景:
那么现在有2个进程,process1 process2,由于是多进程的JS,所以他们对同一个dom,同时进行操作。
process1 删除了该dom,而process2 编辑了该dom,同时下达2个矛盾的命令,浏览器究竟该如何执行呢?
这样想来,JS为什么是单线程的应该就容易理解了。
那既然JS是单线程了,为了不造成阻塞,对一些比较大的资源,就会采用异步加载的方式,那JS是如何实现异步的呢? 那就是通过事件循环(event loop),理解了event loop机制,就理解了JS的运行机制的难点!
首先看一个栗子,感受一下基本的执行规律:
console.log(1)
setTimeout(function(){
console.log(2)
},0)
console.log(3);
这个栗子的打印结果为1 3 2
这个地方相对比较好理解,setTimeout里的函数并没有立即执行,而是延迟了一段时间,满足一定条件后才去执行的,这类代码,我们叫异步代码。与它相对的console.log()这些就属于同步任务,按照这种大体的分类方式JS的执行机制是:
- 首先判断JS是同步还是异步,同步就进入主进程,异步就进入event table
- 异步任务在event table中注册函数,当满足触发条件后,被推入event queue
- 同步任务进入主线程后一直执行,直到主线程空闲时,才会去event queue中查看是否有可执行的异步任务,如果有就推入主进程中
以上三步循环执行,这就是event loop。
所以,上面关于eventloop就是我对JS执行机制的理解,正常情况下,JavaScript的任务是同步执行的,即执行完前一个任务,然后执行后一个任务。只有遇到异步任务的情况下,执行顺序才会改变。
这时,需要区分两种任务:正常任务(task)与微任务(microtask)。它们的区别在于,“正常任务”在下一轮Event Loop执行,“微任务”在本轮Event Loop的所有任务结束后执行。
console.log(1);
setTimeout(function() {
console.log(2);
}, 0);
Promise.resolve().then(function() {
console.log(3);
}).then(function() {
console.log(4);
});
console.log(5);
// 打印顺序为:1 5 3 4 2
上面代码的执行结果表明:setTimeout(fn, 0)在Promise.resolve之后执行。
这是因为setTimeout语句指定的是“正常任务”,即不会在当前的Event Loop执行。而Promise会将它的回调函数,在状态改变后的那一轮Event Loop指定为微任务。所以,3和4输出在5之后、2之前。
正常任务包括以下情况。
- setTimeout
- setInterval
- setImmediate
- I/O
- 各种事件(比如鼠标单击事件)的回调函数
微任务目前主要是process.nextTick和 Promise 这两种情况。
所以,判断JS的任务执行机制的难点就是有多个异步任务,并且是不同类型的异步任务的时候,这个时候先要分清任务是“正常任务”还是“微任务”,“正常任务”要到下一轮Event Loop执行,所以要晚些执行。
参考文章:https://mp.weixin.qq.com/s/WJHD3IFefoVm2MHBgf6oDw
http://javascript.ruanyifeng.com/advanced/timer.html
感谢这些大神的无私分享,以上大部分是他们文章中我个人能够理解的部分,当然,目前我对Promise的机制的理解还不是特别清楚,下次弄清楚一些了再写上!