Avaliação das Garantias de Consistência em Serviços Geo-replicados

Comoaumentodapopularidadedeserviçosdistribuídosque 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. Neste artigo, propomos uma metodologia e descrevemos uma arqui- tectura 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 inferir a Janela de Divergência máxima observada pelos clientes. O sistema alvo é visto como uma caixa negra, não sendo necessário qualquer co- nhecimento base sobre a operação interna do mesmo, e baseia-se num conjunto de dois testes que propomos no artigo.