为何Spectre研究论文的示例代码中索引要乘以512？

• 这是Spectre攻击中利用缓存侧信道泄露数据的关键设计，核心目的是让array2中每个被访问的元素都落在独立的缓存行上。
• 典型CPU缓存行大小为64字节，512字节的间隔远大于缓存行尺寸，array1[x] * 512能保证不同的array1[x]值指向array2中完全不重叠的缓存行区域。
• Spectre依赖CPU的推测执行特性：当CPU推测x < array1_size为真时，会提前把array2[array1[x]*512]加载到缓存。即便后续发现推测错误回滚执行，缓存里的访问痕迹不会消失。攻击者可以通过测量array2各元素的访问耗时，判断哪个元素被加载过——缓存中的元素访问速度远快于内存中的，以此反推array1[x]的具体值。
• 如果不做乘以512的操作，array2的多个索引位置可能共享同一个缓存行。这种情况下，CPU加载一个元素时会顺带加载同一行的其他元素，攻击者就无法精准定位到底是哪个array1[x]对应的元素被访问，也就无法泄露准确数据。

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