O&NIO介绍

IO读取

NIO读取

NIO中epoll空轮询表现

public static void main(String[] args) {Selector selector = Selector.open();System.out.println(selector.isOpen());ServerSocketChannel socketChannel = ServerSocketChannel.open();InetSocketAddress inetSocketAddress = new InetSocketAddress("localhost", 8080);socketChannel.bind(inetSocketAddress);socketChannel.configureBlocking(false);int ops = socketChannel.validOps();SelectionKey selectionKey = socketChannel.register(selector, ops, null);Set selectedKeys = selector.selectedKeys();for (;;) {System.out.println("等待...");/*** 通常是阻塞的,但是在epoll空轮询的bug中,* 之前处于连接状态突然被断开,select()的* 返回值noOfKeys应该等于0,也就是阻塞状态* 但是,在此bug中,select()被唤醒,而又* 没有数据传入,导致while (itr.hasNext())* 根本不会执行,而后就进入for (;;) {的死循环* 但是,正常状态下应该阻塞,也就是只输出一个waiting...* 而此时进入死循环,不断的输出waiting...,程序死循环* cpu自然很快飙升到100%状态。*/int noOfKeys = selector.select();System.out.println("selected keys:" + noOfKeys);Iterator itr = selectedKeys.iterator();while (itr.hasNext()) {SelectionKey key = (SelectionKey) itr.next();if (key.isAcceptable()) {SocketChannel client = socketChannel.accept();client.configureBlocking(false);client.register(selector, SelectionKey.OP_READ);System.out.println("The new connection is accepted from the client: " + client);} else if (key.isReadable()) {SocketChannel client = (SocketChannel) key.channel();ByteBuffer buffer = ByteBuffer.allocate(256);client.read(buffer);String output = new String(buffer.array()).trim();System.out.println("Message read from client: " + output);if (output.equals("Bye Bye")) {client.close();System.out.println("The Client messages are complete; close the session.");}}itr.remove();}}}

bug原因

JDK bug列表中有两个相关的bug报告:

  1. JDK-6670302 : (se) NIO selector wakes up with 0 selected keys infinitely
  2. JDK-6403933 : (se) Selector doesn't block on Selector.select(timeout) (lnx)

JDK-6403933的bug说出了实质的原因:

This is an issue with poll (and epoll) on Linux. If a file descriptor for a connected socket is polled with a request event mask of 0, and if the connection is abruptly terminated (RST) then the poll wakes up with the POLLHUP (and maybe POLLERR) bit set in the returned event set. The implication of this behaviour is that Selector will wakeup and as the interest set for the SocketChannel is 0 it means there aren't any selected events and the select method returns 0.

具体解释为:在部分Linux的2.6的kernel中,poll和epoll对于突然中断的连接socket会对返回的eventSet事件集合置为POLLHUP,也可能是POLLERR,eventSet事件集合发生了变化,这就可能导致Selector会被唤醒。

这是与操作系统机制有关系的,JDK虽然仅仅是一个兼容各个操作系统平台的软件,但很遗憾在JDK5和JDK6最初的版本中(严格意义上来将,JDK部分版本都是),这个问题并没有解决,而将这个帽子抛给了操作系统方,这也就是这个bug最终一直到2013年才最终修复的原因,最终影响力太广。

解决办法
不完善的解决办法
grizzly的commiteer们最先进行修改的,并且通过众多的测试说明这种修改方式大大降低了JDK NIO的问题。

// the key you registered on the temporary selector
if (SelectionKey != null)  {  // cancel the SelectionKey that was registered with the temporary selectorSelectionKey.cancel();  // flush the cancelled keytemporarySelector.selectNow();
} 

但是,这种修改仍然不是可靠的,一共有两点:

  1. 多个线程中的SelectionKey的key的cancel,很可能和下面的Selector.selectNow同时并发,如果是导致key的cancel后运行很可能没有效果
  2. 与其说第一点使得NIO空转出现的几率大大降低,经过Jetty服务器的测试报告发现,这种重复利用Selector并清空SelectionKey的改法很可能没有任何的效果,

完善的解决办法

最终的终极办法是创建一个新的Selector:

Trash wasted Selector, creates a new one.

各应用具体解决方法
Jetty

Jetty首先定义两了-D参数:

  • JVMBUG_THRESHHOLD

org.mortbay.io.nio.JVMBUG_THRESHHOLD, defaults to 512 and is the number of zero select returns that must be exceeded in a period.

  • threshhold

