Calibrating embedded protocols on asynchronous systems

被引:4
|
作者
Yamauchi, Yukiko [1 ]
Bein, Doina [2 ]
Masuzawa, Toshimitsu [1 ]
Morales, Linda [2 ]
Sudborough, I. Hal [2 ]
机构
[1] Osaka Univ, Grad Sch Informat Sci & Technol, Osaka 5608531, Japan
[2] Univ Texas Dallas, Dept Comp Sci, Richardson, TX 75083 USA
基金
日本学术振兴会;
关键词
Asynchronous system; Channel system; Distributed system; Graph embedding; Virtual topology; Fault tolerance; Transient fault; RELIABLE BROADCAST; FAULT; DECIDABILITY; SCHEME;
D O I
10.1016/j.ins.2009.08.029
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Embedding is a method of projecting one topology into another. In one-to-one node embedding, paths in the target topology correspond to links in the original topology. A protocol running on the original topology can be modified to be executed on a target topology by means of embedding. However, if the protocol is tolerant to a number of faults - faults that affect the data but not the code of a distributed protocol executed by the nodes in a distributed systems - then the adapted protocol will not have the fault tolerance property preserved, due to the fact that links in the original topology can be embedded into paths of length greater than one: faults at the intermediate nodes on such paths are not accounted for in the protocol. We propose a communication protocol in the target topology that preserves the fault tolerance characteristics of any protocol designed for the original topology, namely by our mechanism the modification preserves fault tolerance. (C) 2009 Elsevier Inc. All rights reserved.
引用
收藏
页码:1793 / 1801
页数:9
相关论文
共 50 条
  • [31] The Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: a Tutorial
    Raynal, Michel
    2019 IEEE 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2019), 2019, : 334 - 350
  • [32] Design of embedded control systems
    Colnaric, M
    2003 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1 AND 2, PROCEEDINGS, 2003, : TU22 - TU30
  • [33] Quorum-based power-saving multicast protocols in the asynchronous ad hoc network
    Kuo, Yu-Chen
    COMPUTER NETWORKS, 2010, 54 (11) : 1911 - 1922
  • [34] Asynchronous cooperative communication systems: A survey on signal designs
    Wang HuiMing
    Xia XiangGen
    SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (08) : 1547 - 1561
  • [35] On classes of problems in asynchronous distributed systems with process crashes
    Fromentin, E
    Raynal, M
    Tronel, F
    19TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1999, : 470 - 477
  • [36] An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems
    Herlihy, Maurice
    Rajsbaum, Sergio
    Tuttle, Mark
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 230 (0C) : 79 - 102
  • [37] Linear Dispersion Codes for Asynchronous Cooperative MIMO Systems
    Wu, Nan
    Gharavi, Hamid
    2011 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2011,
  • [38] OPmute-BASED CONSENSUS for ASYNCHRONOUS BYZANTINE SYSTEMS
    Friedman, Roy
    Mostefaoui, Achour
    Raynal, Michel
    PARALLEL PROCESSING LETTERS, 2005, 15 (1-2)
  • [39] Parameterized Verification of Asynchronous Shared-Memory Systems
    Esparza, Javier
    Ganty, Pierre
    Majumdar, Rupak
    JOURNAL OF THE ACM, 2016, 63 (01)
  • [40] HOMOLOGY AND BISIMULATION OF ASYNCHRONOUS TRANSITION SYSTEMS AND PETRI NETS
    Husainov, A. A.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2014, 11 : 863 - 877