Hasen的linux设备驱动开发学习之旅--异步I/O

2024-06-08 03:32

本文主要是介绍Hasen的linux设备驱动开发学习之旅--异步I/O,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

/*** Author:hasen* 参考 :《linux设备驱动开发详解》* 简介:android小菜鸟的linux* 	         设备驱动开发学习之旅* 主题:异步I/O* Date:2014-11-11*/

linux中最常用的输入/输出(I/O)模型是同步I/O。在这个模型中,请求发出后,应用就会阻塞,知道请求满足

为止。但是在某些情况下,I/O请求可能需要与其他的进程进行交叠。可移植操作系统接口(POSIX)异步I/O(AIO)
应用程序接口(API)就提供了这种功能。
AIO基本思想是允许进程发起很多的I/O操作,而不用阻塞或者等待任何操作完成。稍后或在接受到I/O操
作完成的通知时,进程再检索I/O操作的结果。
在异步非阻塞I/O中,每个传输操作都有唯一的上下文,通过aiocb(AIO I/O Control Block)结构体进行区
分,包含了有关传输的所有信息,以及为数据准备的用户缓冲区。在产生I/O通知(称为完成)时,该结构唯一标
识所完成的I/O操作。

AIO系列API被GNU C库函数所包含,它被POSIX.1b所要求,主要有以下的函数:
(1)aio_readint aio_read(struct aiocb *aiocbp) ;/*对一个有效的文件描述符进行异步操作*/文件描述符可以表示文件,套接字,管道,aio_read()在请求进行排队后立即返回,执行成功返回0,出现错误返回-1,并设置errno的值。
(2)aio_write   int aio_write(struct aiocb *aiocbp) ;/*用来请求一个异步写操作*/aio_write()函数会立即返回,说明请求已经进行排队,成功返回0,失败返回-1,并相应地设置errno。
(3)aio_erroraio_error(struct aiocb *aiocbp) ;/*用来确定请求的状态*/这个函数可以返回以下内容。EINPROGRESS:说明请求尚未完成。ECANCELLED:说明请求被应用程序取消了。-1:说明发生了错误,具体错误原因由errno记录。
(4)aio_return/*异步I/O和标准I/O方式之间的另一个区别是不能立即访问这个函数的返回状态,因为异步I/O并没有阻塞在read()调用上。在标准的read()调用中,返回状态是在该函数返回时提供的。但是在异步I/O中,使用aio_return()函数*/ssize_t aio_return(struct aiocb *aiocbp) ;只有在aio_error()调用确定请求已经完成(可能成功,或者发生错误)之后,才会调用这个函数,aio_return()函数的返回值就等价于同步情况中read()和write()的返回值,成功返回字节数,错误返回负值。

        下面的代码示例给出了用户空间进行异步读操作,它首先打开文档,然后准备aiocb结构体,之后调用aio_read(&my_aiocb)进行提出异步读请求,当aio_error(&my_aiocb)==EINPROGRESS,即操作还在进行中,一直等待,结束后通过aio_return(&my_aiocb)获得返回值

#include <aio.h>
...int fd ,ret ;
struct aiocb my_aiocb ;
fd = open("file.txt",O_RDONLY) ;
if(fd<0)perror("open") ;/*清零aiocb结构体*/
bzero((char *)&my_aiocb,sizeof(struct aiocb)) ;
/*为aiocb结构体请求分配数据缓冲区*/
my_aiocb.aio_buf = malloc(BUFSIZE + 1) ;
if(!my_aiocb.aio_buf)perror("malloc") ;/*初始化aiocb的成员*/
my_aiocb.aio_fildes = fd ;
my_aiocb.aio_nbytes = BUFSIZE ;
my_aiocb.aio_offset = 0 ;ret = aio_read(&my_aiocb) ;
if(ret < 0)perror("aio_read") ;while(aio_error(&my_aiocb) == EINPROGRESS)continue ;if((ret = aio_return(&my_aiocb)) > 0){/*获得异步读的返回值*/
}else{/*读失败,分析errno*/
}

(5)aio_suspend用户可以使用aio_suspend()函数来挂起(或阻塞)调用进程,直到异步请求完成为止,此时会产生一个信号,或者发生其他超时操作。调用者提供了一个aiocb引用列表,其中任何一个完成都会导致aio_suspend()返回。int aio_suspend(const struct aiocb cblist[] ,int n,const struct timespec *timeout) ;注意,aio_suspend 的第二个参数是 cblist 中元素的个数,而不是 aiocb 引用的个数。cblist中任何NULL元素都会被 aio_suspend 忽略。如果为 aio_suspend 提供了超时,而超时情况的确发生了,那么它就会返回 -1,errno 中会包含 EAGAIN。
示例:用户空间异步I/O aio_suspend()函数使用
	struct aioct *cblist[MAX_LIST]/*清零aioct结构体链表*/bzero((char *)cblist,sizeof(cblist)) ;/*将一个或更多的aiocb放入aioct结构体链表*/cblist[0] = &my_aiocb ;ret = aio_read(&my_aiocb) ;ret = aio_suspend(cblist,MAX_LIST,NULL) ;

(6)aio_cancelaio_cancel()函数允许用户取消对某个文件描述符执行的一个或者所有的I/O请求,原型如下:int aio_cancel(int fd ,struct aiocb *aiocbp) ;要取消一个请求,我们需要提供文件描述符和 aiocb 引用。如果这个请求被成功取消了,那么这个函数就会返回AIO_CANCELED。如果请求完成了,这个函数就会返回 AIO_NOTCANCELED。要取消对某个给定文件描述符的所有请求,我们需要提供这个文件的描述符,以及一个对 aiocbp的 NULL引用。如果所有的请求都取消了,这个函数就会返回 AIO_CANCELED;如果至少有一个请求没有被取消,那么这个函数就会返回 AIO_NOT_CANCELED;如果没有一个请求可以被取消,那么这个函数就会返回 AIO_ALLDONE。我们然后可以使用 aio_error 来验证每个 AIO 请求。如果这个请求已经被取消了,那么 aio_error 就会返回-1,并且errno 会被设置为 ECANCELED。
(7)lio_listio最后,AIO 提供了一种方法使用 lio_listio API 函数同时发起多个传输。这个函数非常重要,因为这意味着我们可以在一个系统调用(一次内核上下文切换)中启动大量的 I/O 操作。从性能的角度来看,这非常重要,因此值得我们花点时间探索一下。lio_listio API 函数的原型如下:int lio_listio( int mode, struct aiocb *list[], int nent,struct sigevent *sig );mode 参数可以是 LIO_WAIT 或 LIO_NOWAIT。LIO_WAIT 会阻塞这个调用,直到所有的 I/O 都完成为止。在操作进行排队之后,LIO_NOWAIT 就会返回。list 是一个 aiocb 引用的列表,最大元素的个数是由nent定义的。注意 list 的元素可以为 NULL,lio_listio 会将其忽略。sigevent 引用定义了在所有 I/O操作都完成时产生信号的方法。
示例:用户空间异步I/O lio_listio()的使用
struct aiocb aiocb1,aiocb2 ;
struct aiocb *list[MAX_LIST] ;
...
/*准备第一个aiocb*/
aiocb1.aio_fildes = fd ;
aiocb1.aio_buf = malloc(BUFSIZE + 1) ;
aiocb1.aio_nbytes = BUFSIZE ;
aiocb1.aio_offset = next_offset ;
/*LIO_READ读操作,LIO_WRITE写操作,LIO_NOP空操作*/
aiocb1.aio_lio_opcode = LIO_READ;/*异步读操作*/
... /*准备多个aiocb*/
bzero((char *)list,sizeof(list)) ;/*将aiocb填入链表*/
list[0] = aiocb1 ;
list[1] = aiocb2 ;
...
ret = lio_listio(LIO_WAIT,list,MAX_LIST,NULL) ;/*发起大量I/O操作*/
使用回调函数作为AIO的通知
除了信号之外,应用程序还可以提供一个回调(Callback)函数给内核,以便AIO的请求完成后内核调用这个函数。
示例:使用回调函数作为AIO异步I/O通知机制
/*设置异步I/O请求*/
void setup_io(...)
{int fd ;struct aiocb my_aiocb ;.../*设置AIO请求*/bzero((char *)&my_aiocb,sizeof(struct aiocb)) ;aiocb.aio_fildes = fd ;aiocb.aio_buf = malloc(BUFSIZE + 1) ;aiocb.aio_nbytes = BUFSIZE ;aiocb.aio_offset = next_offset ;/*连接AIO请求和线程回调函数*/my_aiocb.aio_sigevent.sigev_notify = SIGEV_THREAD ;my_aiocb.aio_sigevent.notify_function = aio_completion_handler ;/*设置回调函数*/my_aiocb.aio_sigevent.notify_attributes = NULL ;my_aiocb.aio_sigevent.sigev_value_sival_ptr = &my_aiocb ;...ret = aio_read(&my_aiocb) ;
}/*异步I/O完成回调函数*/
void aio_completion_handler(sigval_t sigval)
{struct aiocb *req ;req = (struct aiocb *)sigval.sival_ptr ;/*AIO请求完成*/if(aio_error(req) == 0)/*请求完成,获得返回值*/ret = aio_return (req) ;
}
上述程序在创建aiocb请求之后,使用了SIGEV_THREAD请求了一个线程回调函数作为通知方法。在回调
函数中,通过(struct aiocb*)sigval.sival_ptr可以获得对应的aiocb指针,使用AIO函数可验证请求是否已经完成。
proc文件系统包含了两个虚拟文件,他们可以用来对异步I/O的性能进行优化。
(1)/proc/sys/fs/aio-nr 文件提供了系统范围异步I/O请求现在的数目。
(2)/proc/sys/fs/aio-max-nr 文件是允许的并发请求的最大个数,最大个数通常是64KB,这对于大部分应用
程序来说都已经足够了。
AIO与设备驱动
在内核中,每个I/O请求都对应于一个kiocb结构体,其ki_filp成员指向对应的file指针,通过is_sync_kiocb()
可以判断某kiocb是否为同步I/O请求,如果返回非真,表示为异步I/O请求。
块设备和网络设备本身是异步的,只有字符设备必须明确表明应支持AIO,AIO对于大多数字符设备而言都
不是必须的,只有极少数设备需要,比如,对于磁带机,由于I/O操作很慢,这时候使用异步I/O可以改善性能。
字符设备驱动程序中,file_operations包含3个与AIO相关的成员函数:
	ssize_t (*aio_read)(struct kiocb *iocb,char *buffer,size_t count,loff_t offset);ssize_t (*aio_write)(struct kiocb *iocb,char *buffer,size_t count,loff_t offset);ssize_t (*aio_fsync)(struct kiocb *iocb,int datasync) ;
