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.
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:
Design and Implementation on the Data Race Free System Based on Combining Parallel and Serial Mechanism
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