Computer Science ›› 2014, Vol. 41 ›› Issue (2): 141-144.
Previous Articles Next Articles
ZHANG Jing and PAN You-shun
| [1] Engler D,Ashcraft K．RacerX:Effective static detection of race conditions and deadlocks [C]∥Proceeding of the 19th ACM Symp on Operating Systems Principles(SOSP).New York:ACM,2003:237-252 [2] Blanc N,Kroening D．Race analysis for SystemC using model checking [C]∥Proceeding of IEEE/ACM Int Conf on Computer Aided Design．New York:ACM,2008:356-363 [3] Yu Y,Rodeheffer T,Chen W．Racetrack:Efficient detection ofdata race conditions via adaptive tracking [C]∥Proceeding of the 12th ACM Symp on Operating Systems Principles．New York:ACM,2005:221-234 [4] Klein P N,Lu H I,Netzer R H B．Detecting race conditions in parallel programs that use semaphores [J].Algorithmic,2003,5(4):321-345 [5] Pozniansky E,Schuster A．Efficient on-the-fly data race detec-tion in multithreaded C++ programs [C]∥Proceeding of PPoPP’ 03．New York:ACM,2003:179-190 [6] Tai K C．Race analysis of traces of asynchronous message-pas-sing programs [C]∥Proceeding of ICDCS’97.Piscataway,NJ:IEEE,1997:261-268 [7] Lamport L．Time,clocks,and the ordering of events in a distributed system[J]．Communications of the ACM,1978,1(7):558-565 [8] Park M Y,Hai N C T,Jun Y K,et al．Visualization of messageraces in MPI parallel programs [C]∥Proceeding of the 7th IEEE Int Conf on Computer and Information Technology．Piscataway,NJ:IEEE,2007:316-321 [9] H wang G H,Chang S J,Chu H D．Technology for testing nondeterministic client/server database applications [J]．IEEE Trans on Software Engineering,2004,30(1):59-77 [10] Schaeli B,Gerlach S,Hersch R D．Decomposing partial order execution graphs to improve message race detection [C]∥Proceeding of IEEE Int Parallel and Distributed Processing Symp．Piscataway,NJ:IEEE,2007:1-8 [11] Mitchell B．Resolving race conditions in asynchronous partial order scenarios[J]．IEEE Trans on Software Engineering,2005,31(9):767-784 [12] 汤小丹,梁红兵,哲凤屏,等．计算机操作系统(第三版)[M]．西安:电子科技大学出版社,2007:59-61 [13] 陈艳,徐晓峰,李晓潮,等．实时嵌入式系统的竞态条件及其分析方法研究[J]．计算机研究与发展,2010,47(7):1201-1210 |
| No related articles found! |
|
||
Home