Node.js事件循环(Event Loop)和线程池详解


Posted in Javascript onJanuary 28, 2015

Node的“事件循环”(Event Loop)是它能够处理大并发、高吞吐量的核心。这是最神奇的地方,据此Node.js基本上可以理解成“单线程”,同时还允许在后台处理任意的操作。这篇文章将阐明事件循环是如何工作的,你也可以感受到它的神奇。

事件驱动编程

理解事件循环,首先要理解事件驱动编程(Event Driven Programming)。它出现在1960年。如今,事件驱动编程在UI编程中大量使用。JavaScript的一个主要用途是与DOM交互,所以使用基于事件的API是很自然的。

简单地定义:事件驱动编程通过事件或状态的变化来进行应用程序的流程控制。一般通过事件监听实现,一旦事件被检测到(即状态改变)则调用相应的回调函数。听起来很熟悉?其实这就是Node.js事件循环的基本工作原理。

如果你熟悉客户端JavaScript的开发,想一想那些.on*()方法,如element.onclick(),他们用来与DOM元素相结合,传递用户交互。这个工作模式允许在单个实例上触发多个事件。Node.js通过EventEmitter(事件发生器)触发这种模式,如在服务器端的Socket和 “http”模块中。可以从一个单一实例触发一种或一种以上的状态改变。

另一种常见的模式是表达成功succeed和失败fail。现在一般有两种常见的实现方式。首先是将“Error异常”传入回调,一般作为第一个参数传递给回调函数。第二种即使用Promises设计模式,已经加入了ES6。注* Promise模式采用类似jQuery的函数链式书写方式,以避免深层次的回调函数嵌套,如:

$.getJSON('/getUser').done(successHandler).fail(failHandler)

“fs”(filesystem)模块大多采用往回调中传入异常的风格。在技术上触发某些调用,例如fs.readFile()附加事件,但该API只是为了提醒用户,用来表达操作成功或失败。选择这样的API是出于架构的考虑,而非技术的限制。

一个常见的误解是,事件发生器(event emitters)在触发事件时也是天生异步的,但这是不正确的。下面是一个简单的代码片段,以证明这一点。

function MyEmitter() {

  EventEmitter.call(this);

}

util.inherits(MyEmitter, EventEmitter);
MyEmitter.prototype.doStuff = function doStuff() {

  console.log('before')

  emitter.emit('fire')

  console.log('after')}

};
var me = new MyEmitter();

me.on('fire', function() {

  console.log('emit fired');

});
me.doStuff();

// 输出:

// before

// emit fired

// after
注* 如果 emitter.emit 是异步的,则输出应该为

// before

// after

// emit fired

EventEmitter经常表现地很异步,因为它经常用于通知需要异步完成的操作,但EventEmitter API本身是完全同步的。监听函数内部可以按异步执行,但请注意,所有的监听函数将按被添加的顺序同步执行。

机制概述和线程池

Node本身依赖多个库。其中之一是libuv,神奇的处理异步事件队列和执行的库。

Node利用尽可能多的利用操作系统内核实现现有的功能。像生成响应请求(request),转发连接(connections)并委托给系统处理。例如,传入的连接通过操作系统进行队列管理,直到它们可以由Node处理。

您可能听说过,Node有一个线程池,你可能会疑惑:“如果Node会按次序处理任务,为什么还需要一个线程池?”这是因为在内核中,不是所有任务都是按异步执行的。在这种情况下,Node.JS必须能在操作时将线程锁定一段时间,以便它可以继续执行事件循环而不会被阻塞。

下面是一个简单的示例图,来表示他内部的运行机制:

            ┌───────────────────────┐
?──►│         timers                                           │
 │         └───────────┬───────────┘
 │         ┌───────────┴───────────┐
 │         │   pending callbacks                             │
 │         └───────────┬───────────┘          ┌──────────────┐
 │         ┌───────────┴───────────┐          │  incoming:                    │
 │          │          poll                                               │◄──┤ connections,                │
 │         └───────────┬───────────┘          │  data, etc.                     │
 │         ┌───────────┴───────────┐          └──────────────┘
