Rewriting 'the hare and the turtle': sleeping to get there faster

Detalhes bibliográficos
Autor(a) principal: Pereira, José
Data de Publicação: 2005
Outros Autores: Oliveira, Rui Carlos Mendes de
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/8684
Resumo: When developing algorithms for dependable distributed systems one often makes several simplifying assumptions that are essential to reason about the problem in hand. It is usual to assume an asynchronous system model, unconstrained system resources and the absence of easily maskable faults such as message loss. While most of the simplifications strengthen the model and are particularly useful when proving theoretical edge results, asynchrony, on the contrary, is a "non-assumption" and it is specially appealing in practice as it yields robust solutions that are correct regardless of the actual timing behavior of the target systems.
id RCAP_9372d04321dd07a54fe1fcf94b0235e0
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/8684
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 Rewriting 'the hare and the turtle': sleeping to get there fasterDistributed systemsWhen developing algorithms for dependable distributed systems one often makes several simplifying assumptions that are essential to reason about the problem in hand. It is usual to assume an asynchronous system model, unconstrained system resources and the absence of easily maskable faults such as message loss. While most of the simplifications strengthen the model and are particularly useful when proving theoretical edge results, asynchrony, on the contrary, is a "non-assumption" and it is specially appealing in practice as it yields robust solutions that are correct regardless of the actual timing behavior of the target systems.Fundação para a Ciência e a Tecnologia (FCT) - projecto RUMOR, POSI/CHS/40088/2001IEEEUniversidade do MinhoPereira, JoséOliveira, Rui Carlos Mendes de20052005-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/8684engTHE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, Yokohama, Japan, 2005 - “IEEE/IFIP International Conference Dependable Systems and Networks : DSN 2005.” [S.l. : IEEE, 2005]. Supplemental volume. p.311—316.info: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-11T06:23:10Zoai:repositorium.sdum.uminho.pt:1822/8684Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-11T06:23:10Repositó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 Rewriting 'the hare and the turtle': sleeping to get there faster
title Rewriting 'the hare and the turtle': sleeping to get there faster
spellingShingle Rewriting 'the hare and the turtle': sleeping to get there faster
Pereira, José
Distributed systems
title_short Rewriting 'the hare and the turtle': sleeping to get there faster
title_full Rewriting 'the hare and the turtle': sleeping to get there faster
title_fullStr Rewriting 'the hare and the turtle': sleeping to get there faster
title_full_unstemmed Rewriting 'the hare and the turtle': sleeping to get there faster
title_sort Rewriting 'the hare and the turtle': sleeping to get there faster
author Pereira, José
author_facet Pereira, José
Oliveira, Rui Carlos Mendes de
author_role author
author2 Oliveira, Rui Carlos Mendes de
author2_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Pereira, José
Oliveira, Rui Carlos Mendes de
dc.subject.por.fl_str_mv Distributed systems
topic Distributed systems
description When developing algorithms for dependable distributed systems one often makes several simplifying assumptions that are essential to reason about the problem in hand. It is usual to assume an asynchronous system model, unconstrained system resources and the absence of easily maskable faults such as message loss. While most of the simplifications strengthen the model and are particularly useful when proving theoretical edge results, asynchrony, on the contrary, is a "non-assumption" and it is specially appealing in practice as it yields robust solutions that are correct regardless of the actual timing behavior of the target systems.
publishDate 2005
dc.date.none.fl_str_mv 2005
2005-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/8684
url http://hdl.handle.net/1822/8684
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv THE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, Yokohama, Japan, 2005 - “IEEE/IFIP International Conference Dependable Systems and Networks : DSN 2005.” [S.l. : IEEE, 2005]. Supplemental volume. p.311—316.
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
publisher.none.fl_str_mv 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_ 1817544955459010560