多线程的同步和死锁问题，关键是要完全清楚，究竟哪些操作是原子完成的，哪些操作不能够以原子方式完成。

从这个角度去思考。

我没有看你给出的链接的内容，所以暂无法针对你具体的问题来回答，你先自己再思考一下。

我一会有时间会看一下你的问题的。

嗯.有时间的话.请具体看一下.我具体已经想了,但是还是不理解.期待诸君点拨.

文件太大，链接太慢。还在线就直接贴代码出来吧。

再过一会我要睡了，今天有些累了，没看到你代码，就明天再看吧。

嗯.如果是在windows下可以使用迅雷.速度较快.
本书是《win32多线程程序设计》候捷译.

大体看了一下，基本明白你的疑惑了。

还是我一开始说的，你必须明白究竟什么操作是原子的，什么操作不能够以原子方式完成。

问题1：

这个问题书中描述确实有点含糊。实际上这里的问题不是#8与#9，而是#8、#9与#14、#15、#16这个操作无法按原子方式完成。前两行对应C源代码中的while(flag);后三行对应C源代码中的flag=1;

其实，只有这条指令以原子方式执行，才可以在多线程之间实现加锁。也就是所谓的以原子的方式实现的“测试并设置”指令。

简单地说，根本原因在于，程序在#8判断flag是否为0，而在#16才设置flag为1。如果flag为0，线程A在#8执行比较指令，认为flag为0，CPU的状态寄存器eflags已经被设置为ZF=1，那么就会获得控制权，将继续执行下面的操作（而不是执行循环等待）。但是，如果线程还没有执行#16的mov flag,1这条指令，就发生了线程切换，线程B进入这个函数时，会看到flag仍为0（而它应该为1，因为线程A已经开始执行下面的操作了），于是也会获得控制权。

于是现竞态出现了：线程A、B同时进入了“临界区”。结果又回到了37页讲的没有加锁的结果了。

而问题2中所说的#20和#21，就是在前面这种情况发生的基础上所发生的。

你所认为的另一个线程会在flag=1的情况下自旋，实际上是没有对问题1完全理解。如果理解了问题1，就会知道，当线程A在执行到#20、#21时，线程B对“flag是否为0”的测试有可能是不正确的。

所以，在多线程中，要实现“锁”的机制，最底层的硬件必须提供一个总线互锁的（从而保证可以原子完成的）“测试并设置一个内存变量”的机制，IA32结构中，就是BTS指令，在ARM，有一条swap指令，用来实现并行处理的上锁机制。

“测试并设置”，为什么必须要总线互锁才能原子地完成呢？因为这条指令实现是由两个动作组成：“测试”要发起一次总线的读操作，来读取内存变量的值；“设置”要发起一次总线的写操作，来设置内存变量的值。而普通的存储器访问指令，只有一次总线操作。

再回头看一下原来的C程序，就可以理解了：测试用了一条语句（while(flag);），设置用了一条语句（flag=1;），而这两个操作不能以原子方式完成。就这么个原理。

非常感谢书大的指点.

我居然没能想到那个#8,#9之后context switch.是被书误导所致.
也就说该书实际上是讲错了.实际本问题应该是#9-->#16之间如果发生context switch则其他线程亦可进入该函数.而后边的所谓的#20,#21之类其实也就是指在#9-->#16之间发生context switch之后(有一个线程B操作了一半的链表),而又切换到另一线程A(进行链表操作)则会发生之前的memory leak问题.
---
thx.