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

3.3. FRAMEWORK DE COMPONENTES: COMPONENTES 43
mantém referências para todos os subobjectos criados. Segundo, mantém referências para um conjunto
de subobjectos raiz (acessíveis através de um nome). As aplicações navegam nos subobjectos contidos
num coobjecto a partir destes subobjectos raiz. Finalmente, controla a persistência dos subobjectos no
servidor. Para esta função duas técnicas básicas são geralmente adoptadas: a reciclagem automática
(garbage-collection), em que um subobjecto é removido quando ele se torna inacessível a partir dos su-
bobjectos raiz; e a remoção explícita, em que um subobjecto é removido pela execução explícita de uma
operação de remoção.
Componentes pré-definidos No protótipo do sistema DOORS, implementou-se um gestor de subob-
jectos que combina a reciclagem automática com a remoção explícita de forma simples. Periodicamente,
em cada servidor, determina-se o conjunto de subobjectos que não pode ser alcançado a partir dos su-
bobjectos raiz. Estes subobjectos são marcados como removidos (os outros são marcados como activos)
mas não são imediatamente eliminados. Assim, um subobjecto removido pode passar a activo se alguma
operação não executada no servidor tornar esse subobjecto acessível novamente.
O processo de eliminação de um subobjecto inicia-se, em qualquer réplica, quando o sistema ne-
cessita de espaço livre ou um subobjecto permanece removido durante um período de tempo grande
(actualmente, 30 dias). Quando uma das condições anteriores se verifica submete-se a operação de eli-
minação definida no gestor de subobjectos (a qual é propagada para todas as réplicas e executada de
acordo com a política de reconciliação definida no coobjecto). A execução desta operação elimina o
subobjecto. Esta aproximação garante que todas as réplicas eliminam o mesmo conjunto de subobjectos.
O bom funcionamento desta estratégia baseia-se no pressuposto que, quando se emite a operação
de eliminação de um subobjecto, todas as operações que o podem tornar acessível já foram executadas
em todos os servidores. A provável satisfação desta propriedade é consequência do período de tempo
longo que separa a decisão de eliminar um subobjecto da detecção inicial da sua inacessibilidade (e em
consequência da impossibilidade de executar operações que se refiram a esse subobjecto). Como se re-
feriu, este período de tempo pode ser encurtado pela necessidade de um servidor obter espaço livre. No
entanto, pressupõe-se igualmente que o espaço de armazenamento disponível em cada servidor é sufici-
entemente grande para que a propriedade inicial seja satisfeita (o sistema de ficheiros Elephant [148] usa
um pressuposto semelhante).
Quando uma operação torna acessível um subobjecto eliminado anteriormente, o gestor de subob-
jectos pode criar uma nova cópia do subobjecto. Para tal, o programador deve especificar, quando cria o
subobjecto, o modo como esta cópia é criada (de forma semelhante às cópias de substituição no meca-
nismo de invocação cega descrito na secção 4.3).
Esta implementação do gestor de subobjectos não lida com os problemas da execução de operações
em subobjectos não acessíveis a partir de uma raiz ou mesmo de subobjectos já eliminados. Assim,