An approach to the development of debuggers that use semantics of constructs of parallel programs

被引：0
|
作者：
Kalinov, AY [1 ]
Karganov, KA [1 ]
Khorenko, KV [1 ]
机构：
[1] Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2005年 / 31卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In the paper, a new approach to the development of interactive debuggers for parallel programs that use message-passing model is suggested. The basic idea of the approach is to design a debugger specific to a particular language or a parallel programming library and to use information about the semantics of constructs used in the parallel program for processing commands of the step-by-step execution and data representation. The development of the user interface and internal debugger structure, as well as their implementations in the debuggers for mpC programs and programs using the MPI library, are considered.
引用
收藏
页码：20 / 28
页数：9
相关论文
共 50 条
  • [31] AN ALTERNATIVE APPROACH TO THE SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
    SAKAMA, C
    INOUE, K
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (01) : 145 - 172
  • [32] Development of a parallel spectral element code using SPMD constructs
    Bergman, HL
    Vetter, JS
    Schwan, K
    Ku, DN
    PARALLEL COMPUTATIONAL FLUID DYNAMICS: IMPLEMENTATIONS AND RESULTS USING PARALLEL COMPUTERS, 1996, : 121 - 128
  • [33] An approach to mapping parallel programs on hypercube multiprocessors
    Jose, A
    PROCEEDINGS OF THE SEVENTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING, PDP'99, 1999, : 221 - 225
  • [34] VERIFYING PROPERTIES OF PARALLEL PROGRAMS - AXIOMATIC APPROACH
    OWICKI, S
    GRIES, D
    COMMUNICATIONS OF THE ACM, 1976, 19 (05) : 279 - 285
  • [35] A DECOMPOSITIONAL APPROACH TO THE DESIGN OF EFFICIENT PARALLEL PROGRAMS
    LIU, Y
    SINGH, AK
    BAGRODIA, RL
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 23 - 36
  • [36] Design and development of parallel programs on bulk synchronous parallel model
    Lai, S.H.
    Lu, C.J.
    Sun, Y.Q.
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2001, 35 (02): : 228 - 231
  • [37] MAPPING PARALLEL PROGRAMS TO MULTIPROCESSORS - A DYNAMIC APPROACH
    WOLFSTAHL, Y
    PARALLEL COMPUTING, 1989, 10 (01) : 45 - 50
  • [38] MAKING LIBC SUITABLE FOR USE BY PARALLEL PROGRAMS
    KUCERA, J
    WORKSHOP ON EXPERIENCES WITH DISTRIBUTED AND MULTIPROCESSOR SYSTEMS, 1989, : 145 - 152
  • [39] Formal approach to hardware synthesis of parallel programs
    Liu, D.M.
    Song, G.X.
    Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology, 2001, 27 (05):
  • [40] An interactive approach to profiling parallel functional programs
    Charles, N
    Runciman, C
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 1999, 1595 : 20 - 37
12345