| dc.contributor | Rosa, Pedro Frosi | |
| dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4791965U0 | |
| dc.contributor | Cattelan, Renan Gonçalves | |
| dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4770308A4 | |
| dc.contributor | Kofuji, Sergio Takeo | |
| dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4727731T4 | |
| dc.creator | Hashimoto, Gilberto Tadayoshi | |
| dc.date | 2016-06-22T18:32:15Z | |
| dc.date | 2010-01-25 | |
| dc.date | 2016-06-22T18:32:15Z | |
| dc.date | 2009-09-02 | |
| dc.date.accessioned | 2023-09-28T20:40:07Z | |
| dc.date.available | 2023-09-28T20:40:07Z | |
| dc.identifier | HASHIMOTO, Gilberto Tadayoshi. Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade. 2009. 79 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2009. | |
| dc.identifier | https://repositorio.ufu.br/handle/123456789/12484 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/9055930 | |
| dc.description | Behind the growth of the amount of broadband users connections in the
world, the wide use of mobile devices as cell phones and PDAs and other access
from anywhere throughout Internet, always require some level of availability to
support customer needs. This necessity made which the high availability
architectures were used on large scale and they were migrated to service
providers that they offer solutions and ensure the short time to repair. This
dissertation addresses high availability , one of the basic requirements of
today systems on the Internet, presenting the main concepts and the possible
solutions. Some protocols will be presented that support these solutions
showing the advantages and disadvantages as well as the study on the basis of
the problems presented in a production environment. The identification of splitbrain
and no-brain phenomena was determiner for the solution problem. This
work proposes a protocol extension for high availability architectures
regarding split-brain and no-brain issues found out on protocols which resides
in that kind of architecture and the utilization of the formal language methods
to ensure its functioning. | |
| dc.description | Mestre em Ciência da Computação | |
| dc.description | Com o crescimento mundial no número de acesso banda larga e a ampla
utilização de dispositivos móveis como telefones celulares, PDAs e outros tipos
de acesso conectados à Internet, fica cada vez mais evidente que existam
usuários com necessidade de suporte a algum nível de disponibilidade. Essa
necessidade fez com que as arquiteturas de alta disponibilidade fossem
utilizadas em larga escala e que na grande maioria foram migradas para os
provedores de serviço que oferecem soluções e tempos de reparos arrojados.
Esta dissertação aborda o tema alta disponibilidade que é um dos requisitos
básicos dos sistemas que utilizam a internet, apresentando os principais
conceitos e as possíveis soluções encontradas no mercado. Serão apresentados
alguns protocolos que suportam estas soluções apontando as suas vantagens e
fraquezas bem como um estudo com base em problemas apresentados em um
ambiente de produção. A identificação dos fenômenos de cérebro bi-partido e
ausência de cérebro foi determinante para a solução do problema. O trabalho
propõe uma extensão para um protocolo para arquiteturas de alta
disponibilidade visando resolver os problemas apresentados e a utilização de
uma ferramenta de descrição formal para garantir o seu funcionamento. | |
| dc.format | application/pdf | |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Uberlândia | |
| dc.publisher | BR | |
| dc.publisher | Programa de Pós-graduação em Ciência da Computação | |
| dc.publisher | Ciências Exatas e da Terra | |
| dc.publisher | UFU | |
| dc.rights | Acesso Aberto | |
| dc.subject | HA | |
| dc.subject | SCTP | |
| dc.subject | VRRP | |
| dc.subject | Métodos formais | |
| dc.subject | Engenharia de
protocolos | |
| dc.subject | Redes de computação - Protocolos | |
| dc.subject | Redes de computação - Medidas de segurança | |
| dc.subject | Formal methods | |
| dc.subject | Protocol engineering | |
| dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | |
| dc.title | Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade | |
| dc.type | Dissertação | |
