蜗窝科技

宋少侠文档产量很高啊！一次两篇，哈哈～～～

真的是一篇雄文，感谢分享

@sgy1993：3. 另外请教一个问题, 原文: "Multi threaded workqueue能减轻这个问题，但是无法解决该问题，毕竟work A和work B还是有机会调度到一个cpu上执行"-->Multi threaded workqueue为什么能减轻呢? 假设cpu0 worker thread上执行A的时候,阻塞了... B在cpu1的worker thread执行.这时候获取的 是同一把 锁吗? 如果是的话,不是才会死锁吗? 怎么减轻呢?

我感觉这里有点矛盾啊!!望解答.... 1. 原文: "例如cpu0上的worker thread由于处理work而进入阻塞状态，那么该worker thread处理的work queue中的其他work都阻塞住"--->这里是说一个 worker thread 如果存在没有处理完的work, 后续的work就没有机会得到处理??? 2. 后来原文中又提到一句: "假设某个驱动模块比较复杂，使用了两个work struct，分别是A和B，如果work A依赖 work B的执行结果，毕竟work A和work B还是有机会调度到一个cpu上执行"------>cpu0, work A阻塞了, cpu0还有机会处理B吗? 如果有的话, 1 里面说的为什么会阻塞, 如果没有的话,必须等到处理完A, 怎么会死锁...

@hello-world：感谢回复: a只是想加1.. 但是由于b程序能成功加1, 最终结果变量加了2...这个正常吗?

@hello-world：我觉的应该是mov r2,4执行完之后,是可能被中断打断的,但是中断处理的时候,会保存寄存器的值在堆栈上,中断处理返回来之后,r2的值会从堆栈上弹出来.这样counter的值仍然是4...(如果把4改成一个全局变量也是一样,理论上都是从内存某处取数据放到寄存器(ldr指令), 然后在str 寄存器的值-->内存)..即便ldr执行完,有中断改变了全局变量的值,但由于值已经被ldr存在寄存器里了..所以结果最终还是正确的...个人觉得原子操作应该是即便中断发生,而不影响最终结果的操作

@sgy1993：执行过程如下： a b ldrex-->设置独占标记 ldrex modify-->加1操作 strex modify-->加1操作 strex（error，retry） ldrex-->设置独占标记 modify-->加1操作 strex（OK） 因此，结果是对的。

@sgy1993：能保证： 14: e5832000 str r2, [r3] 这条指令是原子的就OK了。

对以下代码有点疑问?希望您能解疑..... static inline void atomic_add(int i, atomic_t *v) { unsigned long tmp; int result; prefetchw(&v->counter); －－－－－－－－－－－－－－－－－－－－－－－－－（2） __asm__ __volatile__("@ atomic_add\n" －－－－－－－－－－－－－－－－－－（3） "1: ldrex %0, [%3]\n" －－－－－－－－－－－－－－－－－－－－－－－－－－（4） " add %0, %0, %4\n" －－－－－－－－－－－－－－－－－－－－－－－－－－（5） " strex %1, %0, [%3]\n" －－－－－－－－－－－－－－－－－－－－－－－－－（6） " teq %1, #0\n" －－－－－－－－－－－－－－－－－－－－－－－－－－－－－（7） " bne 1b" : "=&r" (result), "=&r" (tmp), "+Qo" (v->counter) －－－对应％0，％1，％2 : "r" (&v->counter), "Ir" (i) －－－－－－－－－－－－－对应％3，％4 : "cc"); } 假如只有一个cpu, a程序想对v->counter加1操作, 执行(4)之后, 发生中断,开始执行b程序, b也要访问这个v->counter(对其进行加1操作),之前a执行了ldrex, 所以b的 strex对couter的操作是能够写进去的...此时又转回去执行a..会一直循环到执行成功,...这样从结果上看不就 加 2了吗?? a b ldrex-->设置独占标记 ldrex modify-->加1操作 strex modify-->加1操作 strex

@linuxer：atomic_set(v, i)----会翻译成两条汇编指令啊! 例如--- atomic_t number = ATOMIC_INIT(1); atomic_set(&number, 4); 上面这条指令的反汇编是 10: e3a02004 mov r2, #4 14: e5832000 str r2, [r3] 这个怎么保证原子操作呢?加入 r2 = 4之后, 别的程序修改了r2.不就有问题????