异步-没有线程

这是最纯粹形式的异步的基本真理:没有线程。

反对这个道理的人是军团。 “不,”他们哭了,“如果我正在等待一个操作,一定要有一个线程正在等待! 这可能是一个线程池线程。 或OS线程! 或者有设备驱动程序的东西...“

不要那些哭泣。 如果异步操作是纯粹的,那么就没有线程。

怀疑者不信服。 让我们幽默他们

我们将跟踪异步操作一直到硬件,特别注意.NET部分和设备驱动程序部分。 我们必须通过省略一些中间层的细节来简化这个描述,但我们不会偏离真相。

考虑一个通用的“写入”操作(对于文件,网络流,USB烤面包机,无论如何)。 我们的代码很简单:

private async void Button_Click(object sender, RoutedEventArgs e)
{
  byte[] data = ...
  await myDevice.WriteAsync(data, 0, data.Length);
}

我们已经知道UI线程在await期间没有被阻止。问题:是否有另一个线程必须在Blocking的祭坛上牺牲自己,以便UI线程可以活下来?

我们深入探索

第一站:基类库(例如,输入BCL代码)。我们假设WriteAsync是使用基于重叠(Overlapped)I/O的.NET中的标准P/Invoke异步I/O系统来实现的。因此,这将启动设备底层HANDLE上的Win32 重叠(Overlapped)I/O

操作系统然后转到设备驱动程序并要求它开始写操作。它通过首先构建表示写请求的对象来实现;这被称为I/O请求分组(IRP)。

设备驱动程序接收IRP并向设备发出命令以写出数据。如果设备支持直接存储器访问(DMA),则可以像将缓冲区地址写入设备寄存器一样简单。这就是设备驱动程序所能做的一切,它将IRP标记为 “pending” 并返回给操作系统。

异步-没有线程

真相的核心在这里:设备驱动程序不允许在处理IRP时阻止。 这意味着如果IRP无法立即完成,那么它必须被异步处理。 即使是同步的API也是如此! 在设备驱动程序级别,所有(有意义的)请求都是异步的。

无论I/O请求的类型如何,代表应用程序发给驱动程序的内部I/O操作都是异步执行的

由于IRP“pending”,操作系统返回到基类库,该库将不完整的任务返回到按钮单击事件处理程序,该事件处理程序将挂起异步方法,并且UI线程继续执行。

我们已经跟随这个请求进入系统的深渊,直到物理设备。

写入操作现在是“in flight”。有多少线程处理它?

答案是没有。

没有设备驱动程序线程,OS线程,BCL线程或正在处理该写操作的线程池里的线程。没有线程。

现在,让我们跟随内核守护进程的响应,回归到凡人的世界。

写入请求开始一段时间后,设备完成写入操作。它通过中断通知CPU。

设备驱动程序的中断服务程序(ISR)响应中断。中断是一个CPU级事件,暂时占用CPU的任何线程的运行控制权。您可以将ISR视为“借用”当前正在运行的线程,但我更喜欢将ISRs视为在“线程”的概念不存在的低级别执行,因此它们进入“所有”线程,可以这么说。

无论如何,ISR被正确写入,所以它所做的只是告诉设备“谢谢你的中断”并排队延迟过程调用(DPC)。

当CPU被中断打扰时,它会设法找到足够的时间去执行它的DPCs。 DPCs也执行得如此之低,以至于说“线程”不太正确;像ISR一样,DPC直接在CPU上执行,“在线程”下面。

DPC将表示写入请求的IRP标记为“complete”。但是, “completion”状态只存在于操作系统层面;该进程有自己的内存空间必须通知。因此,操作系统将特殊的内核模式的异步过程调用(APC)排队到拥有HANDLE的线程。

由于library/BCL正在使用标准的P/Invoke重叠I/O系统,所以它已经使用作为线程池的一部分的I/O完成端口(IOCP)来注册句柄。因此,I/O线程池线程被简单地借用来执行APC,它通知任务完成。

该任务捕获了UI上下文,因此它不会直接在线程池线程上恢复async方法。相反,它将该方法的继续排队到UI上下文中,并且UI线程设法找到足够的时间去处理它时将恢复执行该方法。

所以,我们看到请求在飞行中没有线程。当请求完成时,各种线程被“借用”,或者已经对他们进行了短暂的排队。这个工作通常在毫秒左右或者(例如,在线程池上运行的APC)下降到微秒左右(例如,ISR)。但是没有线程被阻塞,只是等待该请求完成。

异步-没有线程

现在,我们遵循的路径是“标准”的路径,有点简化。 有无数的变化,但核心的真相保持不变。

“在某处处理异步操作时必须有线程”的想法不是真相。

释放你的心灵。 不要试图找到这个“异步线程” - 这是不可能的。 相反,只想实现真相:

没有线程。

上一篇:X509从证书验证和创建Base64字符串


下一篇:Python3实现豆瓣读书爬虫