手记

JavaScript执行顺序分析

前言

上星期面试被问到了事件执行顺序的问题,想起来之前看《深入浅出Node.js》时看到这一章就忽略了,这次来分析一下JavaScript的事件执行顺序。废话少说,正题开始。

单线程JavaScript

首先我们要知道JavaScript是一门单线程解释型语言。这就意味着在同一个时间下,我们只能执行一条命令。之所以它是一门单线程语言,和它的用途有关。
JavaScript设计出来的初衷是为了增强浏览器与用户的交互,尤其是表单的交互,而之后的Ajax技术也是为了使表单的交互更加人性化而发明出来的。因为JavaScript是一门解释型的语言,而解释器内嵌于浏览器,这个解释器是单线程的。
之所以不设计成多线程是因为渲染网页的时候多线程容易引起死锁或者资源冲突等问题。但是浏览器本身是多线程的,比如解释运行JavaScript的同时还在加载网络资源。

Why doesn't JavaScript support multithreading?

<!-- more -->

事件循环

单线程就意味着如果你要运行很多命令,那么这些命令需要排序,一般情况下,这些命令是从上到下排序执行(因为解释器是从文件顶部开始)。比如以下代码是按照顺序执行的。

console.log("1");
console.log("2");
console.log("3");
//1
//2
//3

但是我们还有知道在JavaScript里有异步编程的说法,比如Ajax,setTimeout,setInterval或者ES6中的Promise,async,await。

那么什么是同步和异步呢?

一条命令的执行在计算机里的意思就是它此时在使用CPU等资源,那么因为想要获得CPU资源的命令有很多,而CPU执行命令也需要时间去运算获得结果,于是就有了同步异步的概念。

同步就是在发出一个CPU请求时,在没有得到结果之前,该CPU请求就不返回。但是一旦调用返回,就得到返回值了。

异步表示CPU请求在发出之后,这个调用就直接返回了,所以没有返回结果。在运行结束后,需要通过一系列手段来获得返回值


这时候就要引入进程和线程的概念。

进程与线程

进程

概念:进程是一个具有一定独立功能的程序在一个数据集上的一次动态执行的过程,是操作系统进行资源分配和调度的一个独立单位,是应用程序运行的载体。

线程

由于进程对于CPU的使用时轮流的,那么就存在进程的切换,但是由于现在的程序都比较大,切换的开销很大会浪费CPU的资源,于是就发明了线程,把一个大的进程分解成多个线程共同执行。

