我是否应该在一个线程中锁定一个变量,如果我只需要在其他线程中使用它的值,为什么我不这样做呢?

我知道这个问题 ,但我相信我的担忧是非常不同的。

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

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

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

  • 是偶然的,还是有没有原因导致没有发生内存访问冲突?
  • 如果在使用该值之前,期间或之后变量的状态是可以接受的,那么我是否应该使用互斥锁?

谢谢您的帮助。


编辑:附加信息 – 数组是动态创建的,但是当它被创建/删除时,我确实使用了互斥锁(我认为访问已删除的内存不会看起来很友好:P)。

理论上,如果没有某些同步,访问这样的内存是完全无效的(未定义的行为)。

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

  1. 只有一个线程在写,其他线程都在读。
  2. 你不在乎读者是否在一段时间后才看到一些改变(可能比他们写的实际时间得多)。
  3. 您不关心读者是否看到无序更改,即他们看到稍后进行的某些更改而未看到之前进行的其他更改。

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

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