Como é que o mecanismo de isolamento de transações do tipo Serializable é implementado nas bases de dados?

O isolamento de transações ao nível Serializable garante isolamento completo, como se as transações fossem executadas sequencialmente. Para implementar esse mecanismo, os bancos de dados usam diferentes abordagens:

• Bloqueios (locking): as transações bloqueiam linhas ou tabelas para evitar alterações simultâneas nos dados, o que pode levar a anomalias.
• Multiversão (MVCC): o banco armazena várias versões dos dados, e as transações veem um estado consistente no momento do início, prevenindo conflitos.
• Acompanhamento de conflitos: ao fazer commit, verifica-se se ocorreram conflitos com outras transações; se forem detectados, uma das transações é revertida.

Por exemplo, no PostgreSQL, para Serializable, é utilizado um mecanismo semelhante ao MVCC com uma verificação adicional de conflitos, o que permite evitar leituras fantasmas e outras anomalias.