Усовершенствования для этого распределителя стека C++?

Question

Любые предложения для моего распределителя на основе стека? (За исключением предложений, чтобы использовать класс с частными/общественными членами)

struct Heap 
{ 
    void* heap_start; 
    void* heap_end; 
    size_t max_end; 

    Heap(size_t size) 
    { 
     heap_start = malloc(size); 
     heap_end = heap_start; 
     max_end = size + (size_t) heap_start; 
    } 

    ~Heap() 
    { 
     ::free(heap_start); 
    } 

    void* allocate(size_t bytes) 
    { 

     size_t new_end = ((size_t) heap_end) + bytes; 

     if(new_end > max_end) 
      throw std::bad_alloc(); 

     void* output = heap_end; 
     heap_end = (void*) new_end; 
     return output; 
    } 

} 

Answer 1

Вы реализовали распределитель на основе стека. Вы не можете освободиться, не оставляя пробелов. Обычно пул относится к блоку смежной памяти с фиксированными размерами слотов, которые связаны вдвойне, позволяя добавлять и удалять постоянное время.

Here's one Вы можете использовать в качестве руководства. Он соответствует тем же строкам, что и ваш, но включает базовые итераторы над выделенными узлами и использует шаблоны для распознавания типов.

Answer 2

Две очевидные проблемы:

1/У вас нет deallocate().

2/A deallocate() будет очень сложно писать с помощью вашей текущей стратегии, если вы не собираетесь освобождать вас в точном обратном порядке выделения. Вам нужно будет обслуживать случай, когда клиент хочет освободить память в середине используемого раздела.

Конечно, если вы освободите себя в обратном порядке, (2) не проблема. И если вы никогда не освобождаете память вообще, (1) тоже не проблема.

Это зависит от того, что вы хотите.

Answer 3

Ваша куча не разрешает освобождение. Как вы будете использовать его для объектов, выделенных новыми в C++?

Answer 4

size_t new_end = ((size_t) heap_end) + bytes; 

Не хорошо, никогда не делать что-то подобное, вы предполагаете, что SizeOf (size_t) == SizeOf (недействительными *), а также то, что произойдет, если bytes==(size_t)(-1) это не будет работать

Кроме того, вам нужно убедиться, что указатели, которые вы возвращаете, выровнены. В противном случае у вас возникнут проблемы. Таким образом, вы должны убедиться, что байты кратного 4 или 8 в соответствии с вашей платформой.

class {... 
char *max_end,*head_end,*heap_start; 
}; 

... 
max_end=heap_start+size; 
... 
bytes=align_to_platform_specific_value(bytes); 
if(max_end-heap_end >= bytes) { 
    void* output = (void*)heap_end; 
    heap_end+=bytes; 
    return output; 
} 
throw std::bad_alloc(); 

Предложение? Не изобретайте велосипед. Есть много и хороших библиотек пула.