Typescript第八章 异步编程,并发和并行
异步API,比如说回调,promise和流。
JavaScript引擎在一个线路中多路复用任务,而其他任务则处于空闲状态。这种事件循环是JavaScript引擎的标准线程模型。
多路复用是指在一个线程中同时处理多个任务
异步编程让程序难以理解。我们不能一行一行的分析程序。
Typescript提供了工具,通过类型可以追踪异步操作,借助内置的async/await可以把熟悉的同步思想运用到异步程序上。使用Typescript还可以为多线程程序指定严格的的消息传递协议。
我们先讨论一下JavaScript引擎中具体是如何运作的,弄清楚为什么看似单个的线程中可以暂停和恢复执行。
8.1 JavaScript的事件循环
下面代码怎么执行?
setTimeout(()=>console.log("A"),1)// 时间到了就加入事件队列等待执行setTimeout(()=>console.log("B"),2)console.log("C");
JavaScript和C语言中sleep才用的并发模型,以及java把作业调度到另外一个线程中不同。
概括的说,JavaScriptVM采用下述方式模拟并发
- JavaScript主线程调用XMLHTTPRequest(处理Ajax请求),setTimeout,readFile等异步API。这些API由JavaScript平台提供,我们自己不能创建
- 调用原生的异步API之后,控制权返回主线程,继续向下执行,就像从未调用异步API一样。
- 异步操作执行完毕后,平台在事件队列中添加一个任务。每个线程都有自己的队列,异步操作的结果就通过队列发回主线程。任务中有关于调用的元信息,还有主线程中回调函数的引用。
- 主线程的调用堆栈清空后,平台将检查事件队列中有没有待处理的任务。如果有等待处理的任务,平台着手处理,触发一个函数调用,把控制权返还给主线程中的那个函数。调用那个函数之后,如果调用堆栈又变空了,平台再次检查事件队列中有没有可以处理的任务了。这个循环一直运转下去,直到调用栈和事件队列都空,而且所有原生的异步API调用都已结束。
8.2 处理回调
JavaScript异步程序的核心基础就是回调。回调其实就是常规的函数,只是作为参数传给另一个函数。就像在同步程序中一样,另一个函数在做完操作(处理网络请求等)之后调用回调函数。异步代码调用的回调也是函数,而且类型签名中没有标明函数是异步调用的。
NodeJS的原生API。例如fs.readFile(采用异步方式从磁盘中读取文件的内容)和dns.resolveCname(采用异步方式解析CNAME记录),按照约定,回调的第一个参数是错误或null,第二个参数是结果或null。(错误优先)。
readFile的类型签名如下:
function readFile(path:string,options:{encoding:string,flag?:string},callback:(err:Error|null,data:string|null)=>void):void{}
注意:readFile和callback的类型没有什么特别之处,都是常规的JavaScript函数。签名中没有特别标明readFile是异步的,也没有指出在调用readFile之后控制权会立即传给下一行代码(不等待readFile的结果)。
pnpm add @types/node -D安装nodejs的类型声明
下面写一个案例读取文件
import * as fs from 'fs'fs.readFile("log.txt",{encoding:'utf-8'},(error,data)=>{if(error){console.log(error);return}console.log("success!:"+data);})// 采用并发写入fs.appendFile("log.txt","笑死我了",error=>{if(error){console.log("error"+error);}})
这里API是异步的,不能把API在代码中调用顺序理解为执行文件系统的操作顺序。readFile虽然在前面调用但是读取出来的访问日志可能没有后面新增的那行日志,具体有没有要看运行这段代码时文件系统有多繁忙。
Nodejs一般约定,如果函数的最后一个参数是一个接受两个参数的函数,而且顺序为Error|null和T|null类型,那么这个函数通常是异步的。
无论如何,从类型上是看不出来的。
回调函数容易产生一个问题,回调地狱
setTimeout(()=>{console.log(1);setTimeout(()=>{console.log(2);setTimeout(()=>{console.log(3);console.log("啊");},1)},1)},1)
按顺序执行的操作往往是一环扣一环,前一步成功才执行下一步,除非遇到错误,我们要自己手动维护执行的顺序。按一定顺序执行的回调很容易出错。
有序的操作只是我们想借助异步任务执行的一种操作,此外我们可能还想并行运行几个函数,获知全部函数何时运行完毕,或者让几个函数竞争,只获取第一个结束的函数返回结果等。
- 使用回调函数可执行简单的异步任务
- 虽然回调适合处理简单的任务,但是如果异步任务变多,很容易一团乱麻。
8.3 promise(我tm来了!!!)
我们不是第一批遇到这些限制的程序员。本节说明promise,这个概念对异步进行抽象,方便任务编排,排列任务等。即使你以前使用过promise或future,也能更好的理解他们的原理。
// 自行分析console.log("start");async function async1() {console.log("async1");let result = await async2()console.log(result);}async function async2() {console.log("async2");return Promise.resolve("wohaole")}async1()console.log("end");
下面举个例子,指出我们想如何使用Promise:先向文件中添加一些内容,然后再把文件中的内容读取出来:
function appendAndReadPromise(path:string,data:string):Promise<string>{return appendPromise(path,data).then(()=>readPromise(path)).catch(error=>console.log(error);)}
注意:这里没有回调地狱,我们把想执行的一些异步任务,变成了易于理解的线性链条:前一个任务完成后才能执行下一个任务,倘若失败,则跳到catch子句。假如是基于回调的API,那么写出的代码可能是下面这样:
function appendAndRead(path: string,data: string,cb: (error: Error | null, result: string | null | any) => void) {appendFile(path, data, err => {if (err) {return cb(err, null)}readFile(path, (err, result) => {if (err) {return cb(err, null)}cb(null, result)})})}
针对这个设想,我们手动实现PromiseAPI
new Promise接受一个函数,我们称为执行器(executor)。在Promise的实现中,执行器接受两个参数,一个是resolve函数,一个是reject函数。
type Executor = (resolve: Function,reject: Function) => voidclass Promise {constructor(f:Executor){}}
那么,resolve和reject是如何运行的呢?下面通过示例说明一下。假设我们把Nodejs中的一个回调API(例如:fs.readFile)改造成基于Promise的API,Nodejs内置的fs.readFileAPI时这样使用的:
import {readFile} from 'fs'readFile(path,(error,result)=>{//..})
import {readFile} from 'fs'function readFilePromise(path:string):Promise<string>{return new Promise((resolve,reject)=>{readFile(path,(err,result)=>{if(err){reject(err)}resolve(result)})})}
可见,resolve的参数是什么类型取决于具体使用的API(这里,其参数的类型就是result的类型),而reject的参数始终是Error类型。因此,我们要更行类型,把不安全的Function改为更具体的类型:
type Executor<T,E extends Error> = (resolve: (result:T)=>void,reject: (error:E)=>void) => voidclass Promise<T,E extends Error> {constructor(f:Executor<T,E>){}}
class Promise<T,E extends Error> {constructor(f:Executor<T,E>){}then<U,F extends Error>(g:(result:T)=>Promise<U,F>):Promise<U,F>{//}catch<U,F extends Error>(g:(error:E)=>Promise<U,F>):Promise<U,F>{//}}
then和catch以不同的方式排列Promise:then把成功从一个Promise获得的结果映射到一个新Promise上,catch则把错误映射到一个新的Promise上,从被拒绝的状态中走出去。(这种风格和上节中的Option设计模式一样都受函数式编程语言Haskell中的Monad设计模式影响)
then的使用方法
let a:()=>Promise<string,TypeError> = //..let b:(s:string)=>Promise<number,never> = //let c:()=>Promise<boolean,RangeError>=//a().then(b).catch(e=>c()).then(result=>console.info("Done",result)).catch(e=>console.log("error",e))
此外,我们还有处理Promise真正抛出异常的情况(例如,throw Error(‘foo’)),为此,在实现then和catch要把代码放在try/catch中,在cattch中分支处理被拒绝的情况,然后事情并没有那么简单,这里还涉及一些其他问题
- Promise对象都有可能被拒,而通过静态检查发现不了这个问题。
- Promise对象被拒不一定是因为有错。Typescript别无选择,只能继承JavaScript的行为,而在JavaScript中,通过throw可以抛出一切。
考虑这两点,我们要放宽对Promise类型的要求,不指定错误类型
type Executor<T> = (resolve: (result: T) => void,reject: (error: unknown) => void) => voidclass Promise<T> {constructor(f: Executor<T>) { }then<U>(g: (result: T) => Promise<U>): Promise<U> {// }catch<U>(g: (error: unknown) => Promise<U>): Promise<U>{// }}let a = new Promise((resolve,reject)=>{resolve(123)})a.then((result)=>{// })
至此,Promise封装好了,内部具体实现,自行研究。
8.4 async和await
promise对于异步代码所做的抽象十分强大,JavaScript自身(当然包括Typescript)也有相应的句法:async和awai,使用这种句法,可以像同步操作那样处理异步操作
await可以视为.then在语言上的语法糖。使用await处理Promise对象时,要把相关的代码放在async块中。这种情况下不再使用.catch,而是把await放在常规的try/catch中。
// 老写法function getUser(){getUserId(18).then(user=>getLocation(user)).then(location=>console.log(location)).catch(error=>console.log(error)).finally(()=>console.log("done"))}
async function getUser() {try {let user = await getUserId(18)let location = await getLocation(user)console.log(location);} catch (error) {console.log("error");} finally{console.log("done");}}
async和await是JavaScript特性,这里就不深入探究了。
8.5 异步流
promise对象是便于建模,排列和编排未来的值,但是如果有多个值在未来的不同时刻产出。这种情况并不少见,比如从文件系统中读取文。
这样的操作有不同的建模方式,最为常见的是事件发射器(Nodejs EventEmitter)或响应式编程库(RxJS)。这两种方式之间的区别就像回调和promise对象一样:事件简单,轻量,而响应式编程库更强大,可以编排和排列事件流。
事件发射器
事件发射器提供的API用于在通道中发射事件,并监控通道中的事件:
interface Emitter{emit(channel:string,value:unknown):voidon(channel:string,f:(value:string)=>void):void}
发射器是JavaScript中一种常见的设计模式,使用DOM事件,或Nodejs EventEmitter模块中可能涉及。
type RedisClient = {on<E extends keyof Events>(event:E,f:(arg:Events[E])=>void):voidemit<E extends keyof Events>(event:E,arg:Events[E]):void}type RedisClient = {on(event:'ready',f:()=>void):voidon(event:'error',f:(e:Error)=>void):voidon(event:'reconnecting',f:(params:{attempt:number,delay:number})=>void):void}// 优化type Events = {ready:voiderror:Errorreconnecting:{attempt:number,delay:number}}type RedisClient = {on<E extends keyof Events>(event:E,f:(arg:Events[E])=>void):void}
把事件名称和参数提取到结构中,然后映射该结构,生成监听器和发射器,这是Typescript中常见的模式。
8.6 多线程类型安全
目前我们讨论的异步程序基本上运行在一个CPU线程中,不过,一些CPU密集型任务可能需要并行,把一项任务分到多个线程中。这么做可能是为了提升速度,可能是想让主线程空闲出来,继续相应后序操作。本节介绍编写安全的并行程序。涵盖浏览器和服务器。
8.6.1 在浏览器中:使用Web职程
浏览器大都支持web职程(worker)处理多线程。未免某些操作(例如CPU密集型任务)阻塞主线程,导致UI无响应,我们可以在JavaScript主线程中创建一些职称(严格受限的后后台代码,而Promise和setTimeout等异步PAI只是并发运行代码。职程在另一个cpu中运行代码)。web职程可以处理网络请求,文件系统写入等操作,不过有一些小限制。
Web职程是浏览器提供的API,设计人员对安全性提出了更高的要求,这里的“安全性”指的是,内存安全。如果多个线程读取同一块内存,很容易遇到各种并发问题。例如不确定性,死锁。
在tsconfig.json中加入“lib”:[“dom”,”es20120”,”webworker”]支持webworker
// 主线程代码let worker = new Worker("./workerScript.js")worker.postMessage("some data")// 接受其他线程worker.onmessage = e=>{console.log(e.data);}
// 并行线程,只能在浏览器环境才能用onmessage = e=>{console.log("child",e.data);// 发给主线程 postMessage("receiver"+e.data)}
这样传递消息很简单,但是没有类型,无法确保正确处理可能发送的所有消息类型。
类型安全的协议
我们知道如何在两个线程之间传递消息,那么,若想指明一个命令始终收到特定事件的响应怎么做呢?
我们可以选择在职程 中定义函数,把参数发给该函数,再把结果发送回来。
我们构建一个计算引擎,让他支持三种运算:求矩阵的行列式,计算两个矩阵的点积和求逆矩阵。
type Matrix = number[][]type MatrixProtocol = {determinant:{in:[Matrix],out:number},'dot-product':{in:[Matrix,Matrix]out:Matrix},invert:{in:[Matrix],out:Matrix}}
我们将在主线程中定义矩阵,运算则交给职程。我们对不安全的操作(职程发送和接受不带类型的消息)进行包装,把带类型的API开放给使用方。我们定义一个简单请求响应协议Protocol,列出职程可执行的操作,并为预期的输入和输出声明类型。
type Protocol = { // 1[command:string]:{in:unknown[],out:unknown}}function createProtocol<P extends Protocol>(script:string){ //2return <K extends keyof P>(command:K)=>(...args:P[K]['in'])=>{return new Promise<P[K]['out']>((resolve,reject)=>{let worker = new Worker(script)worker.onerror = rejectworker.onmessage = event => resolve(event.data.data)worker.postMessage({command,args})})}}
// let runWithMatrixProtocol = createProtocol<MatrixProtocol>('MatricWorkerScript.js')let parallelDeterminant = runWithMatrixProtocol('determinant')parallelDeterminant([[1,2],[3,4]]).then(determinant=>console.log(determinant))
type Matrix = number[][]type MatrixProtocol = {determinant:{in:[Matrix],out:number},'dot-product':{in:[Matrix,Matrix]out:Matrix},invert:{in:[Matrix],out:Matrix}}type Protocol = { // 1[command:string]:{in:unknown[],out:unknown}}function createProtocol<P extends Protocol>(script:string){ //2return <K extends keyof P>(command:K)=>{return (...args:P[K]['in'])=>{return new Promise<P[K]['out']>((resolve,reject)=>{let worker = new Worker(script)worker.onerror = rejectworker.onmessage = event => resolve(event.data.data)worker.postMessage({command,args})})}}}// let runWithMatrixProtocol = createProtocol<MatrixProtocol>('MatricWorkerScript.js')let parallelDeterminant = runWithMatrixProtocol('determinant')parallelDeterminant([[1,2],[3,4]]).then(determinant=>console.log(determinant))
8.6.2 在nodejs使用子进程
// mainimport {fork} from 'child_process'let child = fork("./child.js")child.on("message",data=>{})child.send({type:'syn',data:[3]})