redroof 发表于 2016-12-7 21:18
你这样是个正确的无锁队列，不论任何一方被打断都是安全的。

兄台这个大多数是正确的，但是这个话不可以说
这么满。

首先这个假定是只有一个消费者。如果有多个
消费者线程那结果就不对了。

第二，假定这个是只有一个producer，如果有
两个 producer 线程或者有多级中断都有可能
写入，这个代码也就不对，和 LZ 提到的问题
本质一样。

第三，就算只有一个producer 只有一个消费者。
这个代码仍然有可能不对，因为 wr 有可能会溢出。
如果write 一次写太多，wr 是个 8 位的 int， 那么
累计写超过 256 没有去 read 那结果也是不对的。

如果 wr 是 32 位会相对难溢出一点，但是这个情况
也要有考虑。这个是可以在代码里面有体现的。
我就留给有心的程序员来补全了。