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 相关文章推荐
[推荐]javascript 面向对象技术基础教程
Mar 03 Javascript
简单的代码实现jquery定时器
Jan 03 Javascript
招聘网站基于jQuery实现自动刷新简历
May 10 Javascript
vue.js入门教程之基础语法小结
Sep 01 Javascript
微信小程序  网络请求API详解
Oct 25 Javascript
Web 开发中Ajax的Session 超时处理方法
Jan 19 Javascript
JavaScript实现的XML与JSON互转功能详解
Feb 16 Javascript
基于JS实现bookstore静态页面的实例代码
Feb 22 Javascript
基于vue的fullpage.js单页滚动插件
Mar 20 Javascript
浅谈Angular文字折叠展开组件的原理分析
Nov 24 Javascript
解决Vue在封装了Axios后手动刷新页面拦截器无效的问题
Nov 08 Javascript
详解async/await 异步应用的常用场景
May 13 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的sprintf函数的用法 控制浮点数格式
2014/02/14 PHP
PHP常用数组函数介绍
2014/07/28 PHP
PHP中字符与字节的区别及字符串与字节转换示例
2016/10/15 PHP
PHP读取大文件的几种方法介绍
2016/10/27 PHP
PHP实现批量重命名某个文件夹下所有文件的方法
2017/09/04 PHP
PHP的PDO事务与自动提交
2019/01/24 PHP
实例讲解php实现多线程
2019/01/27 PHP
Javascript 继承机制实例
2009/08/12 Javascript
JavaScript对象、属性、事件手册集合方便查询
2010/07/04 Javascript
利用jQuery插件扩展识别浏览器内核与外壳的类型和版本的实现代码
2011/10/22 Javascript
基于jquery自己写tab滑动门(通用版)
2012/10/30 Javascript
在JavaScript并非所有的一切都是对象
2013/04/11 Javascript
jquery购物车实时结算特效实现思路
2013/09/23 Javascript
一个js导致的jquery失效问题的解决方法
2013/11/27 Javascript
用jquery写的一个万年历(自写)
2014/01/20 Javascript
javascript生成大小写字母
2015/07/03 Javascript
学习JavaScript设计模式之单例模式
2016/01/19 Javascript
Vue实例简单方法介绍
2017/01/20 Javascript
微信小程序中input标签详解及简单实例
2017/05/18 Javascript
JavaScript实现的数字与字符串转换功能示例
2017/08/23 Javascript
vue代码分割的实现(codesplit)
2018/11/13 Javascript
JavaScript使用Math.random()生成简单的验证码
2019/01/21 Javascript
Vue表单绑定的实例代码(单选按钮,选择框(单选时,多选时,用 v-for 渲染的动态选项)
2019/05/13 Javascript
vue实现简单跑马灯效果
2020/05/25 Javascript
Python3.5内置模块之random模块用法实例分析
2019/04/26 Python
Python如何调用JS文件中的函数
2019/08/16 Python
python实现感知机模型的示例
2020/09/30 Python
巴西家用小家电购物网站:Polishop
2016/08/07 全球购物
很酷的小工具和电子产品商城:GearBest
2016/11/19 全球购物
Russell Stover巧克力官方网站:美国领先的精美巧克力制造商
2016/11/27 全球购物
巴西婴儿用品商店:Bebe Store
2017/11/23 全球购物
学前教育专业毕业生自荐信
2013/10/03 职场文书
给老婆道歉的话
2015/01/20 职场文书
三严三实·严以律己心得体会
2016/01/13 职场文书
2016年中学法制宣传日活动总结
2016/04/01 职场文书
NoSQL优缺点与MongoDB数据库简介
2022/06/05 MongoDB