伪共享与队列元素添加：线程读取共享队列的缓存失效问题

嘿，这个问题问到点子上了——这其实是缓存一致性和伪共享领域的经典场景，我来给你掰扯清楚：

首先要明确核心逻辑：只要线程A修改的内存区域，和线程B之前缓存的内容落在同一个缓存行里，那么线程B后续读取这个区域时一定会触发缓存缺失，背后靠的是CPU的缓存一致性协议（比如常见的MESI协议）来保证数据一致性。

接下来分两种常见的队列实现场景来拆解：

1. 数组实现的队列（比如循环队列） #

这类队列的尾部指针（tail）和尾部附近的元素通常会挤在同一个64字节的缓存行里（主流CPU的缓存行大小一般是64字节）。当线程A执行添加元素操作时：

• 它会先把新元素写入数组的尾部位置，然后更新tail指针指向新的尾部。
• 这两个操作都在同一个缓存行里，线程A所在的CPU核会把这个缓存行标记为「已修改（Modified）」，同时通过缓存一致性协议通知其他所有CPU核：你们手里的这个缓存行已经失效了。
• 当线程B下次尝试读取队列尾部的元素或者tail指针时，它会发现自己缓存里的对应行已经是「失效（Invalid）」状态，只能放弃缓存，重新从主存或者线程A的缓存里加载最新的缓存行——这就是典型的缓存缺失。

2. 链表实现的队列 #

链表队列的每个节点是单独的内存块，通常每个节点会占据一个或多个缓存行：

• 当线程A添加新元素时，它会分配一个新节点（新的缓存行），写入数据，然后更新队列的尾指针指向这个新节点。
• 如果线程B之前缓存了尾指针所在的缓存行，那么线程A修改尾指针后，这个缓存行就会失效，线程B下次读尾指针时会触发缓存缺失。
• 而线程B如果读取旧的尾部节点，只要这个节点的缓存行没被修改过，就不会有缓存缺失；但如果它要读取新添加的节点，因为这个节点本来就没被线程B缓存过，自然也会触发缓存缺失（不过这属于「冷缺失」，和修改导致的「一致性缺失」不是一回事）。

额外提一下：伪共享的坑 #

如果你的队列设计不小心把head和tail指针放在了同一个缓存行里，那麻烦就大了——线程A操作tail，线程B操作head，哪怕它们修改的是不同的变量，只要在同一个缓存行，就会互相触发缓存失效和缺失，这就是所谓的伪共享（False Sharing），会严重拖垮多线程性能。很多高性能队列实现都会特意把这两个指针放到不同的缓存行（比如用填充字节）来避免这个问题。

总结一下：只要线程A修改的内容和线程B缓存的内容在同一个缓存行，就会导致线程B读取时缓存缺失，具体情况取决于队列的实现方式和数据在缓存行中的分布。

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