推测执行和 malloc - 编程之家

如何解决推测执行和 malloc

在阅读了 Spectre & Meltdown 漏洞之后，我了解了推测执行。

给定以下简单的 C++ 程序：

#include <stdlib.h>

void mallocBranch(int i) {
   if (i < 500) {
      malloc(i);
   }
}

int main(int argc,char** argv){
   for (i := 0; i < 5000; i++) {
      mallocBranch(1);
   }
   mallocBranch(500000000);

   return 0;
}

我假设编译器没有优化 malloc 调用。

问：调用 mallocBranch(500000000) 时会发生什么？ cpu 会查看分支预测缓存并看到过去对 if (i < 500) 的调用成功并推测性地执行带有 malloc(500000000) 的分支吗？ malloc 中的分支数量会不会每次都覆盖分支预测缓存的全部内容？如果 malloc(500000000) 实际上是推测执行的，是否会为进程分配 5 亿字节的内存，如果只是暂时的？