面向STM的松弛存储一致性算法

• 作者: 张小强 彭林 谢伦国 黄春
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 软件事务性内存(STM) 因果一致性 验证 并发 多线程
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 信息存储技术
• 页码范围: 127-131
• 页数: 5页
• 分类号: TP314
• 字数: 5737字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.01.036

摘要

软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行.如果两个事务访问了同一个共事数据且至少一个事务进行了修改操作,则称发生了冲突.检测冲突后,一般选择一个事务终止.当前的STM实现都基于严格的线性一致性(Linearizability)语义模型,实现简单.但是,基于该语义会导致很多本来可以完成提交的事务失败,降低了系统效率.把因果一致性模型应用于STM,可以在保证程序准确性条件下取得较好的实际性能.实验数据表明,该算法简单高效,明显减少了冲突数目.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢伦国	国防科学技术大学计算机学院	17	61	5.0	7.0
2	彭林	国防科学技术大学计算机学院	8	36	4.0	5.0
3	张小强	国防科学技术大学计算机学院	5	42	3.0	5.0
4	黄春	国防科学技术大学计算机学院	10	25	3.0	4.0