【摘 要】
：
Determinism is very useful to multithreaded programs in debugging, testing, etc. Many deterministic ap-proaches have been proposed, such as deterministic multit
【机 构】
：
Science and Technology on Parallel and Distributed Processing Laboratory
【基金项目】
：
the Program for New Century Excellent Talents in University of China;the National High Technology Research and Development 863 Program of China;The work was supported by the National Natural Science F
论文部分内容阅读
Determinism is very useful to multithreaded programs in debugging, testing, etc. Many deterministic ap-proaches have been proposed, such as deterministic multithreading (DMT) and deterministic replay. However, these sys-tems either are ine?cient or target a single purpose, which is not flexible. In this paper, we propose an e?cient and flexible deterministic framework for multithreaded programs. Our framework implements determinism in two steps: relaxed determinism and strong determinism. Relaxed determinism solves data races e?ciently by using a proper weak memory consistency model. After that, we implement strong determinism by solving lock contentions deterministically. Since we can apply different approaches for these two steps independently, our framework provides a spectrum of deterministic choices, including nondeterministic system (fast), weak deterministic system (fast and conditionally deterministic), DMT system, and deterministic replay system. Our evaluation shows that the DMT configuration of this framework could even outperform a state-of-the-art DMT system.
其他文献
近年来，建立有效的人力资源管理系统，找到企业人力资源有效管理的基本途径及其相关管理模式，已成为每一个企业重点关心的问题，同时也成为了当前业界人士普遍关注的焦点。从20世纪
党在十八大提出完善劳动关系协调机制，发展和谐劳动关系，构建和谐社会。和谐的劳动关系是和谐社会最基本的体现。目前，随着我国的经济体制不断改革深化，劳动关系也变得日益复杂，劳
“资源节约型、环境友好型”两型社会建设是生态文明建设的组成部分，也是全面建成小康社会的重要目标。郴州两型社会建设，是以郴资桂两型社会建设示范带为切入点，突出项目建设、
随着我国人口的不断增多和社会老龄化的不断发展，各地政府和企业更加重视离退休同志的管理工作。全面细致地做好退休职工的服务管理工作，不仅为离退休同志的生活提供了保障，促进
作为电建企业的战略管理手段，绩效管理不仅是重要的人事管理手段，也对电建企业日常经营发展有着很大的促进作用。如何调动电建企业员工的积极性，创造性与主动性，构建适合电建企业
作为企业的事务中心和参谋本部，办公室承担着多种职能，办公室工作人员责任重大，任务繁杂，要真正起到承上启下，衔接各方的作用，就需要具备较高的职业素养。而秘书工作更是内容广、服
随着国家电网“三集五大”改革的不断深入，我国电费收缴也发生了很大的变化，由传统的用电后交费方式开始转变为预存电费方式，这标志着我国电力市场越来越完善。但是由于受到一些
电力设施作为供电企业电力系统运行的，还是用电、供电、输电以及发电必不可少的物质基础，损坏任何一个部分都将会导致电力供应和使用出现中断，对国民经济的稳定有序发展以及社会
实践证明，通过营配信息的实现，能够使营销业务系统数据和生产业务系统数据完成共享。本文笔者在分析营配信息融合的业务需求及数据源规则的基础上，进一步对营配信息融合的实现方
Many machine learning and data mining (MLDM) problems like recommendation, topic modeling, and medical diagnosis can be modeled as computing on bipartite graphs