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

A.1. FILIAÇÃO 211
2. Um servidor j, no qual o estado do servidor i é a_remover(uid), após executar as verificações
que considere necessárias, deve submeter a operação agreeRemove( j,uid) ou rollback(uid) se,
respectivamente, concordar ou discordar da remoção do servidor (e, caso concorde, actuar em
conformidade com essa decisão).
3. A execução da operação readyRemove no servidor i, verifica se i é o responsável por efectuar a
remoção, considerando todos os pedidos de remoção pendentes (i.e., se é o servidor com menor
número de ordem na vista actual dos servidores que não se incluem no conjunto de servidores
prontos a serem removidos). O responsável pela remoção, actua como patrocinador da remoção e
executa as seguintes operações (sem permitir acessos concorrentes de outros servidores ou clien-
tes): (1) informa todos os coobjectos do volume quais são os servidores que vão ser removidos;
(2) submete as operações de remoção respectivas (através do protocolo local de mudança de vista).
O mecanismo de remoção forçada de um servidor leva a que operações propagadas por um cliente
para o servidor removido sejam perdidas caso não tenham sido anteriormente propagadas para outro
servidor que permaneça no sistema. Assim, este mecanismo apenas deve ser usado em relação aos servi-
dores que se encontram permanentemente desconectados do sistema (por exemplo, devido a terem sido
danificados). Se um servidor removido não estiver permanentemente desconectado, ele deve propagar as
operações que recebeu de clientes para um servidor que esteja a replicar o volume e, caso pretenda, pedir
a sua inserção no grupo de replicadores.
A.1.8 Protocolo de execução dos blocos só-uma-vez em ordenações por verificação da
estabilidade
Nos protocolos que ordenam as operações verificando a estabilidade da ordem (ordem causal – sec-
ção 4.1.3, ordem total – secção 4.1.4.2), quando um servidor sai voluntariamente do grupo de replica-
dores de um volume, o patrocinador assume a responsabilidade de executar os blocos só-uma-vez das
operações que ainda não tenham sido executadas no servidor removido. No entanto, como o patroci-
nador pode já ter executado algumas das operações das quais devia executar os blocos só-uma-vez, o
seguinte protocolo é usado para garantir que os blocos só-uma-vez são executados uma e uma só vez:
1. Quando a réplica de um coobjecto num servidor é informada que esse servidor vai ser removido
do grupo de replicadores (passo 4 do protocolo de remoção), executa uma operação que indica
quais as operações executadas até esse momento e quais as operações pelas quais é responsável
por executar os blocos só-uma-vez (neste caso, as operações recebidas no servidor e aquelas cuja
responsabilidade possa ter sido delegada anteriormente). Esta operação delega no patrocinador a
responsabilidade de executar os blocos só-uma-vez das operações ainda não executadas.