x64架构下bool数组多线程并发写入是否存在问题？

假设在C语言中定义如下数组：

static volatile bool my_array[128] = {0};

现有128个线程，每个线程完成任务后会向该数组的不同索引位置写入true。请问这种操作是否会引发问题？x64架构下写入单个字节不会影响相邻字节，对吗？不确定CPU、内存控制器等是否总是先读取8（或4）字节再写入，这可能会导致异常竞态条件，特此咨询。

• 单字节写入的原子性：在x86/x64架构下，对齐的单字节存储操作是原子的。这里数组中的每个bool元素占1字节，不同索引对应完全独立的内存地址，每个线程的true写入操作都是独立的原子操作，不会和其他线程的操作产生竞态。
• 关于“读-改-写”的担忧：你担心的“先读多字节再写入”场景，只会发生在对同一个内存位置做修改的情况（比如对某个变量执行++操作）。而这里每个线程操作的是不同索引，CPU不会对无关的相邻字节执行读操作，单字节写入是直接对目标地址的原子存储，不会触及相邻字节。
• volatile的作用：这里的volatile关键字确保编译器不会对写入操作做优化（比如将值缓存到寄存器中延迟写入内存），保证每次写入都会直接作用到内存，确保其他线程能看到最新的值。不过需要注意，volatile不保证多线程间的内存顺序，但在这个场景下，因为各线程操作的是独立地址，内存顺序不影响最终正确性。
• 结论：这种操作不会引发任何问题，x64架构下单个字节的写入不会影响相邻字节，也不存在你担心的竞态条件。

内容的提问来源于stack exchange，提问作者Kevin Meier