本文探讨了线程并发控制中的线程互斥问题，指出处理器的乱序执行可能导致并发错误。文章通过例子说明了如何利用原子指令如`lock add`来保证指令的顺序性、原子性和可见性，以确保多线程环境下代码的正确性。同时，介绍了x86架构下的`xchg`指令用于实现简单的互斥锁，并提供了简化版的锁算法实现。
看线程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元/天 解锁文章
扫一扫
273
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
