今天就跟大家聊聊有关Linux网络编程中IO模型指的是什么,可能很多人都不太了解,为了让大家更加了解,小编给大家总结了以下内容,希望大家根据这篇文章可以有所收获。基于IO访问中存在的两个阶段详细介绍了Linux产生的五种IO模型。同步是指一个任务的完成需要依赖另外一个任务时,只有等待被依赖的任务完成后,依赖的任务才能算完成。异步是指不需要等待被依赖的任务完成,只是通知被依赖的任务要完成什么工作,依赖的任务也立即执行,只要自己完成了整个任务就算完成了,异步一般使用状态、通知和回调。
阻塞与非阻塞
阻塞是指调用结果返回之前,当前线程会被挂起,一直处于等待消息通知,不能够执行其他业务。非阻塞是指在不能立刻得到结果之前,该函数不会阻塞当前线程,而会立刻返回。对于一次IO访问,数据会先被拷贝到内核的缓冲区中,然后才会从内核的缓冲区拷贝到应用开发云主机域名程序的地址空间。需要经历两个阶段:1)准备数据2)将数据从内核缓冲区拷贝到进程地址空间由于存在这两个阶段,Linux产生了下面五种IO模型。阻塞IO当用户进程调用了recvfrom调用时,内核进入IO的第一个阶段:准备数据(内核需要等待足够的数据再拷贝),这个过程需要等待,用户进程会被阻塞,等内核将数据准备好,然后拷贝到用户地址空间,内核返回结果,用户进程才从阻塞态进入就绪态。
Linux中,默认情况下所有的socket都是阻塞的。非阻塞IO当用户进程发出read操作时,如果kernel中的数据还没有准备好,那么它并不会block用户进程,而是立刻返回一个error。用户进程判断结果是一个error时,它就知道数据还没有准备好,于是它可以再次发送read操作。一旦kernel中的数据准备好了,并且又再次收到了用户进程的system call,那么它马上就将数据拷贝到了用户内存,然后返回。非阻塞IO模式下用户进程需要不断地询问内核的数据准备好了没有。Linux下可以通过设置socket使其变为non-blocking。IO多路复用通过一种机制,一个进程可以监视多个文件描述符(套接字描述符),一旦某个文件描述符就绪(一般是读就绪或者写就绪),能够通知程序进行相应的读写操作活动:慈云数据爆款香港服务器,CTG+CN2高速带宽、快速稳定、平均延迟10+ms 速度快,免备案,每月仅需19元!! 点击查看。这样就不需要每个用户进程不断的询问内核数据准备好了没有。常用的IO多路复用方式有select、poll和epoll。kerne开发云主机域名l会“监视”所有select负责的socket,当任何一个socket中的数据准备好了,select就会返回。这个时候用户进程再调用read操作,将数据从kernel拷贝到用户进程。select 函数监视的文件描述符分3类,分别是writefds、readfds、和exceptfds。调用后select函数会阻塞,直到有描述副就绪(有数据可读、可写、或者有except),或者超时(timeout指定等待时间,如果立即返回设为null即可),函数返回。当select函数返回后,可以通过遍历fdset,来找到就绪的描述符。select的一个缺点在于单个进程能够监视的文件描述符的数量存在最大限制,在Linux上一般为1024。poll使用一个 pollfd的指针实现。 pollfd结构包含了要监视的event和发生的event
和select函数一样,poll返回后,需要遍历pollfd来获取就绪的描述符。poll没有监听最大数量限制。epoll使用一个文件描述符管理多个描述符,将用户关心的文件描述符的事件存放到内核的一个事件表中,采用监听回调的机制,这样在用户空间和内核空间的copy只需一次,避免再次遍历就绪的文件描述符列表。epoll的操作过程需要三个接口:
int epoll_create(int size):创建一个epoll的句柄,size用开发云主机域名来告诉内核这个监听的数目一共有多大。int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event):对指定描述符fd执行op操作。- epfd:是epoll_create()的返回值。- op:表示op操作,用三个宏来表示:添加EPOLL_CTL_ADD,删除EPOLL_CTL_DEL,修改EPOLL_CTL_MOD。分别添加、删除和修改对fd的监听事件。- fd:是需要监听的fd(文件描述符)- epoll_event:是告诉内核需要监听什么事,struct epoll_event结构如下:int epoll_wait(int epfd, struct epoll_event * events, int maxevents, int timeout):等待epfd上的io事件,最多返回maxevents个事件。参数events用来从内核得到事件的集合,maxevents告之内核这个events有多大,这个maxevents的值不能大于创建epoll_create()时的size,参数timeout是超时时间(毫秒,0会立即返回,-1将不确定,也有说法说是永久阻塞)。该函数返回需要处理的事件数目,如返回0表示已超时。LT(level trigger,水平触发)模式:当epoll_wait检测到描述符就绪,将此事件通知应用程序,应用程序可以不立即处理该事件。下次调用epoll_wait时,会再次响应应用程序并通知此事件。LT模式是默认的工作模式。LT模式同时支持阻塞和非阻塞socket。ET(edge trigger,边缘触发)模式:当epoll_wait检测到描述符就绪,将此事件通知应用程序,应用程序必须立即处理该事件。如果不处理,下次调用epoll_wait时,不会再次响应应用程序并通知此事件。ET是高速工作方式,只支持非阻塞socket。ET模式减少了epoll事件被重复触发的次数,因此效率要比LT模式高。异步IO用户进程发起read操作之后,立刻就可以开始去做其它的事。内核收到一个异步IO read之后,会立刻返回,不会阻塞用户进程。内核会等待数据准备完成,然后将数据拷贝到用户内存,当这一切都完成之后,内核会给用户进程发送一个signal,告诉它read操作完成了。
信号驱动IO内核文件描述符就绪后,通过信号通知用户进程,用户进程再通过系统调用读取数据。此方式属于同步IO,因为实际读取数据到用户进程缓存的工作仍然是由用户进程自己负责的。看完上述内容,你们对Linux网络编程中IO模型指的是什么有进一步的了解吗?如果还想了解更多知识或者相关内容,请关注开发云行业资讯频道,感谢大家的支持。
本文从转载,原作者保留一切权利,若侵权请联系删除。
《Linux网络编程中IO模型指的是什么》来自互联网同行内容,若有侵权,请联系我们删除!
还没有评论,来说两句吧...