有一个article about semaphores on OS X。作者通过在两个线程中递增和递减静态变量来测试信号量。在信号量保护变量访问的情况下，变量最终为零。如果没有后卫，变量最终将具有虚假值。我尝试了代码，它可以工作。我不了解的是，来自两个线程的并发访问如何使最终变量值有所不同。毕竟，在我看来，一堆+1和–1应该是可交换的，对吗？我觉得我缺少明显的东西，那是什么？ :)
最佳答案
问题在于++/--不是原子的。它们本质上是三个操作:
因此，如果两个线程同时加载值并同时存储它。差异将是1而不是2。
这是 sample
Thread A Thread B
Load 5 Load 5
Inc 6 Inc 6
Store 6 Store 6
关于multithreading - 通过计数测试信号量，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3896952/