Схемы распределения Malloc

Да, я прохожу курс по компьютерным системам. У меня было несколько вопросов о различных схемах распределения для реализации malloc. Для явных списков, если я реализую malloc с использованием стека, подобного LIFO, какова цель наличия указателей на предыдущую освобожденную память? Например, зачем вам двусвязные списки? Разве односвязные списки не будут работать так же хорошо?

Лекция Маллока. Я нашел эту ссылку в Интернете, вы можете посмотреть слайд 7, чтобы понять, о чем я говорю.

При рассмотрении схемы распределения сегрегированных списков эти списки являются однонаправленными, верно? А также, каков именно механизм слияния? Например, если 4 слова освобождены, попытаетесь ли вы сначала присоединиться к ним, когда вокруг вас освободится свободное пространство, прежде чем вставлять их обратно в соответствующий отдельный связанный список? Или вы просто вставите блок из 4 слов в раздел «4 слова» соответствующего отдельного связанного списка?

Спасибо.