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

200 APÊNDICE A. DOORS
lado, na cópia j, tem-se necessariamente v[m] < n, porque a execução de op j, posterior a opi, impede
esta de ser executada (e a ordem definida garante que nenhuma outra operação submetida no servidor
identificado por m pode ser executada). Nesta cópia, é impossível que o servidor associado a m tenha
sido removido (porque o modo de funcionamento do coobjecto garante que uma operação de remoção
apenas é executada após a execução de todas as operações submetidas nesse servidor). Desta forma, a
execução de dois conjuntos diferentes de operações leva a que o identificador da vista seja igualmente
diferente.
A.1.2 Protocolo local de mudança de vista
O protocolo local de mudança de vista é executado localmente num servidor sempre que é necessário
modificar o estado do coobjecto de filiação. Este protocolo executa, de forma atómica, as actualizações
necessárias nos identificadores dos servidores usados em todos os coobjectos do volume. No fim da
execução do protocolo diz-se que foi instalada a vista definida pelo coobjecto de filiação.
O protocolo local de mudança de vista consiste nos seguintes passos executados no servidor i, dado
um conjunto de operações a executar sobre o coobjecto de filiação:
1. Qualquer acesso à cópia do volume no servidor i é impedido (incluindo os acessos aos coobjectos
pertencentes a esse volume).
2. São executadas as operações desejadas no coobjecto de filiação (que podem incluir operações
recebidas de outro servidor). O estado final do coobjecto define a nova vista que vai ser instalada
na cópia do volume.
3. Se um novo identificador de vista foi definido (i.e., se foi executada alguma operação que al-
tere a filiação), todos os coobjectos são informados da nova vista e das mudanças necessárias
para converter os identificadores antigos nos novos. Normalmente, os identificadores já existentes
mantêm-se e não é necessário executar nenhuma acção nos coobjectos.
4. O protocolo termina e permite-se, de novo, o acesso à cópia do volume.
Se durante a execução do protocolo existir alguma falha no servidor, o protocolo volta a ser reiniciado
no ponto onde falhou. As falhas na execução do protocolo são detectadas da seguinte forma. O início
do protocolo é registado em memória estável, onde se guarda a data de início — após a conclusão do
protocolo esta informação é removida. Quando um servidor é reiniciado, qualquer registo de início do
protocolo na memória estável corresponde a uma execução não terminada. Uma falha durante o passo 2
é detectada pelo facto de o estado do coobjecto de filiação guardado em memória estável ter uma data
são submetidas).