OSDev

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