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
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 487 : 183 - 192
  • [2] Correcting errors in message passing systems
    Pedersen, JB
    Wagner, A
    [J]. HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS, 2001, 2026 : 122 - 137
  • [3] 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)
  • [4] Region synchronization in message passing systems
    Singh, G
    Su, Y
    [J]. 2002 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDING, 2002, : 276 - 283
  • [5] Local Message Passing on Frustrated Systems
    Schmid, Luca
    Brenk, Joshua
    Schmalen, Laurent
    [J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2023, 216 : 1837 - 1846
  • [6] 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
  • [7] Renaming in message passing systems with Byzantine failures
    Okun, Michael
    Barak, Amnon
    [J]. DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, 4167 : 16 - +
  • [8] Reasoning about layered message passing systems
    Meenakshi, B
    Ramanujam, R
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 268 - 282
  • [9] MESSAGE-PASSING OPERATING-SYSTEMS
    HILDEBRAND, D
    [J]. DR DOBBS JOURNAL, 1988, 13 (06): : 34 - &
  • [10] PREDICATE TRANSFER AND TIMEOUT IN MESSAGE PASSING SYSTEMS
    BERNSTEIN, AJ
    [J]. INFORMATION PROCESSING LETTERS, 1987, 24 (01) : 43 - 52
12345