为什么EPOLLOUT会改变EPOLLIN的处理方式?

时间:2016-03-30 07:42:44

标签: c linux epoll epollet

关于事件是否合并的文档尚不清楚,我的测试显示它们在某些情况下但并非总是如此。

考虑man 7 epoll

  

由于即使使用边缘触发的epoll,也可以在收到多个数据块时生成多个事件,来电者已经          指定EPOLLONESHOT标志的选项......

和Q& A部分:

  

Q7如果在epoll_wait(2)呼叫之间发生多个事件,它们是合并还是单独报告?

     

A7他们将合并。

我假设手册中的第一个语句意味着您可以在从套接字读取,数据包到达,您读取它,然后另一个数据包到达的情况下接收多个EPOLLIN事件。 Q& A部分的答案是讨论EPOLLIN和EPOLLOUT等不同的事件。如果我错了,请纠正我。

我正在玩一些代码以便更好地理解epoll如何工作,并且根据是否设置了另一个事件,它似乎在相同类型的事件上表现不同。更确切地说,如果我只等待EPOLLIN,则多个输入会生成单个事件,但如果我等待EPOLLIN和EPOLLOUT,则多个输入会生成多个事件。

以下是我用来测试的代码:

#include <stdio.h>
#include <fcntl.h>
#include <sys/epoll.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, char* argv[])
{
  struct epoll_event ev = {EPOLLIN|EPOLLOUT|EPOLLET};
  int epoll = epoll_create1(0);
  epoll_ctl(epoll, EPOLL_CTL_ADD, 0, &ev);

  //async stdin
  int flags = fcntl(0, F_GETFL);
  flags |= O_NONBLOCK;
  fcntl(0, F_SETFL, flags);

  while(1){
    struct epoll_event events[64];
    int n = epoll_wait(epoll, events, 64, -1);

    printf("Event count: %d\n", n);

    if(events[0].events == EPOLLIN)
      printf("EPOLLIN only\n\n");

    else
    if(events[0].events == (EPOLLIN|EPOLLOUT))
      printf("EPOLLIN and EPOLLOUT\n\n");

    else
      printf("EPOLLOUT only\n\n");

    char buffer[256];
    read(0, buffer, 256);

    sleep(1);
  }
  return 0;
}

按下返回后的输出显示接收到EPOLLIN和EPOLLOUT,此消息在按下返回时出现多次,然后显示仅生成EPOLLOUT。

但如果您编译没有EPOLLOUT标志的程序并多次按回车,则只会报告一次事件。

如果我删除read调用,则在设置EPOLLOUT时会继续报告EPOLLIN,但在仅设置EPOLLIN时不会报告。

行为是否取决于它正在等待的事件或我的测试代码有什么问题?如果它是依赖的,我可以放心它将来不会改变吗?

1 个答案:

答案 0 :(得分:1)

我相信您正在观察未定义行为的影响,因为您正在滥用API。

具体来说,您正在将STDIN_FILENO(即0)传递给epoll_ctl,并要求在只读文件描述符上等待EPOLLOUT。可能发生的情况是操作系统试图告诉您文件描述符的写入方向有问题。

此外,在使用边沿触发模式时,应继续I / O,直到看到EAGAIN。当操作不再阻塞时,将返回epoll_wait调用。

我修改了程序,改用套接字,然后从套接字读取直到EAGAIN,并且它的行为与我预期的一样。

在我的版本中,我创建了一个套接字对,并创建了一个从STDIN_FILENO读取并写入该对套接字中的一个的线程。 main主体循环然后在另一个套接字上epoll_wait个。

启动程序时,它在第一次调用epoll_wait时返回以报告可写状态,但是在下一次迭代时阻塞:

Event count: 1
EPOLLOUT only

当我输入input时,它报告可读性和可写性,然后按预期在下一次迭代的epoll_wait上进行阻止:

asdf
Event count: 1
EPOLLIN and EPOLLOUT

我使用的代码如下。首先,线程:

static void * iothread (void *svp) {
    int *sv = svp;
    char buf[256];
    ssize_t r;
again:
    while ((r = read(0, buf, sizeof(buf))) > 0) {
        ssize_t n = r;
        const char *p = buf;
        while (n > 0) {
            r = write(sv[1], p, n);
            if (r < 0) {
                if (errno == EINTR) continue;
                break;
            }
            n -= r;
            p += r;
        }
        if (n > 0) break;
    }
    if (r < 0 && errno == EINTR) {
        goto again;
    }
    close(sv[1]);
    return NULL;
}

然后,main正文:

int main(int argc, char* argv[]) {
  int sv[2];
  struct epoll_event ev = {EPOLLIN | EPOLLOUT | EPOLLET};
  int epoll = epoll_create1(0);
  pthread_t t;

  socketpair(AF_LOCAL, SOCK_STREAM, 0, sv);
  pthread_create(&t, NULL, iothread, sv);
  epoll_ctl(epoll, EPOLL_CTL_ADD, sv[0], &ev);
  while(1){
    struct epoll_event events[64];
    int n = epoll_wait(epoll, events, 64, -1);

    printf("Event count: %d\n", n);

    if(events[0].events == EPOLLIN)
      printf("EPOLLIN only\n\n");
    else
    if(events[0].events == (EPOLLIN|EPOLLOUT))
      printf("EPOLLIN and EPOLLOUT\n\n");
    else
      printf("EPOLLOUT only\n\n");

    char buffer[256];
    ssize_t r;
again:
    r = recv(sv[0], buffer, 256, MSG_DONTWAIT);
    if (r > 0) goto again;
    if (r < 0 && errno == EAGAIN) {
        sleep(1);
        continue;
    }
    break;
  }
  return 0;
}