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 条
  • [1] Calibrating an Embedded Protocol on an Asynchronous System
    Yamauchi, Yukiko
    Bein, Doina
    Masuzawa, Toshimitsu
    Morales, Linda
    Sudborough, I. Hal
    INTELLIGENT DISTRIBUTED COMPUTING, SYSTEMS AND APPLICATIONS, 2008, 162 : 227 - +
  • [2] Simple and efficient oracle-based consensus protocols for asynchronous Byzantine systems
    Friedman, R
    Mostefaoui, A
    Raynal, M
    23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2004, : 228 - 237
  • [3] Simple and efficient oracle-based Consensus protocols for asynchronous Byzantine systems
    Friedman, R
    Mostefaoui, A
    Raynal, M
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2005, 2 (01) : 46 - 56
  • [4] A Wide-VDD Embedded SRAM for Dynamic Voltage Asynchronous Systems
    Yang, Shu-Meng
    Chang, Meng-Fan
    Chen, Kung-Ting
    Wu, Wen-Chin
    Chu, Yuan-Hua
    Chao, Ting-Sheng
    Chen, Ming-Bin
    Chen, Ping-Cheng
    2009 IEEE INTERNATIONAL WORKSHOP ON MEMORY TECHNOLOGY, DESIGN, AND TESTING, PROCEEDINGS, 2009, : 20 - +
  • [5] Simulation-based testing of communication protocols for dependable embedded systems
    Alvarez, GA
    Cristian, F
    JOURNAL OF SUPERCOMPUTING, 2000, 16 (1-2): : 93 - 116
  • [6] Simulation-based Testing of Communication Protocols for Dependable Embedded Systems
    Guillermo A. Alvarez
    Flaviu Cristian
    The Journal of Supercomputing, 2000, 16 : 93 - 116
  • [7] A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems
    Fernandez, Antonio
    Jimenez, Ernesto
    Raynal, Michel
    Tredan, Gilles
    ALGORITHMICA, 2010, 56 (04) : 550 - 576
  • [8] A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems
    Antonio Fernández
    Ernesto Jiménez
    Michel Raynal
    Gilles Trédan
    Algorithmica, 2010, 56 : 550 - 576
  • [9] Mutual exclusion in asynchronous systems with failure detectors
    Delporte-Gallet, C
    Fauconnier, H
    Guerraoui, R
    Kouznetsov, P
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2005, 65 (04) : 492 - 505
  • [10] Anonymous asynchronous systems: the case of failure detectors
    Bonnet, Francois
    Raynal, Michel
    DISTRIBUTED COMPUTING, 2013, 26 (03) : 141 - 158