Hi Davide, On Thu, Feb 28, 2008 at 8:23 PM, Davide Libenzi <davidel@xxxxxxxxxxxxxxx> wrote: > On Thu, 28 Feb 2008, Michael Kerrisk wrote: > > > But it is an ugly inconsistency. On the one hand, a child process > > cannot add the duplicate file descriptor to the epoll set. (In every > > other case that I can think of , descriptors duplicated by fork have > > similar semantics to descriptors duplicated by dup() and friends.) On > > the other hand, the very fact that the child has a duplicate of the > > descriptor means that even if the parent closes its descriptor, then > > epoll_wait() in the parent will continue to receive notifications for > > that descriptor because of the duplicated descriptor in the child. > > Have you ever tried to think what it means for different *processes* > sharing a single epoll fd and doing epoll_wait() over it? As I think is clear, I've only given it very limited thought ;-). The point is that the existing implementation actually supports "different *processes* sharing a single epoll fd and doing epoll_wait() over it", but the semantics are unintuitive. It may be that the existing implementation was the best way of doing things. But when I see the strange corner cases in the semantics, I can't help but wonder (way too late), whether there might have been some other way of implementing things that led to more intuitive semantics. > Most common case is a single event fetch thread plus dispatch. Going to > epoll_wait() over a single epoll fd from many *threads* is very much > possible, but requires care (news at 11, system software development > requires care too). > Sharing a single epoll fd (by the means of any process sharing it doing > add/wait) from different *processes* makes almost no sense at all. > > "a child process cannot add the duplicate file descriptor to the epoll > set" ... how do you expect the parent (that doesn't even have the new fd > mapped) to react to such events? (Not sure if you missed my meaning here. Of course the parent already has the fd mapped; it's the fd that the child inherited. Anyway, my real point was that while descriptors duplicated by fork() are normally semantically similar to other duplicated descriptors, when it comes to epoll they are not -- and that has the potential to surprise users.) > If the next question is "But then why we made the epoll fd inheritable?", > the answer is, because it makes sense in many cases for a parent to hand > over an fd set to a child. Fair enough. So here's an idea about how things might alternatively have been done: a) The key for epoll entries could have been [file *, fd, PID] b) an epoll_wait() only returns events for fds where the PID maps that of the caller. c) a close of a file descriptor removes the corresponding [file *, fd, PID] from the epoll set. d) when a fork() is done, then the epoll set has a new set of keys added. These are duplicates of the [file *, fd, PID] entries for the parent, but with the PID of the child substituted into the new keys. Say the parent had PID 1000, and the child has PID 2000. If the epoll set initially contained: [X, 3, 1000] [Y, 4, 1000] then after fork() we'd have: [X, 3, 1000] [Y, 4, 1000] [X, 3, 2000] [Y, 4, 2000] There is of course room for debate about the efficiency of this approach, I suppose. But it seems to me (and perhaps I've missed a number of things) that that could have given sane semantics with respect to fork(), duplicated descriptors, and close(). Furthermore, it would have allowed us to sanely support "different *processes* sharing a single epoll fd and doing epoll_wait() over it". Of course, this is all academic now: we can't change the ABI. > > The choice of [file *, fd] as the key for epoll sets really does seem > > unfortunate. Keying on [pid, fd] would have given saner semantics, it > > seems to me. Obviously it can't be changed now though. > > I think we already went over this, and I think I clearly explained you the > reasons of not hooking into sys_close. You said elsewhere: [[ That'd mean placing an eventpoll custom hook into sys_close(). Looks very bad to me, and probably will look even worse to other kernel folks. Is not much a performance issue (a check to see if a file* is an eventpoll file is as easy as comparing the f_op pointer), but a design/style issue. ]] But that wasn't very clear to me actually. I note that filp_close() already has special case handling for dnotify (R.I.P.) and fcntl() )aka POSIX) file locks, so there was already precedent for a custom hook, AFAICS, and epoll is at least as worthy of special treatment as either of those cases. Cheers, Michael -- Michael Kerrisk Maintainer of the Linux man-pages project http://www.kernel.org/doc/man-pages/ Want to report a man-pages bug? Look here: http://www.kernel.org/doc/man-pages/reporting_bugs.html -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
