выделил кусок, а у него адрес1+размер1, выделил второй кусок адрес2+размер2, а захотел первый кусок увеличить (например задача динамический буфер), тебе придётся адрес1 менять, а если он уже где-то глубоко прокэширован другими потоками, будет жопа.
Вот если бы процессоры вместо адреса использовали бы номер дескриптора, типа как в x86 [сегмент:смещение] => [дескриптор:смещение]
динамика была бы почти идеальной.