1. 转自:http://blog.csdn.net/jacobywu/article/details/7475432
  2.  
  3. 阻塞型I/O和非阻塞I/O
  4. 阻塞:休眠
  5. 非阻塞:异步通知
  6.  
  7. 休眠
  8. 安全地进入休眠的两条规则:
  9. () 永远不要在原子上下文中进入休眠,即当驱动在持有一个自旋锁、seqlock或者 RCU锁时不能睡眠;关闭中断也不能睡眠。持有一个信号量时休眠是合法的,但你应当仔细查看代码:如果代码在持有一个信号量时睡眠,任何其他的等待这个信号量的线程也会休眠。因此发生在持有信号量时的休眠必须短暂,而且决不能阻塞那个将最终唤醒你的进程。
  10. () 当进程被唤醒,它并不知道休眠了多长时间以及休眠时发生什么;也不知道是否另有进程也在休眠等待同一事件,且那个进程可能在它之前醒来并获取了所等待的资源。所以不能对唤醒后的系统状态做任何的假设,并必须重新检查等待条件来确保正确的响应。
  11. Linux 中, 一个等待队列由一个wait_queue_head_t 结构体来管理,其定义在<linux/wait.h>中。wait_queue_head_t类型的数据结构非常简单:
  12. [cpp] view plaincopy
  13. struct __wait_queue_head {
  14. spinlock_t lock;
  15. struct list_head task_list;
  16. };
  17. typedef struct __wait_queue_head wait_queue_head_t;
  18. 简单休眠(其实是高级休眠的宏)
  19. Linux 内核中最简单的休眠方式是称为 wait_event的宏(及其变种),它实现了休眠和进程等待的条件的检查。形式如下:
  20. [cpp] view plaincopy
  21. wait_event(queue, condition)/*不可中断休眠,不推荐*/
  22. wait_event_interruptible(queue, condition)/*推荐,返回非零值意味着休眠被中断,且驱动应返回 -ERESTARTSYS*/
  23. wait_event_timeout(queue, condition, timeout)
  24. wait_event_interruptible_timeout(queue, condition, timeout)
  25. /*有限的时间的休眠;若超时,则不管条件为何值返回0,*/
  26. 唤醒休眠进程的函数称为 wake_up,形式如下:
  27. [cpp] view plaincopy
  28. void wake_up(wait_queue_head_t *queue);
  29. void wake_up_interruptible(wait_queue_head_t *queue);
  30. eg
  31. [cpp] view plaincopy
  32. ssize_t sleepy_read (struct file *filp, char __user *buf, size_t count, loff_t *pos)
  33. {
  34. printk(KERN_DEBUG "process %i (%s) going to sleep\n",
  35. current->pid, current->comm);
  36. wait_event_interruptible(wq, flag != );
  37. flag = ;
  38. printk(KERN_DEBUG "awoken %i (%s)\n", current->pid, current->comm);
  39. return ; /* EOF */
  40. }
  41.  
  42. ssize_t sleepy_write (struct file *filp, const char __user *buf, size_t count,
  43. loff_t *pos)
  44. {
  45. printk(KERN_DEBUG "process %i (%s) awakening the readers...\n",
  46. current->pid, current->comm);
  47. flag = ;
  48. wake_up_interruptible(&wq);
  49. return count; /* succeed, to avoid retrial */
  50. }
  51.  
  52. 阻塞和非阻塞操作
  53. 明确的非阻塞 I/O filp->f_flags中的 O_NONBLOCK标志来指示(定义再<linux/fcntl.h> ,被<linux/fs.h>自动包含)。浏览源码,会发现O_NONBLOCK 的另一个名字:O_NDELAY ,这是为了兼容 System V 代码。O_NONBLOCK标志缺省地被清除,因为等待数据的进程的正常行为只是睡眠.
  54. 其实不一定只有read write 方法有阻塞操作,open也可以有阻塞操作。后面会见到。而我的项目有一个和CPLD的接口的驱动,我决定要在ioctl 中使用阻塞。
  55.  
  56. 高级休眠
  57. 步骤:
  58. () 分配和初始化一个 wait_queue_t 结构,随后将其添加到正确的等待队列。
  59.  
  60. () 设置进程状态,标记为休眠。在<linux/sched.h> 中定义有几个任务状态:TASK_RUNNING 意思是进程能够运行。有 个状态指示一个进程是在睡眠: TASK_INTERRUPTIBLE TASK_UNTINTERRUPTIBLE
  61. [cpp] view plaincopy
  62. void set_current_state(int new_state);
  63. ()最后一步是放弃处理器。 但必须先检查进入休眠的条件。如果不做检查会引入竞态: 如果在忙于上面的这个过程时有其他的线程刚刚试图唤醒你,你可能错过唤醒且长时间休眠。因此典型的代码下:
  64. [cpp] view plaincopy
  65. if (!condition)
  66. schedule();
  67. 如果代码只是从 schedule 返回,则进程处于TASK_RUNNING 状态。 如果不需睡眠而跳过对 schedule 的调用,必须将任务状态重置为 TASK_RUNNING,还必要从等待队列中去除这个进程,否则它可能被多次唤醒。
  68. 手工休眠
  69. [cpp] view plaincopy
  70. /* (1)创建和初始化一个等待队列。常由宏定义完成:*/
  71. DEFINE_WAIT(my_wait);
  72. /*name 是等待队列入口项的名字. 也可以用2步来做:*/
  73. wait_queue_t my_wait;
  74. init_wait(&my_wait);
  75. /*常用的做法是放一个 DEFINE_WAIT 在循环的顶部,来实现休眠。*/
  76.  
  77. /* (2)添加等待队列入口到队列,并设置进程状态:*/
  78. void prepare_to_wait(wait_queue_head_t *queue, wait_queue_t *wait, int state);
  79. /*queue 和 wait 分别地是等待队列头和进程入口。state 是进程的新状态:TASK_INTERRUPTIBLE(可中断休眠,推荐)或TASK_UNINTERRUPTIBLE(不可中断休眠,不推荐)。*/
  80.  
  81. /* (3)在检查确认仍然需要休眠之后调用 schedule*/
  82. schedule();
  83. /* (4)schedule 返回,就到了清理时间:*/
  84. void finish_wait(wait_queue_head_t *queue, wait_queue_t *wait);
  85. eg
  86. [cpp] view plaincopy
  87. /* Wait for space for writing; caller must hold device semaphore. On
  88. * error the semaphore will be released before returning. */
  89. static int scull_getwritespace(struct scull_pipe *dev, struct file *filp)
  90. {
  91. while (spacefree(dev) == ) { /* full */
  92. DEFINE_WAIT(wait);
  93.  
  94. up(&dev->sem);
  95. if (filp->f_flags & O_NONBLOCK)
  96. return -EAGAIN;
  97. PDEBUG("\"%s\" writing: going to sleep\n",current->comm);
  98. prepare_to_wait(&dev->outq, &wait, TASK_INTERRUPTIBLE);
  99. if (spacefree(dev) == )
  100. schedule();
  101. finish_wait(&dev->outq, &wait);
  102. if (signal_pending(current))
  103. return -ERESTARTSYS; /* signal: tell the fs layer to handle it */
  104. if (down_interruptible(&dev->sem))
  105. return -ERESTARTSYS;
  106. }
  107. return ;
  108. }
  109.  
  110. 认真地看简单休眠中的 wait_event(queue, condition) wait_event_interruptible(queue, condition) 底层源码会发现,其实他们只是手工休眠中的函数的组合。所以怕麻烦的话还是用wait_event比较好。
  111.  
  112. 独占等待
  113. 当一个进程调用 wake_up 在等待队列上,所有的在这个队列上等待的进程被置为可运行的。 这在许多情况下是正确的做法。但有时,可能只有一个被唤醒的进程将成功获得需要的资源,而其余的将再次休眠。这时如果等待队列中的进程数目大,这可能严重降低系统性能。为此,内核开发者增加了一个“独占等待”选项。它与一个正常的睡眠有 2个重要的不同:
  114. ()当等待队列入口设置了 WQ_FLAG_EXCLUSEVE 标志,它被添加到等待队列的尾部;否则,添加到头部。
  115. ()当 wake_up 被在一个等待队列上调用, 它在唤醒第一个有 WQ_FLAG_EXCLUSIVE 标志的进程后停止唤醒.但内核仍然每次唤醒所有的非独占等待。
  116. 采用独占等待要满足 2个条件:
  117. ()希望对资源进行有效竞争;
  118. ()当资源可用时,唤醒一个进程就足够来完全消耗资源。
  119. 使一个进程进入独占等待,可调用:
  120. [cpp] view plaincopy
  121. void prepare_to_wait_exclusive(wait_queue_head_t *queue, wait_queue_t *wait, int state);
  122. 注意:无法使用 wait_event和它的变体来进行独占等待.
  123. 当应用程序需要进行对多文件读写时,若某个文件没有准备好,则系统会处于读写阻塞的状态,并影响了其他文件的读写。为了避免这种情况,在必须使用多输入输出流又不想阻塞在它们任何一个上的应用程序常将非阻塞I/O pollSystem V)、selectBSD Unix)、epoll(linux2..45开始)系统调用配合使用。当poll函数返回时,会给出一个文件是否可读写的标志,应用程序根据不同的标志读写相应的文件,实现非阻塞的读写。
  124. 这些调用都需要来自设备驱动中poll 方法的支持,poll返回不同的标志,告诉主进程文件是否可以读写,其原型(定义在<linux\poll.h> ):
  125. [cpp] view plaincopy
  126. unsigned int (*poll) (struct file *filp, poll_table *wait);
  127. 实现这个设备方法分两步:
  128. . 在一个或多个可指示查询状态变化的等待队列上调用 poll_wait. 如果没有文件描述符可用来执行 I/O, 内核使这个进程在等待队列上等待所有的传递给系统调用的文件描述符. 驱动通过调用函数 poll_wait增加一个等待队列到 poll_table 结构,原型:
  129. [cpp] view plaincopy
  130. void poll_wait (struct file *, wait_queue_head_t *, poll_table *);
  131. . 返回一个位掩码:描述可能不必阻塞就立刻进行的操作,几个标志(通过 <linux/poll.h> 定义)用来指示可能的操作:
  132. 标志
  133. 含义
  134. POLLIN
  135. 如果设备无阻塞的读,就返回该值
  136. POLLRDNORM
  137. 通常的数据已经准备好,可以读了,就返回该值。通常的做法是会返回(POLLLIN|POLLRDNORA
  138. POLLRDBAND
  139. 如果可以从设备读出带外数据,就返回该值,它只可在linux内核的某些网络代码中使用,通常不用在设备驱动程序中
  140. POLLPRI
  141. 如果可以无阻塞的读取高优先级(带外)数据,就返回该值,返回该值会导致select报告文件发生异常,以为select八带外数据当作异常处理
  142. POLLHUP
  143. 当读设备的进程到达文件尾时,驱动程序必须返回该值,依照select的功能描述,调用select的进程被告知进程时可读的。
  144. POLLERR
  145. 如果设备发生错误,就返回该值。
  146. POLLOUT
  147. 如果设备可以无阻塞地些,就返回该值
  148. POLLWRNORM
  149. 设备已经准备好,可以写了,就返回该值。通常地做法是(POLLOUT|POLLNORM
  150. POLLWRBAND
  151. POLLRDBAND类似
  152.  
  153. 考虑 poll 方法的 scullpipe 实现:
  154. [cpp] view plaincopy
  155. static unsigned int scull_p_poll(struct file *filp, poll_table *wait)
  156. {
  157. struct scull_pipe *dev = filp->private_data;
  158. unsigned int mask = ;
  159. /*
  160. * The buffer is circular; it is considered full
  161. * if "wp" is right behind "rp" and empty if the
  162. * two are equal.
  163. */
  164. down(&dev->sem);
  165. poll_wait(filp, &dev->inq, wait);
  166. poll_wait(filp, &dev->outq, wait);
  167. if (dev->rp != dev->wp)
  168. mask |= POLLIN | POLLRDNORM; /* readable */
  169. if (spacefree(dev))
  170. mask |= POLLOUT | POLLWRNORM; /* writable */
  171. up(&dev->sem);
  172. return mask;
  173. }
  174.  
  175. 刷新待处理输出
  176. 若一些应用程序需要确保数据被发送到设备,就实现必须fsync 方法。对 fsync 的调用只在设备被完全刷新时(即输出缓冲为空)才返回,不管 O_NONBLOCK 是否被设置,即便这需要一些时间。其原型是:
  177. [cpp] view plaincopy
  178. int (*fsync) (struct file *file, struct dentry *dentry, int datasync);
  179.  
  180. 异步通知
  181. 通过使用异步通知,应用程序可以在数据可用时收到一个信号,而无需不停地轮询。
  182. 总体过程图:
  183.  
  184. 启用步骤:
  185. ()它们指定一个进程作为文件的拥有者:使用 fcntl系统调用发出 F_SETOWN 命令,这个拥有者进程的 ID被保存在 filp->f_owner。目的:让内核知道信号到达时该通知哪个进程。
  186. ()使用 fcntl系统调用,通过 F_SETFL命令设置 FASYNC 标志。
  187. 用户空间用例:
  188. [cpp] view plaincopy
  189. #include <stdio.h>
  190. #include <stdlib.h>
  191. #include <string.h>
  192. #include <unistd.h>
  193. #include <signal.h>
  194. #include <fcntl.h>
  195. int gotdata=;
  196. void sighandler(int signo)
  197. {
  198. if (signo==SIGIO)
  199. gotdata++;
  200. return;
  201. }
  202. char buffer[];
  203. int main(int argc, char **argv)
  204. {
  205. int pipetest0;
  206. int count;
  207. struct sigaction action;
  208.  
  209. if ((pipetest0 = open("/dev/scullpipe0",O_RDONLY)) < ) {
  210. printf("open scullpipe0 error! \n");
  211. exit();
  212. }
  213. memset(&action, , sizeof(action));
  214. action.sa_handler = sighandler;
  215. action.sa_flags = ;
  216. sigaction(SIGIO, &action, NULL);
  217.  
  218. fcntl(pipetest0, F_SETOWN, getpid());
  219. fcntl(pipetest0, F_SETFL, fcntl(pipetest0, F_GETFL) | FASYNC);
  220.  
  221. while() {
  222. /* this only returns if a signal arrives */
  223. sleep(); /* one day */
  224. if (!gotdata)
  225. continue;
  226. count=read(pipetest0, buffer, );
  227. /* buggy: if avail data is more than 4kbytes... */
  228. write(,buffer,count);
  229. gotdata=;
  230. break;
  231. }
  232.  
  233. close(pipetest0 );
  234. printf("close pipetest0 ! \n");
  235. printf("exit !\n");
  236. exit();
  237. }
  238.  
  239. 内核空间驱动:
  240. .F_SETOWN被调用时filp->f_owner被赋值。
  241. . F_SETFL被执行来打开 FASYNC, 驱动的fasync 方法被调用.这个标志在文件被打开时缺省地被清除。
  242. . 当数据到达时,所有的注册异步通知的进程都会被发送一个 SIGIO信号。
  243. Linux 提供的通用方法是基于一个数据结构和两个函数,定义在<linux/fs.h>。
  244. 数据结构:
  245. [cpp] view plaincopy
  246. struct fasync_struct {
  247. int magic;
  248. int fa_fd;
  249. struct fasync_struct *fa_next; /* singly linked list */
  250. struct file *fa_file;
  251. };
  252.  
  253. 驱动调用的两个函数的原型:
  254. [cpp] view plaincopy
  255. int fasync_helper(int fd, struct file *filp, int mode, struct fasync_struct **fa);
  256. void kill_fasync(struct fasync_struct **fa, int sig, int band);
  257.  
  258. 当数据到达时,kill_fasync被用来产生信号通知相关的进程,它的参数是被传递的信号(常常是 SIGIO)和 band(几乎都是 POLL_IN)。
  259. [cpp] view plaincopy
  260. if (dev->async_queue)
  261. kill_fasync(&dev->async_queue, SIGIO, POLL_IN); /* 注意, 一些设备也针对设备可写而实现了异步通知,在这个情况,kill_fasnyc 必须以 POLL_OUT 模式调用.*/
  262.  
  263. 当一个打开的文件的FASYNC标志被修改时,调用fasync_helper 来从相关的进程列表中添加或去除文件。
  264. 这是 scullpipe 实现 fasync 方法的:
  265. [cpp] view plaincopy
  266. static int scull_p_fasync(int fd, struct file *filp, int mode)
  267. {
  268. struct scull_pipe *dev = filp->private_data;
  269. return fasync_helper(fd, filp, mode, &dev->async_queue);
  270. }
  271.  
  272. 当文件被关闭时必须调用fasync 方法,来从活动的异步读取进程列表中删除该文件。尽管这个调用仅当 filp->f_flags 被设置为 FASYNC 时才需要,但不管什么情况,调用这个函数不会有问题,并且是普遍的实现方法。以下是 scullpipe release 方法的一部分:
  273. [cpp] view plaincopy
  274. /* remove this filp from the asynchronously notified filp's */
  275. scull_p_fasync(-, filp, );
  276. 异步通知使用的数据结构和 struct wait_queue 几乎相同,因为他们都涉及等待事件。区别异步通知用 struct file 替代 struct task_struct. 队列中的 file 用获取 f_owner, 一边给进程发送信号。

Linux设备驱动程序学习 高级字符驱动程序操作[阻塞型I/O和非阻塞I/O]【转】的更多相关文章

  1. Linux设备驱动学习笔记

    之前研究Linux设备驱动时做的零零散散的笔记,整理出来,方便以后复习. 1.1驱动程序的的角色 提供机制 例如:unix图形界面分为X服务器和窗口会话管理器 X服务器理解硬件及提供统一的接口给用户程 ...

  2. Linux设备模型 学习总结

    看LDD3中设备模型一章,觉得思维有些混乱.这里从整体的角度来理理思路.本文从四个方面来总结一些内容: 1.底层数据结构:kobject,kset.2.linux设备模型层次关系:bus_type,d ...

  3. Linux设备树学习

    1.概念 设备树用于实现驱动代码与设备信息相分离.驱动代码只负责处理驱动的逻辑而关于设备的具体信息存放到设备树文件中.(dts文件,编译后为dtb文件).一个dts文件对应一个ARM的machine, ...

  4. Linux非阻塞IO(三)非阻塞IO中缓冲区Buffer的实现

    本文我们来实现回射服务器的Buffer.   Buffer的实现   上节提到了非阻塞IO必须具备Buffer.再次将Buffer的设计描述一下: 这里必须补充一点,writeIndex指向空闲空间的 ...

  5. linux设备驱动学习笔记(1)

    学习了将近半个月的设备驱动程序的编写,也有一些体会,这里写下来也给学习做一个总结,为后面的学习做更好的准备. 首先,个人感觉驱动程序的设计是很有套路的,最基本的要求就是要掌握这些套路.所谓的套路就是一 ...

  6. Linux设备驱动——简单的字符驱动

    本文介绍Linux字符设备的静态注册方法, 其中涉及到的模块加载,不了解的可以先参考 构建和运行模块 1. 还是线上源代码: //memdev.h #ifndef _MEMDEV_H_ #define ...

  7. windows批处理学习(字符换操作)---04

    转自:https://www.cnblogs.com/DswCnblog/p/5432326.html 1.截取字符串 截取字符串可以说是字符串处理功能中最常用的一个子功能了,能够实现截取字符串中的特 ...

  8. linux设备驱动学习笔记--内核调试方法之printk

    1,printk类似于用户态的printf函数,但是比printf函数多了一个日志级别,内核中最常见的日志输出都是通过调用printk来实现的,其打印级别有8种可能的记录字串, 在头文件 <Li ...

  9. Linux非阻塞IO(四)非阻塞IO中connect的实现

    我们为客户端的编写再做一些工作. 这次我们使用非阻塞IO实现connect函数. int connect(int sockfd, const struct sockaddr *addr, sockle ...

随机推荐

  1. MySQL 双主问题集

    最近试用MySQL高可用方案,需要配MySQL双主,对期间遇到的问题做下记录. 1.导出锁表问题 mysqldump 命令增加参数 --skip-opt -q 可避免导出时锁表: 2.导出\导入所有数 ...

  2. shiro异常类型

    <!-- 身份认证异常 --> <!-- 身份令牌异常,不支持的身份令牌 --> org.apache.shiro.authc.pam.UnsupportedTokenExce ...

  3. 【刷题】BZOJ 2820 YY的GCD

    Description 神犇YY虐完数论后给傻×kAc出了一题给定N, M,求1<=x<=N, 1<=y<=M且gcd(x, y)为质数的(x, y)有多少对kAc这种傻×必然 ...

  4. 51nod 1589 移数博弈 | 基数排序(ノಠ益ಠ)ノ彡┻━┻

    51nod 1589 移数博弈 题面 给出一个序列a,长度 n <= 10^7, a[i] <= 10^7 求每个长度 >= 2 的区间的最大值*次大值 之和. 题解 主要思路是求每 ...

  5. 【Cf #502 F】The Neutral Zone

    本题把$log$化简之后求得就是每个质数$f$前的系数,求系数并不难,难点在于求出所有的质数. 由于空间限制相当苛刻,$3e8$的$bitset$的内存超限,我们考虑所有的除了$2$和$3$以外的质数 ...

  6. Redis事务介绍

    概述 相信学过Mysql等其他数据库的同学对事务这个词都不陌生,事务表示的是一组动作,这组动作要么全部执行,要么全部不执行.为什么会有这样的需求呢?看看下面的场景: 微博是一个弱关系型社交网络,用户之 ...

  7. 【AC自动机】AC自动机

    Definition & Solution AC自动机是一种多模式串的字符串匹配数据结构,核心在于利用 fail 指针在失配时将节点跳转到当前节点代表字符串的最长后缀子串. 首先对 模式串 建 ...

  8. Python 爬虫入门(二)—— IP代理使用

    上一节,大概讲述了Python 爬虫的编写流程, 从这节开始主要解决如何突破在爬取的过程中限制.比如,IP.JS.验证码等.这节主要讲利用IP代理突破. 1.关于代理 简单的说,代理就是换个身份.网络 ...

  9. ElasticStack系列之八 & _source 字段

    有很多人会有这样的一个疑问: _source字段存储的是索引的原始内容,那 store 属性的设置是为何呢?elasticsearch 为什么要把 store 的默认取值设置为 no?设置为 yes ...

  10. 数据科学的完整学习路径—Python版(转载)

    时间 2015-01-29 14:14:11  数盟原文  http://dataunion.org/?p=9805 译者: Allen 从Python菜鸟到Python Kaggler的旅程(译注: ...