文章目录
-
- 21.1 什么是 异步
- 21.2 async/await 特性的结构
- 21.3 什么是异步方法
-
- 21.3.1 异步方法的控制流
- 21.3.2 取消一个异步操作
- 21.3.3 在调用方法中同步地等待任务
- 21.3.4 在异步方法中异步地等待任务
- 21.3.5 Task.Delay 方法
- 21.4 GUI 程序中的异步操作(*)
- 21.5 使用异步 Lambda 表达式(*)
- 21.6 一个完整的 GUI 示例
- 21.7 BackgroundWorker 类(*)
- 21.8 并行循环(*)
- 21.9 其他异步编程模式(*)
- 21.10 BeginInvoke 和 EndInvoke(*)
- 21.11 计时器(*)
21.1 什么是 异步
启动程序时,系统会在内存中创建一个新的进程。在进程内部,系统创建了一个称为线程的内核对象,代表真正执行的程序(线程是“执行线程”的简称)。一旦进程建立,系统会在 Main 方法的第一行语句处开始线程的执行。
- 进程是构成运行程序的资源集合,包括虚地址空间、文件句柄和运行程序所需的其他东西。
- 默认情况下,一个进程只包含一个线程,从程序的开始一直执行到结束。
- 线程可以派生其他线程,因此任意时刻,一个进程都可能包含不同状态的多个线程,执行程序的不同部分。
- 同一个进程的多个线程共享进程的资源。
- 系统为处理器执行所调度的单元是线程,而不是进程。
典型异步例子:
- 服务器程序接收来自多个客户端程序的服务请求。
- 交互式 GUI 程序,如果用户启动了需要消耗大量时间的操作,那么在程序完成前,用户仍能在屏幕上移动窗口,甚至可以取消操作。
示例
- 创建 Stopwatch 类的一个实例并启动,用于测量代码中不同任务的执行时间。
- 调用 CountCharacters 方法 2 次,下载某网站的内容,返回网站包含的字符数。
- 调用 CountToALargeNumber 方法 4 次,该方法仅执行一个消耗一定时间的任务,并循环指定次数。
- 最后,打印两个网站的字符数。
某次代码运行生成的结果如下所示,Call 1 和 Call 2 占用了大部分时间,绝大部分时间都浪费在等待网站的响应上。
图 21.1 程序中不同任务所需时间的时间轴
如果能发起 2 个 CountCharacter 调用,无需等待结果,就可以显著提升性能。
- 当 DoRun 调用 CountCharactersAsync 时,CountCharactersAsync 将立即返回,然后才真正开始下载字符。该方法返回 Tast 类型的占位符对象,表示计划进行的工作,这个占位符最终将“返回”一个 int。
- 执行两次 CountCharactersAsync 方法后,调用 4 次 CountToALargeNumber,同时 CountCharactersAsync 的两次调用继续它们的工作——基本上是等待。
- DoRun 的最后两行 从 CountCharactersAsync 调用返回的 Tasks 中获取结果,如果还没有结果,将阻塞并等待。
某次运行结果如下,新版程序比旧版快 32%,因为 CountToALargeNumber 的 4 次调用都是在 CountCharactersAsync 方法调用等待网站响应的时候进行的。所有这些工作都是在主线程中完成的,没有创建任何额外的线程。
图 21.2 async/await 版本的程序的时间轴
21.2 async/await 特性的结构
该特性由如下 3 个部分组成:
- 调用方法。
- 异步方法。
- await 表达式。
图 21.3 async/await 特性的整体结构
21.3 什么是异步方法
异步的方法在完成其所有工作之前就返回到调用方法,然后在调用方法继续执行的时候完成其工作。其特点如下:
-
方法中包含 async 方法修饰符。
-
包含一个或多个 await 表达式,表示可以异步完成的任务。
-
返回类型必须是以下 3 种或不返回(void)。其中 Task 和 Task 的返回对象表示将在未来完成的工作,调用方法和异步方法可以继续执行。
-
Task
如果调用方法不需要从异步方法中返回某个值,但需要检查异步方法的状态,就可以返回该类型的对象。如果异步方法中有 return,则不能返回任何对象。
-
Task
如果调用方法需要从调用中获取类型 T 的值,异步方法的返回类型就必须是 Task。调用方法将通过读取 Task 的 Result 属性来获取该值。
-
ValueTask
与 Task 类似,但用于任务结果可能已经可用的情况。由于是值类型,因此可以放在栈上,无需像 Task 对象那样在堆上分配空间。因此,某些情况下可以提高性能。
-
任何任何具有公开可访问的 GetAwaiter 方法的类型。
-
异步方法的形参不能为 out 或 ref 参数。
-
异步方法的名称应该以 Async 后缀结尾。
-
Lambda 表达式和匿名方法也可以作为异步对象。
图 21.4 异步方法的结构
有关 async 的说明:
- 异步方法的方法头中必须包含 async 关键字,且必须位于返回类型之前。
- async 只起到标识作用,表示方法中包含一个或多个 await 表达式,本身不能创建任何异步操作。
- async 是上下文关键字,可以在其他区域用作标识符。
21.3.1 异步方法的控制流
异步方法的结构包含 3 个不同的区域:
-
第一个 await 表达式之前的部分。
应该只包含少量无需长时间处理的代码。
-
await 表达式。
表示将被异步执行的代码。
-
后续部分。
包括执行环境(所在线程信息、目前作用域内的变量值等)以及所需的其他信息。
图 21.5 异步方法中的代码区域
从第一个 await 表达式之前的代码开始同步执行,直到遇见第一个 await。当 await 的任务完成时,方法继续同步执行。如果还有其他 await,则重复上述步骤。
图 21.6 贯穿一个异步方法的控制流
当到达 await 表达式时,异步方法将控制返回到调用方法。如果方法的返回类型为 Task 或 Task,则方法将创建一个 Task 对象,表示需一步完成的任务和后续,然后将该 Task 返回到调用方法。因此会产生 2 个控制流:异步方法和调用方法。
异步方法内的代码会完成如下工作:
- 异步执行 await 表达式的空闲任务。
- 当 await 表达式完成时,执行后续部分。后续部分也可能包含其他 await 表达式,也将按照相同的步骤处理。
- 遇到 return 语句或到达方法末尾时:
- 如果方法返回 void,控制流将退出。
- 如果方法返回 Task,则将设置 Task 的状态属性并退出。
- 如果方法返回 Task 或 ValueTask,则同时设置 Task 的状态属性和 Result 属性,再退出。
同时地,调用方法中的代码将继续其任务,从异步方法中获取 Task 或 ValueTask 对象。当需要实际值时,就引用其 Result 属性。此时,如果异步方法设置了该属性,调用方法就能获得该值并继续;否则将暂停并等待该属性被设置,然后再继续执行。
因此,异步方法中的 return 语句“返回”一个结果或到达末尾时,它并没有真正地返回某个值——它只是退出了。
await 表达式
await 表达式指定了一个异步执行的任务,由 await 关键字和一个空闲对象(称为任务,可能是 Task 类型,也可能不是)组成。默认情况下,这个任务在当前线程上异步执行。
一个空闲对象即是 awaitable 类型的实例。awaitable 类型包含了 GetAwaiter 方法,该方法没有参数,返回一个 awaiter 类型的对象。awaiter 类型包含如下成员:
同时,包含以下成员之一:
实际上,不需要构建自己的 awaitable,而是使用 Task 类或 ValueTask 类,它们是 awaitable 类型。通过 Task.Run 方法来创建 Task,其签名如下。其中 Func 是一个预定义委托(见第 20 章),不包含任何参数,返回类型为 TReturn。
下面的实例展示了具体使用方法。
- a 使用 Get10 创建名为 ten 的 Func 委托。
- b 在 Task.Run 方法的参数列表中创建 Func 委托。
- c 使用 Lambda 表达式并隐式转化为 Func 委托。
表21.1 列出了Task.Run 方法的 8 个重载,表 21.2 展示了可能用到的 4 个委托类型的签名。
表 21.1 Task.Run 重载的返回类型和签名
表 21.2 可作为 Task.Run 方法第一个参数的委托类型
4 种委托类型对应的使用方法展示如下:
21.3.2 取消一个异步操作
System.Threading.Tasks 命名空间中有两个类被设计为取消异步操作,分别为 CancellationToken 和 CancellationTokenSource。
- CancellationToken 包含一个任务是否应被取消的信息 IsCancellationRequested。
- 拥有 CancellationToken 对象的任务需要定期检查其令牌状态,如果 IsCancellationRequested 属性为 true,任务需停止其操作并返回。
- CancellationToken 不可逆,且只能使用一次。即,一旦 IsCancellationRequested 被设置为 true,就不能更改。
- CancellationTokenSource 对象创建可分配给不同任务的 CancellationToken 对象,任何持有 CancellationTokenSource 的对象都可以调用其 Cancel 方法,这将使 IsCancellationRequested 被设置为 true。
第一次运行时,保留注释代码,不会取消任务:
第二次运行将注释代码取消,则任务将在 3 s 后停止:
异常处理和 await 表达式
注意,尽管 Task 抛出了 Exception,但在 Main 的最后,Task 的状态仍然为 RanToCompletion。原因如下:
- Task 没有被取消。
- 没有未处理的异常。(IsFaulted 为 False 也是因为这个原因)
C#6.0 后可以在 catch 和 finally 块中使用 await 表达式。在异常不需要终止应用程序时,可以使用 await 来记录日志或运行其他时间较长的任务。如果新的异步任务也产生了一场,则任何原有的异常信息都将丢失。
21.3.3 在调用方法中同步地等待任务
使用 Wait 方法可以等待 Task 对象完成。
使用 Task 类中的静态方法等待一组 Task 对象完成。
- Task.WaitAll
- Task.WaitAny
只取消第一行注释,结果如下。
只取消第二行注释,结果如下。
Task.WaitAll 和 Task.WaitAny 的其他重载方法如表 21.3 所示。
表 21.3 Task.WaitAll 和 Task.WaitAny 的重载方法
21.3.4 在异步方法中异步地等待任务
使用 Task.WhenAll 和 Task.WhenAny 异步等待多个 Task。
将 Task.WhenAll 替换为 Task.WhenAny 后,输出结果如下。
21.3.5 Task.Delay 方法
Task.Delay 方法创建一个 Task 对象,该对象将暂停其在线程中的处理,并在一定时间后完成。
- Thread.Sleep:阻塞线程。
- Task.Delay:不阻塞线程,线程可以继续处理其他工作。
Delay 方法包含 4 个重载,允许以不同方式来指定时间周期,并允许使用 CancellationToken 对象。
表 21.4 Task.Delay 方法的重载
21.4 GUI 程序中的异步操作(*)
21.5 使用异步 Lambda 表达式(*)
21.6 一个完整的 GUI 示例
21.7 BackgroundWorker 类(*)
21.8 并行循环(*)
21.9 其他异步编程模式(*)
21.10 BeginInvoke 和 EndInvoke(*)
21.11 计时器(*)