聊聊JavaScript 异步编程史

开发 前端
JavaScript 的运行时是跑在单线程上的,是基于事件模型来进行异步任务触发的,不需要考虑共享内存加锁的问题,绑定的事件会按照顺序齐齐整整的触发。要理解 JavaScript 的异步任务,首先就要理解 JavaScript 的事件模型。

[[403161]]

前言

早期的 Web 应用中,与后台进行交互时,需要进行 form 表单的提交,然后在页面刷新后给用户反馈结果。在页面刷新过程中,后台会重新返回一段 HTML 代码,这段 HTML 中的大部分内容与之前页面基本相同,这势必造成了流量的浪费,而且一来一回也延长了页面的响应时间,总是会让人觉得 Web 应用的体验感比不上客户端应用。

2004 年,AJAX 即“Asynchronous JavaScript and XML”技术横空出世,让 Web 应用的体验得到了质的提升。再到 2006 年,jQuery 问世,将 Web 应用的开发体验也提高到了新的台阶。

由于 JavaScript 语言单线程的特点,不管是事件的触发还是 AJAX 都是通过回调的方式进行异步任务的触发。如果我们想要线性的处理多个异步任务,在代码中就会出现如下的情况:

  1. getUser(token, function (user) { 
  2.   getClassID(userfunction (id) { 
  3.     getClassName(id, function (name) { 
  4.       console.log(name
  5.     }) 
  6.   }) 
  7. }) 

我们经常将这种代码称为:“回调地狱”。

事件与回调

众所周知,JavaScript 的运行时是跑在单线程上的,是基于事件模型来进行异步任务触发的,不需要考虑共享内存加锁的问题,绑定的事件会按照顺序齐齐整整的触发。要理解 JavaScript 的异步任务,首先就要理解 JavaScript 的事件模型。

由于是异步任务,我们需要组织一段代码放到未来运行(指定时间结束时或者事件触发时),这一段代码我们通常放到一个匿名函数中,通常称为回调函数。

  1. setTimeout(function () { 
  2.   // 在指定时间结束时,触发的回调 
  3. }, 800) 
  4. window.addEventListener("resize"function() { 
  5.   // 当浏览器视窗发生变化时,触发的回调 
  6. }) 

未来运行

前面说过回调函数的运行是在未来,这就说明回调中使用的变量并不是在回调声明阶段就固定的。

  1. for (var i = 0; i < 3; i++) { 
  2.   setTimeout(function () { 
  3.     console.log("i =", i) 
  4.   }, 100) 

这里连续声明了三个异步任务,100毫秒 后会输出变量 i 的结果,按照正常的逻辑应该会输出 0、1、2这三个结果。

然而,事实并非如此,这也是我们刚开始接触 JavaScript 的时候会遇到的问题,因为回调函数的实际运行时机是在未来,所以输出的 i 的值是循环结束时的值,三个异步任务的结果一致,会输出三个 i = 3。

经历过这个问题的同学,一般都知道,我们可以通过闭包的方式,或者重新声明局部变量的方式解决这个问题。

事件队列

事件绑定之后,会将所有的回调函数存储起来,然后在运行过程中,会有另外的线程对这些异步调用的回调进行调度的处理,一旦满足“触发”条件就会将回调函数放入到对应的事件队列(这里只是简单的理解成一个队列,实际存在两个事件队列:宏任务、微任务)中。

满足触发条件一般有以下几种情况:

  1. DOM 相关的操作进行的事件触发,比如点击、移动、失焦等行为;
  2. IO 相关的操作,文件读取完成、网络请求结束等;
  3. 时间相关的操作,到达定时任务的约定时间;

上面的这些行为发生时,代码中之前指定的回调函数就会被放入一个任务队列中,主线程一旦空闲,就会将其中的任务按照先进先出的流程一一执行。当有新的事件被触发时,又会重新放入到回调中,如此循环🔄,所以 JavaScript 的这一机制通常被称为“事件循环机制”。

  1. for (var i = 1; i <= 3; i++) { 
  2.   const x = i 
  3.   setTimeout(function () { 
  4.     console.log(`第${x}个setTimout被执行`) 
  5.   }, 100) 

可以看到,其运行顺序满足队列先进先出的特点,先声明的先被执行。

线程的阻塞

由于 JavaScript 单线程的特点,定时器其实并不可靠,当代码遇到阻塞的情况,即使事件到达了触发的时间,也会一直等在主线程空闲才会运行。

  1. const start = Date.now() 
  2. setTimeout(function () { 
  3.   console.log(`实际等待时间: ${Date.now() - start}ms`) 
  4. }, 300) 
  5.  
  6. // while循环让线程阻塞 800ms 
  7. while(Date.now() - start < 800) {} 

上面代码中,定时器设置了 300ms 后触发回调函数,如果代码没有遇到阻塞,正常情况下会 300ms后,会输出等待时间。

但是我们在还没加了一个 while 循环,这个循环会在 800ms 后才结束,主线程一直被这个循环阻塞在这里,导致时间到了回调函数也没有正常运行。

Promise

事件回调的方式,在编码的过程中,就特别容易造成回调地狱。而 Promise 提供了一种更加线性的方式编写异步代码,有点类似于管道的机制。

  1. // 回调地狱 
  2. getUser(token, function (user) { 
  3.   getClassID(userfunction (id) { 
  4.     getClassName(id, function (name) { 
  5.       console.log(name
  6.     }) 
  7.   }) 
  8. }) 
  9.  
  10. // Promise 
  11. getUser(token).then(function (user) { 
  12.   return getClassID(user
  13. }).then(function (id) { 
  14.   return getClassName(id) 
  15. }).then(function (name) { 
  16.   console.log(name
  17. }).catch(function (err) { 
  18.   console.error('请求异常', err) 
  19. }) 

Promise 在很多语言中都有类似的实现,在 JavaScript 发展过程中,比较著名的框架 jQuery、Dojo 也都进行过类似的实现。2009 年,推出的 CommonJS 规范中,基于 Dojo.Deffered 的实现方式,提出 Promise/A 规范。也是这一年 Node.js 横空出世,Node.js 很多实现都是依照 CommonJS 规范来的,比较熟悉的就是其模块化方案。

早期的 Node.js 中也实现了 Promise 对象,但是 2010 年的时候,Ry(Node.js 作者)认为 Promise 是一种比较上层的实现,而且 Node.js 的开发本来就依赖于 V8 引擎,V8 引擎原生也没有提供 Promise 的支持,所以后来 Node.js 的模块使用了 error-first callback 的风格(cb(error, result))。

  1. const fs = require('fs'
  2. // 第一个参数为 Error 对象,如果不为空,则表示出现异常 
  3. fs.readFile('./README.txt'function (err, buffer) { 
  4.   if (err !== null) { 
  5.     return 
  6.   } 
  7.   console.log(buffer.toString()) 
  8. }) 

这一决定也导致后来 Node.js 中出现了各式各样的 Promise 类库,比较出名的就是 Q.js、Bluebird。关于 Promise 的实现,之前有写过一篇文章,感兴趣可以看看:《手把手教你实现 Promise》。

在 Node.js@8 之前,V8 原生的 Promise 实现有一些性能问题,导致原生 Promise 的性能甚至不如一些第三方的 Promise 库。

所以,低版本的 Node.js 项目中,经常会将 Promise 进行全局的替换:

  1. const Bulebird = require('bluebird'
  2. global.Promise = Bulebird 

Generator & co

Generator(生成器) 是 ES6 提供的一种新的函数类型,主要是用于定义一个能自我迭代的函数。通过 function * 的语法能够构造一个 Generator 函数,函数执行后会返回一个iteration(迭代器)对象,该对象具有一个 next() 方法,每次调用 next() 方法就会在 yield 关键词前面暂停,直到再次调用 next() 方法。

  1. function * forEach(array) { 
  2.   const len = array.length 
  3.   for (let i = 0; i < len; i ++) { 
  4.     yield i; 
  5.   } 
  6. const it = forEach([2, 4, 6]) 
  7. it.next() // { value: 2, done: false } 
  8. it.next() // { value: 4, done: false } 
  9. it.next() // { value: 6, done: false } 
  10. it.next() // { value: undefined, done: true } 

next() 方法会返回一个对象,对象有两个属性 value、done:

  • value:表示 yield 后面的值;
  • done:表示函数是否执行完毕;

由于生成器函数具有中断执行的特点,将生成器函数当做一个异步操作的容器,再配合上 Promise 对象的 then 方法可以将交回异步逻辑的执行权,在每个 yeild 后面都加上一个 Promise 对象,就能让迭代器不停的往下执行。

  1. function * gen(token) { 
  2.   const user = yield getUser(token) 
  3.   const cId = yield getClassID(user
  4.   const name = yield getClassName(cId) 
  5.   console.log(name
  6.  
  7. const g = gen('xxxx-token'
  8.  
  9. // 执行 next 方法返回的 value 为一个 Promise 对象 
  10. const { value: promise1 } = g.next() 
  11. promise1.then(user => { 
  12.   // 传入第二个 next 方法的值,会被生成器中第一个 yield 关键词前面的变量接受 
  13.   // 往后推也是如此,第三个 next 方法的值,会被第二个 yield 前面的变量接受 
  14.   // 只有第一个 next 方法的值会被抛弃 
  15.   const { value: promise2 } = gen.next(user).value 
  16.   promise2.then(cId => { 
  17.     const { value: promise3, done } = gen.next(cId).value 
  18.     // 依次先后传递,直到 next 方法返回的 done 为 true 
  19.   }) 
  20. }) 

我们将上面的逻辑进行一下抽象,让每个 Promise 对象正常返回后,就自动调用 next,让迭代器进行自执行,直到执行完毕(也就是 done 为 true)。

  1. function co(gen, ...args) { 
  2.   const g = gen(...args) 
  3.   function next(data) { 
  4.     const { value: promise, done } = g.next(data) 
  5.     if (done) return promise 
  6.     promise.then(res => { 
  7.       next(res) // 将 promise 的结果传入下一个 yield 
  8.     }) 
  9.   } 
  10.    
  11.   next() // 开始自执行 
  12.  
  13. co(gen, 'xxxx-token'

这也就是 koa 早期的核心库 co 的实现逻辑,只是 co 进行了一些参数校验与错误处理。通过 generator 加上 co 能够让异步流程更加的简单易读,对开发者而言肯定是阶段欢喜的一件事。

async/await

async/await 可以说是 JavaScript 异步变成的解决方案,其实本质上就是 Generator & co 的一个语法糖,只需要在异步的生成器函数前加上 async,然后将生成器函数内的 yield 替换为 await。

  1. async function fun(token) { 
  2.   const user = await getUser(token) 
  3.   const cId = await getClassID(user
  4.   const name = await getClassName(cId) 
  5.   console.log(name
  6.  
  7. fun() 

 async 函数将自执行器进行了内置,同时 await 后不限制为 Promise 对象,可以为任意值,而且 async/await 在语义上比起生成器的 yield 更加清楚,一眼就能明白这是一个异步操作。

 

责任编辑:姜华 来源: 自然醒的笔记本
相关推荐

2020-10-15 13:29:57

javascript

2016-09-07 20:43:36

Javascript异步编程

2017-07-13 12:12:19

前端JavaScript异步编程

2014-05-23 10:12:20

Javascript异步编程

2015-04-22 10:50:18

JavascriptJavascript异

2021-10-22 08:29:14

JavaScript事件循环

2011-11-11 15:47:22

JavaScript

2021-12-10 07:47:30

Javascript异步编程

2011-07-27 14:10:43

javascript

2022-10-31 09:00:24

Promise数组参数

2022-07-01 08:00:44

异步编程FutureTask

2021-06-06 19:51:07

JavaScript异步编程

2011-11-10 10:23:56

Jscex

2023-12-04 13:22:00

JavaScript异步编程

2013-03-08 09:33:25

JavaScript同步异步

2013-04-01 15:38:54

异步编程异步编程模型

2016-10-21 11:04:07

JavaScript异步编程原理解析

2013-01-07 10:44:00

JavaScriptjQueryJS

2023-11-29 07:10:50

python协程异步编程

2021-11-01 22:36:04

JavaScript
点赞
收藏

51CTO技术栈公众号