tengiz wrote:vc wrote:I am objecting to your rather unsound extension of the starndard serializability theory. When you start talking about subset conflicts, you are essentially using predicate locking metaphor which I find a little disingenuous. Let's use the assumption that we do not have predicate locking and we do not have key range locking. Let's reason from there. As soon as we introduce either, there is nothing to discuss as there is no problem to solve any more, either machanism will handle it...
...Let's talk about solving our little quizz within the standard serializability theory, but without relying on tricks like PL or key-range locking.
Тогда я думаю что обсуждать нам больше нечего - у нас наступило долгожданное взаимопонимание - без предикатных блокировок реализованных в любом виде, 2PL в общем случае не работает и пригодна только для специальных случаев, давно потерявших актуальность. А как только мы вводим в арсенал предикатные блокировки (несмотря на остутствие качественной, в смысле высокопроизводительной и разумной по ресурсам, их реализации в прямом виде - блокировки диапазонов индексов в любом виде не в счёт) или, что абсолютно эквивалентно, расширяем определение атомарного объекта манипуляции до множеств объектов, заданных предикатами - то всё становится на свои места. Зачем только намеренно сужать область действия модели, выбрасывая из неё существенную часть, я, честно говоря, не понимаю. Заведомо понятно, что сценарии где возможны любые виды фантомов не могут быть гарантированно правильно проанализированы таким аппаратом.
Может, я просто зевнул, о каком точно quizz мы говорим?
Yes, the funny thing is that our 'disagreement' stems from the fact that I've been trying to stay within the confines of the standard serializability theory (r/w over a possibly infinite static set of data items with conflicts defined over those two operations) whilst you, implicitly, extended the data items to subsets and conflicts between the latter. I was a bit surprised by the whole discussion as I'd been pretty sure you knew about the standard serializability limitations. As usual, I can blame only my poor writing skills for the misunderstanding. Sorry and thank you..