Верны ли мои рассуждения касаемо работы менеджера памяти?

Question

[doublench21]

Пусть изначально я выделяю следующий блок: (Все свободные блоки хранятся в списке)
||4||1.000.000|| = 1.000.004 байт (в первых четырех хранится размер)

Запрос на 10 байт:
Отдаю ||4||10|| = 14 байт
Пишу в ||10||
В списке сдвигаю на 14 байт и получаю ||4||999.990||

Запрос на 15 байт:
Отдаю ||4||15|| = 19 байт
Пишу в ||15||
В списке сдвигаю на 19 байт и получаю ||4||999.975||

Теперь отдаю 10 байт:
В списке получаю ||4||999.975|| -> ||4||10||

Запрос на 7 байт:
Отдаю ||4||7|| = 11 байт
Пишу в ||7||
В списке сдвигаю на 11 байт и получаю ||4||999.975|| -> ||4||3||

Верны ли мои рассуждения ?

Answer 1

[maaGames]

Рассуждения не верны. Причины Три:
1. Разрядность операционной системы. Если брать х86 и х64, то вначале может быть выделен блок в 4 или 8 байт (иначе было бы невозможно выделить непрерывный блок боле 4 гигабайт).
2. Способ, которым выделялась память. Если выделял через new (молодец, возьми с полки пирожок), то перед блоком памяти записан размер этого блока. А если через malloc или аналогичную, то выделяется только блок памяти, без служебных данных.
3. В зависимости от настроек компилятора может быть добавлено ещё байтов в начале и в конце блока, содержащих некоторое флаговое значение, чтобы отслеживать ошибки выхода за границы массива.

А что ты там хранишь в списках и куда отдаёшь - я не понял. Если ты реализуешь свой диспетчер памяти, то можешь реализовать его так, как захочется.

Comments

[Станислав Макаров]

Скорее всего это лаба и человек интересуется - правильно ли он рассуждает в том, как менеджер памяти может в принципе работать.

[maaGames]

Станислав Макаров: По какому бы поводу человек не интересовался, я ему ответил, что реализация может быть любой. А если вспомнить, что помимо разрядности ещё и архитектура операционной системы влияет, то в следующий раз будет вопрос подробнее формулировать.)

[doublench21]

maagames.ru: я пишу свой менеджер

[maaGames]

doublench21: Можешь для нужд менеджера памяти большой блок памяти, хоть с помощью new, хоть malloc - не важно. Затем, когда тебе из него нужно создать объект, ты должен использовать размещающий new, передавая память из твоего менеджера. Размещающий new "просто" создаёт объект по адресу памяти, не записывая размер этого объекта. Т.е. ты можешь создавать однобайтные объекты, которые будут занимать именно один байт.
Удобнее, чтобы все объекты в пуле были одного размера, тогда тебе будет легко и быстро находить пустые блоки. Иначе на поиск и поддержание актуальности списков ты будешь тратить больше памяти и времени, чем просто через new объекты создавать.

[Станислав Силин]

чет это очень смахивает на алокатор