Por exemplo, se desalocações da memória dinâmica sempre são feitas na direção oposta às alocações. Nesse caso, é garantido que o heap não será fragmentado?

E do ponto de vista teórico: existe alguma maneira realista de um aplicativo não trivial gerenciar a memória para evitar completamente a fragmentação de heap? (Após cada alteração atômica no heap, o heap ainda não é fragmentado?)