aio_read()和aio_write()与filp_operations中的read()和write()中的offset参数不一样,它直接传值,
而后者是传递的指针,这是因为AIO从来不需要改变文件的位置。
aio_read()和aio_write()函数本身不一定完成了读和想写操作,它只是发起,初始化读和写操作。
示例:设备驱动中的I/O函数

struct async_work()
{struct kiocb *iocb ;/*kiocb结构体指针*/int result  ;/*执行结果*/struct work_struct work ;/*工作结构体*/
};
...
/*异步读*/
static ssize_t xxx_aio_read(struct kiocb *iocb,char *buf,size_t count,loff_t pos)
{return xxx_defer_op(0,iocb,count,pos) ;
}/*异步写*/
static ssize_t xxx_aio_write(struct kiocb *iocb,const char *buf,size_t count,loff_t pos)
{return xxx_defer_op(1,iocb,count,pos) ;
}/*初始化异步I/O*/
static int xxx_defer_op(int write,struct kiocb *iocb,char *buf,size_t count,loff_t pos)
{struct async_work *async_wk ;int result ;/*当我们能访问buffer时进行copy*/if(write)result = xxx_write(iocb->ki_filp,buf,count,&pos) ;elseresult = xxx_read(iocb->filp,buf,count,&pos) ;/*如果是同步IOCB,立即返回状态*/if(is_sync_kiocb(iocb))return result ;/*否则,推后几秒执行*/async_wk = kmalloc(sizeof(*async_wk),GFP_KERNEL) ;if(async_wk == NULL)return result ;/*调度延迟的工作*/async_wk->iocb = iocb ;async_wk->result = result ;INIT_WORK(&async_wk->work,xxx_do_deferred_op,async_wk) ;schedule_delay_work(&async_wk->work ,Hz/100) ;return -EIOCBQUEUED ;/*控制权返回用户空间*/
}/*延迟后执行*/
static void xxx_do_deferred_op(void *p)
{struct async_work *async_wk = (struct async_work *)p ;... /*执行I/O操作*/aio_complete(async_wk->iocb,async_wk->result,0) ;kfree(async_wk) ;
}
上述代码最核心的是使用work_struct机制通过schedule_delay_work()函数将I/O操作延迟执行,而在具体的
I/O操作执行完成后,调用aio_complete()通知内核驱动程序已经完成了I/O操作。
通常而言,具体的字符设备驱动一般不许呀AIO支持,而内核中仅有fs/direct-io.c,driver/usb/gadget/inode.c,
fs/nfs/direct.c等少量地方使用了AIO。

