...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Parallel and Distributed Computing >Weak atomicity for the x86 memory consistency model
【24h】

Weak atomicity for the x86 memory consistency model

机译：x86内存一致性模型的原子性弱

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We consider the interaction of weakly atomic Software Transactional Memory (STM) providing single global lock atomicity with the x86 memory consistency model. We show that a practical design for such an STM requires that some program behaviour be disallowed, due to the strictness of the x86 memory consistency model in comparison to the language level memory models hitherto considered in weakly atomic STM designs. We present the design and construction of such an STM that disallows races between a transactional read and a non-transactional write. We also report on a practical application of this STM to elide legacy locks in x86 binaries. This allows software transactional memory to be applied without requiring software to be a priori written with awareness of transactional memory and without any restriction on source language or compiler. As an example, we show how a mainstream multiplayer game can use transactional memory with zero changes and 11% overhead over language level transactional memory, which requires over 700 annotations and severely restricts software development.
机译：我们考虑使用x86内存一致性模型提供单个全局锁原子性的弱原子软件事务存储（STM）的交互。我们表明，与迄今在弱原子STM设计中考虑的语言级内存模型相比，由于x86内存一致性模型的严格性，针对此类STM的实际设计要求禁止某些程序行为。我们介绍了这种STM的设计和构造，该STM不允许在事务性读取和非事务性写入之间进行竞争。我们还报告了该STM在x86二进制文件中消除旧式锁的实际应用。这允许应用软件事务存储器，而无需事先知道事务存储器就编写软件，并且对源语言或编译器没有任何限制。例如，我们展示了主流多人游戏如何使用零内存变化的事务内存和比语言级别事务内存高11％的开销，这需要700多个注释，并严重限制了软件开发。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号