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 条
  • [41] Interference Analysis in the Asynchronous f-OFDM Systems
    Chen, Hao
    Hua, Jingyu
    Li, Feng
    Chen, Fangni
    Wang, Dongming
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2019, 67 (05) : 3580 - 3596
  • [42] Asymmetric Quorum-based Power-saving Protocols in Asynchronous Clustered Ad Hoc Networks
    Kuo, Yu-Chen
    Hsu, Chung-Chia
    AD HOC & SENSOR WIRELESS NETWORKS, 2020, 46 (1-2) : 1 - 22
  • [43] Quorum-based asynchronous power-saving protocols for IEEE 802.11 ad hoc networks
    Jiang, JR
    Tseng, YC
    Hsu, CS
    Lai, TH
    MOBILE NETWORKS & APPLICATIONS, 2005, 10 (1-2): : 169 - 181
  • [44] Quorum-Based Asynchronous Power-Saving Protocols for IEEE 802.11 Ad Hoc Networks
    Jehn-Ruey Jiang
    Yu-Chee Tseng
    Chih-Shun Hsu
    Ten-Hwang Lai
    Mobile Networks and Applications, 2005, 10 : 169 - 181
  • [45] Enhancing integrity of embedded control systems
    Colnaric, M
    NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 535 - 540
  • [46] Autonomic fault mitigation in embedded systems
    Neema, S
    Bapty, T
    Shetty, S
    Nordstrom, S
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, 17 (07) : 711 - 725
  • [47] Verification of embedded Reactive Fiffo Systems
    Herbreteau, F
    Cassez, F
    Finkel, A
    Roux, O
    Sutre, G
    LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 400 - 414
  • [48] RATCHETA: Memory-bounded Hybrid Byzantine Consensus for Cooperative Embedded Systems
    Xu, Wenbo
    Kapitza, Ruediger
    2018 IEEE 37TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2018, : 103 - 112
  • [49] Semidefinite Relaxation for Moving Target Localization in Asynchronous MIMO Systems
    Wu, Xiaoping
    Mao, Xiaoting
    Qi, Hengnian
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2024, 72 (02) : 1075 - 1089
  • [50] Asynchronous Spiking Neural P Systems with Anti-Spikes
    Tao Song
    Xiangrong Liu
    Xiangxiang Zeng
    Neural Processing Letters, 2015, 42 : 633 - 647