看线程1,load(y)前面的是和y无关的store，所以操作系统允许store和load乱序。这就使得实际可能是，线程1先执行load(y)，线程2先执行load(x)，然后分别进入(if !t1) goto，t1和t2同时进入临界区，所以Peterson算法出错。Perterson算法在现代计算机上实际上是错误的在do_sum代码中使用了内联汇编，使得其真正循环相加，彻底阻止了编译器的优化。如果我们的状态机在每一个时刻，确实是执行一个线程的一条汇编指令的话，我们应该看到...
看线程1,load(y)前面的是和y无关的store，所以操作系统允许store和load乱序。
这就使得实际可能是，线程1先执行load(y)，线程2先执行load(x)，然后分别进入(if !t1) goto，t1和t2同时进入临界区，所以Peterson算法出错。
Perterson算法在现代计算机上实际上是错误的
在do_sum代码中使用了内联汇编，使得其真正循环相加，彻底阻止了编译器的优化。
如果我们的状态机在每一个时刻，确实是执行一个线程的一条汇编指令的话，我们应该看到正确的值4n
这个结果就推翻了上面写的那个上节课的假设（状态机每一时刻执行一条指令）&#
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
最低0.47元/天 解锁文章
262
