Java I/O模型及其底层原理-低调大师

Java I/O模型及其底层原理

2020-06-10 646

Java I/O模型及其底层原理

Java I/O是Java基础之一，在面试中也比较常见，在这里我们尝试通过这篇文章阐述Java I/O的基础概念，帮助大家更好的理解Java I/O。
在刚开始学习Java I/O时，我很迷惑，因为网上绝大多数的文章都是讲解Linux网络I/O模型的，那时我总是搞不明白和Java I/O的关系。后来查了看了好多，才明白Java I/O的原理是以Linux网络I/O模型为基础的，理解了Linux网络I/O模型再学习Java I/O就很方便了，所以这篇文章，我们先来了解I/O的基本概念，再学习Linux网络I/O模型，最后再看Java中的几种I/O。

什么是I/O？
I/O是Input、Output的缩写，即对应计算机中的输入输出，以一次文件读取为例，我们需要将磁盘上的数据读取到用户空间，那么这次数据转移操作其实就是一次I/O操作，更具体的说是一次文件I/O。我们浏览网页，其中在请求一个网页时，服务器通过网络把数据发送给我们，此时程序将数据从TCP缓冲区复制到用户空间，那么这次数据转移操作其实也是一次I/O操作，更具体的说是一次网络I/O。I/O到处都在，十分重要，Java对I/O对底层操作系统的各种I/O模型进行了封装，使我们可以轻松开发。

Linux网络I/O模型
根据UNIX网络编程对I/O模型的分类，UNIX提供了5种I/O模型，分别是：阻塞I/O（Blocking I/O）、非阻塞I/O（Non-Blacking I/O）、I/O多路复用模型（I/O Multiplexing）、信号驱动式I/O（Signal Driven I/O）、异步I/O（Asynchronous I/O）。我们逐步了解一下其基本原理。

阻塞I/O（Blocking I/O）
阻塞I/O是最早最基础的I/O模型，其在读写数据过程中会阻塞。通过下图我们可以看到，当用户进程调用了recvfrom这个系统调用后，内核开始第一阶段的数据准备工作，直到内核等待数据准备完成，然后开始第二阶段的将数据从内核复制到用户空间的工作，最后内核返回结果。整个过程中用户进程都是阻塞的，直到最后返回结果后才接触阻塞block状态。阻塞I/O模型适用于并发量小且对时延不敏感的系统。

非阻塞I/O（Non-Blacking I/O）
当用户进程调用recvfrom这个系统调用后，如果内核尚未准备好数据，此时不再阻塞用户进程，而是立即返回一个EWOULDBLOCK错误。用户进程会不断发起系统调用直到内核中数据被准备好（轮询），此时将执行第二阶段的将数据从内核复制到用户空间的工作，然后内核返回结果。非阻塞I/O模型不断地轮询往往需要耗费大量cpu时间。

I/O多路复用模型（I/O Multiplexing）
I/O多路复用的优点在于单个进程可以同时处理多个网络连接的I/O,其基本原理就是select/epoll函数可以不断的轮询其负责的所有socket，当某个socket有数据到达时，就通知用户进程。
如下图所示，当用户进程调用select函数时，整个进程会被阻塞block住，但是这里的阻塞不是被socket I/O阻塞，而是被select这个函数阻塞。同时内核会监听改select负责的所有socket（这里的socket一般设置为non-blocking），当任何一个socket中的数据准备好时，select就会返回给用户进程，这时候用户进程再此发起一个系统调用，将数据从内核复制到用户空间，并返回结果。
对比I/O多路复用模型和阻塞I/O模型的流程，多路复用多了一个系统调用来完成select环节，除此之外没有太大的不同。Select的优势在于它可以同时处理多个connection，但是会多一个系统调用。多路复用本质上也不是非阻塞的。

信号驱动式I/O（Signal Driven I/O）
首先我们开启socket的信号驱动I/O功能，然后用户进程发起sigaction系统调用给内核后立即返回并可继续处理其他工作。收到sigaction系统调用的内核在将数据准备好后会按照要求产生一个signo信号通知给用户进程。然后用户进程再发起recvfrom系统调用，完成数据从内核到用户空间的复制，并返回最终结果。其基础原理图示如下：

