Сборка - выравнивание кучи - x86 intel

Question

Я думаю, что я понял выравнивание стека, которое составляет 4 байта, например, если я добавлю только один символ, его адрес будет справа от 4 байтов (немного раньше, если есть другие 1 или 2 байта)

Все еще я не могу понять выравнивание в куче, я думал, что есть выравнивание по 4 байта или 8 байт, но вот что, когда я выделяю 100, а затем 20 байт, есть 4 байта между концом первого и началом второго, поэтому я догадался, что куча будет использовать выравнивание по 8 байт.

Путем последовательного выделения 1 4 7 8 9 14 16 17 байт Я заметил, что 1, 4, 7, 8, 9 принимают по 16 байт каждый и 14 16 17 принимают 24 байта, почему так?

Я использую C/C++ и используя malloc для выделения (то же самое с новым).

Спасибо.

Answer 1

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

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

Answer 2

Выравнивание - это только расположение начала чего-то: его адрес будет кратным A. Где менеджер памяти помещает эти распределения и почему это полностью его бизнес и может быть (частично) зависимым на других вещах, происходящих на компьютере вне вашей программы. Это означает, что вы не можете определить «размер» предыдущего распределения по местоположению «следующего» (в то время как он может быть рядом с вашей программой, он может быть не рядом с менеджером памяти); на самом деле возможно, что в «следующем» распределении есть меньший адрес (если, например, в промежуточный период была освобождена более низкая память).