Questão de Banco de Dados — Administração de banco de dados — FUNDATEC 2023
- Código
- qq894923
- Banca
- FUNDATEC
- Órgão
- IF-SC
- Ano
- 2023
- Nível
- Superior
- Cargo
- Professor EBTT - Sistemas Distribuídos
- AForte.
- BEventual.
- CLinearizável.
- DCausal.
- ESerializável.
GabaritoA — Forte.
Gabarito: letra A. A propriedade descrita no enunciado — todas as réplicas devem ter os mesmos dados imediatamente após a conclusão da atualização — é exatamente o que define a consistência forte (strong consistency). Nesse modelo, qualquer operação de escrita é instantaneamente propagada para todas as réplicas, garantindo que leituras subsequentes retornem o valor mais recente.
A banca testa a diferença entre os principais modelos de consistência, muito cobrados em sistemas distribuídos. A pegadinha está em confundir consistência forte com eventual ou com outros conceitos como linearizabilidade e serializabilidade.
Modelo de Consistência | Definição | Sincronização das Réplicas | Atende ao Enunciado? |
|---|---|---|---|
Forte (A) | Após uma escrita, todas as réplicas refletem imediatamente o novo valor, garantindo visão global única. | Imediata e obrigatória | ✅ Sim |
Eventual (B) | Réplicas podem ficar temporariamente inconsistentes, mas convergem ao mesmo valor com o tempo. | Assíncrona e não imediata | ❌ Não |
Linearizável (C) | Ordena operações concorrentes como se fossem executadas em uma ordem total instantânea. | Não é o termo específico para sincronização de réplicas | ❌ Não |
Causal (D) | Operações com relação de causa e efeito são vistas na mesma ordem; escritas concorrentes podem ter ordens diferentes. | Não exige identidade imediata entre réplicas | ❌ Não |
Serializável (E) | Propriedade de transações (ACID) que garante resultado equivalente a uma execução serial. | Não se aplica diretamente à propagação de réplicas | ❌ Não |
A consistência forte (também chamada de consistência imediata) exige que, após uma atualização, todas as réplicas reflitam a mudança antes de qualquer nova operação. É o modelo mais restritivo e garante a visão global única dos dados.
A consistência eventual permite que réplicas fiquem temporariamente inconsistentes; com o tempo, elas convergem para o mesmo valor. Não atende à exigência de sincronização imediata após a conclusão da atualização.
Linearizabilidade é uma propriedade de concorrência que ordena operações como se fossem executadas em uma ordem total instantânea, mas não é o termo usado para descrever a sincronização de réplicas descrita no enunciado. Embora seja uma forma forte, o nome consagrado para o modelo que garante que todas as réplicas sejam iguais após cada escrita é “consistência forte”.
A consistência causal garante que operações com relação de causa e efeito sejam vistas na mesma ordem por todos os nós, mas não exige que réplicas fiquem idênticas após cada atualização. Escritas concorrentes não relacionadas podem ser vistas em ordens diferentes.
Serializabilidade é uma propriedade de transações (geralmente ACID) que assegura que o resultado de uma execução concorrente seja igual ao de alguma execução serial. Não se aplica diretamente à propagação de réplicas em bancos distribuídos; está mais relacionada ao controle de concorrência.
Para fixar, lembre-se: consistência forte = todas as réplicas sincronizadas na hora; consistência eventual = réplicas podem ficar atrasadas, mas eventualmente se atualizam. Linearizável e serializável são conceitos de ordem de operações, não de replicação.
Link permanente: /questoes/qq894923