preempt_disable的问题

junnyg

回复 10# chishanmingshen
应该说我原来的理解有误，barrier函数本身只实现了编译器内存屏障，rmb、wmb 、mb函数则既保证了cpu指令顺序执行也保证了编译器不优化，是barrier函数的超集
其实现在各个架构对这几个函数都已经做了实现，如x86使用的是mfence、lfence、sfence指令

1. #ifdef CONFIG_X86_32
   
2. /*
   
3. * Some non-Intel clones support out of order store. wmb() ceases to be a
   
4. * nop for these.
   
5. */
   
6. #define mb() alternative("lock; addl $0,0(%%esp)", "mfence", X86_FEATURE_XMM2)
   
7. #define rmb() alternative("lock; addl $0,0(%%esp)", "lfence", X86_FEATURE_XMM2)
   
8. #define wmb() alternative("lock; addl $0,0(%%esp)", "sfence", X86_FEATURE_XMM)
   
9. #else
   
10. #define mb()         asm volatile("mfence":::"memory")
    
11. #define rmb()        asm volatile("lfence":::"memory")
    
12. #define wmb()        asm volatile("sfence" ::: "memory")
    
13. #endif
    

复制代码

arm使用的是isb、dsb、dmb指令

1. 
   
2. #ifdef CONFIG_ARCH_HAS_BARRIERS
   
3. #include <mach/barriers.h>
   
4. #elif __LINUX_ARM_ARCH__ >= 7 || defined(CONFIG_SMP)
   
5. #define mb()                do { dsb(); outer_sync(); } while (0)
   
6. #define rmb()                dmb()
   
7. #define wmb()                mb()
   
8. #else
   
9. #define mb()        do { if (arch_is_coherent()) dmb(); else barrier(); } while (0)
   
10. #define rmb()        do { if (arch_is_coherent()) dmb(); else barrier(); } while (0)
    
11. #define wmb()        do { if (arch_is_coherent()) dmb(); else barrier(); } while (0)
    
12. #endif

复制代码

1. #if __LINUX_ARM_ARCH__ >= 7
   
2. #define isb() __asm__ __volatile__ ("isb" : : : "memory")
   
3. #define dsb() __asm__ __volatile__ ("dsb" : : : "memory")
   
4. #define dmb() __asm__ __volatile__ ("dmb" : : : "memory")

复制代码

楼主的原意应该是为什么不在preempt_enable时使用mb()函数，而使用只保证了编译器不优化的函数barrier()函数，对于这一点，我现在也没想明白。。。
   

cengku

回复 9# junnyg

我说的是硬件中断唤醒一个高级任务，不是你所理解的中断处理。
把我的分析再多看几遍，你的疑问也会解决。
   

asuka2001

回复 11# junnyg

楼主的原意应该是为什么不在preempt_enable时使用mb()函数，而使用只保证了编译器不优化的函数barrier()函数，对于这一点，我现在也没想明白。。。

mb()系列的用途是保证多CPU访问数据时的数据一致性，这个preempt_count的访问只发生在本地CPU，所以只需要防止编译器指令重排。


   

honkiko

回复 1# biger410

单处理器，即使有乱序执行，也必须保证在软件看来是program order的。否则，c语言教程上的绝大多数代码示例都不正确了。
对于多处理器，没有这个保证，所有有时需要mb。

preempt_disable修改的preempt_count, 一般放在thread_info结构里，但逻辑上是一个per cpu的变量，只有： 下一次schedule成功发生之前，本cpu的中断，软中断，或当前线程才会访问它。软件是看不到本处理器上乱序的效果的。无须额外处理。