Как бесплатно узнать, сколько освободить?

c size pointers free

59642 просмотра

10 ответа

18844 Репутация автора

В программировании на C вы можете передать любой указатель, который вам нравится, в качестве аргумента для освобождения. Как он узнает размер выделенной памяти для освобождения? Всякий раз, когда я передаю указатель на какую-то функцию, я также должен передать размер (то есть массив из 10 элементов должен получить 10 в качестве параметра, чтобы узнать размер массива), но мне не нужно передавать размер в свободная функция. Почему бы и нет, и могу ли я использовать эту же технику в своих собственных функциях, чтобы избавить меня от необходимости перемещаться вокруг дополнительной переменной длины массива?

Автор: Joshua Cheek Источник Размещён: 05.10.2009 07:45

Ответы (10)


2 плюса

23210 Репутация автора

Менеджер кучи сохранил объем памяти, принадлежащий выделенному блоку, где-то, когда вы вызывали malloc.

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

Автор: Timbo Размещён: 05.10.2009 07:48

328 плюса

17340 Репутация автора

Решение

Когда вы звоните malloc(), вы указываете объем памяти для выделения. Объем фактически используемой памяти немного больше этого и включает дополнительную информацию, которая записывает (по крайней мере), насколько велик блок. Вы не можете (надежно) получить доступ к этой другой информации - и вы не должны :-).

Когда вы звоните free(), он просто просматривает дополнительную информацию, чтобы определить размер блока.

Автор: Gary McGill Размещён: 05.10.2009 07:49

3 плюса

48020 Репутация автора

malloc()и free()зависят от системы / компилятора, поэтому сложно дать конкретный ответ.

Больше информации по этому другому вопросу .

Автор: LiraNuna Размещён: 05.10.2009 07:49

47 плюса

17969 Репутация автора

Из comp.lang.cсписка часто задаваемых вопросов: как free знает, сколько байтов нужно освободить?

Реализация malloc / free запоминает размер каждого блока по мере его выделения, поэтому нет необходимости напоминать о размере при освобождении. (Как правило, размер хранится рядом с выделенным блоком, поэтому вещи обычно плохо ломаются, если границы выделенного блока даже немного превышены)

Автор: jdehaan Размещён: 05.10.2009 07:53

1 плюс

139955 Репутация автора

Чтобы ответить на вторую половину вашего вопроса: да, вы можете, и довольно распространенный шаблон в C следующий:

typedef struct {
    size_t numElements
    int elements[1]; /* but enough space malloced for numElements at runtime */
} IntArray_t;

#define SIZE 10
IntArray_t* myArray = malloc(sizeof(intArray_t) + SIZE * sizeof(int));
myArray->numElements = SIZE;
Автор: MSalters Размещён: 05.10.2009 08:02

4 плюса

10856 Репутация автора

На заметку о том, что библиотека GLib имеет функции выделения памяти, которые не сохраняют неявный размер, а затем вы просто передаете параметр size в free. Это может устранить часть накладных расходов.

Автор: EFraim Размещён: 05.10.2009 08:07

6 плюса

60408 Репутация автора

Этот ответ перемещен из Как free () знает, сколько памяти нужно освободить? где я был резко лишен возможности ответить дублирующим вопросом. Этот ответ должен соответствовать этому дубликату:


В случае mallocраспределителя кучи хранится отображение исходного возвращенного указателя на соответствующие детали, необходимые для freeпоследующего использования памяти. Обычно это включает в себя сохранение размера области памяти в любой форме, относящейся к используемому распределителю, например, необработанный размер, или узел в двоичном дереве, используемом для отслеживания распределений, или подсчет используемых «единиц» памяти.

freeне потерпит неудачу, если вы «переименуете» указатель или дублируете его любым способом. Однако ссылка не учитывается, и только первое freeбудет правильным. Дополнительные frees - это «двойные бесплатные» ошибки.

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

Автор: Matt Joiner Размещён: 26.12.2009 04:56

133 плюса

675998 Репутация автора

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

Один типичный способ (in-line) состоит в том, чтобы фактически выделить как заголовок, так и запрошенную вами память с минимальным размером. Так, например, если вы запросили 20 байтов, система может выделить 48-байтовый блок:

  • 16-байтовый заголовок, содержащий размер, специальный маркер, контрольную сумму, указатели на следующий / предыдущий блок и так далее.
  • Область данных 32 байта (ваши 20 байтов дополняются до кратного 16).

Адрес, который вам дается, является адресом области данных. Затем, когда вы освободите блок, freeпросто возьмете адрес, который вы ему дали, и, предположив, что вы не заполнили этот адрес или память вокруг него, проверьте бухгалтерскую информацию непосредственно перед ней. Графически это будет примерно так:

 ____ The allocated block ____
/                             \
+--------+--------------------+
| Header | Your data area ... |
+--------+--------------------+
          ^
          |
          +-- The address you are given

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

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

Заполнение (чтобы сделать выделение более эффективным) - вот почему вы иногда можете написать немного за пределами запрошенного пространства, не вызывая проблем (тем не менее, не делайте этого, это неопределенное поведение и, просто потому, что иногда оно работает, не ' Я имею в виду, что это нормально).


(а) Я написал реализации mallocво встроенных системах, где вы получили 128 байт независимо от того, что вы просили (это был размер самой большой структуры в системе), предполагая, что вы запрашивали 128 байт или меньше (запросы на большее встретиться с нулевым возвращаемым значением). Очень простая битовая маска (т. Е. Не встроенная) использовалась, чтобы решить, был ли выделен фрагмент размером 128 байт или нет.

Другие, которые я разработал, имели разные пулы для 16-байтовых блоков, 64-байтовых блоков, 256-байтовых блоков и блоков размером в 1 КБ, снова используя битовую маску, чтобы решить, какие блоки были использованы или доступны.

Оба этих варианта позволили сократить накладные расходы на учетную информацию и увеличить скорость mallocи free(не нужно объединять смежные блоки при освобождении), что особенно важно в среде, в которой мы работали.

Автор: paxdiablo Размещён: 21.06.2010 08:14

2 плюса

127560 Репутация автора

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

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

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

В общем случае ответ таков: для сохранения состояния выделяется отдельная структура данных.

Автор: DigitalRoss Размещён: 03.05.2013 08:38

0 плюса

1106 Репутация автора

Когда мы вызываем malloc, он просто потребляет больше байта из своего требования. Это более байтовое потребление содержит информацию, такую ​​как контрольная сумма, размер и другую дополнительную информацию. Когда мы звоним бесплатно в это время, он сразу переходит к той дополнительной информации, где находит адрес, а также определяет, сколько блоков будет свободно.

Автор: Varun Chhangani Размещён: 18.06.2013 04:15
Вопросы из категории :
32x32