Основной посыл в том, что это файл, есть курсор от которого начинается чтение данных спарва на лево. Как только находится совпадение - дальнейший поиск этого значения прекращается. При инсерте, апдейте или удалении, добавляется значение в массив, но еще не обрабатывается, когда все добавлено, тогда только курсор может включить в поиск новое значение

под Key (K1, K2, K3…) имеется ввиду любая структура данных, которая должна быть в единственном экземпляре в массиве данных

Я просто не знаю, как такие вещи лучше оформить, чтобы было нагляднее, и понимаю, что может быть в таком виде не воспринимается, но я попытался))

ты хочешь писать частично файл по чанкам?

В каком смысле?

ты сообщение чтоль исправил...

нет, ничего не трогал уже час

Основной посыл в том, что это файл
в смысле "файл" в памяти?

Ааа, файл базы данных, и в какой-то части файла будет идти запись вот такой структуры, может впринципе весь файл будет под это выделен - не знаю 🙂

Это ж пока что мысли

картинки я не понял

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

нужна конкретная задача чтобы понять или множественные уточнения

Вот эти вот. K1, K2, K3 это определенного размера структура данных, хоть 1 байт, хоть 1кб, но все элменты K - один размер.

Эта структура предполагается в базе данных, для одной из реализаций транзакций, все что справа от желтого треугольничка - еще не закомиченая транзакция, все что слева - уже реальные данные

записывать в эту структуру может только одна транзакция, и пока не произошло успешного комита транзакции, данные справа от желтого треугольничка не считаются валидными

Чтение данных идет справа налево от желтого треугольничка

Из-за того, что чтение идет справа на лево, те места, где старые данные, при адейте они спокойно после комммита транзакции перезаписываются новыми и новая запись уходит за желтый треугольничек валидных данных, т.е. уже не важно, что запишется поверх нее, а при удалении старое значение перезаписывается ближайшим к желтому треугольничку значением, за счет чего можно целых 2 значения откинуть как не валидных за желтый треугольничек

Т.е. все что слева от желтого треугольничка - валидные данные, все что справа - не валидные данные

Конкретная задача - провести транзакцию и не сломать валидные данные и применить транзакцию целиком или откинуть эти данные