From: Felix Fietkau Date: Tue, 11 Jun 2013 10:21:09 +0000 (+0200) Subject: uloop: rework event processing, fix use-after-free issues X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=ae40b6613019f02e856b4b1ccc2712984506152e;p=oweals%2Flibubox.git uloop: rework event processing, fix use-after-free issues Recursive calls to uloop_run() need to process already fetched events first, before running kqueue/epoll to get more. The state of cur_fd/cur_nfds and the event list needs to be maintained properly to prevent accidental running of events pointing at deleted uloop_fd structs. Signed-off-by: Felix Fietkau --- diff --git a/uloop.c b/uloop.c index f0ccb0c..db8cacd 100644 --- a/uloop.c +++ b/uloop.c @@ -38,6 +38,11 @@ #endif #include +struct uloop_fd_event { + struct uloop_fd *fd; + unsigned int events; +}; + #define ULOOP_MAX_EVENTS 10 static struct list_head timeouts = LIST_HEAD_INIT(timeouts); @@ -47,6 +52,8 @@ static int poll_fd = -1; bool uloop_cancelled = false; bool uloop_handle_sigchld = true; static bool do_sigchld = false; + +static struct uloop_fd_event cur_fds[ULOOP_MAX_EVENTS]; static int cur_fd, cur_nfds; #ifdef USE_KQUEUE @@ -132,22 +139,12 @@ static int register_poll(struct uloop_fd *fd, unsigned int flags) return register_kevent(fd, flags); } -int uloop_fd_delete(struct uloop_fd *sock) +static int __uloop_fd_delete(struct uloop_fd *fd) { - int i; - - for (i = cur_fd + 1; i < cur_nfds; i++) { - if (events[i].udata != sock) - continue; - - events[i].udata = NULL; - } - - sock->registered = false; - return register_poll(sock, 0); + return register_poll(fd, 0); } -static void uloop_run_events(int timeout) +static int uloop_fetch_events(int timeout) { struct timespec ts; int nfds, n; @@ -158,11 +155,12 @@ static void uloop_run_events(int timeout) } nfds = kevent(poll_fd, NULL, 0, events, ARRAY_SIZE(events), timeout >= 0 ? &ts : NULL); - for(n = 0; n < nfds; ++n) - { + for (n = 0; n < nfds; n++) { + struct uloop_fd_event *cur = &cur_fds[n]; struct uloop_fd *u = events[n].udata; unsigned int ev = 0; + cur->fd = u; if (!u) continue; @@ -179,19 +177,14 @@ static void uloop_run_events(int timeout) if (events[n].flags & EV_EOF) u->eof = true; else if (!ev) - continue; + cur->fd = NULL; - if (u->cb) { - cur_fd = n; - cur_nfds = nfds; - u->cb(u, ev); - if (u->flags & ULOOP_EDGE_DEFER) { - u->flags &= ~ULOOP_EDGE_DEFER; - register_kevent(u, u->flags); - } + if (u->flags & ULOOP_EDGE_DEFER) { + u->flags &= ~ULOOP_EDGE_DEFER; + register_kevent(u, u->flags); } } - cur_nfds = 0; + return nfds; } #endif @@ -242,43 +235,34 @@ static int register_poll(struct uloop_fd *fd, unsigned int flags) static struct epoll_event events[ULOOP_MAX_EVENTS]; -int uloop_fd_delete(struct uloop_fd *sock) +static int __uloop_fd_delete(struct uloop_fd *sock) { - int i; - - if (!sock->registered) - return 0; - - for (i = cur_fd + 1; i < cur_nfds; i++) { - if (events[i].data.ptr != sock) - continue; - - events[i].data.ptr = NULL; - } - sock->registered = false; return epoll_ctl(poll_fd, EPOLL_CTL_DEL, sock->fd, 0); } -static void uloop_run_events(int timeout) +static int uloop_fetch_events(int timeout) { int n, nfds; nfds = epoll_wait(poll_fd, events, ARRAY_SIZE(events), timeout); - for(n = 0; n < nfds; ++n) - { + for (n = 0; n < nfds; ++n) { + struct uloop_fd_event *cur = &cur_fds[n]; struct uloop_fd *u = events[n].data.ptr; unsigned int ev = 0; + cur->fd = u; if (!u) continue; - if(events[n].events & (EPOLLERR|EPOLLHUP)) { + if (events[n].events & (EPOLLERR|EPOLLHUP)) { u->error = true; uloop_fd_delete(u); } - if(!(events[n].events & (EPOLLRDHUP|EPOLLIN|EPOLLOUT|EPOLLERR|EPOLLHUP))) + if(!(events[n].events & (EPOLLRDHUP|EPOLLIN|EPOLLOUT|EPOLLERR|EPOLLHUP))) { + cur->fd = NULL; continue; + } if(events[n].events & EPOLLRDHUP) u->eof = true; @@ -289,17 +273,42 @@ static void uloop_run_events(int timeout) if(events[n].events & EPOLLOUT) ev |= ULOOP_WRITE; - if(u->cb) { - cur_fd = n; - cur_nfds = nfds; - u->cb(u, ev); - } + cur->events = ev; } - cur_nfds = 0; + + return nfds; } #endif +static void uloop_run_events(int timeout) +{ + struct uloop_fd_event *cur; + struct uloop_fd *fd; + + if (!cur_nfds) { + cur_fd = 0; + cur_nfds = uloop_fetch_events(timeout); + if (cur_nfds < 0) + cur_nfds = 0; + } + + while (cur_nfds > 0) { + cur = &cur_fds[cur_fd++]; + cur_nfds--; + + fd = cur->fd; + if (!fd) + continue; + + if (!fd->cb) + continue; + + fd->cb(fd, cur->events); + return; + } +} + int uloop_fd_add(struct uloop_fd *sock, unsigned int flags) { unsigned int fl; @@ -325,6 +334,23 @@ out: return ret; } +int uloop_fd_delete(struct uloop_fd *fd) +{ + int i; + + if (!fd->registered) + return 0; + + for (i = 0; i < cur_nfds; i++) { + if (cur_fds[cur_fd + i].fd != fd) + continue; + + cur_fds[cur_fd + i].fd = NULL; + } + fd->registered = false; + return __uloop_fd_delete(fd); +} + static int tv_diff(struct timeval *t1, struct timeval *t2) { return