malloc не выделяет непрерывную виртуальную память в куче?

Когда mallocиспользует mmap, прерывание программы не имеет значения. mallocимеет два набора памяти, которые он использует :кучу (область до прерывания программы ), которой он управляет сам непосредственно (с помощью арен в библиотеке GNU C )и mmaped распределения, которые делегированы mmap. Прерывание программы отслеживает первый набор памяти, а не второй. Нет требования, чтобы второй был непрерывным.

Освобожденные блоки объединяются соответствующими распределителями. Если память была выделена mallocбез mmap, это ответственность mallocза (или freeза ). Если память была выделена с помощью mmap, это ответственность mmapза (или munmapза ). Для mmaped-блоков может даже не быть смысла объединять свободные блоки — если они удалены из адресного пространства, ничего больше сделать нельзя. Объединение может происходить с блоками mmaped, но это происходит при распределении, если два выделения адресного пространства являются смежными и имеют одинаковые разрешения.