前言
大家都知道JavaScript 是一门单线程的语言,它无法进行多线程编程,但是 JS 当中却有着无处不在的异步概念 。要完全理解异步,就需要了解 JS 的运行核心——事件循环(event loop),且Node也保持了JavaScript 在浏览器中单线程的特点,那么JavaScript 在浏览器中的事件循环机制是怎么的?与Node的事件循环机制又有什么区别?
1、什么是单线程?
主程序只有一个线程,即同一时间片断内其只能执行单个任务。
2. 为什么选择单线程?
javascript在最初设计时设计成了单线程,为什么不是多线程呢?如果多个线程同时操作DOM那岂不会很混乱?
JavaScript的主要用途是与用户互动,以及操作DOM。这决定了它只能是单线程,否则会带来很复杂的同步问题。这里所谓的单线程指的是主线程是单线程的,所以在Node中主线程依旧是单线程的。
3、JavaScript 的内存分配
了解js事件循环之前,我们先来看看如下一段代码的内存是如何分布的,
var a = 33;
var obj1 = {
a:1,
b:2
}
function Person(name){
this.name = name;
}
var arr1 = [10,24,32]
var p1 = new Person('小明');
var str = 'abc';
setTimeout(function(){
console.log(2)
Promise.resolve('promise').then(function(data){
console.log(data)
})
})
setTimeout(function(){
console.log(4)
})
再看看内存分析图:
由上图可见:
栈:在JavaScript执行时,用于储存执行上下文的。如果是基本类型,会直接保存值,如果是引用类型,则保存的是引用地址。
堆:存储对象的区域,储存的是引用对象的值。在执行上下文的时候,我们不能直接访问堆内存,需要通过栈中储存的“引用地址”进行访问。
任务队列: 用于存放异步任务(宏任务和微任务)
宏任务和微任务:
macro-task(宏任务): setTimeout, setInterval, setImmediate, I/O
micro-task(微任务): process.nextTick, 原生Promise(有些实现的promise将then方法放到了宏任务中),Object.observe(已废弃), MutationObserver
了解完了内存分配以及调用栈、堆和队列之后,那么就来看看这事件循环在浏览器和node中到底是怎么执行的。
浏览器中的Event Loop
先看一张下网上看到的 JavaScript 在浏览器中的Event Loop的模型图 ,相信看完这个会对事件循环机制有一种豁然开朗的感觉。
1.所有同步任务都在主线程上执行,形成一个执行栈
2.主线程之外,还存在一个任务队列。只要异步任务有了运行结果,就在任务队列之中放置一个事件。
3.一旦执行栈中的所有同步任务执行完毕,系统就会读取任务队列,将队列中的事件放到执行栈中依次执行
4.主线程从任务队列中读取事件,这个过程是循环不断的
整个的这种运行机制又称为Event Loop(事件循环)
Node中的Event Loop
了解Node中的Event Loop前,我们先来看看Node是如何工作的。1.我们写的js代码会交给v8引擎进行处理
2.代码中可能会调用nodeApi,node会交给libuv库处理
3.libuv通过阻塞i/o和多线程实现了异步io
4.通过事件驱动的方式,将结果放到事件队列中,最终交给我们的应用。
在libuv内部有这样一个事件环机制。在node启动时会初始化事件环
┌───────────────────────┐
┌─>│ timers(计时器) │
| | 执行setTimeout以及 |
| | setInterval的回调。 |
│ └──────────┬────────────┘
│ ┌──────────┴────────────┐
│ │ I/O callbacks |
│ | 处理网络、流、tcp的错误 |
| | callback |
│ └──────────┬────────────┘
│ ┌──────────┴────────────┐
│ │ idle, prepare │
| | node内部使用 |
│ └──────────┬────────────┘
│ ┌──────────┴────────────┐ ┌───────────────┐
│ │ poll(轮询) │ │ incoming: │
| | 执行poll中的i/o队列 | <─────┤ connections, │
| | 检查定时器是否到时 | │ data, etc. |
│ └──────────┬────────────┘ └───────────────┘
│ ┌──────────┴────────────┐
│ │ check(检查) │
| | 存放setImmediate回调 |
│ └──────────┬────────────┘
│ ┌──────────┴────────────┐
└──┤ close callbacks |
│ 关闭的回调例如 |
| sockect.on('close') |
└───────────────────────┘
这里每一个阶段都对应一个事件队列,当event loop执行到某个阶段时会将当前阶段对应的队列依次执行。当队列执行完毕或者执行的数量超过上线时,会转入下一个阶段。这里我们重点关注poll阶段
poll阶段: