Verification of the burst send queuing system model for parallel programs

被引:0
|
作者
Mahafzah, B [1 ]
Cohen, W [1 ]
机构
[1] Jordan Univ Sci & Technol, Coll Sci, Dept Comp Sci, Irbid, Jordan
关键词
parallel programs; performance estimates; model verification; queuing models; communication parameters;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The assumption that events are statistically independent and uncorrelated in queuing system models can lead to inaccurate estimates of performance for parallel programs. Many parallel programs have very strong interactions between the processors in the system. Programs such as the parallel versions of the NAS benchmarks partition the problem into blocks of elements. Each processor computes the values on a black then it sends a burst of messages to update the values held on neighboring processors. Each processor also expects to receive messages from ifs neighbors before it can start processing the next time step. This behavior in parallel programs lead to the development of the burst send model. The burst model send simulation's results were compared to the original data collected on a PC cluster and to an equivalent queuing model that represents a typical queuing system (and did not group the sends together). The burst send simulation's performance estimates were much more accurate than the ungrouped send model. The worst error for the burst send model was under 20% while the best case error for the typical queuing system was 40%.
引用
收藏
页码:2398 / 2402
页数:5
相关论文
共 50 条
  • [1] Model for parallel verification of programs
    He Pei
    Kang Lishan
    Li Qiongzhang
    [J]. SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 623 - +
  • [2] Verification of parallel programs
    Saman, MY
    Evans, DJ
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 56 (1-2) : 23 - 37
  • [3] A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
    Mironov, A. M.
    [J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2022, 56 (07) : 762 - 777
  • [4] A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
    A. M. Mironov
    [J]. Automatic Control and Computer Sciences, 2022, 56 : 762 - 777
  • [5] Design and verification of parallel programs
    Wang, J
    Chi, XB
    [J]. DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 317 - 319
  • [6] FORMAL VERIFICATION OF PARALLEL PROGRAMS
    KELLER, RM
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 371 - 384
  • [7] A SURVEY OF VERIFICATION TECHNIQUES FOR PARALLEL PROGRAMS
    BARRINGER, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 191 : 1 - 115
  • [8] A Verification Technique for Deterministic Parallel Programs
    Darabi, Saeed
    Blom, Stefan C. C.
    Huisman, Marieke
    [J]. NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 247 - 264
  • [9] CONCEPTION, WRITING, AND VERIFICATION OF PARALLEL PROGRAMS
    PERRIN, GR
    [J]. RAIRO-INFORMATIQUE-COMPUTER SCIENCE, 1981, 15 (03): : 235 - 253
  • [10] Verification of Java']JavaSpaces™ parallel programs
    van de Pol, J
    Espada, MV
    [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 196 - 205