关于volatile的一个疑惑

最新推荐文章于 2022-07-22 16:04:29 发布

原创最新推荐文章于 2022-07-22 16:04:29 发布 · 929 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#linux内核 #任务 #编译器 #struct #优化 #语言

本文针对Linux内核代码中volatile变量的使用原则进行了讨论，特别是关注了在多任务环境下的共享标志变量x->done未被标记为volatile的问题，并提出了疑问。

一般说来，volatile用在如下的几个地方：

1、中断服务程序中修改的供其它程序检测的变量需要加volatile；

2、多任务环境下各任务间共享的标志应该加volatile；

3、存储器映射的硬件寄存器通常也要加volatile说明，因为每次对它的读写都可能由不同意义；

今日看代码的过程中，发现kernel一个实现未遵循该守则，极为疑惑。。。

代码位置为linux内核代码根目录下 kernel/sched.c

void fastcall __sched wait_for_completion(struct completion *x)
{
    might_sleep();

    spin_lock_irq(&x->wait.lock);
    if (!x->done) {
        DECLARE_WAITQUEUE(wait, current);

        wait.flags |= WQ_FLAG_EXCLUSIVE;
        __add_wait_queue_tail(&x->wait, &wait);
        do {
            __set_current_state(TASK_UNINTERRUPTIBLE);
            spin_unlock_irq(&x->wait.lock);
            schedule();
            spin_lock_irq(&x->wait.lock);
        } while (!x->done);
        __remove_wait_queue(&x->wait, &wait);
    }
    x->done--;
    spin_unlock_irq(&x->wait.lock);
}