Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.53/15: Рейтинг темы: голосов - 15, средняя оценка - 4.53
97 / 11 / 1
Регистрация: 14.03.2017
Сообщений: 196

Кастомный аллокатор

08.07.2019, 23:28. Показов 3180. Ответов 11
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Не уверен, что это "для начинающих", но этот раздел подходил больше всех.
Итак, объясню вкратце суть проблемы. Пишу кастомный аллокатор на основе VirtualAlloc

Не вдаваясь в детали мы:
1. Выделяем большой кусок памяти.
2. При аллокации мы возвращаем конец (или в свободный участок)
3. При деаллокации мы помечаем как свободный.

Так вот, в чем проблема. Мне нужно в конец участка добавлять элементы карты куска памяти.
Они будут отмечать, какая память зарезервирована, какая свободно. Вроде все легко - выделяем
отступаем от конца размер Range (так называется структура) и через перегруженный оператор new
выделяем память. После этого срабатывает конструктор.

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

Вот примеры кода :
Извне:
C++
1
2
3
4
    _startRangePtr = (Range*)((unsigned long)_parentAreaPtr->_memoryEndPtr - sizeof(Range));
    _parentAreaPtr->_memoryEndPtr = (void*)((unsigned long)_parentAreaPtr->_memoryEndPtr - sizeof(Range));
    memoryAlloc += sizeof(Range);
    _parentAreaPtr->_memoryEndPtr = _startRangePtr;
Изнутри:
C++
1
2
3
4
5
6
7
8
void* MemoryMap::Range::operator new (size_t size)
    {
        if (!isInit)
            return malloc(size);
        MemoryArea* currentArea = startMemoryAreasPtr;
        void* memory = (void*)((unsigned long)currentArea->_memoryEndPtr - size);
        return memory;
    }
Консктруктор:
C++
1
2
3
4
5
6
MemoryMap::Range::Range(unsigned long size)
    { 
        _memoryStartPtr = NULL;
        _size = size;
        _nextRangePtr = NULL;
    }
:
Структура:
C++
1
2
3
4
5
6
struct Range
    {
         void* _memoryStartPtr;
        unsigned long _size;
        MemoryMap::Range* _nextRangePtr;
    };
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
08.07.2019, 23:28
Ответы с готовыми решениями:

Аллокатор в chrome
Всем привет, начал изучать исходники хрома, в аллокаторе, метод realloc должен возвращать nullptr если передаваемый аргумент size равен...

Класс аллокатор
Какие требования к написанию класса Аллокатора?

Быстрый аллокатор
Собственно, необходим аллокатор для быстрого выделения памяти под мелкие объекты, совместимый со стандартными контейнерами (std::list и...

11
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
09.07.2019, 11:20
Цитата Сообщение от Diochrome Посмотреть сообщение
C++
1
2
    _startRangePtr = (Range*)((unsigned long)_parentAreaPtr->_memoryEndPtr - sizeof(Range));
    _parentAreaPtr->_memoryEndPtr = (void*)((unsigned long)_parentAreaPtr->_memoryEndPtr - sizeof(Range));
Может все-таки так (и в остальных подобных местах тоже)?
C++
1
2
    _startRangePtr = (Range*)((unsigned char*)_parentAreaPtr->_memoryEndPtr - sizeof(Range));
    _parentAreaPtr->_memoryEndPtr = (void*)((unsigned char*)_parentAreaPtr->_memoryEndPtr - sizeof(Range));
0
Mental handicap
 Аватар для Azazel-San
1246 / 624 / 171
Регистрация: 24.11.2015
Сообщений: 2,429
09.07.2019, 11:28
Цитата Сообщение от Diochrome Посмотреть сообщение
Пишу кастомный аллокатор на основе VirtualAlloc
Но в том коде, что вы предоставили его нету )
Цитата Сообщение от Diochrome Посмотреть сообщение
добавлять элементы карты куска памяти
Что?
Цитата Сообщение от Diochrome Посмотреть сообщение
Мне нужно в конец участка добавлять элементы карты куска памяти.
Они будут отмечать, какая память зарезервирована, какая свободно.
А зачем? И почему в конец?
Я бы в конец пулил какой нить nullptr для удобства.
Я так понимаю вы хотите пул аллокатор сделать?
Тогда для "пометки" занятых, свободных чанков можно воспользоваться масками, можно взять за основу bitset или просто массив интов. Один инт может содержать до 32 состояний.
Цитата Сообщение от Diochrome Посмотреть сообщение
Конструктор выдает исключение по недоступной памяти.
Какой конструктор? Где выдает? Какое исключение?
Цитата Сообщение от Diochrome Посмотреть сообщение
И я не совсем понимаю, почему так
происходит.
Наверное из-за
Цитата Сообщение от Diochrome Посмотреть сообщение
исключения по недоступной памяти
?)
2
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
09.07.2019, 11:33
Цитата Сообщение от Diochrome Посмотреть сообщение
исключение по недоступной памяти. И я не совсем понимаю, почему так
Скорее всего, при работе со смещениями у вас была допущена ошибка, например, забежали за пределы доступной памяти.
Проверьте места, где делаются операции с адресами.
Расставьте ассерты, чтобы в каждой операции был контроль доступного диапазона.
0
97 / 11 / 1
Регистрация: 14.03.2017
Сообщений: 196
10.07.2019, 00:07  [ТС]
Цитата Сообщение от DrOffset Посмотреть сообщение
Может все-таки так (и в остальных подобных местах тоже)?
Не совсем понимаю, зачем менять. Тут я тип меняю для того, чтобы перевести память в числовое значение. Тип памяти не особо важен.

