异步通知队列的原理和应用

1 引入

根据不同的需求和使用场景，Linux内核支持几种不同的I/O操作模式,称为字符设备的IO模型，这些模型根据同步与异步、阻塞与非阻塞可以划分为四大类，如下表

	阻塞	非阻塞
同步	read/write	read/write（O_NONBLOCK）
异步	poll/select/epoll	AIO、fasync

对于异步非阻塞I/O其实内核提供了两种实现一个是aio，另一个就是fasync。我们这次主要讲的是fasync

上一组讲的多路复用的I/O模型在应用程序与内核通信时本质上采用的是轮训的方式。除了轮训的方式，还有另一种也是异步的方式，那就是fasync。当设备中的数据就绪时，驱动会给应用程序发送一个信号作为通知。这种模式在驱动程序中的实现主要是通过struct file_operations对象的中的fasync函数。

2 fasync原理

2.1 用户层面

2.1.1 用户使用信号驱动IO的步骤

在read时，用户要做的事情主要分为三个步骤。

1. 安装SIGIO信号，可以使用signal函数

   在signal函数中传入一个处理函数

2. 告诉内核需要通知的进程id，也就是自己的PID

   这样驱动才知道数据可读时应该通知哪个进程。使用fcntl函数的F_SETFL命令

3. 设置FASYNC标志。

   只有设置这个标志才能收到通知，就像一个开关一样。使用fcntl函数的F_SETOWN 命令

2.1.2 fcntl原理

fcntl通过sys_fcntl 系统调用跟内核交互，sys_fcntl 的核心是调用 do_fcntl 。do_fcntl 的部分代码如下：

static long do_fcntl(int fd, unsigned int cmd, unsigned long arg, struct file *filp){
   
  switch (cmd) {
   
      //...
    case F_SETFL:
      err = setfl(fd, filp, arg);
      break;
    case F_SETOWN:
      f_setown(filp, arg, 1);
      err = 0;
      break;
      //...
  }
}

由代码可见这两个命令的处理方式都比较直白，就是直接调用相应的函数。

f_setown函数没什么好说的，就是将要通知的进程id保存在filep->f_owner中

而setfl函数则是直接调用驱动中我们自己写的那个fasync函数：

static int setfl(int fd, struct file * filp, unsigned long arg){
   
  //...
  if (((arg ^ filp->f_flags) & FASYNC) && filp->f_op->fasync) {
   
    error = filp->f_op->fasync(fd, filp, (arg & FASYNC) != 0);
    if (error < 0)
      goto out;
    if (error > 0)
      error = 0;
  }
  //...
}

可见，它在调用之前会判断FASYNC标志是否设置了，并且还会把这个标志传给驱动自己的fasync函数

这里涉及的函数都在fs/fcntl.c文件中

2.2 驱动层面

2.2.1 驱动配合用户使用信号驱动IO的步骤

在驱动中也是有三件事情要做：

1. 定义一个全局的struct fasync_struct指针

2. 实现file_operations中的fasync函数

   在函数中调用内核的辅助函数fasync_helper

3. 在write（或者别的读数据的函数）中调用kill_fasync函数

fasync_helper和kill_fasync函数也是都在fs/fcntl.c文件中

2.2.2 fasync_helper原理

int fasync_helper(int fd, struct file * filp, int on, struct fasync_struct **fapp)
{
   
  if (!on)
    return fasync_remove_entry(filp, fapp);
  return fasync_add_entry(fd, filp, fapp);
}

这个函数的参数中，需要关注一下int on和struct fasync_struct **fapp。

1. int on

   在前面的setfl函数中，传递给它的是一个条件表达式(arg & FASYNC)!=0，也就是说应用程序设置了FASYNC标志，那么(arg& FASYNC)!=0结果就是1，所以fasync_helper中的参数on就是1。用户没有没有设置FASYNC标志那参数 on 就是0。

2. struct fasync_struct **fapp

   fapp是一个需要通知的进程链表。如果用户设置了FASYNC标志，那么on为1，fasync_helper函数就会调用fasync_add_entry函数，作用是将需要通知的进程添加到通知链表中。如果on为0，就会调用fasync_remove_entry 将它从链表移除

   关于这个链表如图：

链表中的每个节点对象代表一个需要通知的进程，进程的ID信息存放在节点对象的fa_file->f_owner中。fasync_add_entry函数可以增加或更新节点，fasync_remove_entry函数可以删除节点。从图片中可以看出，新加入的节点会放到链表的头部，这意味看后加入应用程序反而会先得到通知。

将要通知的进程加入链表之后，下一步就是如何发送通知了。发送通知用的是kill_fasync函数

2.2.3 kill_fasync原理

void kill_fasync(struct fasync_struct **fp, int sig, int band)
{
   
  /* First a quick test without locking: usually
	 * the list is empty.
	 */
  if (*fp) {
   
    rcu_read_lock();
    kill_fasync_rcu(rcu_dereference(*fp), sig, band);
    rcu_read_unlock()