lkml.org 
[lkml]   [2018]   [Jan]   [12]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Date
SubjectPROBLEM: epoll_wait does not obey edge triggering semantics for hierarchically constructed epoll sets
[1.] One line summary of the problem:
epoll_wait does not obey edge triggering semantics for file
descriptors which are themselves epoll file descriptors (i.e., epoll
fd's added to an epoll set with the EPOLLET flag)

[2.] Full description of the problem/report:
When executing the following sequence:
1) create and add an event fd (for example) to an inner epoll set
2) add the inner epoll fd to an outer epoll set (with EPOLLET flag set)
3) write to (increase the value of) the event fd
4) epoll_wait on outer fd
5) epoll_wait on outer fd again

Edge triggering semantics imply that the epoll_wait in step 5 should
block (nothing has changed). It does not. It returns immediately.

If epoll_wait is called on the inner fd between steps 4 and 5, the
epoll_wait in step 5 will then block as expected.

Does not seem to matter if the event is added to the inner epoll set
with EPOLLET set or not.

[3.] Keywords (i.e., modules, networking, kernel): epoll, epoll_wait,
edge triggering

[4.] Kernel version (from /proc/version): 4.4.0-103-generic (gcc version 4.8.4)

[6.] A small shell script or example program which triggers the
problem (if possible)

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

int main(int argc, char** argv) {
struct epoll_event ev, events[1];
int inner_ep, outer_ep, sem, flags, ret;
long long val = 1;

if ((sem = eventfd(0, 0)) < 0) {
fprintf(stderr, "eventfd failed");
return -1;
}

if ((inner_ep = epoll_create(1)) < 0) {
fprintf(stderr, "inner epoll_create failed");
return -1;
}

// Set inner to be non-blocking (probably irrelevant, but...)
if ((flags = fcntl(inner_ep, F_GETFL, 0)) < 0) {
fprintf(stderr, "fcntl get failed");
return -1;
}
flags |= O_NONBLOCK;
if (fcntl(inner_ep, F_SETFL, flags) < 0) {
fprintf(stderr, "fcntl set failed");
return -1;
}

// Add the event to the inner epoll instance.
ev.events = EPOLLIN | EPOLLET;
ev.data.fd = sem;
if (epoll_ctl(inner_ep, EPOLL_CTL_ADD, sem, &ev) < 0) {
fprintf(stderr, "inner add failed");
return -1;
}

if ((outer_ep = epoll_create(1)) < 0) {
fprintf(stderr, "outer epoll_create failed");
return -1;
}

// Add the inner epoll instance to the outer. Note the EPOLLET!
ev.events = EPOLLIN | EPOLLET;
ev.data.fd = inner_ep;
if (epoll_ctl(outer_ep, EPOLL_CTL_ADD, inner_ep, &ev) < 0) {
fprintf(stderr, "outer add failed");
return -1;
}

// Write to the event.
if (write(sem, &val, sizeof(val)) != sizeof(val)) {
fprintf(stderr, "write failed");
return -1;
}

// This should return immediately.
printf("First wait.\n");
if ((ret = epoll_wait(outer_ep, events, 1, 10000)) < 0) {
fprintf(stderr, "epoll_wait failed");
return -1;
}
printf("...returned %d.\n", ret);

// This should _not_ return immediately if edge triggered!
printf("Second wait.");
if ((ret = epoll_wait(outer_ep, events, 1, 10000)) < 0) {
fprintf(stderr, "epoll_wait failed");
return -1;
}
printf("...returned %d.\n", ret);

printf("Done.\n");

return 0;
}

[7.] Environment
(Should not be sensitive to hardware or kernel version, I don't
think...a basic flaw with epoll_wait logic)

\
 
 \ /
  Last update: 2018-01-14 23:26    [W:0.065 / U:0.204 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site