2024-05-19 22:07:58 +03:00
|
|
|
/// \copyright SPDX-License-Identifier: Apache-2.0
|
|
|
|
/// \author Леонид Юрьев aka Leonid Yuriev <leo@yuriev.ru> \date 2015-2024
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "essentials.h"
|
|
|
|
|
|
|
|
typedef struct gc_update_context {
|
2024-05-23 12:42:59 +03:00
|
|
|
unsigned loop;
|
|
|
|
pgno_t prev_first_unallocated;
|
|
|
|
bool dense;
|
mdbx: доработка/исправление и постоянная активация корректирующей обратной связи при обновлении GC.
При обновлении GC, с помещением/возвратом страниц, возникает рекурсивная
зависимость, так как страницы, необходимые для CoW-модификации GC и
размещения списков возвращаемых страниц, берутся/выделяются из этих-же
списков и/или из GC. Эта рекуррентная зависимость разрешается путём
подготовки необходимого запаса страниц и двух-стадийным заполнением
списков, с повторением всего цикла при изменении ситуации/расклада, плюс
применение некоторых эвристик и поправок. Кроме корректной работы,
принципиально важным тут является минимизация количества
повторов/рестартов процесса, в том числе исключение возможности
бесконечного зацикливания.
Существующая реализация многократно/итеративно дорабатывалась. Поэтому
она неплохо обкатана и стабильна, но одновременно сложна и запутана.
Тем не менее, до последнего момента для текущей реализации были известны
условия/сценарии, в которых сходимость итеративного процесса обновления
GC нарушалась и при фиксации транзакции возвращалась ошибка
MDBX_PROBLEM. Эти условия/сценарии очень специфичны и далеки от реальных
практических случаев, поэтому этот недостаток не мешал использованию
библиотеки.
Этим коммитом добавляется и активируется еще один механизм нацеленный на
улучшение сходимости и минимизацию повторов/рестартов. Суть механизма в
формировании и учета поправки, которая на следующем цикле позволит
учесть все переходные процессы/затраты вне зависимости от их природы, и
этим обеспечить моментальную сходимость.
В текущем понимании, описанный выше недостаток полностью
устраняется/исправляется этим коммитом.
2024-11-06 17:10:50 +03:00
|
|
|
size_t reserve_adj;
|
2024-05-19 22:07:58 +03:00
|
|
|
size_t retired_stored;
|
|
|
|
size_t amount, reserved, cleaned_slot, reused_slot, fill_idx;
|
|
|
|
txnid_t cleaned_id, rid;
|
|
|
|
#if MDBX_ENABLE_BIGFOOT
|
|
|
|
txnid_t bigfoot;
|
|
|
|
#endif /* MDBX_ENABLE_BIGFOOT */
|
|
|
|
union {
|
|
|
|
MDBX_cursor cursor;
|
|
|
|
cursor_couple_t couple;
|
|
|
|
};
|
|
|
|
} gcu_t;
|
|
|
|
|
|
|
|
static inline int gc_update_init(MDBX_txn *txn, gcu_t *ctx) {
|
|
|
|
memset(ctx, 0, offsetof(gcu_t, cursor));
|
mdbx: доработка/исправление и постоянная активация корректирующей обратной связи при обновлении GC.
При обновлении GC, с помещением/возвратом страниц, возникает рекурсивная
зависимость, так как страницы, необходимые для CoW-модификации GC и
размещения списков возвращаемых страниц, берутся/выделяются из этих-же
списков и/или из GC. Эта рекуррентная зависимость разрешается путём
подготовки необходимого запаса страниц и двух-стадийным заполнением
списков, с повторением всего цикла при изменении ситуации/расклада, плюс
применение некоторых эвристик и поправок. Кроме корректной работы,
принципиально важным тут является минимизация количества
повторов/рестартов процесса, в том числе исключение возможности
бесконечного зацикливания.
Существующая реализация многократно/итеративно дорабатывалась. Поэтому
она неплохо обкатана и стабильна, но одновременно сложна и запутана.
Тем не менее, до последнего момента для текущей реализации были известны
условия/сценарии, в которых сходимость итеративного процесса обновления
GC нарушалась и при фиксации транзакции возвращалась ошибка
MDBX_PROBLEM. Эти условия/сценарии очень специфичны и далеки от реальных
практических случаев, поэтому этот недостаток не мешал использованию
библиотеки.
Этим коммитом добавляется и активируется еще один механизм нацеленный на
улучшение сходимости и минимизацию повторов/рестартов. Суть механизма в
формировании и учета поправки, которая на следующем цикле позволит
учесть все переходные процессы/затраты вне зависимости от их природы, и
этим обеспечить моментальную сходимость.
В текущем понимании, описанный выше недостаток полностью
устраняется/исправляется этим коммитом.
2024-11-06 17:10:50 +03:00
|
|
|
ctx->dense = txn->txnid <= MIN_TXNID;
|
2024-05-19 22:07:58 +03:00
|
|
|
#if MDBX_ENABLE_BIGFOOT
|
|
|
|
ctx->bigfoot = txn->txnid;
|
|
|
|
#endif /* MDBX_ENABLE_BIGFOOT */
|
|
|
|
return cursor_init(&ctx->cursor, txn, FREE_DBI);
|
|
|
|
}
|
|
|
|
|
|
|
|
#define ALLOC_DEFAULT 0
|
|
|
|
#define ALLOC_RESERVE 1
|
|
|
|
#define ALLOC_UNIMPORTANT 2
|
|
|
|
MDBX_INTERNAL pgr_t gc_alloc_ex(const MDBX_cursor *const mc, const size_t num,
|
|
|
|
uint8_t flags);
|
|
|
|
|
|
|
|
MDBX_INTERNAL pgr_t gc_alloc_single(const MDBX_cursor *const mc);
|
|
|
|
MDBX_INTERNAL int gc_update(MDBX_txn *txn, gcu_t *ctx);
|