Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso

Detalhes bibliográficos
Autor(a) principal: Santos, Enrique Sampaio dos
Data de Publicação: 2020
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSCAR
Texto Completo: https://repositorio.ufscar.br/handle/ufscar/13617
Resumo: Distributed algorithms have been increasingly used because of commercial and technical factors, especially when the aim is to obtain scalability or high availability of data. Regarding high scalability, stands out the algorithms in which a set of processes interact through the exchange of messages in order to perform the same actions and remain in the same state, called replication algorithms. However, to meet this high demand, it is not enough for such algorithms to be functional, but they must also be fault tolerant, in order to avoid data corruption. Fault tolerance in distributed algorithms is not a trivial topic, and algorithms that tolerate arbitrary failure tend to be costly and complex to implement. In order to tolerate several fault types while keeping the complexity low, the model of arbitrary non-malicious faults was created, where only faults caused by intentional invasions to the environment are not tolerated. This dissertation proposes a distributed validation mechanism for the Paxos algorithm in order to guarantee the properties of the model, making it tolerant to non-malicious arbitrary faults.
id SCAR_45786d7af8481cb26780c7858fc1be64
oai_identifier_str oai:repositorio.ufscar.br:ufscar/13617
network_acronym_str SCAR
network_name_str Repositório Institucional da UFSCAR
repository_id_str 4322
spelling Santos, Enrique Sampaio dosVieira, Gustavo Maciel Diashttp://lattes.cnpq.br/9020007815886406http://lattes.cnpq.br/34542769030842961c2b8cdb-b071-4753-a7a9-f34482dccffb2021-01-05T12:14:16Z2021-01-05T12:14:16Z2020-11-03SANTOS, Enrique Sampaio dos. Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso. 2020. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de São Carlos, Sorocaba, 2020. Disponível em: https://repositorio.ufscar.br/handle/ufscar/13617.https://repositorio.ufscar.br/handle/ufscar/13617Distributed algorithms have been increasingly used because of commercial and technical factors, especially when the aim is to obtain scalability or high availability of data. Regarding high scalability, stands out the algorithms in which a set of processes interact through the exchange of messages in order to perform the same actions and remain in the same state, called replication algorithms. However, to meet this high demand, it is not enough for such algorithms to be functional, but they must also be fault tolerant, in order to avoid data corruption. Fault tolerance in distributed algorithms is not a trivial topic, and algorithms that tolerate arbitrary failure tend to be costly and complex to implement. In order to tolerate several fault types while keeping the complexity low, the model of arbitrary non-malicious faults was created, where only faults caused by intentional invasions to the environment are not tolerated. This dissertation proposes a distributed validation mechanism for the Paxos algorithm in order to guarantee the properties of the model, making it tolerant to non-malicious arbitrary faults.Algoritmos distribuídos têm sido cada vez mais utilizados por fatores comerciais e técnicos, principalmente quando o intuito é obter escalabilidade ou alta disponibilidade dos dados. Neste último ponto, destacam-se os algoritmos em que um conjunto de processos interagem através de trocas de mensagens a fim de executarem as mesmas ações e se manter no mesmo estado, chamados de algoritmos de replicação. Entretanto, para atender essa alta demanda não basta tais algoritmos serem funcionais como também devem ser tolerantes a falhas, a fim de evitar corrupções dos dados. Tolerância a falhas em algoritmos distribuídos não é um tópico trivial, e algoritmos que toleram falhas arbitrárias tendem a ser custosos e de implementação complexa. A fim de tolerar diversas categorias de falhas mantendo a complexidade baixa, foi criado o modelo de falhas arbitrárias não maliciosas, onde apenas falhas causadas por invasões intencionais ao ambiente não são toleradas. Esta dissertação propõe um mecanismo de validação distribuída para o algoritmo Paxos a fim de garantir as propriedades deste modelo, tornando-o tolerante a falhas arbitrárias não maliciosas.Não recebi financiamentoporUniversidade Federal de São CarlosCâmpus SorocabaPrograma de Pós-Graduação em Ciência da Computação - PPGCC-SoUFSCarAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessAlgoritmos DistribuídosTolerância a FalhasFalhas ArbitráriasNão MaliciosoFalhas BenignasValidação DistribuídaDistributed AlgorithmsFault ToleranceArbitrary FaultsNo-maliciousBenign FaultsDistributed ValidationCIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOValidação distribuída do algoritmo paxos no modelo arbitrário não maliciosoDistributed validation of the paxos algorithm in non-malicious arbitrary modelinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis6006002d1f7ea3-b41c-4fa3-a74d-8f73d5eebecbreponame:Repositório Institucional da UFSCARinstname:Universidade Federal de São Carlos (UFSCAR)instacron:UFSCARORIGINALDisserta__o_Enrique.pdfDisserta__o_Enrique.pdfDissertação de Mestradoapplication/pdf681656https://repositorio.ufscar.br/bitstream/ufscar/13617/1/Disserta__o_Enrique.pdf34bc2523799833af560e956c95a08381MD51Termo de encaminhamento da versão definitiva.assinado.pdfTermo de encaminhamento da versão definitiva.assinado.pdfCarta comprovante assinadaapplication/pdf101606https://repositorio.ufscar.br/bitstream/ufscar/13617/3/Termo%20de%20encaminhamento%20da%20vers%c3%a3o%20definitiva.assinado.pdfdea021da51cb2530ebffdd52b78bb2adMD53CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufscar.br/bitstream/ufscar/13617/4/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD54TEXTDisserta__o_Enrique.pdf.txtDisserta__o_Enrique.pdf.txtExtracted texttext/plain108822https://repositorio.ufscar.br/bitstream/ufscar/13617/5/Disserta__o_Enrique.pdf.txtc99d2852bda84adb16d0929be8b2c82dMD55Termo de encaminhamento da versão definitiva.assinado.pdf.txtTermo de encaminhamento da versão definitiva.assinado.pdf.txtExtracted texttext/plain1270https://repositorio.ufscar.br/bitstream/ufscar/13617/7/Termo%20de%20encaminhamento%20da%20vers%c3%a3o%20definitiva.assinado.pdf.txt4b229969237684995e45c142d8a6006fMD57THUMBNAILDisserta__o_Enrique.pdf.jpgDisserta__o_Enrique.pdf.jpgIM Thumbnailimage/jpeg5627https://repositorio.ufscar.br/bitstream/ufscar/13617/6/Disserta__o_Enrique.pdf.jpg3aec0b9dd1341b29fb2adc5bec80a172MD56Termo de encaminhamento da versão definitiva.assinado.pdf.jpgTermo de encaminhamento da versão definitiva.assinado.pdf.jpgIM Thumbnailimage/jpeg6033https://repositorio.ufscar.br/bitstream/ufscar/13617/8/Termo%20de%20encaminhamento%20da%20vers%c3%a3o%20definitiva.assinado.pdf.jpg4f4d412c738f0a575bf329eb3c0bae21MD58ufscar/136172023-09-18 18:32:05.116oai:repositorio.ufscar.br:ufscar/13617Repositório InstitucionalPUBhttps://repositorio.ufscar.br/oai/requestopendoar:43222023-09-18T18:32:05Repositório Institucional da UFSCAR - Universidade Federal de São Carlos (UFSCAR)false
dc.title.por.fl_str_mv Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
dc.title.alternative.por.fl_str_mv Distributed validation of the paxos algorithm in non-malicious arbitrary model
title Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
spellingShingle Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
Santos, Enrique Sampaio dos
Algoritmos Distribuídos
Tolerância a Falhas
Falhas Arbitrárias
Não Malicioso
Falhas Benignas
Validação Distribuída
Distributed Algorithms
Fault Tolerance
Arbitrary Faults
No-malicious
Benign Faults
Distributed Validation
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
title_short Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
title_full Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
title_fullStr Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
title_full_unstemmed Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
title_sort Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso
author Santos, Enrique Sampaio dos
author_facet Santos, Enrique Sampaio dos
author_role author
dc.contributor.authorlattes.por.fl_str_mv http://lattes.cnpq.br/3454276903084296
dc.contributor.author.fl_str_mv Santos, Enrique Sampaio dos
dc.contributor.advisor1.fl_str_mv Vieira, Gustavo Maciel Dias
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/9020007815886406
dc.contributor.authorID.fl_str_mv 1c2b8cdb-b071-4753-a7a9-f34482dccffb
contributor_str_mv Vieira, Gustavo Maciel Dias
dc.subject.por.fl_str_mv Algoritmos Distribuídos
Tolerância a Falhas
Falhas Arbitrárias
Não Malicioso
Falhas Benignas
Validação Distribuída
Distributed Algorithms
Fault Tolerance
Arbitrary Faults
No-malicious
Benign Faults
Distributed Validation
topic Algoritmos Distribuídos
Tolerância a Falhas
Falhas Arbitrárias
Não Malicioso
Falhas Benignas
Validação Distribuída
Distributed Algorithms
Fault Tolerance
Arbitrary Faults
No-malicious
Benign Faults
Distributed Validation
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
dc.subject.cnpq.fl_str_mv CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
description Distributed algorithms have been increasingly used because of commercial and technical factors, especially when the aim is to obtain scalability or high availability of data. Regarding high scalability, stands out the algorithms in which a set of processes interact through the exchange of messages in order to perform the same actions and remain in the same state, called replication algorithms. However, to meet this high demand, it is not enough for such algorithms to be functional, but they must also be fault tolerant, in order to avoid data corruption. Fault tolerance in distributed algorithms is not a trivial topic, and algorithms that tolerate arbitrary failure tend to be costly and complex to implement. In order to tolerate several fault types while keeping the complexity low, the model of arbitrary non-malicious faults was created, where only faults caused by intentional invasions to the environment are not tolerated. This dissertation proposes a distributed validation mechanism for the Paxos algorithm in order to guarantee the properties of the model, making it tolerant to non-malicious arbitrary faults.
publishDate 2020
dc.date.issued.fl_str_mv 2020-11-03
dc.date.accessioned.fl_str_mv 2021-01-05T12:14:16Z
dc.date.available.fl_str_mv 2021-01-05T12:14:16Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SANTOS, Enrique Sampaio dos. Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso. 2020. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de São Carlos, Sorocaba, 2020. Disponível em: https://repositorio.ufscar.br/handle/ufscar/13617.
dc.identifier.uri.fl_str_mv https://repositorio.ufscar.br/handle/ufscar/13617
identifier_str_mv SANTOS, Enrique Sampaio dos. Validação distribuída do algoritmo paxos no modelo arbitrário não malicioso. 2020. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de São Carlos, Sorocaba, 2020. Disponível em: https://repositorio.ufscar.br/handle/ufscar/13617.
url https://repositorio.ufscar.br/handle/ufscar/13617
dc.language.iso.fl_str_mv por
language por
dc.relation.confidence.fl_str_mv 600
600
dc.relation.authority.fl_str_mv 2d1f7ea3-b41c-4fa3-a74d-8f73d5eebecb
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de São Carlos
Câmpus Sorocaba
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciência da Computação - PPGCC-So
dc.publisher.initials.fl_str_mv UFSCar
publisher.none.fl_str_mv Universidade Federal de São Carlos
Câmpus Sorocaba
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSCAR
instname:Universidade Federal de São Carlos (UFSCAR)
instacron:UFSCAR
instname_str Universidade Federal de São Carlos (UFSCAR)
instacron_str UFSCAR
institution UFSCAR
reponame_str Repositório Institucional da UFSCAR
collection Repositório Institucional da UFSCAR
bitstream.url.fl_str_mv https://repositorio.ufscar.br/bitstream/ufscar/13617/1/Disserta__o_Enrique.pdf
https://repositorio.ufscar.br/bitstream/ufscar/13617/3/Termo%20de%20encaminhamento%20da%20vers%c3%a3o%20definitiva.assinado.pdf
https://repositorio.ufscar.br/bitstream/ufscar/13617/4/license_rdf
https://repositorio.ufscar.br/bitstream/ufscar/13617/5/Disserta__o_Enrique.pdf.txt
https://repositorio.ufscar.br/bitstream/ufscar/13617/7/Termo%20de%20encaminhamento%20da%20vers%c3%a3o%20definitiva.assinado.pdf.txt
https://repositorio.ufscar.br/bitstream/ufscar/13617/6/Disserta__o_Enrique.pdf.jpg
https://repositorio.ufscar.br/bitstream/ufscar/13617/8/Termo%20de%20encaminhamento%20da%20vers%c3%a3o%20definitiva.assinado.pdf.jpg
bitstream.checksum.fl_str_mv 34bc2523799833af560e956c95a08381
dea021da51cb2530ebffdd52b78bb2ad
e39d27027a6cc9cb039ad269a5db8e34
c99d2852bda84adb16d0929be8b2c82d
4b229969237684995e45c142d8a6006f
3aec0b9dd1341b29fb2adc5bec80a172
4f4d412c738f0a575bf329eb3c0bae21
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSCAR - Universidade Federal de São Carlos (UFSCAR)
repository.mail.fl_str_mv
_version_ 1813715624479686656