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 条
  • [21] Probabilistic Analysis of Counting Protocols in Large-scale Asynchronous and Anonymous Systems
    Mocquard, Yves
    Sericola, Bruno
    Anceaume, Emmanuelle
    2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2017, : 315 - 322
  • [22] 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
  • [23] Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
    Pakulin, N. V.
    Khoroshilov, A. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2007, 33 (06) : 316 - 335
  • [24] A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems
    Belson, Bruce
    Holdsworth, Jason
    Xiang, Wei
    Philippa, Bronson
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (03)
  • [25] 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 - +
  • [26] Open communication protocols for integration of embedded systems within Industry 4
    Peniak, Peter
    Franekova, Maria
    2015 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS (AE), 2015, : 181 - 184
  • [27] Simulation-based testing of communication protocols for dependable embedded systems
    Alvarez, GA
    Cristian, F
    JOURNAL OF SUPERCOMPUTING, 2000, 16 (1-2): : 93 - 116
  • [28] Simulation-based Testing of Communication Protocols for Dependable Embedded Systems
    Guillermo A. Alvarez
    Flaviu Cristian
    The Journal of Supercomputing, 2000, 16 : 93 - 116
  • [29] Thread allocation protocols for distributed real-time and embedded systems
    Sánchez, C
    Sipma, HB
    Subramonian, V
    Gill, C
    Manna, Z
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 159 - 173
  • [30] Asynchronous protocols for optimistic fair exchange
    Asokan, N
    Shoup, V
    Waidner, M
    1998 IEEE SYMPOSIUM ON SECURITY AND PRIVACY - PROCEEDINGS, 1998, : 86 - 99