多线程实现的aio
用户空间的aio库一般使用多线程,缺点就是效率不高,线程需要频繁切换,cache失效问题。
linux内核实现的aio
io_setup io_submit io_getevents
内核实现的aio,不需要多线程,但是仍然需要注意几个问题:
1.只能处理文件,不支持网络socket
2.要用direct IO模式配合使用
3.即使设置了非阻塞,如果文件元数据不可用,aio还是可能阻塞
4.有些设备有请求槽数量限制,超过这个限制仍然会阻塞
5.io_submit和io_getevents 都需要数据拷贝,会降低性能
6.常规的文件和socket不一样,不能直接挂到epoll上。常规文件总是ready状态,也就是可读可写状态。
io_uring
io_uring既可以处理常规文件也能处理socketfd。名字的由来是使用了ring buffers作为内核和用户空间通信的主接口。
原理:
1.有两个ring buffers,一个用来提交请求,另一个放完成的请求。
2.使用io_uring_setup函数会初始化两个mmap系统调用,映射ring buffers的内存空间到用户态。
3.将要处理的请求插入到submission ring buffers队列的尾端。
4.调用io_uring_enter系统调用告诉内核。
5.io_uring_enter还可以等待完成队列的ring buffer。
6.可以使用polling可用模式(轮询模式),避免重复调用io_uring_enter来提交请求。
额外开销主要在系统调用的切换和内存拷贝,io_uring使用了mmap零拷贝,通过插入多条数据再提交避免频繁调用系统调用的开销。
参考流程图
- 提交队列
- 内核异步执行