sha*_*oth 3 c++ concurrency multithreading synchronization
我有以下情况(由代码中的缺陷引起):
有一个原始类型的共享变量(让它成为int)在程序启动期间从严格的一个线程到值N(让它成为0)初始化.然后(严格地在变量初始化之后)在程序运行期间启动各种线程,并且它们以某种随机顺序读取该变量或用相同的值N覆盖它(0在本例中).访问变量没有同步.
这种情况会导致程序出现意外行为吗？
根据标准,这是非常不可能的,但并非不可能.
没有任何说明整数的底层表示是什么,标准不指定如何加载值.
我可以设想,无论多么奇怪,一个实现,其中0的基础位模式是10101010,并且架构仅支持通过在8个周期内对其进行位移来将数据加载到存储器中,但是在一个周期中将其作为单个单元读取.
如果另一个线程读取,而位模式正在被移位的值(例如00000001,00000010,00000101等等),你将有一个问题.
任何人设计这样一个奇怪的架构的可能性都接近零,可以忽略不计.但不幸的是,它不是零.我想要了解的是,在标准合规性方面,您根本不应该依赖假设.
并且,在你投票给我之前,请随意引用标准中指出这是不可能的部分:-)