Цитата Сообщение от Azazel-San Посмотреть сообщение
Тогда для "пометки" занятых, свободных чанков можно воспользоваться масками, можно взять за основу bitset или просто массив интов. Один инт может содержать до 32 состояний.
Не совсем пул аллокатор. Скорее линейный. Пул алокатор должен содержать одинакого размера данные, а линейный разные.
Да, для пула маска отлично подходит, даже можно взять unsigned long для 64 состояний, но это другое.

Короче, в конце концов я решил отдельно хранить карту. Спасибо всем, кто помог.
0
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
10.07.2019, 13:24
Цитата Сообщение от Diochrome Посмотреть сообщение
Не совсем понимаю, зачем менять. Тут я тип меняю для того, чтобы перевести память в числовое значение. Тип памяти не особо важен.
Затем, что ваш код некорректный в общем случае. long не может быть использован для безопасного представления указателя в общем случае, и на практике, по крайней мере для платформы windows, это так.
Для перевода в "числовое значение" следует использовать тип intptr_t, но у вас в этом коде и это не требуется, т.к. все манипулации проводятся с адресами. Т.е. в данном случае вообще нет никакого смысла рисковать, если только вам не хочется во чтобы то ни стало вставить к себе в проект какой-нибудь некорректный условно-рабочий код.
0
97 / 11 / 1
Регистрация: 14.03.2017
Сообщений: 196
10.07.2019, 19:06  [ТС]
Цитата Сообщение от DrOffset Посмотреть сообщение
Затем, что ваш код некорректный в общем случае.
Почему?! У long и указателя одинаковый размер (8 байт), а при переводе адреса в числовое значение мы получаем адрес в десятеричном представлении. Я не понимаю, чем этот код небезопасен? Разве что на каких то системах могут отличаться размеры long или указателя, но по крайней мере под windows-x64 должно быть все нормально.

Про перевод вы правы, сглупил, он здесь не нужен.
0
901 / 478 / 93
Регистрация: 10.06.2014
Сообщений: 2,700
10.07.2019, 19:34
Цитата Сообщение от Diochrome Посмотреть сообщение
Почему?! У long и указателя одинаковый размер (8 байт), а при переводе адреса в числовое значение мы получаем адрес в десятеричном представлении.
не получаете
вернее у вас нет таких гарантий

std::intptr_t это тип который гарантировано вмещает в себя адрес указателя
для long таких гарантий нет

DrOffset,
мне интересно почему для подобных гарантий был выбран знаковый тип вместо std::uintptr_t

Добавлено через 1 минуту
разве адреса бывают знаковыми?
0
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
10.07.2019, 23:02
Цитата Сообщение от Undisputed Посмотреть сообщение
мне интересно почему для подобных гарантий был выбран знаковый тип вместо std::uintptr_t
В данном случае нет разницы. Что uintptr_t, что intptr_t одинаково гарантированно вместят адрес.

Цитата Сообщение от Diochrome Посмотреть сообщение
У long и указателя одинаковый размер (8 байт)
Кто это вам сказал? У long под Windows размер 4 байта, также как и у int.
1
901 / 478 / 93
Регистрация: 10.06.2014
Сообщений: 2,700
10.07.2019, 23:13
DrOffset,
Просто в 17 драфте я нашёл это только для intptr_t,
поэтому не могу понять почему uintptr_t тоже подходит...
думаю возможно есть гарантии что uintptr_t вмещает не менее чем может вместить intptr_t,
если это так тогда вопросов нет...
0
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
10.07.2019, 23:17
Цитата Сообщение от Undisputed Посмотреть сообщение
поэтому не могу понять почему uintptr_t тоже подходит...
Потому что
An unsigned integer type has the same object representation, value representation, and alignment requirements ([basic.align]) as the corresponding signed integer type.
1
901 / 478 / 93
Регистрация: 10.06.2014
Сообщений: 2,700
10.07.2019, 23:23
DrOffset,
Спасибо тебе)
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
10.07.2019, 23:23
Помогаю со студенческими работами здесь

Пишем аллокатор
дабы не захламлять и так уже захламленную тему про перегрузку операторов создаю новую тему, собственно по поводу аллокаторов прям...

Задача с собеседования (аллокатор памяти)
Вопрос звучит так: "Напишите быстрый аллокатор памяти" Как я его понимаю: можно пожертвовать растратой памяти, всякими наворотами,...

Как написать пуловый аллокатор для работы с объектами
Здравствуйте! Подскажите как написать пуловый аллокатор для работы с объектами

Кастомный манипулятор для потока
Подскажите, возможно ли написание кастомного манипулятора, который приводил бы всю строку, которая приходит к нему на вход в верхний...

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


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
12
Ответ Создать тему
Новые блоги и статьи
Реалии
Hrethgir 01.03.2026
Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .
Ритм жизни
kumehtar 27.02.2026
Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка SDL3, Box2D, FreeType и SDL3_ttf из исходников с помощью CMake и Emscripten
8Observer8 27.02.2026
Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru