Caracterização de serviços de Internet geo-replicados
Data(s) |
03/04/2014
03/04/2014
2013
|
---|---|
Resumo |
Dissertação para obtenção do Grau de Mestre em Engenharia Informática Com o aumento da popularidade de serviços distribuídos que recorrem à geo-replicação, a comunidade científica tem efectuado um esforço activo para desenvolver modelos de consistência e esquemas de replicação, que permitam a estas aplicações encontrar um equilíbrio adequado entre desempenho e a exposição da camada de replicação para os utilizadores destas aplicações. No entanto, é pouco claro quais os modelos de consistência que são oferecidos por aplicações reais e extremamente populares, como por exemplo o Facebook ou o Twitter. Nesta tese é proposta uma metodologia e é descrita uma arquitectura que pretende validar um conjunto de propriedades relevantes relativas ao modelo de consistência oferecido por aplicações reais de grande escala. Em particular a nossa abordagem permite verificar violações de propriedades de sessão bem conhecidas, assim como verificar se a causalidade entre os efeitos das operações observados pelos utilizadores é violada. Adicionalmente, a nossa abordagem tenta também inferir a janela de divergência observada pelos clientes. Desta forma consegue-se observar que garantias de consistência são respeitadas por um serviço distribuído sem que seja necessário ter conhecimento sobre o seu funcionamento interno, permitindo construindo melhores modelos de consistência. Esta metodologia serve ainda como uma ferramenta auxiliar no desenvolvimento de um serviço distribuído, permitindo verificar se este oferece o modelo de consistência esperado. |
Identificador | |
Idioma(s) |
por |
Publicador |
Faculdade de Ciências e Tecnologia |
Direitos |
openAccess |
Palavras-Chave | #Modelos de consistência #Replicação #Serviços geo-distribuídos |
Tipo |
masterThesis |