分享

10 分钟理解 JS 引擎的执行机制

 ZhouAndrew 2018-07-25

作者: ziwei3749 


首先,请牢记2点:

  1. JS是单线程语言

  2. JS的Event Loop是JS的执行机制。深入了解JS的执行,就等于深入了解JS里的event loop

1.灵魂三问:JS为什么是单线程的?为什么需要异步?单线程又是如何实现异步的呢?

技术的出现,都跟现实世界里的应用场景密切相关的。同样的,我们就结合现实场景,来回答这三个问题。

(1) JS为什么是单线程的?

JS最初被设计用在浏览器中,那么想象一下,如果浏览器中的JS是多线程的。

场景描述:

那么现在有2个进程,process1 process2,由于是多进程的JS,所以他们对同一个dom,同时进行操作。 process1 删除了该dom,而process2 编辑了该dom,同时下达2个矛盾的命令,浏览器究竟该如何执行呢?

这样想,JS为什么被设计成单线程应该就容易理解了吧。

(2) JS为什么需要异步?

场景描述:

如果JS中不存在异步,只能自上而下执行,如果上一行解析时间很长,那么下面的代码就会被阻塞。 对于用户而言,阻塞就意味着'卡死',这样就导致了很差的用户体验

所以,JS中存在异步执行。

(3) JS单线程又是如何实现异步的呢?

既然JS是单线程的,只能在一条线程上执行,又是如何实现的异步呢?

是通过的事件循环(event loop),理解了event loop机制,就理解了JS的执行机制。

2.JS中的event loop(1)

例1,观察它的执行顺序

  1.    console.log(1)

  2.    setTimeout(function(){

  3.        console.log(2)

  4.    },0)

  5.    console.log(3)

运行结果是:1 3 2

也就是说,setTimeout里的函数并没有立即执行,而是延迟了一段时间,满足一定条件后才去执行的,这类代码,我们叫异步代码。

所以,这里我们首先知道了JS里的一种分类方式,就是将任务分为:同步任务和异步任务。

按照这种分类方式:JS的执行机制是:

  • 首先判断JS是同步还是异步,同步就进入主进程,异步就进入event table

  • 异步任务在event table中注册函数,当满足触发条件后,被推入event queue

  • 同步任务进入主线程后一直执行,直到主线程空闲时,才会去event queue中查看是否有可执行的异步任务,如果有就推入主进程中

以上三步循环执行,这就是event loop。

所以上面的例子,你是否可以描述它的执行顺序了呢?

  • console.log(1) 是同步任务,放入主线程里

  • setTimeout() 是异步任务,被放入event table, 0秒之后被推入event queue里

  • console.log(3 是同步任务,放到主线程里

当 1、 3在控制条被打印后,主线程去event queue(事件队列)里查看是否有可执行的函数,执行setTimeout里的函数。

3.JS中的event loop(2)

所以,上面关于event loop就是我对JS执行机制的理解,直到我遇到了下面这段代码。

例2:

  1. setTimeout(function(){

  2.     console.log('定时器开始啦')

  3. });

  4. new Promise(function(resolve){

  5.     console.log('马上执行for循环啦');

  6.     for(var i = 0; i <>10000; i++){

  7.         i == 99 && resolve();

  8.     }

  9. }).then(function(){

  10.     console.log('执行then函数啦')

  11. });

  12. console.log('代码执行结束');

尝试按照,上文我们刚学到的JS执行机制去分析:

  • setTimeout 是异步任务,被放到event table

  • new Promise 是同步任务,被放到主进程里,直接执行打印 console.log('马上执行for循环啦')

  • .then 里的函数是异步任务,被放到event table

  • console.log('代码执行结束') 是同步代码,被放到主进程里,直接执行

所以,结果是: 马上执行for循环啦---代码执行结束---定时器开始啦---执行then函数啦吗?

亲自执行后,结果居然不是这样,而是: 马上执行for循环啦---代码执行结束---执行then函数啦---定时器开始啦

那么,难道是异步任务的执行顺序,不是前后顺序,而是另有规定?事实上,按照异步和同步的划分方式,并不准确。

而准确的划分方式是:

  • macro-task(宏任务):包括整体代码script,setTimeout,setInterval

  • micro-task(微任务):Promise,process.nextTick

按照这种分类方式,JS的执行机制是:

  • 执行一个宏任务,过程中如果遇到微任务,就将其放到微任务的“事件队列”里

  • 当前宏任务执行完成后,会查看微任务的“事件队列”,并将里面全部的微任务依次执行完

  • 重复以上2步骤,结合event loop(1) event loop(2),就是更为准确的JS执行机制了

尝试按照刚学的执行机制,去分析例2:

  • 首先执行script下的宏任务,遇到setTimeout,将其放到宏任务的“队列”里

  • 遇到 new Promise直接执行,打印'马上执行for循环啦'

  • 遇到then方法,是微任务,将其放到微任务的“队列”里。

  • 打印 '代码执行结束'

  • 本轮宏任务执行完毕,查看本轮的微任务,发现有一个then方法里的函数,打印'执行then函数啦'

  • 到此,本轮的event loop 全部完成。

  • 下一轮的循环里,先执行一个宏任务,发现宏任务的“队列”里有一个setTimeout里的函数,执行打印'定时器开始啦'

所以最后的执行顺序是: 马上执行for循环啦---代码执行结束---执行then函数啦---定时器开始啦

4.谈谈setTimeout

这段setTimeout代码什么意思? 我们一般说: 3秒后,会执行setTimeout里的那个函数

  1. setTimeout(function(){

  2.    console.log('执行了')

  3. },3000)    

但是这种说并不严谨,准确的解释是:3秒后,setTimeout里的函数被会推入event queue,而event queue(事件队列)里的任务,只有在主线程空闲时才会执行。

所以只有满足 (1)3秒后 (2)主线程空闲,同时满足时,才会3秒后执行该函数

如果主线程执行内容很多,执行时间超过3秒,比如执行了10秒,那么这个函数只能10秒后执行了。 

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多