Banco de Dados II — 2026.2

Aula 7
Recuperação

👨‍🏫 Prof. Gustavo Pinto 🏛️ UFPA 📅 12 de novembro de 2026 🕐 7h30 – 9h

Três tipos de falha

De transação

O comando falha, ou o usuário pede rollback. Resolvido no M6.

De sistema

A máquina cai. A memória some, o disco fica. É o M7.

kill -9

De mídia

O disco morre. Só backup e replicação resolvem.

fora do escopo

A regra

Escreva no log, e force o log para o disco, antes de escrever a página de dados. Em inglês, write-ahead logging.

Se a página foi gravada e o log não, não há como saber o que desfazer
Se o log foi gravado e a página não, dá para refazer
A ordem é a única coisa que separa um banco confiável de um arquivo

O que acontece na partida

Passagem 1, refazer. Lê o log do começo ao fim e reaplica tudo, inclusive o que já estava no disco
Passagem 2, desfazer. Volta pelo log desfazendo as transações que não têm COMMIT
Ao fim, o banco contém exatamente as transações confirmadas

Refazer precisa ser idempotente: aplicar duas vezes tem que dar o mesmo resultado que aplicar uma.

Por que refazer o que já está no disco?

Não seria mais rápido refazer só o necessário?

Seria, e é o que os bancos reais fazem
Para isso é preciso saber qual versão do log cada página já reflete
Isso é o número de sequência de log, a tabela de páginas sujas e o checkpoint
Nós lemos o log inteiro. Mais lento, e muito mais fácil de entender

O critério de pronto, enfim

Um SELECT com WHERE, dentro de uma transação, e o banco volta consistente depois do kill -9 no meio do commit.

Se o kill vier antes do fsync do commit: a transação não aconteceu
Se vier depois: a transação aconteceu, e o refazer a reconstrói
Não existe meio termo. É isso que os testes de aceitação verificam

Dúvidas?

Próxima: laboratório do M7, e o kill -9. Antes disso, o exercício de hoje

📧 gpinto@ufpa.br

Exercício de hoje

<T1, INICIO>
<T1, conta, pagina 3, slot 7, antes=100, depois=250>
<T2, INICIO>
<T2, conta, pagina 3, slot 2, antes=500, depois=350>
<T1, COMMIT>
<T2, conta, pagina 9, slot 1, antes=0, depois=80>

1. Quais registros a passagem de refazer aplica?
2. Quais a passagem de desfazer reverte, e nessa ordem?
3. Qual o valor final de cada slot depois da recuperação?
4. Mostre, registro a registro, por que rodar o refazer duas vezes dá o mesmo resultado que rodar uma

O item 4 é a idempotência do refazer. É a propriedade que permite ler o log inteiro na partida sem precisar de checkpoint.

Aula 7Recuperação