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

8.1. TIPOS DE RESERVAS 117
8.1.4 Reservas escrow
Uma reserva escrow fornece o direito exclusivo de usar uma parte de um recurso divisível representado
por um elemento de dados numérico. Por exemplo, a existência de um produto (stock) pode ser dividido
entre vários vendedores móveis. Esta reserva é baseada no modelo de divisão (escrow) [111].
O modelo de divisão é aplicado a elementos de dados numéricos que representam recursos idênticos 2
e divisíveis — por exemplo, o número de CDs existentes num armazém, x. Para estes dados é comum que
as seguintes propriedades sejam válidas. Primeiro, eles são actualizados através da adição e subtracção
de constantes — por exemplo, quando k CDs são vendidos, faz-se x ← x − k. Segundo, é necessário
manter restrições quanto aos valores que esses dados podem tomar — por exemplo, a existência mínima
de CDs é min, ou seja x ≥ min.
Para estes elementos de dados (chamados elementos de dados fungíveis) é possível dividir os recursos
disponíveis por várias réplicas — por exemplo, pode dividir-se x em n partes xi,1 ≤ i ≤ n, tal que x = ∑xi.
Cada réplica tem associada uma restrição local que garante a validade da restrição global, xi ≥ mini :
min = ∑mini. Cada réplica pode garantir independentemente o resultado das transacções que respeitam
as restrições locais, i.e., é possível garantir o resultado de transacções que subtraiam até xi − mini (valor
agregado relativo a todas as transacções garantidas na réplica i) a xi.
Exemplo: Seja dez o valor actual da existência de CDs (x = 10) e dois o seu valor mínimo (x ≥ 2).
Usando o modelo de divisão (escrow) é possível dividir a existência actual por duas réplicas — por
exemplo, a primeira réplica pode ficar com seis CDs (x1 = 6) e a segunda réplica com quatro CDs
(x2 = 4). A restrição global deve também ser dividida entre as duas réplicas — por exemplo, a existência
mínima em cada réplica pode ser igual a um (x1 ≥ 1 ∧ x2 ≥ 1). A primeira (respectivamente segunda)
réplica pode garantir transacções que subtraiam até cinco (respectivamente três) CDs à existência de CDs
(x1 − min1 = 6 − 1 = 5 e x2 − min2 = 4 − 1 = 3).
Discute-se agora a implementação do modelo de divisão no sistema Mobisnap. Para reconhecer
os aspectos envolvidos, considere-se a transacção móvel apresentada na figura 8.1, na qual se insere
uma nova encomenda submetida por um vendedor móvel. Nesta transacção é possível usar as técnicas
de divisão para garantir a disponibilidade da existência do produto. A transacção executa os seguintes
passos para actualizar a existência do produto: (1) o valor actual é lido e a validade da operação verificada
(linhas 3-4); (2) o valor do elemento de dados que representa a existência é actualizado para reflectir a
operação executada (linha 5). Estes passos representam um padrão na actualização de elementos de
dados divisíveis.
O primeiro aspecto a considerar consiste na garantia da validade da operação (passo 1). Para tal, é
2 Na secção 8.5 mostra-se como é possível solucionar problemas com recursos não idênticos usando o sistema de reservas
— por exemplo, a marcação de lugares num comboio.