coroutines đệ quy trong C (C99)

Question

Trong khi thực hiện một giao thức truyền thông, chúng tôi có một bộ mã hóa truyền tải một số cấu trúc đệ quy và mã hóa chúng thành một thông điệp nhị phân.

Cho đến nay rất tốt, nhưng bây giờ bộ đệm phải tách thành nhiều phần có kích thước cố định, ví dụ: kích thước trên của bộ đệm nhận. Vì việc cấp phát bộ nhớ cho toàn bộ thông điệp và cắt nó có vẻ quá lãng phí (kích thước của thông điệp là - trong lý thuyết - không bị ràng buộc), ý tưởng bây giờ là triển khai một coroutine với phương tiện setjmp/longjmp.

Hiện tại, tôi có một nguyên mẫu với hai bộ đệm nhảy - một bộ đệm để tiếp tục chức năng mã hóa và hàm thứ hai để mô phỏng hành vi trả về của hàm để quay lại người gọi.

Vâng, có vẻ như nó hoạt động, nhưng mã trông giống như đang đi thẳng từ địa ngục. Có bất kỳ 'quy ước' nào để thực hiện các chức năng đệ quy gián đoạn, có thể là một tập các macro hay cái gì đó không? Tôi chỉ muốn sử dụng các chức năng được tiêu chuẩn hóa, không có nội tuyến asm để duy trì di động.

Addition: Nguyên mẫu là ở đây: https://github.com/open62541/open62541/compare/master...chunking_longjmp Các 'sử dụng' được hiển thị bên trong bộ phận kiểm tra. Hiện tại, hành vi coroutine được thực hiện cho một hàm không đệ quy Array_encodeBinary. Tuy nhiên, hành vi 'coroutine' nên được mở rộng đến hàm đệ quy chung UA_encodeBinary nằm ở đây: https://github.com/open62541/open62541/blob/master/src/ua_types_encoding_binary.c#L1029

Answer 1

Như được chỉ ra bởi Olaf, cách dễ nhất là sử dụng thuật toán lặp lại. Tuy nhiên, nếu vì một lý do nào đó, điều này rất khó, bạn luôn có thể mô phỏng thuật toán đệ quy bằng một thùng chứa stack và một vòng lặp while. Điều này ít nhất làm cho chức năng dễ ngắt hơn. Bài viết khá hay về cách thực hiện điều này có thể được tìm thấy here. Bài viết được viết cho C++, nhưng không khó để chuyển đổi nó thành c.