Windows 异步IO的几种实现方式

Windows上的异步IO有好几种实现方式。

设备内核对象

这是最简单的一种了，直接用设备内核对象的状态。比如文件句柄，线程句柄等等，这些内核对象都是有一个触发状态的，比如当一个线程结束后，线程内核对象就会被触发。

对于文件内核对象，如果一个异步IO完成了，就会把文件句柄设置为触发状态，但是有个问题就是：如果有多个异步io，那么只要有一个异步io完成了，文件句柄就会被设置为触发状态。这样，就不能应用于多个异步io的情况，因为根本不知道是哪个异步io完成了。

代码例子：

/* 设备内核对象

通过设备内核对象来得到异步IO完成通知。
使用很简单。
缺点：如果对一个设备发起了多个io请求，那么这个办法就不行了。
这是因为，多个异步io请求里面任何一个完成了，都会把设备内核对象的状态
设置成触发。这样当WaitForSingleObject返回的时候就无法知道是什么io完成了。
*/
void DeviceObjIO()
{
	HANDLE hFile = CreateFileW(L"d:\\test.txt", GENERIC_WRITE, 0, 0, CREATE_ALWAYS, FILE_FLAG_OVERLAPPED, 0);//创建一个文件，设置成异步IO，FILE_FLAG_OVERLAPPED
	BYTE buffer[10] = {'a', 'b', 'c', 'd'};
	OVERLAPPED ol = {0};//初始化OVERLAPPED的结构
	ol.Offset = 2;//表示从第三个字节开始写

	BOOL rt = WriteFile(hFile, buffer, 5, NULL, &ol);//发起一个异步写操作

	//这里可以做其他事情了，因为WriteFile是异步了，会马上返回。如果是同步的WriteFile，那么假如WriteFile需要10秒钟，WriteFile在10秒内是不会返回的。

//	SetFileCompletionNotificationModes(hFile, FILE_SKIP_SET_EVENT_ON_HANDLE);//如果设置了这个标记，那么文件内核对象就不会被触发了。

	if (rt == FALSE && GetLastError() == ERROR_IO_PENDING)//检查异步IO是否完成了，可以在其他线程检查。这里只是一个演示。
	{
		WaitForSingleObject(hFile, INFINITE);//等待设备内核对象（文件）被触发。
	}

	CloseHandle(hFile);
}

事件内核对象

事件内核对象比设备内核对象好一点，可以支持多个异步io。每个read或者write里面的overlapped的结构，我们可以设置一个事件内核对象，这样每次io的事件内核对象是不一样的，就可以支持多个异步io了。但是WaitForMultipleObject也有个限制，就是一次等待的事件内核对象最多只能有64个，当然也可以变通一下，比如把所有的事件内核对象分组等。

/* 事件内核对象

通过一个事件内核对象来获取异步IO完成的通知。
这个比较设备内核对象好一些，可以支持多个异步IO，因为程序可以通过每个异步IO的OVERLAPPED结构里面的事件内核对象来判断
异步IO是否完成了。
*/
void EventObjIO()
{
	HANDLE hFile = CreateFileW(L"d:\\test.txt", GENERIC_READ, 0, 0, OPEN_EXISTING, FILE_FLAG_OVERLAPPED, 0);//打开前面创建的文件
	BYTE buffer[10] = {0};
	OVERLAPPED ol = {0};
	ol.Offset = 0;
	HANDLE hEvent = CreateEvent(0, FALSE, FALSE, NULL);
	ol.hEvent = hEvent;//传递一个事件对象。

	BOOL rt = ReadFile(hFile, buffer, 7, NULL, &ol);//提交一个异步读操作

//	DWORD read = 0;
//	GetOverlappedResult(hFile, &ol, &read, TRUE);//也可以使用这个函数来等待执行结果。GetOverlappedResult内部会调用WaitForSingleObject来检查异步IO是否完成了。

	if (rt == FALSE && GetLastError() == ERROR_IO_PENDING)
	{
		WaitForSingleObject(ol.hEvent, INFINITE);//等待事件对象被触发。
	}

	CloseHandle(hFile);
	CloseHandle(hEvent);
}

APC 队列

每个线程都有一个APC队列。曾经微软公司大力推广这个技术，但是有个最大的问题，就是回调函数只能在调用线程里面被调用。如果调用线程忙，那么就得不到callback的执行。个人从来没有使用过这种方式。