[发明专利]用于执行安全有条件加载和有条件存储操作的方法和设备

权利要求书

1.一种用于在存储访问不能被证明是安全的时进行安全有条件操作的计算机实现的方法，所述计算机实现的方法包括：

由增强编译器接收用于事务的部分源代码；

由所述增强编译器分析接收到的所述部分源代码；

确定由所述增强编译器分析的所述部分源代码是否是用于变换的候选；

响应于确定由所述增强编译器分析的所述部分源代码是用于变换的候选，变换被分析的所述部分源代码以在变换后代码的第一部分中使用有条件操作，其中相应的有条件操作使用硬件事务存储器在硬件中调用重试操作，其中变换被分析的所述部分源代码以在变换后代码的第一部分中使用有条件操作还包括在所述变换后代码部分的第一部分中规定恢复例程；

在变换后代码的第二部分中添加指向原始代码部分的分支，其中所述分支的代码是包含所述原始代码部分的恢复部分；以及

执行包括变换后代码的所述第一部分和变换后代码的所述第二部分的事务。

2.如权利要求1所述的计算机实现的方法，其中变换后代码的所述第二部分包括到恢复例程的分支以供在所述事务内推测性执行的变换后代码的所述第一部分中的有条件操作失败时使用，所述方法还包括：

为所述有条件操作设置条件代码；

在所述有条件操作中的规定条件不为真时，利用所述有条件操作把位于第一存储位置的值加载到第二存储位置中；

当所述事务失败时，分支离开所述事务到所述恢复例程；

确定所述分支是否被预测得不好；

响应于确定分支不是被预测得不好，执行所述原始代码部分；及

响应于确定分支是被预测得不好，分支离开所述恢复例程。

3.如权利要求1所述的计算机实现的方法，还包括：

当所述变换后代码的有条件操作失败时，使用所述原始代码部分作为所述分支的目标，其中所述恢复部分使得能够从所述第一部分的失败的有条件操作得体地离开。

4.如权利要求2所述的计算机实现的方法，其中为所述有条件操作设置所述条件代码还包括：

保留原始源代码部分的条件设置代码。

5.如权利要求2所述的计算机实现的方法，其中，响应于确定分支是被预测得不好，分支离开所述恢复例程还包括：

使用＊ptr作为所述有条件操作的自变量。

6.如权利要求1所述的计算机实现的方法，其中变换被分析的所述部分源代码还包括：

变换后代码在第一部分中包括所述变换后代码的有条件操作代码部分以代替无条件操作，并且在第二部分中包括相应的恢复段，所述恢复段包括与所述有条件操作代码部分相关联的原始分支代码。

7.一种用于在存储访问不能被证明是安全的时进行安全有条件操作的设备，所述设备包括：

通信架构；

连接到所述通信架构的存储器，其中所述存储器包含计算机可执行程序代码；

连接到所述通信架构的通信单元；

连接到所述通信架构的输入/输出单元；

连接到所述通信架构的显示器；及

连接到所述通信架构的处理器单元，其中所述处理器单元执行所述计算机可执行程序代码以指示所述设备：

由增强编译器接收用于事务的部分源代码；

由所述增强编译器分析接收到的所述部分源代码；

确定由所述增强编译器分析的所述部分源代码是否是用于变换的候选；

响应于确定由所述增强编译器分析的所述部分源代码是用于变换的候选，变换被分析的所述部分源代码以在变换后代码的第一部分中使用有条件操作，其中相应的有条件操作使用硬件事务存储器在硬件中调用重试操作，其中变换被分析的所述部分源代码以在变换后代码的第一部分中使用有条件操作还包括在所述变换后代码部分的第一部分中规定恢复例程；

在变换后代码的第二部分中添加指向原始代码部分的分支，其中所述分支的代码是包含所述原始代码部分的恢复部分；以及

执行包括变换后代码的所述第一部分和变换后代码的所述第二部分的事务。