...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Dependable and Secure Computing, IEEE Transactions on >Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
【24h】

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures

机译：缓存一致的多线程计算机体系结构中内存一致性的动态验证

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

摘要

Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the high availability required for these tasks, it is necessary to incorporate mechanisms for error detection and recovery. Correct operation of the memory system is defined by the memory consistency model. Errors can therefore be detected by checking if the observed memory system behavior deviates from the specified consistency model. Based on recent work, we design a framework for dynamic verification of memory consistency (DVMC). The framework consists of mechanisms to verify three invariants that are proven to guarantee that a specified memory consistency model is obeyed. We describe an implementation of the framework for the SPARCv9 architecture, and we experimentally evaluate its performance using full-system simulation of commercial workloads.
机译：具有高速缓存一致性共享内存的多线程服务器是用于运行关键网络服务和数据库管理系统的主要计算机类型。为了实现这些任务所需的高可用性，有必要合并错误检测和恢复机制。内存一致性模型定义了内存系统的正确操作。因此，可以通过检查观察到的内存系统行为是否偏离指定的一致性模型来检测错误。基于最近的工作，我们设计了一个用于内存一致性动态验证（DVMC）的框架。该框架由验证三个不变式的机制组成，三个不变式被证明可以保证遵守指定的内存一致性模型。我们描述了SPARCv9架构的框架的实现，并使用商业工作负载的全系统模拟实验性地评估了其性能。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号