1 2 3 4 56 / 6 页

论坛徽章:: 22

51楼 [报告]

发表于 2012-10-19 10:36 |只看该作者

zylthinking 发表于 2012-06-27 10:39
@塑料袋 @tempname2 @帅绝人寰帮我看看，搞不定了lkp 在不是 volatile 的情况下，是不是不安全？
一直以 ...

防止编译器重排只要加上一句asm volatile (""::

；就可以了。

就算不重拍，那么乱序呢？
执行完 unlock(&lk) 后会是怎么一种情景？
我的理解是 ++n 肯定已经执行完了，但是可能还在 load/store unit 里面，没有更新到寄存器
那么这个时候发生线程切换，再次读此值，应该会直接从 load/store unit 内直接读取到，因此不会有太大问题；但还是需要 @塑料袋确认一下，
关键是如果 *(lkp) = 0; 已经进入了 load/store unit, 则可以保证 ++n 至少在 load/store unit 内，或者已经到了寄存器中？？？

另外，如果另一个线程读 n 时，产生的汇编应该是从内存读，那么它怎么知道内存中某单元中的值已经在 load/store unit 中了？
似乎首先要确认的是 ++n 的结果在 load/store unit 中时，写的目标到底是存储器还是寄存器；
如果是寄存器，也就是 n 被优化到寄存器中了，那么CPU 还能直接从 load/store unit 中读吗？但如果不从其中读而直接读内存，那读出的就是一个错误的值

据我所知，load/store的操作是这样子的，先察看是否在dcache是否cache该行。不考虑cache miss，就立即完成cache和寄存器的交互。不知道LZ所说的load/store unit是什么。如果可以的话，请介绍下相关的资料给鄙人学习学习。
++n操作，如果没有被编译器优化的话，应该就是一次load - modify - writeback的操作。当然编译器出于效益，如果接下来还继续对n操作，或者前面已经对n操作过了，那么n的值已经存在在某个寄存器中了。那么就直接对寄存器直接addi的操作就可以了。不到必要的时候，不需要写回内存。假设n是一个临时变量，那么在该函数退出的时候，会有store的操作完成n的写回。