百度的测试题 - 最后一题

newroot_phy

回复 9# starwing83


    这也是让我搞不清楚的地方，现在多核CPU都有自己的cache, 不做同步很难保证数据的一致性，但这么想的话，似乎跟出题人的目的好像不太一样。

newroot_phy

回复 10# cobras


    此贴不考虑效率问题。

newroot_phy

回复 12# windoze


    可能我没太明白你的意思，锁总线并不能解决一致性的问题

newroot_phy

回复 14# folklore


    如何得知???

starwing83

回复 14# folklore


    额= =显然我的意思是这是个无寄存器的栈机器，而且恰好栈是公用的（好吧，这种东西根本就不可能多核吧= =）

我重新想了一下，x = y;的确是需要两条机器指令，问题是，即使是这样，这个操作也是原子的= =就算在取得y以后执行了任何代码，但是在执行mov之后，仍然能设置至少y的某个历史值。

不过还有一个问题是这样的：y和x是不是相关？如果y的之前值和x相关（比如y = x + 1），那么这个语句肯定不会达到预期的效果吧？虽然x = y也仍然是原子的……

windoze

回复 23# newroot_phy

x86/x64的LOCK指令会做cache coherency，能保证cache一致性。

newroot_phy

回复 26# windoze


    嵌入式开发中通过地位来实现对cache/uncache的访问， x86/x64上没有这么做过(我不清楚有没有)，有点联系的可能就是volatile关键字，难道是因为你所说的原因吗？

newroot_phy

回复 25# starwing83


    类似的问题是，如果之前的类似以下的判断呢

1. if (x)
   
2. {
   
3.     x = y
   
4. }
   
5. else
   
6. {
   
7.     x = ?????
   
8. }

复制代码

我在x86上写程序时也认为32位机器，x = y 是原子的，但现在的的同事跟我说，不是原子操作

windoze

回复 27# newroot_phy

这都哪儿跟哪儿啊？