[发明专利]在支持事务的计算机体系结构中使用异常进行代码专业化的方法和系统

权利要求书

1.一种用于代码专业化计算设备，包括：

用于在执行过程中分析计算机指令序列的模块，所述计算机指令序列包括响应于满足普遍发生的条件而由事务性存储器系统可执行的至少一条第一指令，其中，针对所述普遍发生的条件，所述计算机指令序列将被优化；以及

用于在所述计算机指令序列中插入至少一条无分支指令的模块，所述无分支指令被配置以便判定所述普遍发生的条件是否被满足，以及响应于没有满足所述普遍发生的条件而连接所述事务性存储器系统的异常处理特征。

2.如权利要求1所述的计算设备，包括用于在所述计算机指令序列中识别出至少一条第二指令的模块，响应于没有满足所述普遍发生的条件，所述至少一条第二指令是可执行的，以及用于将所述至少一条第二指令与至少一条异常生成指令相关联的模块，用于响应于没有满足所述普遍发生的条件而调用所述事务性存储器系统的所述异常处理特征。

3.如权利要求1所述的计算设备，包括用于从所述计算机指令序列中移除所述至少一条第二指令的模块。

4.如权利要求1所述的计算设备，包括用于针对所述普遍发生的条件优化所述至少一条第一指令的模块。

5.如权利要求1所述的计算设备，包括用于在所述计算机指令序列中插入所述至少一条无分支指令而不是比较和分支指令的模块。

6.如权利要求1所述的计算设备，包括用于在所述至少一条无分支指令中判定寄存器是否保存具体值的模块。

7.如权利要求6所述的计算设备，包括用于判定所述具体值是否被标记的模块，以及如果所述具体值被标记，则屏蔽与所述具体值相关联的标记位。

8.如权利要求1所述的计算设备，包括用于在所述至少一条无分支指令中判定指针是否与具体存储器地址相关联的模块。

9.如权利要求1所述的计算设备，包括用于在所述至少一条无分支指令中判定一段数据是否具有具体值的模块。

10.如权利要求1所述的计算设备，包括用于在所述至少一条无分支指令中判定行程计数是否具有具体值的模块。

11.如权利要求1所述的计算设备，包括用于在所述至少一条无分支指令中调用至少一条异常处理指令，以将所述计算机指令序列的执行回滚到检查点或中止指令序列的执行的模块。

12.如权利要求1所述的计算设备，包括用于响应于没有满足所述普遍发生的条件而调用至少一条异常处理指令的模块，以及用于响应于调用所述至少一条异常处理指令而执行未优化过的指令的模块。

13.如权利要求1所述的计算设备，包括用于在所述计算机指令序列中的所述至少一条第一指令之前插入所述至少一条无分支指令的模块。

14.如权利要求1所述的计算设备，包括用于定义所述计算机指令序列的至少一条指令作为事务的模块，所述事务用于由所述事务性存储器系统通过在所述计算机指令序列中插入检查点指令和提交指令来执行。

15.如权利要求1所述的计算设备，包括用于响应于没有满足所述普遍发生的条件，连接基于硬件的事务性存储器系统或基于软件的事务性存储器系统的模块。

16.一种用于代码专业化计算设备，包括：

至少一个处理器核；以及

耦合到所述至少一个处理器核的计算机电路，所述计算机电路被布置以使得所述至少一个处理器核：

识别计算机指令序列作为事务，所述事务被配置用于由计算设备的事务性存储器系统来执行，所述事务由检查点指令和提交指令定义，所述事务包括：响应于满足普遍发生的条件而能够执行的至少一条第一指令，以及响应于没有满足普遍发生的条件而能够执行的至少一条第二指令，其中，针对所述普遍发生的条件，所述计算机指令序列将被优化；

在指令序列中插入至少一条异常生成指令，所述至少一条异常生成指令被布置以允许所述至少一条第一指令不带任何分支地执行，以及被配置以便响应于没有满足所述普遍发生的条件而调用所述事务性存储器系统的异常处理特征；以及

从所述事务中移除所述至少一条第二指令。