?───┤      setImmediate                                  │
             └───────────────────────┘

关于事件循环的内部运行机制,有一些理解困难的地方:

所有回调都会经由process.nextTick(),在事件循环(例如,定时器)一个阶段的结束并转换到下一阶段之前预设定。这就会避免潜在的递归调用process.nextTick(),而造成的无限循环。
“Pending callbacks(待回调)”,是回调队列中不会被任何其他事件循环周期处理(例如,传递给fs.write)的回调。

Event Emitter 和 Event Loop

通过创建EventEmitter,可简化与事件循环的交互。它是一个通用的封装,可以让你更容易地创建基于事件的API。关于这两者如何互动往往让开发者感到混乱。

下面的例子表明,忘记了事件是同步触发的,可能导致事件被错过。

// v0.10以后,不再需要require('events').EventEmitter 

var EventEmitter = require('events');

var util = require('util');
function MyThing() {

  EventEmitter.call(this);
  doFirstThing();

  this.emit('thing1');

}

util.inherits(MyThing, EventEmitter);
var mt = new MyThing();
mt.on('thing1', function onThing1() {

  // 抱歉,这个事件永远不会发生

});

上面的'thing1'事件,永远不会被MyThing()捕获,因为MyThing()必须在实例化后才能侦听事件。下面的是一个简单的解决方法,不必添加任何额外的闭包:
var EventEmitter = require('events');

var util = require('util');
function MyThing() {

  EventEmitter.call(this);
  doFirstThing();

  setImmediate(emitThing1, this);

}

util.inherits(MyThing, EventEmitter);
function emitThing1(self) {

  self.emit('thing1');

}
var mt = new MyThing();
mt.on('thing1', function onThing1() {

  // 执行了

});

下面的方案也可以工作,不过要损失一些性能:

function MyThing() {

  EventEmitter.call(this);
  doFirstThing();

  // 使用 Function#bind() 会损失性能

  setImmediate(this.emit.bind(this, 'thing1'));

}

util.inherits(MyThing, EventEmitter);

另一个问题是触发Error(异常)。找出您应用程序中的问题已经很难了,但没了调用堆栈(注* e.stack),则几乎不可能调试。当Error被远端的异步请求调用堆栈将丢失。有两个可行的解决方案:同步触发或确保Error跟其他重要信息一起传入。下面的例子演示了这两种解决方案:
MyThing.prototype.foo = function foo() {

  // 这个 error 会被异步触发

  var er = doFirstThing();

  if (er) {

    // 在触发时,需要创建一个新的保留现场调用堆栈信息的error

    setImmediate(emitError, this, new Error('Bad stuff'));

    return;

  }
  // 触发error,马上处理(同步)

  var er = doSecondThing();

  if (er) {

    this.emit('error', 'More bad stuff');

    return;

  }

}

审时度势。当error被触发时,是有可能被立即处理的。或者,它可能是一些琐碎的,可以很容易处理,或在以后再处理的异常。此外通过一个构造函数,传递Error也不是一个好主意,因为构造出来的对象实例很有可能是不完整的。刚才直接抛出Error的情况是个例外。

结束语

这篇文章比较浅显地探讨了有关事件循环的内部运作机制和技术细节。都是经过深思熟虑的。另一篇文章会讨论事件循环与系统内核的交互,并展现NodeJS异步运行的魔力。

