Disclaimer

Вообще, не понятно, что точно нужно здесь, т.к. на паре не было какой-то теории: Смирнов попросил нас повторить аллокаторы, а на паре мы просто реализовали Implicit Free List allocator, поэтому напишу о всех типах понемногу))

В целом, можно просто прочитать расписанные билеты из ОП:

(З) 38. Выделение памяти: стековый аллокатор, implicit free list (1)

(З) 39. Выделение памяти: метод двоичных близнецов, SLAB-аллокатор. Лекомцев Александр (1)

(З) 40. Выделение памяти блоками фиксированного размера (explicit free list) (1)

• Еще материал

Общие понятия

<aside> 🧠

(WIKI) Аллокатор — специализированный класс, реализующий и инкапсулирующий малозначимые (с прикладной точки зрения) детали распределения и освобождения ресурсов компьютерной памяти.

</aside>

• Аллокаторы нужны, чтобы работать со структурами данных динамического размера
• Аллокатор работает с кучей (heap)
• Для аллокатора куча — множество блоков разного размера
• Блок — непрерывный кусок виртуальной памяти, который может быть либо выделенным (allocated), либо свободным (free).

Какие бывают аллокаторы:

• Явные (Explicit):
• Программа явно освобождает выделенный блок Примеры: malloc и free в С, new и delete в C++…
• Неявные (Implicit):
• Аллокатор сам берет на себя обнаружение и освобождение неиспользованных блоков Примеры: сборщики мусора в Java, .NET, Lisp…

Linear Allocator

• Мы инициализируем аллокатор с предварительно выделенным буфером памяти и его размером.
• malloc(size): просто увеличиваем значение указателя текущего смещения буфера на size.