[发明专利]一种可控重复执行次数的多线程事务存储编程模型方法

权利要求书

1.一种可控重复执行次数的多线程事务存储编程模型方法，其特征在于，其包括：

a）在多线程事务存储模型内部，事务执行失败若干次后，不再重复执行原事务，将该事务所执行的任务放回任务队列尾部；提高基于事务存储模型的多线程程序的并行效率；

b）可控重复执行的多线程事务存储编程模型，能够实现为可控重复执行次数的软件事务存储模型和可控重复执行次数的硬件事务存储模型；其中包括：

b1) 在所述可控重复执行次数的软件事务存储模型中，可控重复执行次数的软件事务存储模型N-retry TL2的应用层代码中，线程从任务队列中取出一个任务并开始执行，由STM_BEGIN和STM_END进入事务存储，N-retry TL2模型对成功或失败的事务设立一个标志位；事务执行失败时，语句flag=0将不会被执行，程序直接跳转到N-retry_STM_END；构建一个全局的任务队列动态派遣任务将失败的任务在之后的某个时间重新执行；若本任务的事务执行失败，该事务执行的任务被放入任务队列尾部；

所述的N-retry TL2的实现包括：N-retry TL2模型在事务处理失败后跳到事务开始阶段STM_BEGIN，其增加了检查重复次数的步骤；在事务的开始执行阶段，定义一个环境变量stm_jmpbuf并且调用sigsetjmp指令存储当前环境；若事务执行期间，事务因某原因被废止，则程序使失败次数retry time加1，然后调用sigjmp指令恢复被sigsetjmp指令保存的环境，事务回滚；若失败次数不大于给定的N，则重新执行该事务；若其大于N，则跳转到事务的结束阶段STM_ END；记录失败次数的变量为线程特有变量，不被sigjmp指令恢复；

b2) 在所述可控重复执行次数的硬件事务存储模型N-retry RTM中，如果事务由于数据冲突原因废止的次数小于N，线程将重新执行该事务，如果大于N则事务失败并将该任务放回任务队列队尾；由其它原因导致的事务失败，则采用锁机制解决；在失败的回退路径中，选择不同类型的锁；在所述的在失败的回退路径中，选择高票锁。