Что такое выравнивание данных в памяти (Memory Alignment)?

Выравнивание данных в памяти (Memory Alignment) — это расположение данных в памяти по адресам, кратным их естественному размеру или размеру, определенному архитектурой процессора.

Причина: Современные процессоры читают память не побайтово, а блоками (например, по 4, 8 или 16 байт за один такт). Доступ к данным, адрес которых кратен размеру блока, выполняется за одну операцию. Невыровненный доступ может требовать двух операций чтения и последующей «сборки» нужного значения, что снижает производительность, а на некоторых архитектурах (например, ARM) вызывает исключение SIGBUS.

Пример в C/C++:

#include <stdio.h>
#include <stddef.h>

struct UnalignedStruct {
    char a;      // 1 byte
    // 3 байта padding (выравнивание) автоматически добавляется компилятором
    int b;       // 4 bytes (должен быть выровнен по адресу, кратному 4)
    char c;      // 1 byte
    // 3 байта padding в конце для выравнивания всего размера структуры
};

int main() {
    printf("Sizeof struct: %zun", sizeof(struct UnalignedStruct)); // Выведет 12, а не 6
    printf("Offset of 'b': %zun", offsetof(struct UnalignedStruct, b)); // Выведет 4
    return 0;
}

Правила (для x86_64):

• char (1 байт) — любое выравнивание.
• short (2 байта) — адрес кратен 2.
• int, float (4 байта) — адрес кратен 4.
• long, double, указатель (8 байт) — адрес кратен 8.

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

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