В чём суть уровня изоляции SERIALIZABLE?

Question

SERIALIZABLE — самый строгий уровень изоляции транзакций. Он гарантирует, что результат параллельного выполнения транзакций эквивалентен их последовательному выполнению. Это устраняет все виды аномалий чтения. Цена за это — снижение производительности и возможные ошибки сериализации. Используется редко и осознанно.

YeaHub · Accepted Answer

Уровни изоляции определяют, как транзакции видят изменения друг друга.ОпределениеSERIALIZABLE — уровень изоляции, при котором параллельные транзакции ведут себя так, как будто они выполняются строго последовательно.Какие проблемы он решаетПеред перечислением важно понимать, какие аномалии вообще существуют.Dirty readNon-repeatable readPhantom readSERIALIZABLE устраняет все эти проблемы.Как это достигаетсяВ зависимости от СУБД используются разные механизмы.БлокировкиЖёсткие lock’иОграничение параллелизмаMVCC + проверкиПроверка конфликтов при commitОткат конфликтующих транзакцийВ PostgreSQL используется второй подход.Побочные эффектыСнижение пропускной способностиРост числа rollback’овОшибки сериализации, требующие повторного выполненияКогда использоватьФинансовые операцииКритичные расчётыИнварианты, которые нельзя нарушатьВыводSERIALIZABLE даёт максимальную корректность, но требует готовности к потерям производительности и повторным попыткам выполнения транзакций.