基于并串结合机制的数据竞争消除系统设计与实现

沙晗; 应欢; 唐博文; 乔扬

Chinese

您当前的位置：

首页 >

文章列表页 >

基于并串结合机制的数据竞争消除系统设计与实现

更新时间：2026-09-04

- 基于并串结合机制的数据竞争消除系统设计与实现
- Design and Implementation on the Data Race Free System Based on Combining Parallel and Serial Mechanism
- 微电子学与计算机 2016年33卷第7期页码：89-92
- 作者机构：
  
  1. 首都师范大学机构,北京,100048
  2. 中国科学院大学机构,北京,101408
  3. 中国科学院机构声学研究所,北京,100190
- 作者简介：
- 基金信息：
  
  国家"八六三"高技术研究发展计划基金项目 2012AA010901
- DOI：
  中图分类号：
- 纸质出版：2016
- 稿件说明：
移动端阅览
沙晗, 应欢, 唐博文, 乔扬. 基于并串结合机制的数据竞争消除系统设计与实现[J]. 微电子学与计算机, 2016, 33(7): 89-92, 97.

SHA Han, YING Huan, TANG Bo-wen, et al. Design and Implementation on the Data Race Free System Based on Combining Parallel and Serial Mechanism[J]. 2016, 33(7): 89-92.
沙晗, 应欢, 唐博文, 乔扬. 基于并串结合机制的数据竞争消除系统设计与实现[J]. 微电子学与计算机, 2016, 33(7): 89-92, 97. DOI：

SHA Han, YING Huan, TANG Bo-wen, et al. Design and Implementation on the Data Race Free System Based on Combining Parallel and Serial Mechanism[J]. 2016, 33(7): 89-92. DOI：

摘要

数据竞争是多线程程序最为常见的问题之一

数据竞争的出现会导致程序的原子性遭到破坏

从而使得推理程序的行为和改进程序的性能更加困难.为解决数据竞争带来的问题

提出了一种运行时的数据竞争消除系统DRFS(Data-Race-Free-System).DRFS将多线程程序的执行分为并行执行和串行执行两种模式

采用合理有效的模式切换机制将两种模式结合执行

为并行程序提供一个无数据竞争的运行环境.实验结果表明

DRFS在保证并行程序不会出现数据竞争的同时

并未引入很大的性能开销.

Abstract

Data races is one of the most common multithreaded program problems.Data races makes atomic program is destroyed

thus making the reasoning process behavior and improved program performance more challenging.to solve the problem introduced by dara races of parallelprograms

DRFS is proposed.This paper present DRFS(DataRace-Free-System)

a novel multi-threading runtime that divides the execution of multithread programs into two parallel mode and serial mode

DRFS adopts existing hardware support page protection mechanism

to eliminate multithreaded shared-memory data races

which provides a data-race-free environment for parallel programs.The Experimental results demonstrate that DRFS guarantes the free of data races while incuring acceptable performance and memory overhead.

关键词

Keywords

references

Savage S, Burrows Michael, Nelson Greg, et al. Eraser: a dynamic data race detector for multithreadel programs[J]. Acm Sigops Operation Systems Review, 1997, 15(4): 391-394. DOI: 391

Savage S, BurrowsM, NelsonG, et al. Eraser: a d ynamic data race detector for multithreaded programs[J]. Journal of Frontiers of Computer Science Si Technology, 2011, 5(12): 1085-1093. DOI: 1085

Prodromos Gerakios, Papaspyrou N, Sogonas K, et al. Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone[R]. TLDP Int. 2010.

Amdahl GM. Validity of the single-processor approach to achieving large scale computing capabilities[C]//Proceedings of the American Federationof Information Processing Societies. New York, N Y, USA: ACM, 1967: 483-485.

WU Xueguang, WEN Yanjun, WANG Ji, et al. Data race and atomicity checking for cprograms with multiple interruptions[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(12): 1085-1093. DOI: 1085

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种基于访存依赖对的并行重放方法

基于区块链的AI生成内容溯源框架设计研究

低功耗设计的双链电源关断策略的实现与验证

基于改进RT-DETR的航拍小目标检测算法

V型沟槽SiC中子探测器的蒙特卡洛分析