第八章 Linux设备驱动中的阻塞与非阻塞I/O

8.1 阻塞与非阻塞I/O

• 阻塞与非阻塞：
  1. 阻塞操作是指在执行设备操作时，若不能获得资源，则挂起进程直到满足可操作的条件后再进行操作。被挂起的进程进入睡眠状态，被从调度器的运行队列移走，直到等待的条件被满足。
     
  2. 非阻塞操作的进程在不能进行设备操作时，并不挂起，它要么放弃，要么不停地查询，直至可以进行操作为止。
     
• 处理打开文件可以指定阻塞和非阻塞方式，文件打开后，也可以通过ioctl()和fcntl()改变读写的方式，进行阻塞和非阻塞之间的变更。

8.1.1 等待队列

• 定义等待队列头(结构体wait_queue_head_t在include/linux/wait.h)
  1. wait_queue_head_t my_queue 
• 初始化等待队列头：
  1. void init_waitqueue_head()
  2. 定义并初始化可通过宏DECLARE_WAIT_QUEUE_HEAD()一步完成
• 等待队列项（结构体wait_queue_t）
  1. 定义并初始化一个为name的等待队列元素：DECLARE_WAITQUEUE(name, tsk)
  2. tsk一般设置位current，表示当前进程
• 添加/移除等待队列：
  1. void add_wait_queue(wait_queue_head_t *q, wait_queue_t *wait) 将将进程对应的等待队列项添加到前面创建的等待队列头中
  2. void remove_wait_queue(wait_queue_head_t *q, wait_queue_t *wait)等待队列项移除
• 等待事件：
  1. wait_event(wq, condition) 等待以wq为等待队列头的等待队列被唤醒，前提是condition条件必须满足(为真)，否则一直阻塞此函数会将进程设置为TASK_UNINTERRUPTIBLE状态
  2. wait_event_timeout(wq, condition, timeout) 功能和 wait_event 类似，函数可以添加超时时间，以 jiffies 为单位。返回 0 的话表示超时时间到，而且 condition 为假。为 1 的话表示 condition 为真，也就是条件满足了。
  3. wait_event_interruptible(wq, condition) 与 wait_event 函数类似，但是此函数将进程设置为TASK_INTERRUPTIBLE，可以被信号打断。
  4. wait_event_interruptible_timeout(wq, condition, timeout) 此函数也将进程设置为 TASK_INTERRUPTIBLE，可以被信号打断。
• 等待唤醒：
  1. void wake_up(wait_queue_head_t *q)
  2. void wake_up_interruptible(wait_queue_head_t *q)
  3. 两个函数均会唤醒等待队列头q中所有进程。
• 在等待队列上睡眠：
  1. sleep_on(wait_queue_head_t *q) 将当前进程设置为TASK_UNINTERRUPTIBLE，并定义一个等待队列元素，然后挂载到等待队列头上
  2. interruptible_sleep_on() 当前进程设置为TASK_INTERRUPTIBLE
  3. 配合wake_up() 和 wake_up_interruptible()使用
• 驱动设备中使用等待队列
  

 

8.2 轮询操作

• poll、epoll 和 select 可以用于处理轮询，应用程序通过 select、epoll 或 poll 函数来 查询设备是否可以操作，如果可以操作的话就从设备读取或者向设备写入数据。
• 应用程序中的select()函数：若有一个文件满足要求，select就直接返回，若没有文件满足要求，select()的进程将会阻塞且睡眠。实际上执行select()的进程被挂在了每个驱动的等待队列上，可以被任何一个驱动唤醒。
• 应用层中，多路复用的文件数量庞大、I/O流量频繁时，不宜使用select和poll，宜使用epoll。
• 驱动中的poll函数：
  1. poll_wait函数原型：
     
  2. poll_wait()不会引起阻塞，本质是把当前进程添加到wait参数指定的等待列表（poll_table）中，让唤醒参数queue对应的等待队列可以唤醒以为select而睡眠的进程。
  3. 驱动中poll()的返回值应该是资源的可获取状态：POLLIN、POLLOUT、POLLPRI、POLLERR、POLLNVAL等宏的位“或”结果。
  4. poll函数模板：