区别

  • 进程是操作系统分配资源的最小单位,线程是程序执行的最小单位。
  • 一个进程由一个或多个线程组成,线程是一个进程中代码的不同执行路线;
  • 进程之间相互独立,但同一进程下的各个线程之间共享程序的内存空间(包括代码段、数据集、堆等)及一些进程级的资源(如打开文件和信号)。
  • 调度和切换:线程上下文切换比进程上下文切换要快得多。

    举个例子

    假如我是鸣人,我想吃很多拉面,如果我一个人吃10碗的话,那我就是一个进程一个线程完成吃拉面这件事情。
    但是如果我用9个分身和我一起吃10碗拉面,那我就是一个进程用9个线程去完成吃拉面这件事情。
    而多进程这表示名人在一乐拉面里面吃拉面的同时,好色仙人在偷看妹子洗澡~ ~。好色仙人是单进程单线程去偷看的哦!

    浏览器的线程

    浏览器的内核是多线程的,在内核控制下各线程相互配合以保持同步,一个浏览器通常由一下线程组成:

  • GUI 渲染线程
  • JavaScript引擎线程
  • 事件触发线程
  • 异步http请求线程
  • EventLoop轮询的处理线程
    这些线程的作用:

  • UI线程用于渲染页面
  • js线程用于执行js任务
  • 浏览器事件触发线程用于控制交互,响应用户
  • http线程用于处理请求,ajax是委托给浏览器新开一个http线程
  • EventLoop处理线程用于轮询消息队列

    JavaScript事件循环和消息队列

    因为JavaScript是单线程的,而浏览器是多线程的,所以为了执行不同的同步异步的代码,JavaScript运行的环境采用里事件循环和消息队列来达到目的。
    每个线程的任务执行顺序都是FIFO(先进先出)
    在JavaScript运行的环境中,有一个负责程序本身的运行,作为主线程;另一个负责主线程与其他线程的通信,被称为Event Loop 线程
    每当主线程遇到异步的任务,把他们移入到Event Loop 线程,然后主线程继续运行,等到主线程完全运行完之后,再去Event Loop 线程拿结果。
    而每个异步任务都包含着与它相关联的信息,比如运行状态,回调函数等。

    由此我们可以知道,同步任务和异步任务会被分发到不同的线程去执行。
    现在我们就可以分析一下一下代码的运行结果了。

    setTimeout(()=>{console.log("我才是第一");},0);
    console.log("我是第一");
    1. 因为setTimeout是异步的事件,所以主线程把它调入Event Loop线程进行注册。
    2. 主线程继续执行console.log("我是第一");
    3. 主线程执行完毕,从Event Loop 线程读取回调函数。再执行console.log("我才是第一");;

      setTimeout 和 setInterval

      setTimeout

      这里值得一提的是,setTimeout(callback,0)指的是主线程中的同步任务运行完了之后立刻由Event Loop 线程调入主线程。
      而计时是在调入Event Loop线程注册时开始的,此时setTimeout的回调函数执行时间与主线程运行结束的时间相关。
      关于setTimeout要补充的是,即便主线程为空,0毫秒实际上也是达不到的。根据HTML的标准,最低是4毫秒。

      setInterval

      需要注意的是,此函数是每隔一段时间将回调函数放入Event Loop线程。
      一旦setInterval的回调函数fn执行时间超过了延迟时间ms,那么就完全看不出来有时间间隔了

      micro-task(微任务)macro-task(宏任务)

      Event Loop线程中包含任务队列(用来对不同优先级的异步事件进行排序),而任务队列又分为macro-task(宏任务)micro-task(微任务),在最新标准中,它们被分别称为taskjobs

  • macro-task大概包括:script(整体代码), setTimeout, setInterval, setImmediate, I/O, UI rendering。
  • micro-task大概包括: process.nextTick, Promise, Object.observe(已废弃), MutationObserver(html5新特性)
  • setTimeout/Promise等我们称之为任务源。而进入任务队列的是他们指定的具体执行任务(回调函数)。
    来自不同的任务源的任务会进入到不同的任务队列中,而不同的任务队列执行过程如下:
    执行过程如下:
    JavaScript引擎首先从macro-task中取出第一个任务,
    执行完毕后,将micro-task中的所有任务取出,按顺序全部执行;
    然后再从macro-task中取下一个,
    执行完毕后,再次将micro-task中的全部取出;
    循环往复,直到两个队列中的任务都取完。

    举个大例子

    console.log("start");
    var promise = new Promise((resolve) => {
    console.log("promise start..");
    resolve("promise");
    }); //3
    promise.then((val) => console.log(val));
    setTimeout(()=>{console.log("setTime1")},0);
    console.log("test end...")

    这里我们按顺序来分析。

    第一轮
    1. 整体script代码作为一个宏任务进入主线程,运行console.log("start");
    2. 然后遇到Promises直接运行console.log("promise start..")
    3. 然后遇到promise.then,存入到micro-task队列中。
    4. 然后遇到setTimeout,存入到macro-task队列中。
    5. 于然后运行console.log("test end...");
    6. 在这一轮中,宏任务运行结束,运行micro-task队列中的 promise.then,输出promise
      第二轮
    7. 取出macro-task队列中的setTimeout,运行console.log("setTime1");
      结果

      输出的顺序就是

      // start
      // promise start
      // test end...
      // promise
      //setTime1

      留一个案例你们去分析

      
      async function testSometing() {
      console.log("执行testSometing");
      return "testSometing";
      }

async function testAsync() {
console.log("执行testAsync");
return Promise.resolve("hello async");
}

async function test() {
console.log("test start...");
const v1 = await testSometing();
console.log(v1);
const v2 = await testAsync();
console.log(v2);
console.log(v1, v2);
}

test();

var promise = new Promise((resolve) => {
console.log("promise start..");
resolve("promise");
}); //3
promise.then((val) => console.log(val));
setTimeout(()=>{console.log("setTime1")},3000);
console.log("test end...")



# 感谢以下文章
* [前端基础进阶(十二):深入核心,详解事件循环机制](http://www.jianshu.com/p/12b9f73c5a4f#)
* [[JavaScript] Macrotask Queue和Microtask Queue](http://www.jianshu.com/p/3ed992529cfc)
* [JavaScript运行机制(堆、栈、消息队列)](http://blog.csdn.net/newfishcoder/article/details/70843741)
* [JavaScript 运行机制详解:再谈Event Loop](http://www.ruanyifeng.com/blog/2014/10/event-loop.html)
* [这一次,彻底弄懂 JavaScript 执行机制](https://juejin.im/post/59e85eebf265da430d571f89)
7人推荐
随时随地看视频
慕课网APP