Подумайте про модель зондування клітинок. Чи існує структура даних, яка може виділяти суміжні шматки пам'яті будь-якої довжини (наприклад, malloc у С) та звільняти їх, уникаючи сегментації пам'яті, і виконує кожну операцію у найгіршому випадку детермінованого часу O (log n), де n загальний об'єм пам'яті?
Уникаючи сегментації пам'яті, я маю на увазі, що якщо загальна кількість вільних клітин є F, то я повинен мати можливість виділити суміжний сегмент F клітин або приблизно F клітин.
Відповіді:
Навіть без обмеженого часу "неможливо уникнути сегментації пам'яті", якщо ви не зможете перемістити виділені об'єкти навколо, як у компактному сміттєзбірнику. Дивіться Робсона "Межі деяких функцій щодо розподілу динамічного зберігання", де видно, що для розподілу байтів у блоках розміром між n та N потрібно Ω ( m log ( N / n ) ) байтів пам'яті.
Крім того, система приятелів досягає цієї межі і може бути виконана в логарифмічний час.
Цей документ, http://dl.acm.org/citation.cfm?id=3070693 , точно стосується питання розподілу пам'яті, куди можна переміщувати речі, але ціною.