...
首页> 外文期刊>Computer architecture news >Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races
【24h】

Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races

机译:冲突异常:使用精确的数据异常硬件异常简化并发语言语义

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       

摘要

We argue in this paper that concurrency errors should be treated as exceptions, i.e., have fail-stop behavior and precise semantics. We propose an exception model based on conflict of synchronization-free regions, which precisely detects a broad class of data-races. We show that our exceptions provide enough guarantees to simplify high-level programming language semantics and debugging, but are significantly cheaper to enforce than traditional data-race detection. To make the performance cost of enforcement negligible, we propose architecture support for accurately detecting and precisely delivering these exceptions. We evaluate the suitability of our model as well as the behavior of our architectural mechanisms using the PARSEC benchmark suite and commercial applications. Our results show that the exception model largely reflects how programmers are already writing code and that the main memory, traffic and performance overheads of the enforcement mechanisms we propose are very low.
机译:我们在本文中认为,并发错误应视为异常,即具有故障停止行为和精确的语义。我们提出了一个基于无同步区域冲突的异常模型,该模型可以精确地检测广泛的数据争用。我们表明,我们的异常为简化高级编程语言的语义和调试提供了足够的保证,但是与传统的数据争用检测相比,其执行成本要低得多。为了使执行的性能成本可以忽略不计,我们提出了体系结构支持,用于准确检测和精确交付这些异常。我们使用PARSEC基准套件和商业应用程序评估模型的适用性以及体系结构机制的行为。我们的结果表明,异常模型在很大程度上反映了程序员如何编写代码,并且我们提出的强制执行机制的主内存,流量和性能开销非常低。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号