IO模型简介

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

文章目录

- 前言
- 简介
- 正文
- 实现
- 总结

前言

简介

Java1.4之前的早期版本,Java对I/O的支持并不完善,开发人员在开发高性能I/O程
序的时候,会面临一些巨大的挑战和困难,主要问题如下٦。
没有数据缓冲区,I/O性能存在问题;
没有C或者C++中的Channel概念,只有输入和输出流
同步阻塞式I/O通信(BIO),通常会导致通信线程被长时间阻塞:
支持的字符集有限,硬件可移植性不好。
在Java支持异步1/0之前的很长一段时间里,高性能服务端开发领域一直被C++和C
长期占据,Java的同步阻塞I/O被大家所诟病。

正文

Linux的内核将所有外部设备都看做一个文件来操作,对一个文件的读写操作会调用
内核提供的系统命令,返回一个filedescriptor(fd,文件描述符)。而对一个socket的读
写也会有相应的描述符,称为socketfd(socket描述符),描述符就是一个数字,它指向内
核中的一个结构体(文件路径,数据区等一些属性)。

实现

根据UNIX网络编程对I/O模型的分类,UNIX提供了5种I/0模型,分别如下。
(1)阻塞I/0模型:最常用的I/0模型就是阻塞I/0模型型,缺省情形下,所有文件操
作都是阻塞的。我们以套接字接口为例来讲解此模型:不在进程空间中调用recvfrom,其系
统调用直到数据包到达且被复制到应用进程的缓冲区中或者发生错误时才返回,在此期间
一直会等待,进程在从调用recvfrom开始到它返回的整段时间内都是被阻塞的,因此被称
为阻塞I/O模型
(2)非阻塞I/O模型:recvfrom从应用层到内核的时候,如果该缓冲区没有数据的话,
就直接返回一个EWOULDBLOCK错误,一般都对非阻塞1/0模型进行轮询检查这个状态,
看内核是不是有数据到来。
图1-2非阻塞I/O模型
(3)I/O复用模型:Linux提供select/poll,进程通过将一个或多个fd传递给select或
poll系统调用,阻塞在select操作上,这样select/poll可以帮我们侦测多个fd是否处于就
绪状态。select/poll是顺序扫描fd是否就绪,而且支持的fd梦数量有限,因此它的使用受到
了一些制约。Linux还提供了一个epoll系统调用,epoll使用基于事件驱动方式代替顺序
扫描,因此性能更高。当有fd就绪时,立即回调函数rollbadck。
(4)信号驱动1/0模型:首先开启套接口信号驱动I/0功能,并退过系统调用sigaction
执行一个信号处理函数(此系统调用立即返回,进程继续仁作,它是非阻塞的)。当数据
准备就绪时,就为该进程生成一个SIGIO信号,通过信号回调通知应用程序调用recvfrom
来读取数据,并通知主循环函数处理数据。
(5)异步1/0:告知内核启动某个操作,并让内核在整个操作完成后(包括将数据从
内核复制到用户自己的缓冲区)通知我们。这种模型与信号驱动模型的主要区别是:信号
驱动1/0由内核通知我们何时可以开始一个I/0操作;异步I/O模型由内核通知我们I/O
操作何时已经完成。