Thu gom rác khi biên dịch sang C

Question

Các kỹ thuật thu gom rác thải khi biên soạn một ngôn ngữ thu gom rác thải thành C là gì? Tôi biết hai:

1. duy trì một chồng bóng mà tiết kiệm tất cả các rễ một cách rõ ràng trong một cấu trúc dữ liệu

2. sử dụng một bộ thu rác bảo thủ như

Kỹ thuật đầu tiên Boehm là chậm, bởi vì bạn phải duy trì ngăn xếp bóng. Có khả năng mỗi khi một hàm được gọi, bạn cần phải lưu các biến cục bộ trong một cấu trúc dữ liệu.

Kỹ thuật thứ hai cũng chậm và vốn không đòi lại tất cả rác do sử dụng bộ thu gom rác bảo thủ.

Câu hỏi của tôi là: trạng thái của bộ sưu tập rác khi biên dịch thành C. Lưu ý rằng tôi không có nghĩa là cách thuận tiện để thu gom rác khi lập trình trong C (đây là mục tiêu của bộ thu rác Boehm) , chỉ là một cách để thực hiện thu gom rác khi biên dịch thành C.

Answer 1

Có khả năng mỗi lần hàm được gọi, bạn cần phải lưu các biến cục bộ trong cấu trúc dữ liệu.

Không, bạn không - bạn có thể để biến cục bộ trên ngăn xếp C và vẫn lặp qua chúng: đặt tất cả biến tham chiếu vào mảng và thêm con trỏ vào danh sách được liên kết mà bạn nối một nút khi nhập một khung ngăn xếp mới.

Mockup:

struct vm 
{ 
    struct scope *root; 
}; 

struct scope 
{ 
    struct scope *prev, *next; 
    size_t size; 
    struct ref *refs; 
}; 

void foo(struct vm *vm, struct scope *caller) 
{ 
    struct ref local_refs[42]; 
    struct scope scope = { 
     caller, NULL, sizeof local_refs/sizeof *local_refs, local_refs }; 

    caller->next = &scope; 

    // ... 

    caller->next = NULL; 
} 

Tuy nhiên, bạn sẽ phải nhảy qua một số hoops lớn nếu bạn muốn hỗ trợ continuations/nhảy phi địa phương. Trong trường hợp đó, sẽ dễ dàng phân bổ mọi thứ hơn.