Linux内核中wait_event和wake_up之间的竞争条件
作者:互联网
我是内核新手.在阅读源代码时,我只是遇到了这个问题.
在实现wait_event()时,内核执行以下操作:
...
prepare_to_wait(); /* enqueue current thread to the wait queue */
...
schedule(); /* invoke deactivate_task() inside, which will dequeue current thread from the runqueue */
...
在“ wake_up()”的实现中,内核执行以下操作:
...
try_to_wake_up(); /* invoke activate_task() inside, which will enqueue the target thread into the runqueue */
...
在并发执行中,如果按以下顺序调用上述功能,该怎么办:
...
prepare_to_wait(); /* thread A adds itself to the wait queue */
...
try_to_wake_up(); /* thread B wakes up A and enqueues it into the runqueue */
...
schedule(); /* thread A dequeues itself from the runqueue and yields the CPU */
...
线程A不在运行队列或等待队列中.这是否意味着我们丢失了线程A?内核必须具有某种机制来防止这种情况的发生.有人可以告诉我我在这里错过了什么吗?谢谢!
解决方法:
我在2005年7月28日的Kedar Sovani的Kernel Korner – Sleeping in the Kernel in Issue 137 of the Linux Journal号文章中找到了答案.
简而言之,这就是丢失的唤醒问题. Linux内核通过将任务状态设置为TASK_INTERRUPTIBLE来解决该问题.即使有人在schedule()调用之前(以及正常运行期间)调用了唤醒功能,这也会导致对schedule()的调用立即唤醒.
标签:concurrency,linux-kernel,race-condition,linux 来源: https://codeday.me/bug/20191122/2062049.html