MVCC e isolation levels de verdade (sem simplificação)

• → cria
• → a antiga é marcada como removida
• → ainda enxerga
• → quando ninguém mais a vê

• Compute
• Conceito de arquitetura

Toda a mecânica sai de uma decisão: atualizar cria versão em vez de sobrescrever. Dela vêm a concorrência boa, o inchaço e o fato de uma transação esquecida ser capaz de degradar o banco inteiro.

1. 1 · Atualizar não sobrescreve — cria versão. A linha antiga continua no disco, marcada como removida por aquela transação. É essa escolha que sustenta tudo o mais.
2. 2 · Cada transação enxerga um instantâneo. A transação que começou antes continua vendo a versão antiga, mesmo depois de B confirmar. Não é dado velho por acidente: é a garantia de consistência dela.
3. 3 · Leitor não bloqueia escritor. É a consequência prática mais importante. Uma consulta longa de relatório não trava as escritas, porque ela lê versões que ninguém está alterando.
4. 4 · O nível de isolamento é quando o instantâneo é tirado. Por comando ou por transação — essa é a diferença essencial entre os níveis mais usados, e ela explica por que um vê mudança no meio da transação e o outro não.
5. 5 · O custo é acumular versão morta. Toda atualização deixa lixo. Sem limpeza, a tabela cresce mesmo com o número de linhas estável, e a leitura fica mais lenta porque percorre versões que já não valem.
6. 6 · Transação aberta e esquecida bloqueia a limpeza. A limpeza só remove o que NENHUMA transação ainda pode ver. Uma conexão ociosa com transação aberta segura versões antigas por horas — é a causa mais comum de inchaço.