这篇关于Hasen的linux设备驱动开发学习之旅--异步I/O的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1041095

相关文章

在Linux系统上连接GitHub的方法步骤(适用2025年)

《在Linux系统上连接GitHub的方法步骤(适用2025年)》在2025年,使用Linux系统连接GitHub的推荐方式是通过SSH(SecureShell)协议进行身份验证,这种方式不仅安全,还... 目录步骤一:检查并安装 Git步骤二:生成 SSH 密钥步骤三:将 SSH 公钥添加到 github

Python38个游戏开发库整理汇总

《Python38个游戏开发库整理汇总》文章介绍了多种Python游戏开发库,涵盖2D/3D游戏开发、多人游戏框架及视觉小说引擎,适合不同需求的开发者入门,强调跨平台支持与易用性,并鼓励读者交流反馈以... 目录PyGameCocos2dPySoyPyOgrepygletPanda3DBlenderFife

使用Python开发一个Ditto剪贴板数据导出工具

《使用Python开发一个Ditto剪贴板数据导出工具》在日常工作中,我们经常需要处理大量的剪贴板数据,下面将介绍如何使用Python的wxPython库开发一个图形化工具,实现从Ditto数据库中读... 目录前言运行结果项目需求分析技术选型核心功能实现1. Ditto数据库结构分析2. 数据库自动定位3

Linux线程同步/互斥过程详解

《Linux线程同步/互斥过程详解》文章讲解多线程并发访问导致竞态条件,需通过互斥锁、原子操作和条件变量实现线程安全与同步,分析死锁条件及避免方法,并介绍RAII封装技术提升资源管理效率... 目录01. 资源共享问题1.1 多线程并发访问1.2 临界区与临界资源1.3 锁的引入02. 多线程案例2.1 为

Django开发时如何避免频繁发送短信验证码(python图文代码)

《Django开发时如何避免频繁发送短信验证码(python图文代码)》Django开发时,为防止频繁发送验证码,后端需用Redis限制请求频率,结合管道技术提升效率,通过生产者消费者模式解耦业务逻辑... 目录避免频繁发送 验证码1. www.chinasem.cn避免频繁发送 验证码逻辑分析2. 避免频繁

Spring Boot集成/输出/日志级别控制/持久化开发实践

《SpringBoot集成/输出/日志级别控制/持久化开发实践》SpringBoot默认集成Logback,支持灵活日志级别配置(INFO/DEBUG等),输出包含时间戳、级别、类名等信息,并可通过... 目录一、日志概述1.1、Spring Boot日志简介1.2、日志框架与默认配置1.3、日志的核心作用

Oracle数据库定时备份脚本方式(Linux)

《Oracle数据库定时备份脚本方式(Linux)》文章介绍Oracle数据库自动备份方案,包含主机备份传输与备机解压导入流程,强调需提前全量删除原库数据避免报错,并需配置无密传输、定时任务及验证脚本... 目录说明主机脚本备机上自动导库脚本整个自动备份oracle数据库的过程(建议全程用root用户)总结

Linux如何查看文件权限的命令

《Linux如何查看文件权限的命令》Linux中使用ls-R命令递归查看指定目录及子目录下所有文件和文件夹的权限信息,以列表形式展示权限位、所有者、组等详细内容... 目录linux China编程查看文件权限命令输出结果示例这里是查看tomcat文件夹总结Linux 查看文件权限命令ls -l 文件或文件夹

idea的终端(Terminal)cmd的命令换成linux的命令详解

《idea的终端(Terminal)cmd的命令换成linux的命令详解》本文介绍IDEA配置Git的步骤:安装Git、修改终端设置并重启IDEA,强调顺序,作为个人经验分享,希望提供参考并支持脚本之... 目录一编程、设置前二、前置条件三、android设置四、设置后总结一、php设置前二、前置条件

PyQt5 GUI 开发的基础知识

《PyQt5GUI开发的基础知识》Qt是一个跨平台的C++图形用户界面开发框架,支持GUI和非GUI程序开发,本文介绍了使用PyQt5进行界面开发的基础知识,包括创建简单窗口、常用控件、窗口属性设... 目录简介第一个PyQt程序最常用的三个功能模块控件QPushButton(按钮)控件QLable(纯文本