Estrutura de dados para alocação dinâmica de memória

Pense no modelo de célula-sonda. Existe uma estrutura de dados que pode alocar blocos contíguos de memória de qualquer tamanho (como, por exemplo, malloc em C), e liberá-los, evitando a segmentação de memória, e executa todas as operações no pior momento determinístico de O (log n) em que n é o tamanho total da memória?

Ao evitar a segmentação de memória, quero dizer que, se o número total de células livres for F, eu deveria poder alocar um segmento contíguo de células F ou sobre células F.

$m$$n$$N$$\Omega(m \log (N/n))$

Além disso, o sistema de amigos atinge esse limite e pode ser feito em tempo logarítmico.

Este artigo, http://dl.acm.org/citation.cfm?id=3070693 , aborda exatamente a questão da alocação de memória na qual você pode mover as coisas, mas a um custo.