如果我们只允许局部变量是可变的，我们可以防止共享可变状态吗？

Question

在非OOP编程语言中，如C，如果我们只允许局部变量以各种可能的方式进行变异（改变内部字段，重新赋值......），但不允许函数变量的变异，它是否会帮助我们防止共享可变状态？

注意，在这种情况下，功能main可以开始10个线程（功能），并且每个这些10个线程的将接收的不可变参照同变量（在main定义）。但main函数仍然可以更改该共享变量的值。那么这会在并行/并行软件中造成问题吗？

我希望问题很清楚，但是让我知道如果不是。

P.S. “软件事务内存（STM）”能够解决潜在的问题吗？就像Clojure提供的一样？

Answer 1

是和不是......这取决于平台，CPU，共享变量和编译器的大小。

上NVIDIA forum，相对于GPU的操作，类似的问题是很整齐地回答：

当多个线程编写或从全局内存自然对齐位置读数/和数据类型是读或写的数据类型与所有线程相同，并且数据类型对应于支持的单指令线程访问类型之一...

（当许多GPU单指令可以处理16字节字（128位）时它是事先知道的，但大多数CPU使用单指令32位或64位限制）

我撇开那个线程可能会从CPU书读寄存器，而不是实际内存（忽略对数据的更新），这些大多是可以解决的使用volatile关键字C.

然而，冲突和记忆腐败仍然可能发生。

某些内存存储操作由内部（由CPU）或由编译器（机器代码）使用多个存储调用进行处理。

在这些情况下，主要是在多核机器上（但不仅仅是），存在“读者”将接收到部分更新的信息并且没有任何意义的风险（即，指针的一半是有效的，另一个不是）。

变量超过32位或64位时，将通常得到在时间（32位或64位）更新一个CPU“字”（不是OS字）。

字节大小的变量是超级安全的，这就是为什么它们通常用作标志......但它们应该可能使用由OS或编译器提供的atomic_*存储/写入操作来处理。