用于执行安全有条件加载和有条件存储操作的方法和设备

摘要

本发明公开涉及用于执行安全有条件加载和有条件存储操作的方法和设备。提供了一种用于在存储访问不能被证明是安全的时进行安全有条件操作的计算机实现的方法的说明性实施例包括由增强编译器接收用于事务的部分源代码，由所述增强编译器分析接收到的所述部分源代码以确定由所述增强编译器分析的所述部分源代码是否是用于变换的候选。响应于确定由所述增强编译器分析的所述部分源代码是用于变换的候选，变换被分析的所述部分源代码以在变换后代码的第一部分中使用有条件操作，其中相应的有条件操作使用硬件事务存储器在硬件中调用重试操作，及在变换后代码的第二部分中添加指向原始代码部分的分支，其中所述分支的代码是包含所述原始代码部分的恢复部分。

主权项

一种用于在存储访问不能被证明是安全的时进行安全有条件操作的计算机实现的方法，所述计算机实现的方法包括：由增强编译器接收用于事务的部分源代码；由所述增强编译器分析接收到的所述部分源代码；确定由所述增强编译器分析的所述部分源代码是否是用于变换的候选；响应于确定由所述增强编译器分析的所述部分源代码是用于变换的候选，变换被分析的所述部分源代码以在变换后代码的第一部分中使用有条件操作，其中相应的有条件操作使用硬件事务存储器在硬件中调用重试操作；及在变换后代码的第二部分中添加指向原始代码部分的分支，其中所述分支的代码是包含所述原始代码部分的恢复部分。