3个ALU +解码器中的每一个同时在“ switch” /“ case”上的3个不同条件分支上行走？

Question

众所周知，在Intel x86_64上 ，超线程允许同时使用来自不同线程的共享执行单元（ALU，...）-这称为同时多线程（SMT）。

众所周知，在超线程虚拟内核上执行的线程可以处理不同的指令序列-不同进程，不同功能的代码，或一个功能的一个条件分支的不同分支，等等。

即，第一虚拟核心的四个解码器可以处理一个指令序列，第二虚拟核心的其他四个解码器可以处理其他指令序列。

但是，单线程是否可以同时执行（无序）一个条件分支的不同分支，即CPU-Core是否可以同时执行两个或多个条件分支，以预测各种选项条件跳转？

例如，3个ALU +解码器中的每一个同时在switch / case上的3个不同条件分支上移动。

Answer 1

那张图片并不完全准确，重复的更少。 几乎所有内容都是共享的，除了：

• 显然是建筑状态
• 在SB和IB上，循环缓冲区

特别地，解码器是共享的，并且在线程之间交替。

原则上，您可以在一个分支上让硬件线程“沿着两条路径走”，但这不是HyperThreading（或当前Intel处理器中的其他任何东西）所做的。 选择一条路径，然后进行推测性跟踪，直到必须丢弃它或使其变为非推测性。

已经探索了执行两条路径（又名渴望执行，或双路径执行），尤其是在90年代，但是从未真正使用过。 考虑到使用相同的资源，两条路径的执行意味着正确的一条路径的执行距离比唯一的一条路径执行的距离短。 分支预测平均而言非常有效，正确率超过90％（尽管变化也很大），因此，平均而言，最好选择一条路径。 一些研究显示了对低置信度分支使用双路径执行的有希望的结果。