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] Stability of Asynchronous Networked Linear Control Systems With Direct-Feedthrough Terms and Scheduling Protocols
    Guo, Ziyi
    Yu, Hao
    Chen, Tongwen
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 6980 - 6987
  • [42] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
    Yokoyama, Akihiko
    Moriguchi, Sosuke
    Watanabe, Takuo
    PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON REACTIVE AND EVENT-BASED LANGUAGES AND SYSTEMS, REBLS 2022, 2022, : 1 - 12
  • [43] Asynchronous Consensus Quorum Read: Pioneering Read Optimization for Asynchronous Consensus Protocols
    Dong, He
    Liu, Shengyun
    ELECTRONICS, 2024, 13 (03)
  • [44] Embedded XML Data Exchange for Asynchronous Communication Between E-commerce Systems
    Lu, Xiaolin
    Ye, Lu
    Yang, Chunting
    Yu, Jian
    ICMECG: 2009 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT, PROCEEDINGS, 2009, : 164 - 167
  • [45] Metastability in asynchronous wait-free protocols
    Paynter, SE
    Henderson, N
    Armstrong, JM
    IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (03) : 292 - 303
  • [46] ASYNCHRONOUS COMMUNICATION CHANNELS: PROTOCOLS AND DATA ENCODING
    不详
    IEEE MICRO, 2021, 41 (01) : 70 - 70
  • [47] A Method for Satisfying Asynchronous and Periodic Timing Requirements in Real-Time Embedded Systems
    Xu, Jia
    PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 455 - 462
  • [48] A COMPILER THAT INCREASES THE FAULT TOLERANCE OF ASYNCHRONOUS PROTOCOLS
    COAN, BA
    IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (12) : 1541 - 1553
  • [49] Robust asynchronous protocols are finite-state
    Mukund, M
    Kumar, KN
    Radhakrishnan, J
    Sohoni, M
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 188 - 199
  • [50] Calibrating a 90-kHz multibeam sonar: illustrating protocols
    Chu, D
    Foote, KG
    Hammar, TR
    Hufnagle, LC
    Jech, JM
    OCEANS '04 MTS/IEEE TECHNO-OCEAN '04, VOLS 1- 2, CONFERENCE PROCEEDINGS, VOLS. 1-4, 2004, : 438 - 442