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 条

[41] IMPLEMENTATION OF PRODUCTION SYSTEMS ON MESSAGE-PASSING COMPUTERS
ACHARYA, A
TAMBE, M
GUPTA, A
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1992, 3 (04) : 477 - 487
[42] The Cost of Synchronizing Imbalanced Processes in Message Passing Systems
Peng, Ivy Bo
Markidis, Stefano
Laure, Erwin
[J]. 2015 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING - CLUSTER 2015, 2015, : 408 - 417
[43] THE LINDA(R) ALTERNATIVE TO MESSAGE-PASSING SYSTEMS
CARRIERO, NJ
GELERNTER, D
MATTSON, TG
SHERMAN, AH
[J]. PARALLEL COMPUTING, 1994, 20 (04) : 633 - 655
[44] Unifying stabilization and termination in message-passing systems
Arora, A
Nesterenko, M
[J]. DISTRIBUTED COMPUTING, 2005, 17 (03) : 279 - 290
[45] Frequent Pattern Mining on Message Passing Multiprocessor Systems
Asif Javed
Ashfaq Khokhar
[J]. Distributed and Parallel Databases, 2004, 16 : 321 - 334
[46] Neighbourhood message passing computation on a lattice with cP systems
James Cooper
Radu Nicolescu
[J]. Journal of Membrane Computing, 2022, 4 : 120 - 152
[47] PROPOSITIONAL DYNAMIC LOGIC FOR MESSAGE-PASSING SYSTEMS
Bollig, Benedikt
Kuske, Dietrich
Meinecke, Ingmar
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03) : 1 - 31
[48] RoltMP -: Replay of Lamport timestamps for message passing systems
Ronsse, MA
Kranzlmuller, DA
[J]. PROCEEDINGS OF THE SIXTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING - PDP '98, 1998, : 87 - 93
[49] Renaming in synchronous message passing systems with Byzantine failures
Okun, Michael
Barak, Amnon
Gafni, Eli
[J]. DISTRIBUTED COMPUTING, 2008, 20 (06) : 403 - 413
[50] Message-passing decoders and their application to storage systems
Kurkoski, BM
Siegel, PH
Wolf, JK
[J]. 2001 IEEE INFORMATION THEORY WORKSHOP, PROCEEDINGS, 2001, : 12 - 13

← 1 2 3 4 5 →