Primary-backup replication: from a time-free protocol to a time-based implementation

Detalhes bibliográficos
Autor(a) principal: Oliveira, Rui Carlos Mendes de
Data de Publicação: 2001
Outros Autores: Pereira, José, Schiper, André
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/38949
Resumo: Fault-tolerant control systems can be built by replicating critical components. However, replication raises the issue of inconsistency. Multiple protocols for ensuring consistency have been described in the literature. PADRE (Protocol for Asymmetric Duplex Redundancy) is such a protocol, and an interesting case study of a complex and sensitive problem: the management of replicated traffic controllers in a railway system [5]. However, the low level at which the protocol has been developed embodies system details, namely timeliness assumptions, that make it difficult to understand and may narrow its applicability. We argue that, when designing a protocol, it is preferable to consider first a general solution that does not include any timeliness assumptions; then, by taking into account additional hypothesis, one can easily design a time-based solution tailored to a specific environment. This paper illustrates the benefit of a top-down protocol design approach, and shows that PADRE can be seen as an instance of a standard Primary-backup replication protocol based on View Synchronous Communication (VSC).
id RCAP_770429e5cfc80f79ff5a8187975ea246
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/38949
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Primary-backup replication: from a time-free protocol to a time-based implementationScience & TechnologyFault-tolerant control systems can be built by replicating critical components. However, replication raises the issue of inconsistency. Multiple protocols for ensuring consistency have been described in the literature. PADRE (Protocol for Asymmetric Duplex Redundancy) is such a protocol, and an interesting case study of a complex and sensitive problem: the management of replicated traffic controllers in a railway system [5]. However, the low level at which the protocol has been developed embodies system details, namely timeliness assumptions, that make it difficult to understand and may narrow its applicability. We argue that, when designing a protocol, it is preferable to consider first a general solution that does not include any timeliness assumptions; then, by taking into account additional hypothesis, one can easily design a time-based solution tailored to a specific environment. This paper illustrates the benefit of a top-down protocol design approach, and shows that PADRE can be seen as an instance of a standard Primary-backup replication protocol based on View Synchronous Communication (VSC).IEEEIEEEUniversidade do MinhoOliveira, Rui Carlos Mendes dePereira, JoséSchiper, André20012001-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/38949eng07695136701060-985710.1109/RELDIS.2001.969730http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=969730info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-05-11T05:07:21Zoai:repositorium.sdum.uminho.pt:1822/38949Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-11T05:07:21Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Primary-backup replication: from a time-free protocol to a time-based implementation
title Primary-backup replication: from a time-free protocol to a time-based implementation
spellingShingle Primary-backup replication: from a time-free protocol to a time-based implementation
Oliveira, Rui Carlos Mendes de
Science & Technology
title_short Primary-backup replication: from a time-free protocol to a time-based implementation
title_full Primary-backup replication: from a time-free protocol to a time-based implementation
title_fullStr Primary-backup replication: from a time-free protocol to a time-based implementation
title_full_unstemmed Primary-backup replication: from a time-free protocol to a time-based implementation
title_sort Primary-backup replication: from a time-free protocol to a time-based implementation
author Oliveira, Rui Carlos Mendes de
author_facet Oliveira, Rui Carlos Mendes de
Pereira, José
Schiper, André
author_role author
author2 Pereira, José
Schiper, André
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Oliveira, Rui Carlos Mendes de
Pereira, José
Schiper, André
dc.subject.por.fl_str_mv Science & Technology
topic Science & Technology
description Fault-tolerant control systems can be built by replicating critical components. However, replication raises the issue of inconsistency. Multiple protocols for ensuring consistency have been described in the literature. PADRE (Protocol for Asymmetric Duplex Redundancy) is such a protocol, and an interesting case study of a complex and sensitive problem: the management of replicated traffic controllers in a railway system [5]. However, the low level at which the protocol has been developed embodies system details, namely timeliness assumptions, that make it difficult to understand and may narrow its applicability. We argue that, when designing a protocol, it is preferable to consider first a general solution that does not include any timeliness assumptions; then, by taking into account additional hypothesis, one can easily design a time-based solution tailored to a specific environment. This paper illustrates the benefit of a top-down protocol design approach, and shows that PADRE can be seen as an instance of a standard Primary-backup replication protocol based on View Synchronous Communication (VSC).
publishDate 2001
dc.date.none.fl_str_mv 2001
2001-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/38949
url http://hdl.handle.net/1822/38949
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0769513670
1060-9857
10.1109/RELDIS.2001.969730
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=969730
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv IEEE
IEEE
publisher.none.fl_str_mv IEEE
IEEE
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817544521809920000