完全掌握JavaScript执行机制
一、为什么JavaScript是单线程
如果想了解JavaScript为什么是单线程的,我们就要从JavaScript是用来做什么工作的来入手。
JavaScript作为浏览器的脚本语言,产出的目的就是为了浏览器与用户进行交互,操作DOM元素,从而提升用户的交互及体验感。JavaScript要操作浏览器的DOM元素,因此导致JavaScript无法成为多线程语言,我们假设一个场景,如果JavaScript是多线程语言,两个线程同时操作一个DOM元素,一个线程需要编辑更新DOM元素,而另一个则是删除DOM元素节点,这是浏览器应该以哪个为准呢?
同一时间只能做同一件事情,因为操作DOM元素的原因,导致单线程是JavaScript这门语言的核心,也是这门语言特点。
HTML5提出Web Worker标准,允许JavaScript脚本创建多个线程,但是子线程完全受主线程控制,且不得操作DOM。即使这样的改动也并没有改变js单线程的本质。
二、JavaScript中的同步与异步
javaScript的单线程机制,就导致同一时间只能做一件事情。就像一堆人在ATM取款机取款,即使后面再多的人在着急,也只能一个一个的排队,等待前一个人取完款,才能轮到后一人。
可是这样会导致如果说前一个任务消耗时间过长,后一个任务就会等待非常久,比如,我们需要加载一个数据量非常大的Ajax请求,我们不得不等待请求相应结果,再继续往下行执后续任务。
那我们该如何处理这种情况呢?既然我们无法改变JavaScript的单线程机制,我们是否可以将一些耗时久的任务进行暂时挂起,等到主任务执行完成之后,再将这些挂载的任务执行。JavaScript的作者也想到了这样的方式,JavaScript拥有了同步任务与异步任务。
同步任务就是,任务在主线程上进行排队,下一个任务必须等待上一个任务执行完成,才可以执行。而异步任务是指,任务不进入主线程,而进入任务队列(task queue)进行等待,进入任务队列的任务只有"任务队列"通知主线程,某个异步任务可以执行了,该任务才会进入主线程执行。
三、Event Loop事件循环机制
JavaScript的所有同步任务都在主线程上执行,形成一个执行栈。
任务队列是先进先出的原则,先进队列的事件先执行,后进队列的事件后执行。
Event Loop
执行执行栈中的同步任务。
当遇到一个异步任务后不会一直等待其返回结果,会先将异步任务进行暂时挂起,继续执行其他的同步任务。
当异步任务有结果之后,JavaScript会任务将添加进任务队列中。被添加进任务队列中的任务不会立刻进行回调执行而是等待主线程(执行栈)空闲时才加入到执行栈中进行回调执行
等待执行栈中的任务执行完毕。
将任务队列中的任务加入执行栈后执行。
如此反复,这样就形成了一个无限的循环(event loop)。(下图来自网络)
学习了 Event Loop 我们一起来看看下面这道题:
setTimeout(function(){ console.log('setTimeout start') }); new Promise(function(resolve){ console.log('promise start'); resolve() }).then(function(){ console.log('promise then') }); console.log('script end');
尝试按照,上文我们刚学到的JavaScript执行机制去分析
1. 首先执行同步任务,执行到setTimeout,但是setTimeout是异步任务的暂时挂起,等待计时超时,添加进任务队列中。
2. 继续往下,在执行到new Promise,new Promise里面的是同步任务,打印 "promise start"。
3. 在执行到resolve将.then添加进任务队列中。
4. 在执行 console.log('script end');打印"script end"。
5. 这时主任务都已经执行完成,在将异步任务添加进主任务中直接执行,打印"setTimeout start",再将.then添加进主任务中,打印"promise then"。
所以结果应该是:promise start -> script end -> setTimeout start -> promise then 吗?
亲自在浏览器执行后,结果居然不是这样,而是 promise start -> script end -> promise then -> setTimeout start
宏任务与微任务
那为什么上文中的结果为什么跟我们预想的不一致,为什么 setTimeout start 会在 promise 之后打印。
其实是因为异步的执行也是有先后顺序的。其实用异步跟同步的方式去划分任务队列的执行顺序是不准确的。应该划分为 微任务 与 宏任务。
宏任务(macro-task):script 代码、setTimeout、setInterval
微任务(micro-task):Promise、process.nextTick
所以说setTimeout是异步任务中的 宏任务 ,而Promise是异步任务中的 微任务 。不管是 微任务 还是 宏任务,都会进入相应的 Event Queue, 接下来我们在看一个流程图。
我们来稍微理解一下:
1. 执行宏任务(script代码)
2. 当执行宏任务的时遇到了微任务,就会将微任务添加进 Event Queue
3. 在当前宏任务执行完成后,会查看微任务的 Event Queue ,并将里面全部的微任务依次执行完
4. 在执行玩所有的为微任务之后,继续进行第一步,以此循环
这便也是 javaScript 的运行机制,结合这个我们再重新的分析一下上面的例子。
1. 首先执宏任务(script代码 ),遇到setTimeout将其添加进宏任务的Event Queue。
2. 继续往下,在执行到new Promise,打印 "promise start"。
3. 在执行到resolve,.then是微任务,添加进微任务的Event Queue。
4. 在执行 console.log('script end');打印 "script end"。
5. 到这里本轮的宏任务就已经全部执行结束了,这时查找微任务的 Eevent Queue 是否存在可执行的微任务, 发现有刚才在第三步添加进去额度.then,执行并打印 "promise then"
6. 这时第一轮的 event loop 就已经彻底结束了,下一轮 event loop 先执行一个宏任务,发现宏任务的Event Queue中有添加进去的setTimeout,执行并打印 "setTimeout start"
永远记住JavaScript是单线程,以前是、现在是、将来也会是。所有的多线程说法都是扯淡。
即使是Event Queue,也只不是实现异步的方式,也是js的执行机制。
以后能用JavaScript实现的。都将会用JavaScript来实现。
相关推荐:javascript学习教程
以上就是完全掌握JavaScript执行机制的详细内容,更多请关注其它相关文章!
上一篇: html中h1是什么意思
下一篇: 一些关于React的常见面试题(分享)