面向STM的松弛存储一致性算法
【出 处】:《
计算机工程与科学
》
CSCD
2010年第1期 127-131页,共5页
【作 者】:
张小强
;
彭林
;
黄春
;
谢伦国
【摘 要】
软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行。如果两个事务访问了同一个共享数据且至少一个事务进行了修改操作,则称发生了冲突。检测冲突后,一般选择一个事务终止。当前的STM实现都基于严格的线性一致,(Linearizability)语义模型,实现简单。但是,基于该语义会导致很多本来可以完成提交的事务失败,降低了系统效率。把因果一致性模型应用于STM,可以在保证程序准确性条件下取得较好的实际性能。实验数据表明,该算法简单高效,明显减少了冲突数目。
相关热词搜索:
上一篇:信息集成中上下文知识的描述与推理
下一篇:一种支持操作系统的硬件事务内存系统