谈谈JavaScript执行机制

以后能用JavaScript实现的。都将会用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"

END

永远记住JavaScript是单线程，以前是、现在是、将来也会是。所有的多线程说法都是扯淡。
即使是Event Queue，也只不是实现异步的方式，也是js的执行机制。

以后能用JavaScript实现的。都将会用JavaScript来实现。