ООП. Классы и динамические объекты, Подробности управления «кучей» Опции

[Serhiy_UA]

Динамические объекты создаются и уничтожаются в памяти «кучи» (heap) с помощью доступных программисту операторов new/delete. В порядке самообразования по С++ хотел бы уточнить следующие скрытые от нас подробности:
1. Действия по динамическому размещению полей данных объекта в куче выполняет прикладная программа или операционная система?
2. Если за размещение в куче ответственна ОС, то все ли из ОС поддерживают динамические объекты (и в частности для встраиваемых систем)? И как в таком случае обслуживается одновременная работа нескольких активных на данный момент программ с общей кучей, или у каждой программы своя куча?
3. Если полей данных у конкретного объекта много, то его данные размещаются в памяти непрерывно или с разрывами (перескоками), в зависимости от текущего состояния кучи ?
4. Что можно почитать на эту тему по-подробней?

[sigmaN]

А дальше можно изучить мысли товарища Александреску по этому поводу
https://erdani.com/publications/cuj-2005-12.pdf
И более свежий, интересный видос
https://youtu.be/LIb3L4vKZ7U

[Serhiy_UA]

Спасибо за разъяснения.
Пока еще не все понятно, но мнение мое по этому вопросу складывается такое.
Память под «кучу» упорядочивается и представляется, как бы в виде большой кассеты с группами коробочек разных величин. При создании объекта, ему выделяется нужная по размеру коробочка, а если они закончились, то большая из ближайшей группы. Если коробочек уже не хватает, то на основе статистики о требуемых размерах памяти создают следующую кассету. Для кассеты ведется текущий реестр учета свободных и занятых коробок, по которому и выделяется указатель на свободную память. То есть, кучи, и тем более «мало-кучи» в нашем понимании, как токовой нет, а все как бы строго упорядочено и физическая память под один динамический объект все же непрерывна, а не размазана с разрывами по её разным областям.
Поправьте, если понял не так…

[AlexandrY]

Память под «кучу» упорядочивается и представляется, как бы в виде большой кассеты с группами коробочек разных величин. ...
Поправьте, если понял не так…

Это вы описали не кучу, а Partitions.
В экстремально реалтаймных ситуациях, память выделяемая из Partitions так и остается в виде связных цепочек блоков, т.е. не представляют собой непрерывных областей.

А вот в какой RTOS вы нашли пункт о сборе статистики у Partitions уже интересней. Не поделитесь ссылкой?

[Serhiy_UA]

Команд new/delete мне в работе хватает без вопросов. Просто любопытно знать о «кучах» больше...

А какие еще есть стратегии управления кучей? Где об этом почитать?
Освободившаяся память после удаления объекта имеет конечный размер. А как ее заполняют вновь, только ли объектами не большими по размеру от предыдущего? Или все-таки без разрывов никак?

Статистика числа объектов и их размер упомянуты в статье из сообщения от sigmaN.

[Сергей Борщ]

А какие еще есть стратегии управления кучей? Где об этом почитать?

Тут

А как ее заполняют вновь, только ли объектами не большими по размеру от предыдущего?

Зависит от реализации. Вменяемому менеджеру памяти ничего не мешает объединить освободившийся участок с соседними свободными.