Javascript 相关文章推荐
jquery教程限制文本框只能输入数字和小数点示例分享
Jan 13 Javascript
js获取 type=radio 值的方法
May 09 Javascript
js中的caller和callee属性介绍和例子
Jun 07 Javascript
jQuery实现本地预览上传图片功能
Jan 08 Javascript
封装属于自己的JS组件
Jan 27 Javascript
分类解析jQuery选择器
Nov 23 Javascript
javascript中数组(Array)对象和字符串(String)对象的常用方法总结
Dec 15 Javascript
基于Datatables跳转到指定页的简单实例
Nov 09 Javascript
Vue Element使用icon图标教程详解(第三方)
Feb 07 Javascript
vue的常用组件操作方法应用分析
Apr 13 Javascript
clipboard.js在移动端复制失败的解决方法
Jun 13 Javascript
vue中实现高德定位功能
Dec 03 Javascript
使用Sticker.js实现贴纸效果
Jan 28 #Javascript
javascript实现瀑布流自适应遇到的问题及解决方案
Jan 28 #Javascript
7个让JavaScript变得更好的注意事项
Jan 28 #Javascript
简单谈谈javascript代码复用模式
Jan 28 #Javascript
JS动态添加Table的TR,TD实现方法
Jan 28 #Javascript
扒一扒JavaScript 预解释
Jan 28 #Javascript
javascript弹出页面回传值的方法
Jan 28 #Javascript
You might like
PHP函数utf8转gb2312编码
2006/12/21 PHP
Discuz 5.0 中读取纯真IP数据库函数分析
2007/03/16 PHP
基于preg_match_all采集后数据处理的一点心得笔记(编码转换和正则匹配)
2014/01/31 PHP
Thinkphp+smarty+uploadify实现无刷新上传
2015/07/30 PHP
php 解析xml 的四种方法详细介绍
2016/10/26 PHP
thinkPHP5框架自定义验证器实现方法分析
2018/06/11 PHP
EasyUi tabs的高度与宽度根据IE窗口的变化自适应代码
2010/10/26 Javascript
javascript 判断字符串是否包含某字符串及indexOf使用示例
2013/10/18 Javascript
js中的时间转换—毫秒转换成日期时间的示例代码
2014/01/26 Javascript
jQuery select表单提交省市区城市三级联动核心代码
2014/06/09 Javascript
AngularJS中$injector、$rootScope和$scope的概念和关联关系深入分析
2017/01/19 Javascript
JS实现的全排列组合算法示例
2017/10/09 Javascript
javascript中神奇的 Date对象小结
2017/10/12 Javascript
浅谈在Vue-cli里基于axios封装复用请求
2017/11/06 Javascript
javaScript中的空值和假值
2017/12/18 Javascript
layui表格内放置图片,并点击放大的实例
2019/09/10 Javascript
微信小程序关键字变色实现代码实例
2019/12/13 Javascript
Vue filter 过滤当前时间 实现实时更新效果
2019/12/20 Javascript
用js限制网页只在微信浏览器中打开(或者只能手机端访问)
2020/12/24 Javascript
详解钉钉小程序组件之自定义模态框(弹窗封装实现)
2020/03/07 Javascript
[57:37]EG vs Mineski 2018国际邀请赛小组赛BO2 第二场 8.16
2018/08/17 DOTA
python实现微信接口(itchat)详细介绍
2017/10/23 Python
TensorFlow深度学习之卷积神经网络CNN
2018/03/09 Python
详解Python的数据库操作(pymysql)
2019/04/04 Python
python中时间、日期、时间戳的转换的实现方法
2019/07/06 Python
Pycharm-community-2020.2.3 社区版安装教程图文详解
2020/12/08 Python
利用CSS3实现开门效果实例源码
2016/08/22 HTML / CSS
三星新西兰官网:Samsung新西兰
2019/03/05 全球购物
企业管理专业个人求职信范文
2013/09/24 职场文书
客服文员岗位职责
2013/11/29 职场文书
信息系统专业个人求职信范文
2013/12/07 职场文书
个人简历自我评价
2014/01/06 职场文书
《玩具柜台前的孩子》教学反思
2014/02/13 职场文书
办公用房租赁协议书
2014/11/29 职场文书
饭店服务员岗位职责
2015/02/09 职场文书
Mysql MVCC机制原理详解
2021/04/20 MySQL