多线程内存写入访问粒度与内存安全边界技术咨询

核心：别混淆数据安全和性能问题 #

首先得明确两个关键概念的区别：

• 数据安全：只要不同线程操作的是完全不重叠的内存地址，不管粒度多细（哪怕是单个uint8），都不会出现数据被意外覆盖、读错的情况，这就是安全的。
• 性能损耗：CPU是按缓存行（通常64字节）来加载和同步内存的。如果两个独立的内存位置挤在同一个缓存行里，一个线程修改其中一个位置，整个缓存行会被标记为无效，另一个线程读同缓存行的其他位置时就得重新从内存加载——这叫伪共享，它不会破坏数据，但会拖慢程序运行效率。

栈上两个uint8变量的线程访问 #

栈上的变量是连续分配的，两个uint8肯定处于同一个64字节缓存行内：

• 安全层面：线程A只读第一个变量，线程B只写第二个变量，各自操作的内存完全独立，不会互相干扰，数据不会出现一致性问题，是安全的。
• 性能层面：每次线程B完成写入后，线程A读取第一个变量时都得重新加载整个缓存行，会产生额外的内存访问开销。

内存间隔的要求 #

• 若仅要求数据安全：只要两块内存的地址范围完全不重叠，哪怕紧密相邻，都是安全的。
• 若要避免伪共享（优化性能）：需要让两块内存分别处于独立的缓存行。最简单的实现方式是给数据做64字节对齐，比如在两个变量之间填充足够的空字节，确保它们的起始地址差至少为64字节。

分配器分配的连续数组线程访问问题 #

如果分配器返回的两个数组是连续内存：

• 安全层面：只要线程A仅访问第一个数组的内存范围，线程B仅访问第二个数组的内存范围，且两个数组无重叠，就不会出现数据竞争，数据是安全的。
• 性能层面：如果第一个数组的末尾部分和第二个数组的开头部分刚好落在同一个缓存行内，这一小段区域会触发伪共享；要是数组本身大小远大于64字节，大部分区域的访问不会受影响，只有相邻的64字节范围会产生性能损耗。

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