[发明专利]使用事务来并行化顺序框架

权利要求书

1.一种将原始顺序循环转换成并行循环的方法，所述方法包括以下步 骤：

提供事务存储器系统（506）；

将包含原始顺序循环的第一部分代码转换成包含使用多个事务来保留 原始的输入到输出映射的并行循环的第二部分代码（508）；以及

使用所述事务存储器系统执行所述第二部分代码，其中所述多个事务 中的至少某一些在不同的线程上执行（518）；

所述方法还包括在检测到所述并行循环包含超过一个将修改同一数据 元素的单独事务的情况下，使用提交仲裁器来检测并处理在所述并行循环 执行时所发生的冲突,其中使用所述提交仲裁器来处理在所述并行循环执 行时所发生的冲突进一步包括：使用所述提交仲裁器来为所述多个事务指 定预定提交次序，将后续事务置于休眠/挂起模式以便阻塞所述后续事务在 前导事务仍在执行时重新执行，以及一旦所述前导事务完成则唤醒被置于 挂起模式的所述后续事务。

2.如权利要求1所述的方法，其特征在于，所述原始顺序循环中的每 一迭代被置于所述并行循环中的各事务中的一单独事务中的工作项中 （510）。

3.如权利要求1所述的方法，其特征在于，所述原始顺序循环中的相 邻的迭代被置于所述并行循环中的各事务中的一单独事务中的工作项中 （552）。

4.如权利要求1所述的方法，其特征在于，生成所述第二部分代码以 使所述事务中的至少某一些并行执行（517）。

5.如权利要求1所述的方法，其特征在于，在不执行对所述原始顺序 循环的编译器分析的情况下生成所述第二部分代码（554）。

6.如权利要求1所述的方法，其特征在于，通过以预定提交次序提交 所述事务来保留所述原始的输入到输出映射（632）。

7.如权利要求6所述的方法，其特征在于，所述预定提交次序与所述 原始顺序循环的执行次序相一致（552）。

8.如权利要求1所述的方法，其特征在于，如果确定所述原始顺序循 环对重新排序免疫，则以允许所述事务中的每一个按不取决于所述原始顺 序循环的执行次序的次序来提交的方式来创建所述第二部分代码（516）。

9.如权利要求8所述的方法，其特征在于，所述原始顺序循环是否对 重新排序免疫是使用试探法来确定的（516）。

10.如权利要求8所述的方法，其特征在于，所述原始顺序循环是否 对重新排序免疫是在分析所述第一部分代码中的用户定义的注释之后确定 的（516）。

11.一种用于将原始顺序循环转换成并行循环的方法，所述方法包括 以下步骤：

通过取原始顺序循环的每一迭代并为每一迭代生成遵循预定提交次序 过程的一个单独事务来将所述原始顺序循环转换成并行循环，从而尊重与 该原始顺序循环的原始执行相一致的提交次序（552）；以及

执行所述并行循环，其中所生成的多个单独事务中的至少某一些在不 同的线程上执行（556）；

所述方法还包括在检测到所述并行循环包含超过一个将修改同一数据 元素的单独事务（606）的情况下，使用提交仲裁器来检测并处理在所述并 行循环执行时所发生的冲突（608），其中使用所述提交仲裁器来处理在所 述并行循环执行时所发生的冲突进一步包括：使用所述提交仲裁器为所生 成的多个单独事务指定预定提交次序,将后续事务置于休眠/挂起模式以便 阻塞所述后续事务在前导事务仍在执行时重新执行,以及一旦所述前导事 务完成则唤醒被置于挂起模式的所述后续事务。

12.如权利要求11所述的方法，其特征在于，所述并行循环是在不 执行对所述原始顺序循环的编译器分析的情况下生成的（554）。

13.如权利要求11所述的方法，其特征在于，所生成的多个单独事 务中的每一单独事务包括相应工作项（552）。