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

3.3. FRAMEWORK DE COMPONENTES: COMPONENTES 45
derivados deste subobjecto devem iniciar o seu código invocando este método. A operação de restauro,
além de colocar o estado do subobjecto em activo, insere o subobjecto no conjunto de subobjectos raiz.
Um terceiro subobjectos base mantém um objecto (opaco) com múltiplas versões. Este subobjecto
define duas operações básicas que alteram o seu estado: criar e remover uma versão. Internamente cada
versão é imutável e é identificada por um identificador único. A modificação de uma versão do objecto
é implementada removendo a versão antiga e criando uma nova versão. Esta aproximação leva à ine-
xistência de conflitos entre operações executadas concorrentemente. Por exemplo, duas modificações
concorrentes de uma mesma versão levam a uma dupla remoção da versão antiga (a segunda remoção é
ignorada) e à criação de duas novas versões. Este subobjecto garante que as suas várias réplicas conver-
gem para um estado comum desde que as operações sejam executadas nos servidores respeitando a ordem
causal. Este subobjecto base pode ser especializado de forma a definir o tipo de objectos armazenados.
O quarto subobjecto base criado mantém uma lista de referências únicas para outros subobjectos,
i.e., em cada lista de referências não existe nenhum elemento repetido. Duas operações básicas foram
definidas: inserir e remover uma referência para um subobjecto. Adicionalmente, definiu-se uma opera-
ção para mover uma referência. A execução desta operação remove a referência no subobjecto em que
executa e (em caso de sucesso na remoção) adiciona a referência no mesmo ou noutro subobjecto. A
operação de remoção remove a referência indicada (quando ela existe) independentemente da sua posi-
ção na lista. A operação de inserção indica a posição em que a referência deve ser inserida. A existência
de operações submetidas concorrentemente pode levar a que a posição de inserção de uma referência seja
diferente da desejada, se o componente de reconciliação não executar um algoritmo de transformação de
operações, como discutido na secção 4.1 (as operações incluem o código necessário para suportar esse
algoritmo).
Para que as várias réplicas de um subobjecto convirjam para o mesmo estado é necessário executar
todas as operações pela mesma ordem em todas as réplicas. O código das operações não efectua nenhum
tratamento especial para as operações submetidas concorrentemente. Assim, para operações que actuam
sobre referências diferentes, o efeito de todas as operações é reflectido no estado final do subobjecto.
Relativamente às operações que actuam sobre uma mesma referência, a ordem de execução das operações
determina o seu efeito no estado final do subobjecto.
O subobjecto lista de referências pode ser especializado para definir o tipo de referências que podem
ser adicionadas.
O quinto subobjecto base implementa a interface de uma base de dados relacional SQL. Assim, este
subobjecto define: uma operação de leitura, que permite executar interrogações SQL; e uma operação de
escrita, que permite executar as instruções de modificação SQL. Para armazenar os dados e executar as
invocações, este subobjecto utiliza uma base de dados gerida pelo núcleo do sistema, como um dos recur-