Rewriting 'the hare and the turtle': sleeping to get there faster
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Outros Autores: | |
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 |