本文探讨了处理器流水线设计和编译器优化如何导致程序代码顺序重排，从而可能引入错误。以preempt_disable()和preempt_enable()为例，展示了代码可能的不正确重排方式。为解决这个问题，文章介绍了在计数器修改前后使用屏障指令来防止CPU指令优化，确保代码执行顺序的正确性。这在驱动和其他关键操作中至关重要。
处理器流水线设计、编译器优化设计，为了获得更高性能，有时程序代码顺序会被重新编排。
这种 重编排有时 会带来意外的程序 错误。
如：
preempt_disable();
function_which_must_not_be_preempted();
preempt_enable();
可能如下重排效果:
function_which_must_not_be_preempted();
preempt_disable();
preempt_enable();
也可能如下重排效果:
preempt_disable();
preempt_enable();
function_which_must_not_be_preempted();
为了消除这种重排影响，可以在计数器修改前后添加屏障指令：
<preempt.h>
#define preempt_disable() \
do { \
inc_preempt_count(); \
barrier(); \
} while (0)
驱动为了防止cpu指令优化执行，可以使用 屏障指令，如：
扫一扫
399
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
