c++中同步时为空

empty while synchronization in c++?

本文关键字：同步 c++      更新时间：2023-10-16
static char szInfo[256];
static volatile bool bIsLocked = false;
static void ApiFunc() {
    while (bIsLocked) { }
    bIsLocked = true;
    //do something to szInfo
    bIsLocked = false;
}

自从我在c++中做过任何线程以来，已经有一段时间了，这是否足够安全?这对我来说是一个比使用互斥锁简单得多的解决方案，但是为什么我要使用windows互斥锁呢?

您可以使用互斥锁(或者更可能是临界区)，因为这样可以工作。此代码不同步。可以有多个线程进入临界区

当然，真正的锁是不会旋转的。自旋锁确实可以，但是在选择使用自旋锁之前，您需要深入了解其性能含义。

这根本不是线程安全的!

线程#1通过检查，但没有设置布尔值。线程#2此时出现在关键会话中。

你所实现的几乎就是彼得森算法。正如上面的海报所说，这不是线程安全的，因为没有机制来防止两个线程同时进入临界区。您可以尝试正确地实现Peterson算法，但使用真正的互斥锁会有效得多。

您的方法的主要问题是线程可以在退出while循环之后被中断，但在它们将bool设置为true之前。如果发生这种情况，则两个线程一起进入临界区。如果你有两个以上的线程，那么将有多个线程同时退出循环。

这一点都不安全。volatile在线程方面没有定义语义。至多，它将阻止编译器完全抑制赋值(因为它们的净效果是无操作)，但它不会阻止编译器在访问bIsLocked时重新排序对szInfo的访问，并且它不会阻止硬件进行任何重新排序，甚至完全抑制bIsLocked = true。

这段代码不会像您希望的那样工作。在while循环结束和将locked设置为true之间有一个竞争条件。当同步原语能够在等待期间释放CPU时，它还会导致CPU繁忙等待。

解决这个问题的一个更好的方法是使用本地数据而不是全局缓冲区。那么你可能根本不需要锁!如果您确实需要同步线程，请使用互斥锁或临界区，因为它们实际上可以工作。

使用锁

关于没有锁的线程的危险，来自BoostCon 2010:http://blip.tv/file/4211197/

幻灯片，注释，at:http://boostcon.boost.org/2010-resources

相关文章：