我是否应该在一个线程中锁定一个变量，如果我只需要在其他线程中使用它的值，为什么它不工作呢？

Question

_{我知道这个问题 ，但我相信我的担忧是非常不同的。}

我最近使用线程和OpenGL创建了一个SDL应用程序。 我有一个线程在循环中运行，它不断更新我绘制到屏幕的对象的状态。 状态非常简单，它只是一个布尔数组（当数组值为true时，我绘制它，当它为假时，我没有）。

目前，我的任何变量都没有互斥锁，一切正常。 即使只有一半的状态数组在绘制之间更新，帧速率也要高得多（或至少等于）更新速率，因此具有半更新状态是可以接受的。

现在，我最初在使用中断的嵌入式系统上开始研究类似的想法。 每隔一段时间，一个中断就会触发，更新状态数组，执行将继续。 现在，我是一个多核桌面上，并同时更新数组，我不知道为什么没有什么不好的正在发生的事情，因为我在技术上阅读并同时写入同一个存储单元。

• 这只是偶然的，还是有理由没有发生内存访问违规？
• 如果在使用该值之前，期间或之后变量的状态是可以接受的，那么我是否应该使用互斥锁？

谢谢您的帮助。

---

编辑：附加信息 - 数组是动态创建的，但是当它被创建/删除时，我确实使用了互斥锁（我认为访问已删除的内存不会看起来很友善：P）。

Answer 1

理论上，在没有某些同步的情况下访问这样的内存是完全无效的（未定义的行为）。

在实践中，只要符合以下条件，它就是中等安全的：

1. 只有一个线程在写，其他线程都在读。
2. 如果读者在一段时间之后没有看到一些变化（可能比他们写入的实际时间晚得多），你不在乎。
3. 您不关心读者是否看到无序更改，即他们会看到稍后进行的某些更改，而不会看到之前进行的其他更改。

问题2和3在x86上不是问题，但几乎可以在所有其他真实世界的多核/ SMP机器上发生。 您可以使用某些特定于机器的asm（或编译器内在函数）来缓解它们，以在适当的位置插入内存屏障 。

Answer 2

布尔数组元素可以通过原子操作设置/读取，不需要互斥锁。 您需要一个互斥锁来保护结构，以确保它保持一致。 由于你的布尔是独立的，所以没有问题。