如果没有提供其他标志，是否会在 EPOLLERR/EPOLLHUP 上唤醒 epoll？

Question

我想向现有的 epoll 实例添加一个文件描述符，但还没有唤醒它。具体来说，我想确保不会引发 EPOLLERR 和 EPOLLHUP。我使用EPOLLONESHOT 一次唤醒一个线程，然后在处理完事件后使用EPOLL_CTL_MOD 重新武装。

（我的动机是使用相同的代码路径来处理唤醒和创建新套接字：它们都可以通过调用 epoll_ctl 和 EPOLL_CTL_MOD 来重新武装事件来完成。但是，我不如果在EPOLL_CTL_MOD 之前的套接字中发生错误，则需要一个虚假的线程唤醒）。

根据manpage，这是不可能的。 EPOLLERR 和 EPOLLHUP 都声称：

epoll_wait(2) 会一直等待这个事件；调用 epoll_ctl() 时不必在事件中设置。

但是，在查看 Linux 源代码树中的 eventpoll.c 之后，看起来如果没有设置“公共”events 位，则唤醒被抑制。 （原文中的块 cmets；行 cmets 是我的笔记。）

/* Epoll private bits inside the event mask */
#define EP_PRIVATE_BITS (EPOLLWAKEUP | EPOLLONESHOT | EPOLLET | EPOLLEXCLUSIVE)

// ...snip...

// Inside the callback function that fires on epoll wakeup:

    /*
     * If the event mask does not contain any poll(2) event, we consider the
     * descriptor to be disabled. This condition is likely the effect of the
     * EPOLLONESHOT bit that disables the descriptor when an event is received,
     * until the next EPOLL_CTL_MOD will be issued.
     */
    if (!(epi->event.events & ~EP_PRIVATE_BITS))
        goto out_unlock; // Exits the callback without waking userspace

两个具体问题：

我对内核源代码的阅读是否正确，只要除了四个私有位之外没有指定任何标志，EPOLLERR/EPOLLHUP 就不会被触发？

我可以依赖手册页中未记录的这种行为吗？

Answer 1

我对内核源代码的阅读是否正确，只要除了四个私有位之外没有指定任何标志，就不会触发 EPOLLERR/EPOLLHUP？

提供的信息不足以做出该决定。

问题中出现的 C 语句测试 epi->event.events 是否设置了 EP_PRIVATE_BITS 中未设置的任何位。如果不是，则控制分支到标记为out_unlock 的语句。从提供的代码中不清楚是否遵循该分支是否意味着EPOLLERR 和EPOLLHUP 都不会被触发。即使是这样，也不清楚，当他们在那个条件下被评估时，epi->event.events 的内容是否可以被认为只是用户明确指定的标志。

我可以依赖手册页中未记录的这种行为吗？

您可以为所欲为，但一般来说，依赖无证行为是极其不明智的。依赖与文档相反的行为——即错误——是非常不明智的。

我倾向于猜测你在源代码分析中漏掉了一些东西，以至于实际上系统产生了与文档一致的 epoll 行为。但即使不是，我也真的无法想象依赖系统接口的行为违反规范，除非在您可以积极确保实现所需行为的情况下。我所说的“积极确保”是指控制实施，而不仅仅是研究它。