内容简介：epoll 的一个设计问题
问题的起因是 skynet 上的一个 issue
，大概是说 socket 线程陷入了无限循环，有个 fd 不断的产生新的消息，由于这条消息既不是 EPOLLIN 也不是 EPOLLOUT ，导致了 socket 线程不断地调用 epoll_wait
占满了 cpu 。
我在自己的机器上暂时无法重现问题，从分析上看，这个制造问题的 fd 是 0 ，也就是 stdin ，猜想和重定向有关系。
skynet 当初并没有处理 EPOLLERR 的情况（在 kqueue 中似乎没有对应的东西），这个我今天的 patch 补上了，不过应该并不能彻底解决问题。
我做了个简单的测试，如果强行 close fd 0 ，而在 close 前不把 fd 0 从 epoll 中移除，的确会造成一个不再存在的 fd (0) 不断地制造 EPOLLIN 消息（和 issue 中提到的不同，不是 EPOLLERR）。而且我也再也没有机会修复它。因为 fd 0 被关闭，所以无法在出现这种情况后从 epoll 移除，也无法读它（内核中的那个文件对象），消息也就不能停止。
我对 epoll 了解的不多，google 了一下，搜到一篇有趣的 blog ，对这个问题有了更多的了解：
他认为，epoll 的设计失误在于，接口设计上混淆了 "file descriptor" 和 "file description" 。我们在调用接口时，传入的是 file descriptor ，也就是用户空间中那个 fd 数字；但在内核中，引用的却是 file description , 即那个内核对象。如果我们在用户空间 close 了 file descriptor ，就无法再通过 epoll_ctl 去控制它了；但内核里却是按 file description 的生命期去工作的。
一旦出现这种无法消除的消息，唯一的方法只能是把整个 epoll fd 都抛弃掉，重新创建一个。由于这个原因，基于 epoll 的定义实现一个完备的抽象层是非常困难的。
illumos 是一个 OpenSolaris 的分支，它也提供了一套 epoll 的兼容接口，但在这点上，就拒绝按 linux epoll 原本的定义来实现。 https://illumos.org/man/5/epoll 。
我对比了 freebsd 上 kqueue 的定义 ，也是这么处理的。
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
- 如何把设计问题转化为数学问题（方法论）
- epoll 的一个设计问题
- php – mvc设计问题
- oop – 面向对象的设计问题
- Python 设计和历史的 27 个问题
- 网络爬虫设计中需要注意的几个问题
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
凸优化
Stephen Boyd、Lieven Vandenberghe / 王书宁、许鋆、黄晓霖 / 清华大学出版社 / 2013-1 / 99.00元
《信息技术和电气工程学科国际知名教材中译本系列:凸优化》内容非常丰富。理论部分由4章构成，不仅涵盖了凸优化的所有基本概念和主要结果，还详细介绍了几类基本的凸优化问题以及将特殊的优化问题表述为凸优化问题的变换方法，这些内容对灵活运用凸优化知识解决实际问题非常有用。应用部分由3章构成，分别介绍凸优化在解决逼近与拟合、统计估计和几何关系分析这三类实际问题中的应用。算法部分也由3章构成，依次介绍求解无约束......一起来看看 《凸优化》 这本书的介绍吧!
