Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Computer Research and Development》 2002-02
Add to Favorite Get Latest Update

AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS

CHEN Zhen Qiang ① and XU Bao Wen ①② ①(Department of Computer Science and Engineering, Southeast University, Nanjing 210096) ②(State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072)  
Dependence analysis is an important approach to analyzing and understanding programs, which has been widely used in debugging, testing, measurement, maintenance and reverse engineering. With more and more programs being concurrent, the methods to analyze dependencies for concurrent programs have become an important research field. But there are many difficulties to be solved because their executions are unpredicted. First proposed is a precise and efficient representation for concurrent Ada tasks-concurrent control flow graph. Then discussed are the synchronal dependencies introduced by synchronization among tasks and inter task data dependencies introduced by accessing shared variables. And methods are given to construct the concurrent program dependence graphs to represent all kinds of dependencies. Based on these models, an efficient dependence analysis algorithm for concurrent programs is presented, which can obtain more precise dependence information, and resolve the intransitivity problem in some degree.
【Fund】: 国家自然科学基金(60 0 73 0 12 );; 江苏省自然科学基金 (BK2 0 0 10 0 4);; 江苏省科技攻关项目 (BE2 0 0 10 2 5 );; 江苏省三三三人才基金;; 高等学校重点实验室访问学者基金;; 南京大学软件新技术国家重点实验室基金;; 武汉大学软件工程国家重点实验室开放基金;
【CateGory Index】: TP311.52
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 8 Hits
1 QI Xiao-fang~1,XU Bao-wen~1,2,ZHOU Xiao-yu~1,2(1.College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China);An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J];Acta Electronica Sinica;2007-02
2 ZHANG Kai,CHEN Li(Department of Computer Science,Huazhong Normal University,Wuhan 430079,China);Linux Interrupt System Measurement with Program Dependency[J];Journal of Huzhou Teachers College;2005-02
3 QIAN Ju XU Bao-Wen ZHOU Yu-Ming(School of Computer Science and Engineering,Southeast University,Nanjing 210096)(Jiangsu Institution of Software Quality,Nanjing 210096);Interstatement Must Alias and Its Application in Dependence Analysis of Java Programs[J];Chinese Journal of Computers;2008-03
4 Wang Yubao 1,2 Shi Liang 1,2 Xu Baowen 1,2,3,4 (Department of Computer Science and Engineering, Southeast University 1), Nanjing 210096) (Jiangsu Institute of Software Quality 2), Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University 3), Wuhan 430072) (Department of Computer, National University of Defense Technology 4), Changsha 410073);Q Learning-Based Dynamic Dependence Analysis of Complex Programs[J];Computer & Digital Engineering;2005-02
5 LI Xiao-guo,ZHANG Ying-zhou,ZHANG Wei-feng,ZHOU Guo-qiang College of Computer,Nanjing University of Posts and Telecommunications,Nanjing 210003,China;An Overview of Methods for Concurrent Program Slicing[J];Journal of Nanjing University of Posts and Telecommunications(Natural Science);2008-06
6 HAO Xue-jiao1,TANG Xiao-chun2(Department of Computer,Northwestern Polytechnical University,Xi'an 710072,China);Dependence Marking Dynamic Slicing Algorithm for Concurrent Programs[J];Microelectronics & Computer;2009-07
7 YI Tong,WU Fang-jun (Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China);An Approach for Computing Dynamic Slicing Based on Coverage-Testing[J];Journal of Applied Sciences;2004-02
8 WU Fang-jun,YI Tong (Department of computer Science & Engineering, Southeast University, Nanjing 210096, China);The UML Class Diagram Coarse-Grained Slicing Based on Dependency Analysis[J];Journal of Applied Sciences;2004-03
【Citations】
Chinese Journal Full-text Database 2 Hits
1 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
2 Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016;REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS[J];Chinese Journal of Computers;1993-05
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 HU Shun-ren~1,2 ,JIAN Xi-ming1 ,ZHOU Deng-yi1(1.Chongqing Institute of Technology, Chongqing 400050,China;2.Key Lab of Optoelectronic Technology and system of MOE,College of Optoelectronic Engineering, Chongqing University, Chongqing 400044,China);Research of Regression Testing Based on Object-Oriented System[J];Journal of Chongqing Institute of Technology;2005-05
2 LI Bi-Xin; ZHENG Guo-Liang; WANG Yun-Feng; LI Xuan-Dong (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) (Department of Computer Science & Technology, Nanjing University, Nanjing 210093);AN APPROACH TO ANALYZING AND UNDERSTANDING PROGRAM──PROGRAM SLICING[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;2000-03
3 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
4 Hu Shunren Wang Zheng Deng Yi (Computer Science and Engineering Department ,Chongqing University,Chengqing400044);Dependence Aggregate of Regression Testing Based on UML[J];Computer Engineering and Applications;2003-05
5 XU Bao-Wen ZHANG Ting CHEN Zhen-Qiang (Department of Computer Science and Engineering, Southeast University, Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);Dependence Analysis of Recursive Subprograms and Its Applications[J];Chinese Journal of Computers;2001-11
6 Wang Yubao 1,2 Shi Liang 1,2 Xu Baowen 1,2,3,4 (Department of Computer Science and Engineering, Southeast University 1), Nanjing 210096) (Jiangsu Institute of Software Quality 2), Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University 3), Wuhan 430072) (Department of Computer, National University of Defense Technology 4), Changsha 410073);Q Learning-Based Dynamic Dependence Analysis of Complex Programs[J];Computer & Digital Engineering;2005-02
7 WU Jun-hua,WANG Ting-ting(College of Information Science and Engineering,Nanjing University of Technology,Nanjing 210009,China);An approach to obtain Web structural slice and its applications[J];Journal of Nanjing University of Technology(Natural Science Edition);2008-04
8 Ye Yanfeng Lin Junhai Qin Xiaolin (Department of Computer Science and Engineering,NUAA Nanjing,210016);Design and Implementation of C Program Slicing System[J];TRANSACTIONS OF NANJING UNIVERSITY OF AERONAUTICS & ASTRONAUTICS;1996-04
9 LI Bi-xin, LIU Xiao-dong, ZHENG Tao, LI Xuan-dong, ZHENG Guo-liang(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China);=(Department of Computer Science and Technology, University of Science and Technology of Chin;An Approach for Hierarchy Slicing Object-Oriented Program[J];Journal of Software;2001-12
10 ZHOU Jie,MU Xiao-dong,WANG Jie(The Second Artillery Engineering College,Xi'an 710025,China);Design and Implementation of a Kind of C++ Program Slicing[J];Computer Technology and Development;2006-07
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 HUANG Xian-ming, YI Ji-kai (College of Electronic Information and Control Engineering, Beijing University of Technology, Beijing 100022, China);The Development Actualities and Application Future on Rough Set Theory[J];Journal of Beijing Polytechnic University;2005-01
2 WANG Li dong, ZHANG Kai (Dept. of Computer Science and Engineering, Beijing Institute of Technology, Beijing100081, China);Analysis of a Java Virtual Machine[J];Journal of Beijing Institute of Technology;2002-01
3 Yang Ming 1,2 Ni Weiwei2 Sun Zhihui2 (1Department of Computer Science and Engineering, Anhui University of Technology and Science, Wuhu 241000, China) (2Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China);Novel model for minimal attributes reductions[J];Journal of Southeast University (Natural Science Edition);2004-05
4 ;Test Driven Boundary Condition Decision in PHP[J];Computer Development & Applications;2004-12
5 LIN Hui-min,ZHANG Wen-hui(Institute of Software , Chinese Academy of Sciences, Beijing 100080, China );Model Checking: Theories,Techniques and Applications[J];Acta Electronica Sinica;2002-S1
6 QI Xiao-fang~1,XU Bao-wen~1,2,ZHOU Xiao-yu~1,2(1.College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China);An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J];Acta Electronica Sinica;2007-02
7 Zhang Guangquan Rong Mei Shen Yidong(Research Inst.of Computer Science,Chongqing University);Basic Models of Concurrent Systems and Their Analysis[J];JOURNAL OF CHONGQING UNIVERSITY(NATURAL SCIENCE EDITION);1998-03
8 WU Jie 1,DI Jun-an 2 (1?Intormation and Technica Eollege of Nanjing Aviation University, Nanjing Jiangsu 210061, 2?Physical Department of Minjiang University,Fuzhou Fujian 360108);The Study of Infrastructure and signifcance of objecf-oriented Teaching Environment from Blue-J[J];Journal of Fuzhou Teachers College;2002-06
9 Zhang Qinwu (Department of Computer,NUDT,Changsha,410073) Zhang Liu (Maintenance Engineering Institute, Ordnance Engineering College, Shijiazhuang, 050003);Tracing and Replaying in Parallel Debugging Environments[J];JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY;1998-06
10 LIANG Yu, LI Shu, ZHANG Hui, and HAN Cheng\|De (National Research Center of High Performance Computers, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080);TIMING\|SEQUENCE TEST OF PARALLEL PROGRAMS[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1999-09
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 WANG Tian-tian,SU Xiao-hong,MA Pei-jun (School of Computer Science and Technology,Harbin Institute of Technology,Harbin,Heilongjiang 150001,China);Research on Pointer Analysis Algorithm for Program Standardization[J];Acta Electronica Sinica;2009-05
2 ZHANG Kai,CHEN Li(Department of Computer Science,Huazhong Normal University,Wuhan 430079,China);Linux Interrupt System Measurement with Program Dependency[J];Journal of Huzhou Teachers College;2005-02
3 YI Tong School of Information Technology,Jiangxi University of Finance and Economics,Nanchang 330013,China;Relationship between forward slices and backward slices[J];Computer Engineering and Applications;2008-12
4 Zhou Xiaoyu 1)2) Huang Wenwei 1)2) Shi Liang 1)2) Xu Baowen 1)2)3) (Department of Computer Science & Engineering, Southeast University 1), Nanjing 210096)\;(Jiangsu Institute of Software Quality 2), Nanjing 210096)\;( State Key Laboratory of Software Engineering, Wuhan University 3), Wuhan 430072);Analysis of Dependences among C Program Units[J];Computer & Digital Engineering;2004-06
5 SHEN Yu-jia1,HAN Song-feng2,DIAO Hai-nan1,2,LIU Yong1(1.College of Electronic & Information Engineering,Henan University of Science & Technology,Luoyang Henan 471003,China;2.CAMA(Luoyang)Electronics Co.,Ltd,Luoyang Henan 471003,China);Technology of domain variable identification based on data dependence graph[J];Application Research of Computers;2009-01
6 LI Xiao-guo,ZHANG Ying-zhou,ZHANG Wei-feng,ZHOU Guo-qiang College of Computer,Nanjing University of Posts and Telecommunications,Nanjing 210003,China;An Overview of Methods for Concurrent Program Slicing[J];Journal of Nanjing University of Posts and Telecommunications(Natural Science);2008-06
7 ZHAO Xiu-lan (School of Computer Science & Engineering,Changshu Institute of Technology,Changshu 215500,China);Design for Parallele Computation Components Based on Multi-core and Multi-threading[J];Computer and Modernization;2009-11
8 DU Lin,JIANG Hai-yan (Department of Computer,Shandong Education University,Jinan 250013,China);A study of computing object-oriented program slicing technology[J];Journal of Shandong University(Engineering Science);2008-06
9 Du Lin(Department of Computer,Shandong Institute of Education,Jinan 250013,China);Research on Object-oriented Program Slicing[J];Journal of Shandong Education Institute;2007-06
10 WU Fang-jun,XU Sheng-hua (School of Information Technology, Jiangxi University of Finance & Economics, Nanchang 330013,China);Formalizing Program Slicing Using Z[J];Journal of Chinese Computer Systems;2007-08
China Proceedings of conference Full-text Database 1 Hits
1 Wang Lei Ma Jianhong Fan Shiyan Zhou Hua Xin Zhenghua (School of Computer Science and Engineering,Hebei University of Technology,Tianjin 300401,China);Study of Select Feasible Path Based on Program Slicing[A];[C];2008
【Secondary Citations】
Chinese Journal Full-text Database 1 Hits
1 Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016;REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS[J];Chinese Journal of Computers;1993-05
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved