Correcting errors in message passing systems

被引：0

作者：

Pedersen, JB ^{[1
]}

Wagner, A ^{[1
]}

机构：

[1] Univ British Columbia, Vancouver, BC V5Z 1M9, Canada

来源：

HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS | 2001年 / 2026卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present an algorithm for correcting communication errors using delivered and undelivered messages. It is used to suggest corrective measures to remove errors introduced by typographical errors in message passing systems like PVM and MPI. The paper focuses on the validity of the algorithm by proving that for a nontrivial number of errors the algorithm can suggest changes to correct the errors. The algorithm has been implemented as a tool in Millipede (Multi Level Interactive Parallel Debugger), which is a support environment developed to assist programmers to debug message passing programs at different abstraction levels.

引用

页码：122 / 137

页数：16

共 50 条

[1] Classification of Programming Errors in Parallel Message Passing Systems
Pedersen, Jan B.
[J]. COMMUNICATING PROCESS ARCHITECTURES 2006: WOTUG-29, 2006, 64 : 363 - 376
[2] Detecting atomicity errors in message passing programs
Li, H. F.
Al Maghayreh, Eslam
Goswami, D.
[J]. EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2007, : 193 - 200
[3] On the interconnection of message passing systems
Alvarez, A.
Arvalo, S.
Cholvi, V.
Fernandez, A.
Jimenez, E.
[J]. INFORMATION PROCESSING LETTERS, 2008, 105 (06) : 249 - 254
[4] Fault Detection for Message Passing Systems
Karaata, Mehmet Hakan
Hamdan, Ali
Faisal, Maha H.
AlShawan, Feda A.
[J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2018, 27 (05)
[5] Region synchronization in message passing systems
Singh, G
Su, Y
[J]. 2002 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDING, 2002, : 276 - 283
[6] Local Message Passing on Frustrated Systems
Schmid, Luca
Brenk, Joshua
Schmalen, Laurent
[J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2023, 216 : 1837 - 1846
[7] A PACKET HISTORY OF MESSAGE PASSING SYSTEMS
FLOWER, J
KOLAWA, A
[J]. PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 1991, 207 (3-5): : 291 - 304
[8] Detection of Asynchronous Message Passing Errors Using Static Analysis
Christakis, Maria
Sagonas, Konstantinos
[J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2011, 6539 : 5 - 18
[9] Renaming in message passing systems with Byzantine failures
Okun, Michael
Barak, Amnon
[J]. DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, 4167 : 16 - +
[10] Reasoning about layered message passing systems
Meenakshi, B
Ramanujam, R
[J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 268 - 282

← 1 2 3 4 5 →