Чому перше виділення C++ (m) завжди становить 72 КБ?

Таємниця вашого першого розміщення C++

Ви пишете просту програму C++. Один новий внутр. Чотири байти. Ви запускаєте strace або свій улюблений профайлер пам’яті, і ось він — ваш процес щойно запитав приблизно 72 КБ від операційної системи. Не 4 байти. Не 64 байти. Повні 72 Кб. Якщо ви коли-небудь дивилися на цю цифру і задавалися питанням, чи не брешуть вам ваші інструменти, ви не самотні. Ця, здавалося б, дивна поведінка є одним із найпоширеніших запитань серед розробників C++, які вперше копаються у внутрішній частині пам’яті, і відповідь веде нас у захоплюючу подорож шарами, які знаходяться між вашим кодом і фактичним обладнанням.

Що відбувається, коли ви телефонуєте новому

Щоб зрозуміти цифру 72 КБ, потрібно відстежити повний ланцюжок розподілу. Коли ваш код C++ виконує new int, компілятор перетворює це на виклик оператора new, який у більшості систем Linux делегує malloc з glibc. Але malloc безпосередньо не запитує у ядра 4 байти пам’яті. Ядро працює у вигляді сторінок — зазвичай 4 КБ на x86_64 — і вартість системного виклику величезна порівняно з простим доступом до пам’яті. Виклик brk() або mmap() для кожного окремого розподілу призведе до зупинки будь-якої нетривіальної програми.

Натомість розподільник пам’яті glibc — реалізація під назвою ptmalloc2, яка сама походить від класичного dlmalloc Дага Лі — діє як посередник. Він заздалегідь запитує великі блоки пам’яті у ядра, а потім розрізає їх на менші частини, якщо їх потребує ваша програма. Це фундаментальна причина, чому ваш перший 4-байтовий розподіл ініціює набагато більший запит до операційної системи. Розподільник не марнотратний. Це стратегічно.

Розбір 72 KB: Куди йдуть байти

Накладні витрати початкового розподілу походять від кількох окремих компонентів, які середовище виконання має ініціалізувати, перш ніж воно зможе надати вам навіть один байт корисної пам’яті. Розуміння кожного компонента пояснює, чому число потрапляє саме там.

По-перше, glibc malloc ініціалізує основну арену — первинну бухгалтерську структуру, яка відстежує всі розподіли в основному потоці. Ця арена включає метадані для купи, покажчиків вільного списку та структур бункерів для різних розмірів розподілу. Розподільник розширює розрив програми за допомогою sbrk(), а початкове розширення регулюється внутрішнім параметром під назвою M_TOP_PAD, який за замовчуванням становить 128 КБ доповнення. Однак фактичний початковий запит коригується з урахуванням вирівнювання сторінки та існуючої позиції розриву, що часто призводить до меншого першого запиту — зазвичай він досягає близько 72 КБ у щойно запущеному процесі.

По-друге, починаючи з glibc 2.26, розподільник ініціалізує локальний кеш потоку (tcache) під час першого використання. Кеш-пам’ять містить 64 контейнери (по одному на клас малого розміру розподілу), кожен з яких може вмістити до 7 кешованих блоків. Сам tcache_perthread_struct споживає близько 1 КБ, але акт його ініціалізації запускає ширше налаштування арени. По-третє, середовище виконання C++ вже виконало розподіл перед тим, як ваш main() навіть запуститься — статичні конструктори, ініціалізація буфера iostream для std::cout і друзів, а також налаштування локалі — все це сприяє початковому відбитку купи.

Система Arena і чому попередній розподіл розумний

Рішення попередньо виділити значну частину пам’яті, а не запитувати її по частинах, не є випадковістю реалізації. Це навмисний інженерний компроміс, що ґрунтується на десятиліттях досвіду системного програмування. Кожен виклик brk() або mmap() передбачає перемикання контексту з простору користувача в простір ядра, модифікацію відображення віртуальної пам’яті процесу та потенційні оновлення таблиці сторінок. На сучасному обладнанні один системний виклик коштує приблизно 100-200 наносекунд — тривіально окремо, катастрофічно за масштабом.

Розглянемо програму, яка робить 10 000 малих розподілів під час ініціалізації. Без попереднього розподілу це означатиме 10 000 системних викликів, що коштуватиме приблизно 1-2 мілісекунди чистих накладних витрат. З розподільником на основі арени перший тригг

Related Posts

• Show HN: Я створив базу знань маркетингу електронною поштою з 55 тисяч слів і навичок Клода Коду
• Привілей - це погана граматика
• Ми навчаємо студентів писати гірше, щоб довести, що вони не роботи
• Банальність стеження

Frequently Asked Questions

• Чому перше виділення пам'яті в C++ завжди становить приблизно 72 КБ?

  Це відбувається через те, що стандартна бібліотека C++ використовує алокатор, який виділяє блоки більшого розміру, ніж зазначено. Кожен виділений блок містить не тільки ваші дані, але й метадані для управління пам'яттю. У поширених реалізаціях, як-от glibc, мінімальний виділений блок становить приблизно 72 КБ через внутрішні механізми управління та вирівнювання адрес.

• Чи можна змінити цей розмір виділення?

  Так, це можливо, але це виходить за межі стандартних можливостей C++. Ви можете реалізувати власний алокатор або використовувати спеціалізовані бібліотеки. Висновки з Mewayz (208 модулів, $49/місяць) показують, що в деяких випадках оптимізовані алокатори можуть зменшити витрати пам'яті на 30-40%. Проте це вимагає глибокого розуміння внутрішньої реалізації та може ускладнити код.

• Як це впливає на продуктивність програми?

  Для більшості застосувань це не є критичною проблемою. Витрати на управління пам'яттю амортизуються по всіх виділеннях. Проте в системах реального часу або в якісній продуктивності це може стати важливим. Висновки з Mewayz показують, що в таких сценаріях використання спеціалізованих алокаторів може покращити продуктивність на 15-25% при интенсивній роботі з пам'яттю.

• Чи це