> Тебе действительно это важно?

Мне это интересно.

> Всё равно для нельзя начать считать версию мусором до тех пор пока она требуется конкретному снимку.

И это справедливо для всех запросов, что RC RC, что RC [N]RV RO

> В RC снимок делается на время работы запроса.

Запроса (одного) или транзакции?
А у RC [N]RV RO ?

Как я понимаю, в релнотах это всё обсуждается начиная со страницы 24/32 "Commit Order for Capturing the Database Snapshot"

Под "снимком", ты видимо имеешь в виду приватную копию TIP

Но сборщик мусора вовсе не проверял, что запись "пока она требуется конкретному снимку", потому что перебирать все приватные копии TIP - это убиться электровеником.

Вместо этого всё множество копий TIP сворачивается в несколько характерисующих это
множество чисел: OIT, OAT, NT. И уже с этим числами сборщик сверяет записи.

Казалось бы, в худшем случае возможно ввести аналогичную свёртку множества по новому индексу: OICN, OACN, NCN. И проверять записи по ним. И собирать мусор. И опять коммиттить R/O транзакции на старте сразу.

Тут ты можешь сказать, что поскольку сборку мусора изменилась, то овчинка не стоит выделки.
Но это уже будет другой тезис.

* запуск RC RC RO в режиме pre-committed возможен, но не даст заметного выигрыша, и на него забили
* запуск RC RC RO в режиме pre-committed был бы желателен, но к сожалению не возможен

Это разные тезисы. И релноты утверждают второй вариант.

> Кстати там в принципе об этом написано, но не в явном виде.

Т.е. не написано.
Для разработчиков ядра - там всю понятно, но им и без релнотов понятно.
Для остальных, кто не вариался во внутренней кухне все эти годы - если не прописать явно, то значит вообще не прописали.

AriochTonalТаки вышла бета !

fb4b1 RelNotesIf suitable connection is found, it is tested to check that it is still alive

а как при этом TZ учитываются ?

ну и тут повторюсь, этот вопрос вообще продумывался в коде ?

fb4b1 relnotesTraditionally, a SNAPSHOT (“concurrency”) transaction takes a private copy of the transaction inventory page (TIP) at its start

Симонов Денисэто тот что был до

Тогда было бы "took", а там "takes"

Хорошо, предположим старый механизм сборки мусора через OIT выкинули к лешему и с нуля написали соввершенно новый ни чуточки непохожий.
Вопрос от этого ни на йоту не изменится. ЗАЧЕМ это сделали и почему "было невозможно" (это цитата) просто использовать старый механизм для pre-committed rc-rc-ro ?

Симонов ДенисВ RC снимок делается на время работы запроса.

Снимок чего, если не TIP ?

Dimitry SibiryakovPre-committed состояние изначально было хаком, который порождал
пачку проблем. От него наконец-то избавились. В чём вопрос-то?

другими словами "без него лучше. С ним тоже возможно, но лучше без него"

но в релнотах написано совсем другое

а люди будут (и должны) читать именно релноты ,а не нагш срач в форуме

Симонов ДенисArioch,

Подумай логически зачем оно вообще нужно в новой схеме снимков и сборки мусора.
Просто чтоб было?

это ДРУГОЙ тезис, чем то, что написан оу вас в релнотах


AriochТут ты можешь сказать, что поскольку сборку мусора изменилась, то овчинка не стоит выделки.
Но это уже будет другой тезис.

* запуск RC RC RO в режиме pre-committed возможен, но не даст заметного выигрыша, и на него забили
* запуск RC RC RO в режиме pre-committed был бы желателен, но к сожалению не возможен