东北大学学报（自然科学版）

东北大学学报(自然科学版) ›› 2013, Vol. 34 ›› Issue (6): 774-777.DOI: -

• 信息与控制 • 上一篇    下一篇

软件事务存储中冲突检测算法研究

刘莹，高福祥   

  1. (东北大学信息科学与工程学院，辽宁沈阳110819)
  • 收稿日期:2013-01-04 修回日期:2013-01-04 出版日期:2013-06-15 发布日期:2013-12-31
  • 通讯作者: 刘莹
  • 作者简介:刘莹(1981-)，女，辽宁沈阳人，东北大学博士研究生；高福祥(1961-)，男，山东淄博人，东北大学教授.
  • 基金资助:
    国家自然科学基金资助项目(61100182).

Research of Conflict Detection Algorithm in STM

LIU Ying， GAO Fuxiang   

  1. School of Information Science & Engineering， Northeastern University， Shenyang 110819， China.
  • Received:2013-01-04 Revised:2013-01-04 Online:2013-06-15 Published:2013-12-31
  • Contact: LIU Ying
  • About author:-
  • Supported by:
    -

RichHTML

1

PDF (PC)

829

摘要： 为了改进事务存储在并行程序中执行的性能，选取RSTM作为实验系统.根据具体应用的不同，使用不同的库实现来对其进行优化.实验挑选了斯坦福大学的STAMP基准测试程序中的6种典型应用程序，使用基于字的STM中的9种库实现对其进行比较，评估冲突检测中数据版本管理对性能产生的影响.实验结果显示，TML在各个应用程序上面运行的效果相对最好；而SGLA的效果相对最差.另外，在比较TML与TML+Lazy之后，采用急切版本管理取得了较好的效果，这主要是通过急切版本管理及时检测并避免了冲突.但是如果出现较多的放弃或活锁的情况，系统的性能可能有所下降.

关键词: 软件事务存储, 签名, 布鲁姆过滤器, 数据版本管理, 冲突检测

Abstract: To improve the performance of the parallel program execution by transactional memory， RSTM was chosen as the experimental system. According to the situation of the application， specific library implementation was used for optimization. STAMP was the benchmark program suit developed by Stanford University. Its six typical applications were used in this experiment to test nine library implementations in wordbased STM. And the influence by data version management was evaluated in conflict detection. The experimental results showed that TML running on various applications had the best effect while SGLA had the worst one. In addition， compared TML with TML+Lazy， the eager version management had the better effect， because the conflict could be detected and avoided in time. But in the case that there were many aborts or livelocks， the performance might be declined.

Key words: software transactional memory (STM), signature, Bloom filter, data version management, conflict detection

中图分类号: