Linux之异步通知机制分析

Posted program_Li

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Linux之异步通知机制分析相关的知识,希望对你有一定的参考价值。

1.概念:

异步通知机制:一旦设备就绪,则主动通知应用程序,这样应用程序根本就不需要查询设备状态,是一种“信号驱动的异步I/O”。信号是在软件层次上对中断机制的一种模拟,在原理上,一个进程收到一个信号与处理器收到一个中断请求可以说是一样的。信号是异步的,一个进程不必通过任何操作来等待信号的到达,事实上,进程也不知道信号到底什么时候会到达。

2.我们试图通过两个方面来分析异步通知机制:

从用户程序的角度考虑:为了启动文件的异步通知机制,用户程序必须执行两个步骤。首先,他们指定一个进程作为文件的“属主(owner)”。当进程使用fcntl系统调用执行

F_SETOWN命令时,属主进程的进程ID号就被保存在filp->f_owner中。这一步是必需的,目的是为了让内核知道应该通知哪个进程。 然后为了真正启动异步通知机制,用户程序还必须

在设备中设置FASYNC标志,这通过fcntl的F_SETFL命令完成的。 执行完这两个步骤之后,输入文件就可以在新数据到达时请求发送一个SIGIO信号。该信号被发送到存放在filp-

>f_owner中的进程(如果是负值就是进程组)。

在用户程序中,为了捕获信号,可以使用signal()函数来设置对应信号的处理函数:

1 void (*signal(int signum, void (*handler))(int)))(int);

该函数原型较难理解, 它可以分解为:

1 typedef void (*sighandler_t)(int);                        //消息处理函数
2 sighandler_t signal(int signum, sighandler_t handler));   //连接信号与消息处理函数

第一个参数指定信号的值,第二个参数指定针对前面信号值的处理函数,若为SIG_IGN,表示忽略该信号;若为SIG_DFL,表示采用系统默认方式处理信号;若为用户自定义的函

数,则信号被捕获到后,该函数将被执行。如果signal()调用成功,它返回最后一次为信号signum绑定的处理函数的handler值,失败则返回SIG_ERR。

1 fcntl(STDIN_FILENO, F_SETOWN, getpid()); //设置本进程为STDIN_FILENO文件的拥有者,没有这一步,内核不会知道应该将信号发给哪个进程
2 oflags = fcntl(STDIN_FILENO, F_GETFL);   //获取设备文件的f_flags
3 fcntl(STDIN_FILENO, F_SETFL, oflags | FASYNC); //为了启用异步通知机制,还需对设备设置FASYNC标志

我们先通过内核源码,剖析上面的实现原理。

 1 app:fcntl()
 2 kernel:sys_fcntl()
 3             do_fcntl()
 4                  switch (cmd) {
 5                  ……
 6                  case F_GETFL:
 7                      err = filp->f_flags;      //返回文件标志
 8                      break;  
 9                  case F_SETFL:
10                      err = setfl(fd, filp, arg);   //转调用setfl函数
11                      break;
12                  ……
13                  case F_SETOWN:
14                      err = f_setown(filp, arg, 1);  //转调用f_setown函数
15                      break;
16                  ……
17                  default:
18                      break;
19                  }
20                  return err;

//来看看f_setown函数的内部实现:设置文件的属主进程

 1 int f_setown(struct file *filp, unsigned long arg, int force)
 2 {
 3 ...
 4     pid = find_pid(who);                           //获取当前进程的pid
 5     result = __f_setown(filp, pid, type, force);   //内部主要调用f_modown函数
 6 ...
 7 }
 8 static void f_modown(struct file *filp, struct pid *pid, enum pid_type type,uid_t uid, uid_t euid, int force)
 9 {
10 ...
11     if (force || !filp->f_owner.pid) { //设置对应的pid,uid,euid
12         put_pid(filp->f_owner.pid);
13         filp->f_owner.pid = get_pid(pid);
14         filp->f_owner.pid_type = type;
15         filp->f_owner.uid = uid;
16         filp->f_owner.euid = euid;
17     }
18 ...
19 }

//再来看看setfl函数的内部实现:

 1 static int setfl(int fd, struct file * filp, unsigned long arg)
 2 {
 3 ...
 4     if ((arg ^ filp->f_flags) & FASYNC) {   //也就是说FASYNC标志从0变为1的时候,才为真。
 5         if (filp->f_op && filp->f_op->fasync) {
 6             error = filp->f_op->fasync(fd, filp, (arg & FASYNC) != 0); //调用的就是驱动程序的fasync()函数
 7             if (error < 0)
 8                 goto out;
 9         }
10     }
11 ...
12 }

从驱动程序角度考虑:

应用程序在执行F_SETFL启用FASYNC时,调用驱动程序的fasync方法。只要filp->f_flags中的FASYNC标识发生了变化,就会调用该方法,以便把这个变化通知驱动程序,使其能

正确响应。文件打开时,FASYNC标志被默认为是清除的。当数据到达时,所有注册为异步通知的进程都会被发送一个SIGIO信号。

Linux的这种通用方法基于一个数据结构和两个函数:

1 extern int fasync_helper(int, struct file *, int, struct fasync_struct **);
2 //当一个打开的文件的FASYNC标志被修改时,调用驱动程序的fasync方法间接调用fasync_helper函数以便将当前进程加入到驱动程序的异步通知等待队列中。
3 extern void kill_fasync(struct fasync_struct **, int, int);
4 //当设备可访问时,可使用kill_fasync函数发信号所有的相关进程。进程进而调用绑定的消息处理函数。

//分析fasync_helper的内部实现

 1 int fasync_helper(int fd, struct file * filp, int on, struct fasync_struct **fapp)
 2 {
 3     struct fasync_struct *fa, **fp;
 4     struct fasync_struct *new = NULL;
 5     int result = 0;
 6     if (on) {
 7         new = kmem_cache_alloc(fasync_cache, SLAB_KERNEL);//创建对象,slab分配器
 8         if (!new)
 9             return -ENOMEM;
10     }
11     write_lock_irq(&fasync_lock);
12     //遍历整个异步通知队列,看是否存在对应的文件指针
13     for (fp = fapp; (fa = *fp) != NULL; fp = &fa->fa_next) {
14         if (fa->fa_file == filp) {//已存在
15             if(on) {
16                 fa->fa_fd = fd;//文件描述符赋值  //注:不明白为什么这里只需要更新文件描述符,而不需要更新文件指针
17                 kmem_cache_free(fasync_cache, new);//销毁刚创建的对象
18             } else {
19                 *fp = fa->fa_next;//继续遍历
20                 kmem_cache_free(fasync_cache, fa);//删除非目标对象 此用于应用程序屏蔽异步通知.
21                 result = 1;
22             }
23             goto out;//找到了
24         }
25     }
26 //看到下面可以得知,所谓的把进程添加到异步通知队列中
27 //实则是将文件指针关联到异步结构体对象,然后将该对象挂载在异步通知队列中(等待队列也是这个原理)
28 //那么最后发送信号又是怎么知道是哪个进程的呢?我们看后面的kill_fasync函数。
29     if (on) {//不存在
30         new->magic = FASYNC_MAGIC;
31         new->fa_file = filp;//指定文件指针
32         new->fa_fd = fd;//指定文件描述符
33         new->fa_next = *fapp;//挂载在异步通知队列中
34         *fapp = new;//挂载
35         result = 1;
36     }
37 out:
38     write_unlock_irq(&fasync_lock);
39     return result;
40 }

//看看kill_fasync函数是怎么将信号通知指定进程的:

 1 void __kill_fasync(struct fasync_struct *fa, int sig, int band)
 2 {
 3     while (fa) {
 4         ...
 5         fown = &fa->fa_file->f_owner;//这里便是回答上面的问题,如果知道是哪个进程的,通过异步对象的文件指针知道其属主进程
 6         /* Don\'t send SIGURG to processes which have not set a queued signum: SIGURG has its own default signallingmechanism. */
 7         if (!(sig == SIGURG && fown->signum == 0))
 8             send_sigio(fown, fa->fa_fd, band);//发送信号
 9         fa = fa->fa_next;
10         ...
11     }
12 }

总结:应用程序使用fcntl()设置当前进程的pid和FASYNC标志。进而调用驱动程序的fasync(),即fasync_helper()。然后申请和设置fasync_struct结构,将此结构挂载到驱动程序

的fasync_struct结构链表中。当设备可用时,驱动程序会使用kill_fasync(),从fasync_struct链表中,查找所有的等待进程,然后调用send_sigio发送相应的消息给进程。进程接收到

消息,就会跳转到与消息绑定的消息处理函数中。

 

实例:基于<<Linux设备驱动开发详解:基于最新的Linux4.0内核.pdf>>第9.3章节

驱动程序源码.

  1 #include <linux/module.h>
  2 #include <linux/fs.h>
  3 #include <linux/init.h>
  4 #include <linux/cdev.h>
  5 #include <linux/slab.h>
  6 #include <linux/uaccess.h>
  7 #include <linux/poll.h>
  8 
  9 #define GLOBALMEM_SIZE 0x1000
 10 //#define GLOBALMEM_SIZE 0x10
 11 #define GLOBALMEM_MAJOR 230
 12 #define GLOBALMEM_MAGIC \'g\'
 13 //#define MEM_CLEAR _IO(GLOBALMEM_MAGIC,0)
 14 #define MEM_CLEAR (0x01)
 15 static int globalfifo_major = GLOBALMEM_MAJOR;
 16 module_param(globalfifo_major, int, S_IRUGO);
 17 
 18 struct globalfifo_dev {
 19  struct cdev cdev;
 20  unsigned int current_len;
 21  unsigned char mem[GLOBALMEM_SIZE];
 22  struct mutex mutex;
 23  wait_queue_head_t r_wait;
 24  wait_queue_head_t w_wait;
 25  struct fasync_struct *queue;
 26 };
 27 
 28 struct globalfifo_dev *globalfifo_devp;
 29 
 30 static int globalfifo_open(struct inode *inode, struct file *filp)
 31 {
 32     filp->private_data = globalfifo_devp;
 33     return 0;
 34 }
 35 
 36 static ssize_t globalfifo_read(struct file *filp, char __user * buf, size_t size,
 37  loff_t * ppos)
 38 {
 39     unsigned int count = size;
 40     int ret = 0;
 41     struct globalfifo_dev *dev = filp->private_data;
 42     DECLARE_WAITQUEUE(wait, current);
 43 
 44     mutex_lock(&dev->mutex);
 45     add_wait_queue(&dev->r_wait, &wait);
 46 
 47     while(dev->current_len ==0){
 48         if(filp->f_flags & O_NONBLOCK){
 49             ret = -EAGAIN;
 50             goto out;
 51         }
 52 
 53         set_current_state(TASK_INTERRUPTIBLE);
 54         mutex_unlock(&dev->mutex);
 55 
 56         schedule();
 57         if(signal_pending(current)){
 58             ret = -ERESTARTSYS;
 59             goto out2;
 60         }
 61         mutex_lock(&dev->mutex);
 62 
 63     }
 64 
 65     if (count > dev->current_len)
 66         count = dev->current_len;
 67 
 68     if (copy_to_user(buf, dev->mem, count)) {
 69         ret = -EFAULT;
 70         goto out;
 71     } else {
 72         memcpy(dev->mem, dev->mem+count, dev->current_len - count);
 73         dev->current_len -=count;
 74         printk(KERN_INFO "read %d bytes(s) current_len %d\\n", count, dev->current_len);
 75         wake_up_interruptible(&dev->w_wait);
 76 
 77         if(dev->queue){
 78             kill_fasync(&dev->queue, SIGIO, POLL_OUT);
 79             printk(KERN_DEBUG "%s kill SIGIO\\n", __func__);
 80         }
 81         ret = count;
 82     }
 83 out:
 84     mutex_unlock(&dev->mutex);
 85 out2:
 86     remove_wait_queue(&dev->r_wait, &wait);
 87     set_current_state(TASK_RUNNING);
 88 
 89  return ret;
 90 }
 91 
 92 static ssize_t globalfifo_write(struct file *filp, const char __user * buf,
 93  size_t size, loff_t * ppos)
 94 {
 95     unsigned int count = size;
 96     int ret = 0;
 97     struct globalfifo_dev *dev = filp->private_data;
 98     DECLARE_WAITQUEUE(wait, current);
 99 
100     mutex_lock(&dev->mutex);
101     add_wait_queue(&dev->w_wait, &wait);
102 
103     while(dev->current_len == GLOBALMEM_SIZE){
104         if(filp->f_flags & O_NONBLOCK){
105             ret = -EAGAIN;
106             goto out;
107         }
108 
109         set_current_state(TASK_INTERRUPTIBLE);
110         mutex_unlock(&dev->mutex);
111         schedule();
112         if(signal_pending(current)){
113             ret = -ERESTARTSYS;
114             goto out2;
115         }
116         mutex_lock(&dev->mutex);
117 
118     }
119 
120     if (count > (GLOBALMEM_SIZE - dev->current_len))
121         count = (GLOBALMEM_SIZE - dev->current_len);
122 
123     if (copy_from_user(dev->mem + dev->current_len, buf, count)){
124         ret = -EFAULT;
125         goto out;
126     }
127     else {
128         dev->current_len += count;
129         wake_up_interruptible(&dev->r_wait);
130         ret = count;
131         printk(KERN_INFO "written %d bytes(s) current_len %d\\n", count, dev->current_len);
132 
133         if(dev->queue){
134             kill_fasync(&dev->queue, SIGIO, POLL_IN);
135             printk(KERN_DEBUG "%s kill SIGIO\\n", __func__);
136         }
137     }
138 out:
139     mutex_unlock(&dev->mutex);
140 out2:
141     remove_wait_queue(&dev->w_wait, &wait);
142     set_current_state(TASK_RUNNING);
143  return ret;
144 }
145 static loff_t globalfifo_llseek(struct file *filp, loff_t offset, int orig)
146 {
147     loff_t ret = 0;
148     switch (orig) {
149     case 0: /* ´ÓÎļþ¿ªÍ·Î»ÖÃseek */
150     if (offset< 0) {
151         ret = -EINVAL;
152         break;
153     }
154     if ((unsigned int)offset > GLOBALMEM_SIZE) {
155         ret = -EINVAL;
156         break;
157     }
158     filp->f_pos = (unsigned int)offset;
159     ret = filp->f_pos;
160     break;
161     case 1: /* ´ÓÎļþµ±Ç°Î»ÖÿªÊ¼seek */
162     if ((filp->f_pos + offset) > GLOBALMEM_SIZE) {
163         ret = -EINVAL;
164         break;
165     }
166     if ((filp->f_pos + offset) < 0) {
167         ret = -EINVAL;
168         break;
169     }
170     filp->f_pos += offset;
171     ret = filp->f_pos;
172     break;
173     default:
174     ret = -EINVAL;
175     break;
176     }
177     return ret;
178 }
179 static long globalfifo_ioctl(struct file *filp, unsigned int cmd,
180  unsigned long arg)
181 {
182     struct globalfifo_dev *dev = filp->private_data;
183     switch (cmd) {
184     case MEM_CLEAR:
185         mutex_lock(&dev->mutex);
186         memset(dev->mem, 0, GLOBALMEM_SIZE);
187     dev->current_len =0;
188         printk(KERN_INFO "globalfifo is set to zero\\n");
189         mutex_unlock(&dev->mutex);
190         break;
191     default:
192     return -EINVAL;
193  }
194 
195  return 0;
196 }
197 static unsigned int globalfifo_poll(struct file * filp, poll_table * wait)
198 {
199     unsigned int mask =0;
200     struct globalfifo_dev *dev = filp->private_data;
201 
202     mutex_lock(&dev->mutex);
203 
204     poll_wait(filp, &dev->w_wait, wait);
205     poll_wait(filp, &dev->r_wait, wait);
206 
207     if(dev->current_len != 0)
208         mask |=POLLIN | POLLRDNORM;
209     if(dev->current_len != GLOBALMEM_SIZE)
210         mask |=POLLOUT | POLLWRNORM;
211 
212     mutex_unlock(&dev->mutex);
213     return mask;
214 }
215 
216 static int globalfifo_fasync(int fd, struct file *filp, int on)
217 {
218     struct globalfifo_dev *dev = filp->private_data;
219 
220     return fasync_helper(fd, filp, on, &dev->queue);
221 }
222 
223 static int globalfifo_release(struct inode *inode, struct file *filp)
224 {
225     globalfifo_fasync(-1, filp, 0);
226     return 0;
227 }
228 static const struct file_operations globalfifo_fops = {
229     .owner          = THIS_MODULE,
230     .llseek         = globalfifo_llseek,
231     .read           = globalfifo_read,
232     .write          = globalfifo_write,
233     .unlocked_ioctl = globalfifo_ioctl,
234     .open           = globalfifo_open,
235     .poll           = globalfifo_poll,
236     .release        = globalfifo_release,
237     .fasync         = globalfifo_fasync,
238 };
239 static void globalfifo_setup_cdev(struct globalfifo_dev *dev, int index)
240 {
241     int err, devno = MKDEV(globalfifo_major, index);
242     cdev_init(&dev->cdev, &globalfifo_fops);
243     dev->cdev.owner = THIS_MODULE;
244     err = cdev_add(&dev->cdev, devno, 1);
245     if (err)
246     printk(KERN_NOTICE "Error %d adding globalfifo%d", err, index);
247 }
248 static int __init globalfifo_init(void)
249 {
250     int ret;
251     dev_t devno = MKDEV(globalfifo_major, 0);
252 
253     if (globalfifo_major)
254     ret = register_chrdev_region(devno, 1, "globalfifo");
255     else {
256     ret = alloc_chrdev_region(&devno, 0, 1, "globalfifo");
257     globalfifo_major = MAJOR(devno);
258     }
259     if (ret < [架构之路-38]:目标系统 - 系统软件 - Linux OS硬件设备驱动必须熟悉的六大工作机制之(并发与互斥阻塞与非阻塞异步通知)

Linux通信之异步通知模式

Linux设备驱动基础04之异步通知

Linux设备驱动基础04之异步通知

Linux设备驱动基础04之异步通知

Linux设备驱动基础04之异步通知