Вставить или обновить без гонок

Решение

-- Атомарное увеличение с созданием строки
INSERT INTO counters (key, value)
VALUES ('page_views', 1)
ON CONFLICT (key)
DO UPDATE SET value = counters.value + 1
RETURNING value;

-- Если строка точно есть, достаточно одного UPDATE:
UPDATE counters
SET value = value + 1
WHERE key = 'page_views';

-- Когда между чтением и записью нужна логика:
BEGIN;
SELECT value FROM counters WHERE key = 'page_views' FOR UPDATE;
-- ... вычисления в приложении ...
UPDATE counters SET value = :new_value WHERE key = 'page_views';
COMMIT;

Почему так

Почему read-modify-write теряет обновления

• Два процесса читают одно значение, оба прибавляют единицу и записывают — второй перетирает результат первого
• Транзакция сама по себе не спасает: на уровне READ COMMITTED оба честно прочитали актуальное значение
• Это и есть классическая потерянная запись; на неё нужен либо атомарный UPDATE, либо блокировка строки

Почему value = value + 1 атомарен

• СУБД вычисляет новое значение на своей стороне и держит блокировку строки до конца транзакции
• Второй процесс ждёт на этой же строке и прибавляет уже к обновлённому значению
• Никакого «прочитали в приложении» здесь нет — окна для гонки не существует

Зачем ON CONFLICT, а не «проверить и вставить»

• Между SELECT и INSERT два процесса успеют вставить одинаковый ключ — один получит ошибку уникальности
• ON CONFLICT решает это на стороне базы, атомарно и без лишнего запроса
• Важно: ON CONFLICT работает только при наличии уникального индекса по ключу конфликта

Когда нужен SELECT FOR UPDATE

• Если между чтением и записью есть логика приложения, которую нельзя выразить одним UPDATE
• FOR UPDATE блокирует строку до конца транзакции, и второй процесс ждёт своей очереди
• Цена — сериализация по строке и риск взаимоблокировок, если разные транзакции берут строки в разном порядке