Início / dba / Perguntas / 116230
Accepted
Gea-Suan Lin
Asked: 2015-09-26 23:18:45 +0800 CST

O REPEATABLE-READ do SQL92 impede o Write Skew (A5B)?

  • 772

LEITURA REPETÍVEL

Na definição do SQL92REPEATABLE READ , é definido por condições de servidor.

P1 ("Leitura suja"):

1) P1 ("Dirty read"): a transação SQL T1 modifica uma linha. A transação SQL T2 então lê essa linha antes que T1 execute um COMMIT. Se T1 então executar um ROLLBACK, T2 terá lido uma linha que nunca foi confirmada e que, portanto, pode ser considerada como nunca existiu.

P2 ("Leitura não repetível"):

2) P2 ("Non-repeatable read"): a transação SQL T1 lê uma linha. A transação SQL T2 modifica ou exclui essa linha e executa um COMMIT. Se T1 tentar reler a linha, ele pode receber o valor modificado ou descobrir que a linha foi deletada.

Atomicidade e no updates will be lost:

Os quatro níveis de isolamento garantem que cada transação SQL seja executada completamente ou não seja executada e que nenhuma atualização seja perdida.

Tabela 9, cuja definição REPEATABLE READdeve excluir P1 e P2:

A Tabela 9, "Níveis de isolamento da transação SQL e os três fenômenos" especifica os fenômenos possíveis e impossíveis para um determinado nível de isolamento.

Portanto, na definição do SQL92 de REPEATABLE READ, ele deve excluir P1, P2 e suporte para atomicidade, sem perda de atualização.

A5B (escrever enviesado)

Por outro lado, A5B (Write Skew) é definido em A Critique of ANSI SQL Isolation Levels :

Suponha que T1 leia x e y, que são consistentes com C(), e então um T2 leia x e y, escreva x e confirme. Então T1 escreve y. Se houvesse uma restrição entre x e y, ela poderia ser violada. Em termos de histórias:

r1[x]...r2[y]...w1[y]...w2[x]...(c1 e c2 ocorrem)

(Escrever Inclinação)

Preclude REPEATABLE READA5B (Write Skew)?

No documento posterior, ele afirma REPEATABLE READque impedirá A5B (desvio de gravação) na Tabela 4. Tipos de isolamento caracterizados por possíveis anomalias permitidas. , e não estou convencido.

Alguma ideia?

isolation-level

1 respostas

  1. Best Answer

    O REPEATABLE READ impede o Write Skew?

    Sim - se você aceitar a visão da Crítica de que as definições ANSI foram baseadas em comportamentos de bloqueio, por exemplo:

    Observação 6. Os níveis de bloqueio de isolamento da Tabela 2 e as definições fenomenológicas da Tabela 3 são equivalentes. Dito de outra forma, PO, PI, P2 e P3 são redefinições disfarçadas do comportamento de bloqueio.

    Desse ponto de vista, a história:

    r1[x]...r2[y]...w1[y]...w2[x]...(c1 and c2 occur)

    ...é impedido quando bloqueios compartilhados de leitura de longa duração são obtidos, porque w1[y]é bloqueado pelo bloqueio obtido por r2[y]. Da mesma forma, w2[x]seria bloqueado pelo bloqueio feito por r1[x]. Portanto, esta história não pode surgir.

    Não - se você interpretar literalmente as definições ANSI. Estes são amplamente vistos como incompletos, então esse resultado não é realmente tão surpreendente.

    • 4

relate perguntas