gestão de dados partilhados em ambientes de computação móvel

11.1. REPLICAÇÃO 187
execução das operações por ordem diferente nas várias réplicas.
Nenhuma das soluções propostas é óptima em todas as situações. Assim, no sistema DOORS, o
framework de componentes permite reutilizar diferentes estratégias de reconciliação. Cada coobjecto
pode seleccionar a solução mais adequada, i.e., aquela que permite implementar a estratégia de resolução
de conflitos pretendida de forma mais simples.
Independentemente da estratégia de reconciliação escolhida no sistema DOORS ou da integração do
sistema SqlIceCube no sistema Mobisnap, a execução final das operações no(s) servidor(es) permite que
as operações lidem de forma específica com os problemas da execução independente de operações, por
exemplo, definindo regras de detecção e resolução de conflitos.
11.1.10 Prevenção de conflitos
A replicação optimista pode levar à submissão concorrente de modificações que actuam sobre os mesmos
objectos. Nas subsecções anteriores apresentaram-se técnicas de reconciliação que permitem unificar
as modificações executadas concorrentemente. Devido à possibilidade de as modificações produzidas
serem conflituantes, apenas é possível determinar o resultado final de uma operação após o processo de
reconciliação. Nesta secção abordam-se técnicas que permitem evitar os conflitos e comparam-se estas
técnicas com as implementadas no sistema Mobisnap.
Os trincos (locks) [60] são a técnica tradicional para evitar conflitos, permitindo que apenas um
utilizador aceda a um objecto em cada momento. No entanto, num ambiente de computação móvel, no
qual os dispositivos móveis podem permanecer desconectados durante longos períodos de tempo, esta
técnica pode impor restrições inaceitáveis à concorrência em objectos partilhados por vários utilizadores:
um dispositivo desconectado impede qualquer acesso a um objecto para o qual possua um trinco.
As versões fracas de trincos (por exemplo, tickle locks [64], trincos optimistas [61], trincos probabi-
lísticos [63]) permitem que se aceda a um objecto sem possuir uma garantia de exclusividade de acesso.
Estas técnicas optimistas foram propostas para ambientes com boa conectividade, nos quais fornecem
uma razoável probabilidade de acesso exclusivo. No entanto, em situações de desconexão, as garantias
que podem oferecer são praticamente nulas.
No sistema Prospero [42], estendeu-se a noção de trinco de forma a restringir a divergência entre
vários fluxos de actividade. Para tal, os utilizadores especificam uma promessa relativa às operações
que executam e obtém garantias relativas ao estado dos objectos. Estas garantias podem ser usadas para
garantir a inexistência de conflitos. Ao contrário dos trincos, as promessas e garantias são especificadas
(indirectamente) em termos da execução de uma dada operação. Por exemplo, a promessa de não modifi-
car a estrutura de um documento está associada à não execução da operação de modificação da estrutura
do documento. Assim, o utilizador pode obter a garantia da manutenção da estrutura do documento se