Управление памятью кучи

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

LPVOID HeapAlloc (HANDLE hHeap, DWORD dwFlags, SIZE_T dwBytes)

Возвращаемое значение: указатель на выделенный блок памяти или NULL при неудаче (кроме случаев,- когда задано генерирование исключений).

Параметры функции HeapAlloc

hHeap — дескриптор кучи, из которой должен быть выделен блок памяти. Этот де­скриптор должен быть получен функциями GetProcessHeap или HeapCreate.

dwFlags представляет собой комбинацию трех флагов.

• HEAP_GENERATE_EXCEPTIONS И HEAP_NO_SERIALIZE имеют то же значение, что и для функции HeapCreate. Первый флаг можно не указывать, если он был установлен функцией HeapCreate для данной кучи. Второй флаг используется при выделении памяти из кучи процесса.

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

dwBytes — размер блока памяти, который должен быть выделен. Для невозрастаю­щих куч его предел составляет 0x7FFF8 (примерно 0,5 Мбайт).

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

BOOL HeapFree (HANDLE hHeap, DWORD dwFlags, LPVOID lpMem)

dwFlags должен быть равен нулю или константе HEAP_NO_SERIALIZE.

lpMem должен иметь значение, возвращенное функцией HeapAlloc или HeapReAlloc,

а hHeap — это, конечно, дескриптор кучи, из которой был выделен блок lpMem.

Для изменения размера блоки памяти могут быть выделены заново.

LPVOID HeapReAlloc (HANDLE hHeap, DWORD dwFlags, LPVOID lpMem, SIZE_T dwBytes)

Возвращаемое значение: указатель на выделенный заново блок. При неудаче возвращает NULL или вызывает исключение.

Параметры функции HeapReAlloc

Первый параметр hHeap упоминался выше. dwFlags указывает некоторые важные управляющие флаги.

• HEAP_GENERATE_EXCEPTIONS и HEAP_NO_SERIAL_S1ZE, как в предыдущих случаях.

• HEAP_ZERO_MEMORY — инициализируется только заново выделяемая память (когда значение dwByte больше размера исходного блока). Содержимое исход­ного блока не изменяется.

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

lpMem указывает на существующий блок в куче hHeap, который должен быть вы­делен заново.

dwBytes — новый размер блока, который может быть больше или меньше текущего.

Обычно возвращаемый указатель — тот же, что и значение lpMem. Если же блок был перемещен (это разрешается, когда флаг HEAP_REALLOC_IN_PLACE_ONLY опущен), то воз­вращенное значение будет другим. Следите за обновлением всех ссылок на блок.

Размер выделенного блока определяется функцией НеарSize (на самом деле имя этой функции должно быть BlockSize, так как она относится к блоку, а не к куче) с указанием дескриптора кучи и указателя на блок.

DWORD HeapSize (HANDLE hHeap, DWORD dwFlags,

LPCVOID lpMem)

Возвращаемое значение:.размер блока или нуль при неудаче.

Флаг HEAP_NO_SER IALIZE

В функциях HeapCreate, HeapAlloc и HeapReAlloc может быть указан флаг HEAP_NO_SERIALIZE. Его применение позволяет получить небольшой прирост быст­родействия, производительности, так как функции не предоставляют потокам взаим­ные исключения при доступе к куче. Применение этого флага безопасно в немногих описанных ниже ситуациях.

• Программа не использует потоки, или, точнее, процессимеет только один поток.

• Каждый поток имеет собственную кучу или группу куч, к которым не обраща­ются другие потоки.

• Программа имеет собственный механизм взаимных исключений для предотвращения одновременного доступа к куче нескольких потоков, исполь­зующих функции HeapAlloc и HeapReAlloc. Для тех же целей в Windows 2000/NT доступны функции HeapLock и HeapUnlock.

Флаг HEAP_GENERATE__EXCEPTIONS

Вызов исключений в случае неудачного выделения памяти делает ненужными раз­дражающие проверки ошибок после каждого выделения. Более того, исключение или обработчик завершения может очистить память, которая была выделена. Возможны два кода исключения.

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

2. STATUS_ACCESS_VIOLATION указывает на то, что куча была повреждена. На­пример, программа могла произвести запись в память за границами выделен­ного блока.