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 条

[31] Snap-Stabilization in Message-Passing Systems
Delaet, Sylvie
Devismes, Stephane
Nesterenko, Mikhail
Tixeuil, Sebastien
[J]. PODC'08: PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2008, : 443 - 443
[32] Frequent pattern mining on message passing multiprocessor systems
Javed, A
Khokhar, A
[J]. DISTRIBUTED AND PARALLEL DATABASES, 2004, 16 (03) : 321 - 334
[33] COMMUNICATION AND MATRIX COMPUTATIONS ON LARGE MESSAGE PASSING SYSTEMS
STEWART, GW
[J]. PARALLEL COMPUTING, 1990, 16 (01) : 27 - 40
[34] Scheduling of Elastic Message Passing Applications on HPC Systems
Lina, Debolina Halder
Ghafoor, Sheikh
Hines, Thomas
[J]. JOB SCHEDULING STRATEGIES FOR PARALLEL PROCESSING, JSSPP 2022, 2023, 13592 : 172 - 191
[35] Snap-stabilization in message-passing systems
Delaet, Sylvie
Devismes, Stephane
Nesterenko, Mikhail
Tixeuil, Sebastien
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2010, 70 (12) : 1220 - 1230
[36] Neighbourhood message passing computation on a lattice with cP systems
Cooper, James
Nicolescu, Radu
[J]. JOURNAL OF MEMBRANE COMPUTING, 2022, 4 (02) : 120 - 152
[37] Message passing resource allocation for the uplink of multicarrier systems
Abrardo, Andrea
Detti, Paolo
Moretti, Marco
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-8, 2009, : 3909 - +
[38] Propositional dynamic logic for message-passing systems
Bollig, Benedikt
Kuske, Dietrich
Meinecke, Ingmar
[J]. FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 303 - +
[39] Efficient message-passing within SMP systems
Chen, XH
Turner, D
[J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 286 - 293
[40] Evaluation of Message Passing Synchronization Algorithms in Embedded Systems
Papadopoulos, Lazaros
Walulya, Ivan
Tsigas, Philippas
Soudris, Dimitrios
Barry, Brendan
[J]. 2014 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS XIV), 2014, : 282 - 289

← 1 2 3 4 5 →