Re: Two-phase update of restart_lsn in LogicalConfirmReceivedLocation

Поиск
Список
Период
Сортировка
От Craig Ringer
Тема Re: Two-phase update of restart_lsn in LogicalConfirmReceivedLocation
Дата
Msg-id CAMsr+YESPn5ER0Of9i53vZcHHJ69+76yCBizUqNKAGWD2HQcdg@mail.gmail.com
обсуждение исходный текст
Ответ на Re: Two-phase update of restart_lsn in LogicalConfirmReceivedLocation  (Tom Lane <tgl@sss.pgh.pa.us>)
Список pgsql-hackers
Дерево обсуждения
On 8 March 2018 at 07:32, Tom Lane <tgl@sss.pgh.pa.us> wrote:
Robert Haas <robertmhaas@gmail.com> writes:
> On Thu, Mar 1, 2018 at 2:03 AM, Craig Ringer <craig@2ndquadrant.com> wrote:
>> So I can't say it's definitely impossible. It seems astonishingly unlikely,
>> but that's not always good enough.

> Race conditions tend to happen a lot more often than one might think.

Just to back that up --- we've seen cases where people could repeatably
hit race-condition windows that are just an instruction or two wide.
The first one I came to in an idle archive search is
https://www.postgresql.org/message-id/15543.1130714273%40sss.pgh.pa.us
I vaguely recall others but don't feel like digging harder right now.


That's astonishing.

I guess if you repeat something enough times...

The reason I'm less concerned about this one is that you have to crash in exactly the wrong place, *while* during a badly timed point in a race. But the downside is that the result would be an unusable logical slot.

The simplest solution is probably just to mark the slot dirty while we hold the spinlock, at the same time we advance its restart lsn. Any checkpoint will then CheckPointReplicationSlots() and flush it. We don't remove/recycle xlog segments until after that's done in CheckPointGuts() so it's guaranteed that the slot's new state will be on disk and we can never have a stale restart_lsn pointing into truncated-away WAL.

--
 Craig Ringer                   http://www.2ndQuadrant.com/
 PostgreSQL Development, 24x7 Support, Training & Services

В списке pgsql-hackers по дате отправления:

Предыдущее
От: Andres Freund
Дата:
Сообщение: Re: [HACKERS] Parallel tuplesort (for parallel B-Tree index creation)
Следующее
От: Michael Paquier
Дата:
Сообщение: Re: PATCH: Configurable file mode mask