Bancos de Dados Distribuídos

Um banco de dados distribuído é um conjunto de itens em servidores independentes, sem memória compartilhada, que ainda precisa parecer um único repositório.

Controle de concorrência, commit atômico e modelos de consistência deste tópico — e redundância e sistemas de arquivos nos seguintes — partem dessa coleção e da coordenação entre os nós.

As páginas se agrupam em quatro blocos. O primeiro escolhe, para cada operação concorrente, se ela executa agora, espera ou aborta.

O segundo trata a transação que atualiza vários servidores como uma só unidade: ACID, plana ou aninhada, e o commit em duas fases.

O terceiro restringe quando a leitura numa réplica pode ver a escrita noutra: linearizável, sequencial, causal ou eventual.

O quarto decide onde cada item fica e quantas cópias existem, e se a escrita espera as réplicas ou propaga depois.

Crescimento e encolhimento de bloqueios (2PL), wait-die, wound-wait e validação OCC estão em Controle de Concorrência. Prepare e commit entre servidores (2PC), transação plana e filhos paralelos estão em Transações Distribuídas.

O contrato sobre quando a leitura numa réplica vê a escrita está em Modelos de Consistência. Esperar as cópias antes de devolver sucesso, ou responder e propagar depois, está em Distribuição de Dados.

Serializabilidade — efeito equivalente a alguma ordem serial das transações — está em Controle de Concorrência. Linearizabilidade — cada operação num instante entre invocação e resposta — está em Modelos de Consistência.

Partir as chaves entre nós está em Distribuição de Dados. O commit atômico da transação que atravessa vários desses nós está em Transações Distribuídas.