On the interconnection of message passing systems

被引：4

作者：

Alvarez, A. ^{[1
]}

Arvalo, S. ^{[2
]}

Cholvi, V. ^{[3
]}

Fernandez, A. ^{[2
]}

Jimenez, E. ^{[1
]}

机构：

[1] Univ Politecn Madrid, E-28040 Madrid, Spain

[2] Univ Rey Juan Carlos, Madrid, Spain

[3] Univ Jaume 1, Dept Lenguajes & Sistemas Informat, Castellon de La Plana, Spain

来源：

INFORMATION PROCESSING LETTERS | 2008年 / 105卷 / 06期

关键词：

distributed systems; interconnection networks; formal methods; design of algorithms;

D O I：

10.1016/j.ipl.2007.09.006

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

One of the most important abstractions for designing distributed programs is the broadcast facility. In this paper, we study the interconnection of distributed message passing systems. We have shown that totally ordered systems cannot be properly interconnected in any form. However, we have provided a simple protocol to properly interconnect FIFO ordered systems. (C) 2007 Elsevier B.V. All rights reserved.

引用

页码：249 / 254

页数：6

共 50 条

[1] EFFICIENT AND SCALABLE LOGICAL BUSSES FOR MESSAGE-PASSING INTERCONNECTION NETWORKS
SCHEIDIG, H
SCHNEIDER, MF
SPURK, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 487 : 183 - 192
[2] Fault Detection for Message Passing Systems
Karaata, Mehmet Hakan
Hamdan, Ali
Faisal, Maha H.
AlShawan, Feda A.
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2018, 27 (05)
[3] Correcting errors in message passing systems
Pedersen, JB
Wagner, A
HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS, 2001, 2026 : 122 - 137
[4] Region synchronization in message passing systems
Singh, G
Su, Y
2002 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDING, 2002, : 276 - 283
[5] A PACKET HISTORY OF MESSAGE PASSING SYSTEMS
FLOWER, J
KOLAWA, A
PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 1991, 207 (3-5): : 291 - 304
[6] Local Message Passing on Frustrated Systems
Schmid, Luca
Brenk, Joshua
Schmalen, Laurent
UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2023, 216 : 1837 - 1846
[7] Renaming in message passing systems with Byzantine failures
Okun, Michael
Barak, Amnon
DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, 4167 : 16 - +
[8] MESSAGE-PASSING OPERATING-SYSTEMS
HILDEBRAND, D
DR DOBBS JOURNAL, 1988, 13 (06): : 34 - &
[9] Reasoning about layered message passing systems
Meenakshi, B
Ramanujam, R
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 268 - 282
[10] PREDICATE TRANSFER AND TIMEOUT IN MESSAGE PASSING SYSTEMS
BERNSTEIN, AJ
INFORMATION PROCESSING LETTERS, 1987, 24 (01) : 43 - 52

← 1 2 3 4 5 →