O que precisa funcionar ao fim

• Forçar o log ao disco no commit
• Refazer, lendo o log do começo
• Desfazer as transações sem commit
• Sobreviver ao kill -9

Por onde começar

• O fsync do commit é uma linha, e é a linha mais importante do semestre
• Refazer aplica tudo, inclusive o que já está gravado. Precisa ser idempotente
• Testem matando o processo em três momentos diferentes

Armadilhas conhecidas

• Refazer transações que não confirmaram
• Esquecer o fsync, e passar nos testes por sorte
• Assumir que o log está íntegro no fim, quando pode estar cortado no meio

A entrega

• Pull request no repositório da dupla, com os testes de aceitação passando
• NOTES.md com um parágrafo sobre a decisão mais difícil deste módulo
• Histórico de commits que mostre o trabalho acontecendo, não um despejo final

Depois do prazo publico a implementação de referência, e a partir daí este módulo não vale mais pontos.

Exercício de saída

• 1. Mate o processo antes do fsync do log, e registre o estado do banco na partida seguinte
• 2. Mate depois do fsync do log, mas antes de a página de dados ir para o disco
• 3. Mate depois de a página ir para o disco, e confira que o refazer não corrompe nada

Os três casos são o critério de pronto do semestre. Se algum deles deixa o banco em um estado que não é nem antes nem depois da transação, o M7 ainda não terminou.