Cải tiến cho bộ cấp phát ngăn xếp C++ này?

Question

Bất kỳ đề xuất nào cho bộ cấp phát dựa trên stack của tôi? (Trừ gợi ý để sử dụng một lớp với các thành viên private/public)

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

Bạn đã triển khai bộ phân bổ dựa trên stack. Bạn không thể giải phóng mà không để lại khoảng trống. Thông thường một hồ bơi đề cập đến một khối bộ nhớ tiếp giáp với các khe có kích thước cố định, được liên kết gấp đôi để cho phép liên tục thêm thời gian và xóa.

Here's one bạn có thể sử dụng làm hướng dẫn. Nó nằm dọc theo các dòng giống như của bạn nhưng bao gồm các trình lặp cơ bản trên các nút được cấp phát và sử dụng các mẫu để nhận biết kiểu.

Answer 2

Hai vấn đề rõ ràng:

1/Bạn không có deallocate().

2/A deallocate() sẽ rất khó viết với chiến lược hiện tại của bạn trừ khi bạn luôn định xử lý theo thứ tự đảo ngược chính xác của phân bổ. Bạn sẽ cần phải phục vụ cho trường hợp một khách hàng muốn deallocate bộ nhớ ở giữa phần được sử dụng của bạn.

Tất nhiên, nếu bạn giao dịch theo thứ tự ngược lại, (2) không phải là vấn đề. Và nếu bạn không bao giờ giải phóng bộ nhớ, (1) cũng không phải là vấn đề.

Tùy thuộc vào những gì bạn muốn.

Answer 3

Heap của bạn không cho phép deallocation. Bạn sẽ sử dụng nó như thế nào cho các đối tượng được phân bổ với mới trong C++?

Answer 4

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

Không tốt, không bao giờ làm những việc như thế, bạn cho rằng sizeof (size_t) == sizeof (void *), còn những gì sẽ xảy ra nếu bytes==(size_t)(-1) này sẽ không hoạt động

Thêm vào đó, bạn cần đảm bảo rằng con trỏ mà bạn đang trả về được căn chỉnh. Nếu không bạn sẽ gặp vấn đề. Vì vậy, bạn cần đảm bảo rằng các byte là bội số của 4 hoặc 8 theo nền tảng của bạn.

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(); 

Đề xuất? Đừng sáng tạo lại bánh xe. Có rất nhiều thư viện hồ bơi tốt.