Protocolos multicoordenados de acordo e o serviço de log

TL;DRAbstract

Problemas de acordo, como Consenso, Terminacao Atomica e Difusao Atomica, sao abstracoes comuns em sistemas distribuidos. Eles ocorrem quando os componentes do sistema precisam concordar em reconfiguracoes, mudancas de estado ou em linhas de acao em geral. Nesta tese, investigamos estes problemas no contexto do ambiente e aplicacoes em que serao utilizados. O modelo geral e o assincrono sujeito a quebras com possivel posterior recuperacao. Nossa meta e desenvolver protocolos que explorem esta informacao contextual para prover maior disponibilidade, e que se mantenham corretos mesmo que algumas das prerrogativas do contexto tornem-se invalidas. Na primeira parte da tese, exploramos a seguinte propriedade: mensagens difundidas em pequenas redes tendem a ser entregues ordenada e confiavelmente. Nos fazemos tres contribuicoes nesta parte da tese. A primeira e a transformacao de algoritmos conhecidos para o modelo quebra-e-para, que utilizam a propriedade de ordenacao mencionada, em protoco

Chat with Paper

AI Agents for this Paper