LINUX.ORG.RU

История изменений

Исправление aist1, (текущая версия) :

Вообще-то select for update — это уже уровень serializable, а не snapshot.

Да, тут надо пояснить. Считается, что констрейнты (C in ACID) нельзя соблюсти полностью без сериализации транзакций. Т.е. один только SI не прокатит, так как есть write skew, для частичного отстранения от которого нужен select for update.

Я не буду спорить, что S4U+SI это это еще не строгая сериализуемость. В голове где-то крутится контрпример, но не выходит наружу. Я просто не уверен, что S4U позволяет избавиться от write skew полностью.

Исходная версия aist1, :

Вообще-то select for update — это уже уровень serializable, а не snapshot.

Да, тут надо пояснить. Считается, что констрейнты (C in ACID) нельзя соблюсти полностью без сериализации транзакций. Т.е. один только SI не прокатит, так как есть write skew, для частичного отстранения от которого нужен select for update.

Я не буду спорить, что S4U+SI это это еще не строгая сериализуемость. В голове где-то крутится контрпример, но не выходит наружу.