c - 新Linux内核的epoll是否还存在惊群问题？

Question

我看到内核源码中的fs/eventpoll.c是这样写的:

static int ep_poll(struct eventpoll *ep, struct epoll_event __user *events,
           int maxevents, long timeout)
{
....
        init_waitqueue_entry(&wait, current);
        __add_wait_queue_exclusive(&ep->wq, &wait);    // *** NB
....
}

“独占”是否意味着只有一个等待项(用户空间中的进程或线程)会被唤醒？

但是当我写一些测试代码时，我看到 thundering herd problem仍然存在。

为什么无法解决？谢谢!

Answer 1

在内核代码中，我们可以在 include/linux/wait.h 中看到 __add_wait_queue_exclusive() 将条目添加到列表的头部:

 __add_wait_queue_exclusive(wait_queue_head_t *q, wait_queue_t *wait)
{
        wait->flags |= WQ_FLAG_EXCLUSIVE;
        __add_wait_queue(q, wait);
}

当谈到唤醒 sched/wait.c 中的 static void __wake_up_common() 时，确实只唤醒第一个非独占任务和第一个独占任务。所以通常只有一个任务被唤醒。