[发明专利]用于数据推测执行的系统、装置和方法

说明书

描述了用于数据推测执行(DSX)的系统、方法和装置。在一些实施例中，用于执行DSX的硬件装置包括硬件解码器，用于解码指令，指令包括操作码和用于存储回退地址的一部分的操作数，以及执行硬件，用于执行经解码的指令，通过激活数据推测执行(DSX)跟踪硬件来跟踪推测存储器访问并检测DSX区域中的排序违反、并且存储所述回退地址而发起DSX区域。

技术领域

本发明的领域一般涉及计算机处理器架构，更具体地涉及推测执行。

背景技术

对包括可能的交叉迭代的依赖性的循环进行向量化众所周知是困难的。这种类型的示例性循环是：

for(i＝0；iN；i++){

A[i]＝B[C[i]]；

}

对这个循环的不成熟的(并且不正确的)向量化将是：

然而，如果生成向量化版本的循环的编译器不能在先获悉关于A、B和C的地址或对齐性，则上述向量化是不安全的。

附图说明

在所附附图中以示例方式而非限制方式说明本发明，在附图中，类似的参考标号指示类似的元件，其中：

图1是能够在硬件中执行数据推测扩展(DSX)的处理器核的示例性框图的实施例；

图2示出根据实施例的推测指令执行的示例；

图3示出DSX跟踪硬件的详细实施例；

图4示出DSX跟踪硬件执行的DSX错误推测检测的示例性方法；

图5(A)-(B)示出DSX跟踪硬件执行的DSX错误推测检测的示例性方法；

图6示出对用于开始DSX的指令的执行的实施例；

图7示出YBEGIN指令格式的一些示例性实施例；

图8示出对诸如YBEGIN指令的指令的执行的详细实施例；

图9示出显示对诸如YBEGIN指令的指令的执行的伪代码的示例；

图10示出对用于开始DSX的指令的执行的实施例；

图11示出YBEGIN WITH STRIDE指令格式的一些示例性实施例；

图12示出对诸如YBEGIN WITH STRIDE指令的指令的执行的详细实施例；

图13示出对用于继续DSX而不结束它的指令的执行的实施例；

图14示出YCONTINUE指令格式的一些示例性实施例；

图15示出对诸如YCONTINUE指令的指令的执行的详细实施例；

图16示出显示对诸如YCONTINUE指令的指令的执行的伪代码的示例；

图17示出对用于中止DSX的指令的执行的实施例；

图18示出YABORT指令格式的一些示例性实施例；

图19示出对诸如YABORT指令的指令的执行的详细实施例；

图20示出显示对诸如YABORT指令的指令的执行的伪代码的示例；

图21示出对用于测试DSX的状态的指令的执行的实施例；

图22示出YTEST指令格式的一些示例性实施例；

图23示出显示对诸如YTEST指令的指令的执行的伪代码的示例；