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
关键词
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 条
  • [41] Semantics of Parallel Nets: A Real-Time Approach.
    Boussinot, F.
    Revue technique - Thomson-CSF, 1980, 12 (03): : 557 - 573
  • [42] Verifying temporal properties of programs: A parallel approach
    Yu, Bin
    Duan, Zhenhua
    Tian, Cong
    Zhang, Nan
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2018, 118 : 89 - 99
  • [43] TIMING PARALLEL PROGRAMS THAT USE MESSAGE PASSING
    KARONIS, NT
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1992, 14 (01) : 29 - 36
  • [44] Development of graphical parallel programs in PVM environments
    Dozsa, G
    Kacsuk, P
    Fadgyas, T
    1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 33 - 40
  • [45] FORTPORT - AN ENVIRONMENT FOR THE DEVELOPMENT OF PARALLEL FORTRAN PROGRAMS
    MILLIGAN, P
    MCCONNELL, RK
    REA, SA
    SAGE, PP
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 73 - 76
  • [46] A graphical development and debugging environment for parallel programs
    Kacsuk, P
    Cunha, JC
    Dozsa, G
    Lourenco, J
    Fadgyas, T
    Antao, T
    PARALLEL COMPUTING, 1997, 22 (13) : 1747 - 1770
  • [47] Iterative development of parallel programs in the ParJava environment
    A. I. Avetisyan
    S. S. Gaisaryan
    V. V. Babkova
    Programming and Computer Software, 2009, 35 : 223 - 234
  • [48] AN APPROACH TO PHARMACY PROGRAMS DEVELOPMENT
    DEREWICZ, HJ
    DRUG INTELLIGENCE & CLINICAL PHARMACY, 1970, 4 (06): : 157 - &
  • [49] Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach
    Zhang, Zhihu
    Lin, Zuoquan
    Ren, Shuang
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2009, 5722 : 181 - 190
  • [50] A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs
    邵志清
    JournalofComputerScienceandTechnology, 1993, (02) : 155 - 161