org.mortbay.io.nio.MONITOR_PERIOD defaults to 1000 and is the period over which the threshhold applies.

第一个参数是select返回值为0的计数,第二个是多长时间,整体意思就是控制在多长时间内,如果Selector.select不断返回0,说明进入了JVM的bug的模式。

做法是:

  • 记录select()返回为0的次数(记做jvmBug次数)
  • 在MONITOR_PERIOD时间范围内,如果jvmBug次数超过JVMBUG_THRESHHOLD,则新创建一个selector
long before = now;
int selected = selector.select(wait);
now = System.currentTimeMillis();
_idleTimeout.setNow(now);
_timeout.setNow(now);/*** 判断等待时间是否大于_JVMBUG_THRESHHOLD* selected是否等于0,时间的机制。*/
if (_JVMBUG_THRESHHOLD > 0 && selected == 0&& wait > _JVMBUG_THRESHHOLD&& (now - before) < (wait/2)) {_jvmBug++;// 判断jvmBug计数是否大于设置的标准值if (_jvmBug >= (_JVMBUG_THRESHHOLD2)) {// 确定发生epoll空轮询bug,开启新的selectorsynchronized (this) {_lastJvmBug = now;final Selector new_selector = Selector.open();// 将之前的事件复制到新的selectorfor (SelectionKey k:selector.selectedKeys()) {if (!k.isValid() || k.interestOps() == 0) {continue;}final SelectableChannel channel = k.channel();final Object attachment = k.attachment();if (attachment == null) {addChange(channel);} else {addChange(channel, attachment);}}// 关闭旧selector_selector.close();// 开启新的selector_selector = new_selector;// bug数归0_jvmBug = 0;return;}}
}

Netty

思路和Jetty的处理方式几乎是一样的,就是netty讲重建Selector的过程抽取成了一个方法。

Netty解决空轮询的4步骤:

Netty的解决办法总览:

  • 1、对Selector的select操作周期进行统计,每完成一次空的select操作进行一次计数,若在某个周期内连续发生N次空轮询,则触发了epoll死循环bug。
  • 2、重建Selector,判断是否是其他线程发起的重建请求,若不是则将原SocketChannel从旧的Selector上去除注册,重新注册到新的Selector上,并将原来的Selector关闭。

Netty解决空轮询的4步骤

Netty解决空轮询的4步骤,具体如下:

第一部分:定时阻塞select(timeMillins)

  • 先定义当前时间currentTimeNanos。
  • 接着计算出一个执行最少需要的时间timeoutMillis。
  • 定时阻塞select(timeMillins) 。
  • 每次对selectCnt做++操作。

第二部分:有效IO事件处理逻辑

第三部分:超时处理逻辑

  • 如果查询超时,则seletCnt重置为1。

第四步: 解决空轮询 BUG

  • 一旦到达SELECTOR_AUTO_REBUILD_THRESHOLD这个阀值,就需要重建selector来解决这个问题。
  • 这个阀值默认是512。
  • 重建selector,重新注册channel通道

Netty解决空轮询的4步骤的核心代码


long time = System.nanoTime();//调用select方法,阻塞时间为上面算出的最近一个将要超时的定时任务时间
int selectedKeys = selector.select(timeoutMillis);//计数器加1
++selectCnt;if (selectedKeys != 0 || oldWakenUp || this.wakenUp.get() || this.hasTasks() || this.hasScheduledTasks()) {//进入这个分支,表示正常场景     //selectedKeys != 0: selectedKeys个数不为0, 有io事件发生//oldWakenUp:表示进来时,已经有其他地方对selector进行了唤醒操作//wakenUp.get():也表示selector被唤醒//hasTasks() || hasScheduledTasks():表示有任务或定时任务要执行//发生以上几种情况任一种则直接返回break;
}//此处的逻辑就是: 当前时间 - 循环开始时间 >= 定时select的时间timeoutMillis,说明已经执行过一次阻塞select(), 有效的select
if (time - TimeUnit.MILLISECONDS.toNanos(timeoutMillis) >= currentTimeNanos) {//进入这个分支,表示超时,属于正常的场景//说明发生过一次阻塞式轮询, 并且超时selectCnt = 1;
} else if (SELECTOR_AUTO_REBUILD_THRESHOLD > 0 && selectCnt >= SELECTOR_AUTO_REBUILD_THRESHOLD) {//进入这个分支,表示没有超时,同时 selectedKeys==0//属于异常场景//表示启用了select bug修复机制,//即配置的io.netty.selectorAutoRebuildThreshold//参数大于3,且上面select方法提前返回次数已经大于//配置的阈值,则会触发selector重建//进行selector重建//重建完之后,尝试调用非阻塞版本select一次,并直接返回selector = this.selectRebuildSelector(selectCnt);selectCnt = 1;break;
}
currentTimeNanos = time;

Netty对Selector.select提前返回的检测和处理逻辑主要在NioEventLoop.select方法中,完整的代码如下:

public final class NioEventLoop extends SingleThreadEventLoop {private void select(boolean oldWakenUp) throws IOException {Selector selector = this.selector;try {//计数器置0int selectCnt = 0;long currentTimeNanos = System.nanoTime();//根据注册的定时任务,获取本次select的阻塞时间long selectDeadLineNanos = currentTimeNanos + this.delayNanos(currentTimeNanos);while(true) {//每次循环迭代都重新计算一次select的可阻塞时间long timeoutMillis = (selectDeadLineNanos - currentTimeNanos + 500000L) / 1000000L;//如果可阻塞时间为0,表示已经有定时任务快要超时//此时如果是第一次循环(selectCnt=0),则调用一次selector.selectNow,然后退出循环返回//selectorNow方法的调用主要是为了尽可能检测出准备好的网络事件进行处理if (timeoutMillis <= 0L) {if (selectCnt == 0) {selector.selectNow();selectCnt = 1;}break;}//如果没有定时任务超时,但是有以前注册的任务(这里不限定是定时任务),//且成功设置wakenUp为true,则调用selectNow并返回if (this.hasTasks() && this.wakenUp.compareAndSet(false, true)) {selector.selectNow();selectCnt = 1;break;}//调用select方法,阻塞时间为上面算出的最近一个将要超时的定时任务时间int selectedKeys = selector.select(timeoutMillis);//计数器加1++selectCnt;if (selectedKeys != 0 || oldWakenUp || this.wakenUp.get() || this.hasTasks() || this.hasScheduledTasks()) {//进入这个分支,表示正常场景     //selectedKeys != 0: selectedKeys个数不为0, 有io事件发生//oldWakenUp:表示进来时,已经有其他地方对selector进行了唤醒操作//wakenUp.get():也表示selector被唤醒//hasTasks() || hasScheduledTasks():表示有任务或定时任务要执行//发生以上几种情况任一种则直接返回break;}//如果线程被中断,计数器置零,直接返回if (Thread.interrupted()) {if (logger.isDebugEnabled()) {logger.debug("Selector.select() returned prematurely because Thread.currentThread().interrupt() was called. Use NioEventLoop.shutdownGracefully() to shutdown the NioEventLoop.");}selectCnt = 1;break;}//这里判断select返回是否是因为计算的超时时间已过,//这种情况下也属于正常返回,计数器置1,进入下次循环long time = System.nanoTime();if (time - TimeUnit.MILLISECONDS.toNanos(timeoutMillis) >= currentTimeNanos) {//进入这个分支,表示超时,属于正常的场景//说明发生过一次阻塞式轮询, 并且超时selectCnt = 1;} else if (SELECTOR_AUTO_REBUILD_THRESHOLD > 0 && selectCnt >= SELECTOR_AUTO_REBUILD_THRESHOLD) {//进入这个分支,表示没有超时,同时 selectedKeys==0//属于异常场景//表示启用了select bug修复机制,//即配置的io.netty.selectorAutoRebuildThreshold//参数大于3,且上面select方法提前返回次数已经大于//配置的阈值,则会触发selector重建//进行selector重建//重建完之后,尝试调用非阻塞版本select一次,并直接返回selector = this.selectRebuildSelector(selectCnt);selectCnt = 1;break;}currentTimeNanos = time;}//这种是对于关闭select bug修复机制的程序的处理,//简单记录日志,便于排查问题if (selectCnt > 3 && logger.isDebugEnabled()) {logger.debug("Selector.select() returned prematurely {} times in a row for Selector {}.", selectCnt - 1, selector);}} catch (CancelledKeyException var13) {if (logger.isDebugEnabled()) {logger.debug(CancelledKeyException.class.getSimpleName() + " raised by a Selector {} - JDK bug?", selector, var13);}}}private Selector selectRebuildSelector(int selectCnt) throws IOException {logger.warn("Selector.select() returned prematurely {} times in a row; rebuilding Selector {}.", selectCnt, this.selector);//进行selector重建this.rebuildSelector();Selector selector = this.selector;//重建完之后,尝试调用非阻塞版本select一次,并直接返回selector.selectNow();return selector;}
}

上面调用的this.rebuildSelector()源码如下:

public final class NioEventLoop extends SingleThreadEventLoop {public void rebuildSelector() {//如果不在该线程中,则放到任务队列中if (!this.inEventLoop()) {this.execute(new Runnable() {public void run() {NioEventLoop.this.rebuildSelector0();}});} else {//否则表示在该线程中,直接调用实际重建方法this.rebuildSelector0();}}private void rebuildSelector0() {Selector oldSelector = this.selector;//如果旧的selector为空,则直接返回if (oldSelector != null) {NioEventLoop.SelectorTuple newSelectorTuple;try {//新建一个新的selectornewSelectorTuple = this.openSelector();} catch (Exception var9) {logger.warn("Failed to create a new Selector.", var9);return;}int nChannels = 0;Iterator var4 = oldSelector.keys().iterator();//对于注册在旧selector上的所有key,依次重新在新建的selecor上重新注册一遍while(var4.hasNext()) {SelectionKey key = (SelectionKey)var4.next();Object a = key.attachment();try {if (key.isValid() && key.channel().keyFor(newSelectorTuple.unwrappedSelector) == null) {int interestOps = key.interestOps();key.cancel();SelectionKey newKey = key.channel().register(newSelectorTuple.unwrappedSelector, interestOps, a);if (a instanceof AbstractNioChannel) {((AbstractNioChannel)a).selectionKey = newKey;}++nChannels;}} catch (Exception var11) {logger.warn("Failed to re-register a Channel to the new Selector.", var11);if (a instanceof AbstractNioChannel) {AbstractNioChannel ch = (AbstractNioChannel)a;ch.unsafe().close(ch.unsafe().voidPromise());} else {NioTask<SelectableChannel> task = (NioTask)a;invokeChannelUnregistered(task, key, var11);}}}//将该NioEventLoop关联的selector赋值为新建的selectorthis.selector = newSelectorTuple.selector;this.unwrappedSelector = newSelectorTuple.unwrappedSelector;try {//关闭旧的selectoroldSelector.close();} catch (Throwable var10) {if (logger.isWarnEnabled()) {logger.warn("Failed to close the old Selector.", var10);}}if (logger.isInfoEnabled()) {logger.info("Migrated " + nChannels + " channel(s) to the new Selector.");}}}
}

Netty空轮询的阈值配置

Netty在NioEventLoop中考虑了这个问题,并通过在select方法不正常返回(Netty源码注释称其为prematurely,即提前返回)超过一定次数时重新创建新的Selector来修复此bug。

Netty提供了配置参数io.netty.selectorAutoRebuildThreshold供用户定义select创建新Selector提前返回的次数阈值,超过该次数则会触发Selector自动重建,默认为512。

但是如果指定的io.netty.selectorAutoRebuildThreshold小于3在Netty中被视为关闭了该功能。

public final class NioEventLoop extends SingleThreadEventLoop {private static final int SELECTOR_AUTO_REBUILD_THRESHOLD;static {//......省略部分代码int selectorAutoRebuildThreshold = SystemPropertyUtil.getInt("io.netty.selectorAutoRebuildThreshold", 512);if (selectorAutoRebuildThreshold < 3) {selectorAutoRebuildThreshold = 0;}SELECTOR_AUTO_REBUILD_THRESHOLD = selectorAutoRebuildThreshold;if (logger.isDebugEnabled()) {logger.debug("-Dio.netty.noKeySetOptimization: {}", DISABLE_KEY_SET_OPTIMIZATION);logger.debug("-Dio.netty.selectorAutoRebuildThreshold: {}", SELECTOR_AUTO_REBUILD_THRESHOLD);}}
}

参考文献:

Netty源码-Selector.select bug修复实现 - 简书

https://blog.csdn.net/zhengchao1991/article/details/106534280

NIO空轮训出现的原理以及修复方案相关推荐

  1. Netty高并发高性能架构设计NIO空轮训BUG

    Netty高并发高性能架构设计&NIO空轮训BUG Netty高并发高性能架构设计 Netty线程模型 Netty主从Reactor模型设计的精髓 无锁串行化设计思想 零拷贝 直接内存 Net ...

  2. Robust热修复方案实现原理

    前言 本文旨在通过分析源码一步步分析Robust热修复的实现原理,前半部分首先分析一下Robust思路中运用到的技术方案:后半部分多为源码部分,即Robust对于技术方案的实现与运用. 1.关于Rob ...

  3. 常用热修复方案以及原理

    常用热修复方案以及原理 bsdiff.exe 比对文件不同 bspatch.exe 生成增量包 增量级别更新,应用很广泛,抖音微信都有使用增量更新 所有的热修复都是使用 反射和类加载机制完成热修复,和 ...

  4. Android热修复升级探索——SO库修复方案

    摘要: 通常情况下,大多数人希望android下热补丁方案能够做到补丁的全方位修复,包括类修复/资源修复/so库的修复. 这里主要介绍热补丁之so库修复思路. 一.前言 通常情况下,大多数人希望and ...

  5. Android热修复升级探索——SO库修复方案 1

    一.前言 通常情况下,大多数人希望android下热补丁方案能够做到补丁的全方位修复,包括类修复/资源修复/so库的修复. 这里主要介绍热补丁之so库修复思路. 二.so库加载原理 Java Api提 ...

  6. android 热修复 需要重启应用嘛?_Android热修复方案盘点

    前言 上一个大的系列文章叫 "手把手讲解", 历时10个月,出产博文二十余篇,讲解细致,几乎每一篇都提供了详实的原理讲解,提供了可运行 githubDemo,并且针对Demo中的关 ...

  7. 常见主机漏洞及修复方案

    1.openssh累积型漏洞  高  cve-2017-10012 修复意见: 升级版本至>=openssh-5.3p1-122.el6 2.NTP累积型漏洞  高 修复意见: 稳定版请尽快安装 ...

  8. android热修复方案

    热补丁方案有很多,其中比较出名的有腾讯Tinker.阿里的AndFix.美团的Robust以及QZone的超级补丁方案.他们的优劣如下: 一.Tinker 热修复 Tinker通过 Dexdiff 算 ...

  9. JAndFix: 基于Java实现的Android实时热修复方案

    简述 JAndFix是一种基于Java实现的Android实时热修复方案,它并不需要重新启动就能生效.JAndFix是在AndFix的基础上改进实现,AndFix主要是通过jni实现对method(A ...

最新文章

  1. 为什么AI感知与人类感知无法直接比较?
  2. (0050)iOS开发之钥匙串存储
  3. 多路 IO 转接 :epoll 函数
  4. 自定义Java annotation及解析和使用
  5. 通过负载均衡器+域名实现容灾切换-(8)基于DNS解析的GSLB在BS架构中应用实践(转)(2)...
  6. 【分布式计算】关于Hadoop、Spark、Storm的讨论
  7. Squid服务器配置
  8. Capture One Pro 22 for Mac(RAW图像处理软件)v15.1.2.1
  9. 大数据发展的根基是什么?
  10. PDP附着和PDP激活的区别
  11. 高压均质机原理、使用方法及维护注意事项
  12. 用计算机研究脑电波,超现实主义 用脑电波控制计算机设备
  13. LeetCode 2248、多个数组求交集
  14. TypeError: Cannot read property ‘id‘ of null
  15. 数理逻辑学习笔记[0] 命题逻辑:语义
  16. python的scapy,Scapy在Python脚本中
  17. 你去过(gan)大(huo)年(che),Down机别烦我
  18. 汽车行业部件IPX9K高温高压喷水试验测试
  19. Mysql数据库备份和还原
  20. 关于atom中apm 不能安装插件安装失败解决办法?

热门文章

  1. 售让链克业务后的迅雷 此身终于分明
  2. certbot安装https证书
  3. 十四个很准的心理暗示
  4. 【imx6ull-alientek-emmc】linux交叉编译环境 + 内核编译
  5. Android点击文字编辑进行缩放、移动和改变字体、颜色的实现
  6. 重磅 | 华为发布绝杀计算战略!投15亿美元打造开放生态,全球最快AI训练集群Atlas 900,绝了!...
  7. Building Loosely Coupled and Scalable RESTful Services using Orleans
  8. pandas一行代码绘制26种美图
  9. srec_cat 常用参数的使用
  10. “新四大发明”走出去:“小鲜肉之国”孟加拉也有“支付宝”啦