异步I/O（Asynchronous I/O）
用户进程向内核发起系统调用后，就可以开始去做其他事情了。内核收到异步I/O的系统调用后，会直接retrun，所以这里不会对用户进程有阻塞。之后内核等待数据准备完成后会继续将数据从内核拷贝到用户空间（具体动作可以由异步I/O调用定义），然后内核回给用户进程发送一个signal，告诉用户进程I/O操作完成了，整个过程不会导致用户请求进程阻塞。
信号驱动I/O模型是内核通知我们可以发起I/O操作了，而异步I/O模式是内核告诉我们I/O操作已经完成了。

以上就是Linux的5种网络I/O模型，其中前4中都是同步I/O模型，他们真正的I/O操作环节都会将进程阻塞，只有最后一种异步I/O模型是异步I/O操作。

Java中的I/O模型
在JDK1.4之前，基于Java的所有socket通信都是使用阻塞I/O（BIO），JDK1.4提供了了非阻塞I/O（NIO）功能，不过虽然名字叫做NIO，实际底层模型是I/O多路复用，JDK1.7提供了针对异步I/O（AIO）功能。

BIO
BIO简化了上层开发，但是性能瓶颈问题严重，对高并发第时延支持差。
基于消息队列和线程池技术优化的BIO模式虽然可以对高并发支持有一定帮助，但是还是受限于线程池大小和线程池阻塞队列大小的制约，当并发数超过线程池的处理能力时，部分请求法务继续处理，会导致客户端连接超时，影响用户体验。

NIO
NIO弥补了BIO的不足，简单说就是通过selector不断轮询注册在自己上面的channel，如果channel上面有新的连接读写时间时就会被轮询出来，一个selector上面可以注册多个channel，一个线程就可以负责selector的轮询，这样就可以支持成千上万的连接。Selector就是一个轮询器，channel是一个通道，通过它来读取或者写入数据，通道是双向的，可以用于读、写、读和写。Buffer用来和channel交互，数据通过channel进出buffer。
NIO的优点是可以可靠性好以及高并发低时延，但是使用NIO的代码开发较为复杂。

AIO
AIO，或者说叫做NIO2.0，引入了异步channel的概念，提供了异步文件channel和异步socket channel的实现，开发者可以通过Future类来表示异步操作的结果，也可以在执行异步操作时传入一个channels，实现CompletionHandler接口作为回调。AIO不用开发者单独开发独立线程的selector，异步回调操作有JDK地城思安城池负责驱动，开发起来比NIO简单一些，同时保持了高可靠高并发低时延的优点。

参考：
https://blog.csdn.net/historyasamirror/article/details/5778378
https://juejin.im/post/5cce5019e51d453a506b0ebf

原文地址https://www.cnblogs.com/guodongdidi/p/13085474.html

微信关注我们

原文链接：https://yq.aliyun.com/articles/764704

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

LeetCode 905. 按奇偶排序数组

题目给定一个非负整数数组 A，返回一个数组，在该数组中，A 的所有偶数元素之后跟着所有奇数元素。你可以返回满足此条件的任何数组作为答案。示例：输入：[3,1,2,4] 输出：[2,4,3,1] 输出 [4,2,3,1]，[2,4,1,3] 和 [4,2,1,3] 也会被接受。提示： 1 <= A.length <= 50000 <= A[i] <= 5000 解题思路 class Solution: def sortArrayByParity(self, A: [int]) -> [int]: # #双指针 # left = 0 # right = len(A)-1 # while left != right: # if A[left] %2 == 0: # left += 1 # continue # if A[right] %2 == 1: # right -= 1 # continue # A[left], A[right] = A[right], A[left] # left += 1 # if left == right:break #...

2020-06-10

706

Javascript千面之变幻莫测的this指向相信很多前端人对“this”的指向是很懵逼的，因为this的指向总是变幻莫测，在不同的调用环境中，它的指向总是各不相同。在面试中，this也是经常考的必考题之一，很多前端老鸟经常会在this这里掉坑。接下来，看笔者来一层一层的揭开this指向的面纱。 1.事件调用环境中的this指向 function event() { console.log(this) } // box1.onclick = event ------> // box2.onclick = event ------> // event() ------> window对象从上述实例中可以看出： box1点击后，event方法中this指向div.class.box1 box2点击后，event方法中this指向div.class.box2 event()直接调用，this指向window对象，严格模式下指向的是undefined 总结：1.当事件被动调用时，谁去触发，this就指向谁； 2.当时间主动执行时(事件后面加()), this指向的就...

2020-06-10

654

资源下载

更多资源

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。