0

0

c# Overlapped I/O 和 .NET 的异步IO模型

畫卷琴夢

畫卷琴夢

发布时间:2026-01-17 09:24:09

|

128人浏览过

|

来源于php中文网

原创

Overlapped I/O 是 Windows 内核异步 I/O 机制,.NET 的 async/await(如 ReadAsync)在 Windows 上底层依赖它,但由运行时自动封装管理;需显式使用 NativeOverlapped 的场景极少,仅限高性能自定义网络栈等互操作需求。

c# overlapped i/o 和 .net 的异步io模型

Overlapped I/O 是什么,和 .NET 的 async/await 有什么关系?

Overlapped I/O 是 Windows 内核提供的异步 I/O 基础机制,本质是让 ReadFile/WriteFile 等 API 在发起后立即返回,由系统在 I/O 完成时通过事件、APC 或 I/O 完成端口(IOCP)通知用户。.NET 的 async/await(如 FileStream.ReadAsyncSocket.ReceiveAsync)在 Windows 上底层大量依赖 Overlapped I/O —— 但你几乎不需要直接操作它。

关键点在于:.NET 运行时已封装好 Overlapped 的生命周期管理(分配、重用、回收)、内存 pinning、完成回调调度。手动调用 NativeOverlappedThreadPool.BindHandle 属于高级互操作场景,比如实现自定义高性能网络、对接非托管库、或绕过 .NET 的 FileStream 缓冲逻辑。

什么时候必须自己用 NativeOverlapped?

极少数情况需要显式控制 Overlapped 结构体,典型包括:

  • 调用 Windows API 如 ReadFileWSARecv 等原生异步函数
  • 复用同一块 native buffer 和 Overlapped 实例(避免 GC 压力),例如高吞吐服务器中固定大小的接收缓冲池
  • 需要精确控制 completion key、APC 函数或与 IOCP 手动绑定

此时要特别注意:NativeOverlapped 必须 pin 住(用 GCHandle.Alloc(..., GCHandleType.Pinned)),且其内存布局需严格匹配 Windows 的 OVERLAPPED 结构;错误的偏移或未初始化字段会导致 ERROR_INVALID_PARAMETER 或静默失败。

FileStream.ReadAsync 底层真的用了 Overlapped 吗?

在 Windows 上,只要构造 FileStream 时传入了 FileOptions.Asynchronous(或使用 new FileStream(path, FileMode.Open, FileAccess.Read, FileShare.None, 4096, FileOptions.Asynchronous)),.NET 就会启用内核 Overlapped I/O 模式。否则,即使调用 ReadAsync,运行时也会退化为同步读 + 线程池线程模拟异步(即 “thread-pool fake async”)。

验证方式很简单:

跃问视频
跃问视频

阶跃星辰推出的AI视频生成工具

下载
var fs = new FileStream("test.dat", FileMode.Open, FileAccess.Read, FileShare.None, 4096, FileOptions.Asynchronous);
// 此时 ReadAsync 走真正的 Overlapped I/O
await fs.ReadAsync(buffer, CancellationToken.None);

漏掉 FileOptions.Asynchronous 是最常见性能陷阱 —— 表面是 async 方法,实际阻塞线程池线程,尤其在大文件随机读时放大延迟。

Socket 异步模型:Begin/End vs SocketAsyncEventArgs vs ValueTask

.NET 的 Socket 类提供了三层异步支持:

  • BeginReceive/EndReceive:基于 Overlapped + APC,兼容老代码,但每次调用都 new 委托和状态对象,GC 开销大
  • SocketAsyncEventArgs:可重用的对象池模式,内部持有 NativeOverlapped* 和 pinned buffer,性能最优,适合高频短连接场景
  • ReceiveAsync(返回 ValueTask):现代推荐方式,底层仍走 IOCP,但由运行时自动管理 Overlapped 和 buffer 生命周期;注意它要求 socket 已启用 IOControl(IOControlCode.EnableCircularQueues, ...)(.NET 5+ 默认开启)

混用这三者可能引发竞争:比如一个 SocketAsyncEventArgs 正在挂起等待时,又调用 ReceiveAsync,会导致 InvalidOperationException:“The I/O operation has been aborted because of either a thread exit or an application request.”

Overlapped I/O 的复杂性全藏在细节里:buffer pinning 是否持续、completion callback 在哪个线程执行、IOCP 关联是否正确、native handle 是否被提前关闭。.NET 的 async/await 把这些压平了,但压不平的是你对“真正异步”的理解边界 —— 一旦离开托管抽象,就得亲手处理每个 NativeOverlappedEventHandleInternalHigh 字段。

相关专题

更多
golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

196

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

189

2025.07.04

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

318

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

538

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

52

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

197

2025.08.29

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

390

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

572

2023.08.10

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

40

2026.01.16

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL 教程
PostgreSQL 教程

共48课时 | 7.3万人学习

Excel 教程
Excel 教程

共162课时 | 12.1万人学习

PHP基础入门课程
PHP基础入门课程

共33课时 | 1.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号