阻塞I/O和非阻塞I/O

（此原创系由读书笔记整理而来，方便学习查看）

 

Linux字符设备的I/O操作可以分为：

1、同步阻塞I/O
这是I/O模型中最常用的一种，应用程序执行一个系统调用对设备进行read/write操作，这种操作会阻塞应用程序，直到设备完成读写操作或返回一个错误码。同步阻塞型I/O读写实现机制的底层支持：wait_event_interruptible/wake_up_interruptible，wait_event/wake_up。

2、同步非阻塞I/O
设备文件以非阻塞的方式打开，如果设备不能立即完成应用程序的I/O操作就返回一个错误码。

3、异步阻塞I/O
这种I/O操作不是阻塞在设备的读写操作本身，而是阻塞在某一组设备文件的描述符上，当设备对读写操作就绪时，阻塞状态解除，用户程序可以对设备进行读写。file_operation中的poll方法支持这种I/O操作。用户空间可以调用poll，select，epoll这一类的操作，最终都会调到驱动里的poll。

用户空间的poll函数通过系统调用sys_poll进入内核空间，主要的调用过程是：do_sys_poll--->do_poll--->do_pollfb（这个函数里会是否查询文件描述符是否就绪），如果没有就绪，会调用poll_schedule_timeout让进程睡眠，如果poll调用的参数timeout为0，进程将不会睡眠。do_pollfb根据fb找到对应的struct file*filp对象，调用对应驱动的poll函数，注意在驱动的poll函数中不应该睡眠。实现驱动里的poll函数首先是构造自己的等待队列，再通过poll_wait将等待节点加到入队列，当数据可用时再唤醒阻塞在poll上的进程。

4、异步非阻塞I/O
这种I/O操作下，读写操作会立即返回，用户读写请求被放入一个请求队列由设备在后台异步完成。当设备完成了本次的读写操作后，通过信号或回调的方式通知用户程序。在Linux中块设备和网络设备属于异步非阻塞型，对字符设备来说，极少会有实现这种I/O操作。