Framework de replicação de objectos CORBA

• Autor(a) principal: Aragão, António Pedro Sarmento Coelho Carneiro de
• Data de Publicação: 2001
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/1822/743

A replicação é hoje em dia muito utilizada nos sistemas distribuídos como mecanismo de tolerância a falhas, para manter a disponibilidade e a fiabilidade desejada. Entre outras razões, destaca-se o facto da replicação se encaixar muito naturalmente no modelo cliente-servidor, que é o paradigma básico dos sistemas distribuídos. Com a chegada de infra-estruturas de comunicação baseadas em objectos, como é o caso do CORBA, torna-se necessária a existência de um serviço que possa oferecer replicação de objectos. No entanto, este tipo de serviço está ausente dos serviços básicos que compõem o CORBA. Para prover o CORBA com um serviço deste tipo é indispensável abordar problemas como a coerência entre réplicas e os efeitos laterais associados ao acto de migrar um sistema distribuído não replicado para um com replicação. As soluções para as questões anteriores podem estar na definição de um modelo de sistema genérico e com certas premissas necessárias para poder tornar solúveis estes problemas, tal como a utilização de um detector de falhas para se poder suspeitar da eventual falha de réplicas, ainda que incorrecta, de modo a manter o progresso no sistema. Outras questões, não relacionadas com a replicação, mas sim com o desempenho do sistema e com a própria migração de sistemas, levam a necessidade da construção de uma framework de replicação como apoio ao programador, de modo a facilitar a migração para um sistema replicado. Neste trabalho descreve-se uma framework de replicação em ambiente CORBA, em que a estratégia de replicação é baseada em Quorum Consensus. As réplicas são todas equivalentes entre si; o sistema progride mesmo que existam partições na rede, desde que exista um quórum de escrita. O acordo entre réplicas e conseguido com base no algoritmo Early-Consensus que usa canais Stubborn na impossibilidade de canais fiáveis.