From 23a417fe19614481c6546845995d6dc845baf797 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9B=D0=B5=D0=BE=D0=BD=D0=B8=D0=B4=20=D0=AE=D1=80=D1=8C?= =?UTF-8?q?=D0=B5=D0=B2=20=28Leonid=20Yuriev=29?= Date: Mon, 17 Mar 2025 02:03:09 +0300 Subject: [PATCH] =?UTF-8?q?mdbx:=20=D0=B8=D1=81=D0=BF=D1=80=D0=B0=D0=B2?= =?UTF-8?q?=D0=BB=D0=B5=D0=BD=D0=B8=D0=B5=20=D1=80=D0=B5=D0=B3=D1=80=D0=B5?= =?UTF-8?q?=D1=81=D1=81=D0=B0=20=D0=B2=20=D0=BF=D1=83=D1=82=D0=B8=20=D0=BE?= =?UTF-8?q?=D0=B1=D1=80=D0=B0=D0=B1=D0=BE=D1=82=D0=BA=D0=B8=20`MDBX=5FMULT?= =?UTF-8?q?IPLE`.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Пакетная вставка значений посредством операции `MDBX_MULTIPLE` могла приводить к падениям и повреждению структуры БД. Ошибка оставалось не замеченной из-за специфических условий проявления, которые не реализовались в тестах. Проблема присутствовала во всех выпусках начиная с v0.13.1, но соответствующая ошибка не связана с конкретным коммита в истории, а является следствием нескольких доработок (шагов рефакторинга), которые суммарно привели к регрессу. Технически ошибка обусловлена не-обнулением переменной, которая не обнулялась в некотором пути выполнения и исходно не требовала обнуления, но такое обнуление потребовалось после ряда этапов оптимизации кода и рефакторинга. Основным условием проявления является пакетная вставка multi-значений в dupsort-таблицу с фиксированным размером значений, при котором набор значений соответствующий обновляемом ключу, перестаёт помещаться на вложенной странице и преобразуется/выносится во вложенное дерево страниц. Если такой вынос/преобразование происходило до исчерпания переданного набора значений, то при следующей итерации повторно производились действия соответствующие выносу данных в отдельное дерево страниц. Что могла приводить как к разыменованию неверных указателей (повреждению содержимого памяти) и/или к повреждению содержимого страниц образующих структуру БД. Исправление свелось к добавлению одной строчки кода, но также были расширены тесты для покрытия соответствующих сценариев. --- src/cursor.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/cursor.c b/src/cursor.c index ddee3df7..cbe6ed7c 100644 --- a/src/cursor.c +++ b/src/cursor.c @@ -1409,6 +1409,7 @@ insert_node:; data[0].iov_base = ptr_disp(data[0].iov_base, data[0].iov_len); insert_key = insert_data = false; old_singledup.iov_base = nullptr; + sub_root = nullptr; goto more; } }