Gọi hàm C với con trỏ ngăn xếp khác nhau (gcc)

Question

Tôi đang tìm cách gọi hàm C trong một ngăn xếp khác, tức là lưu con trỏ ngăn xếp hiện tại, đặt con trỏ ngăn xếp đến một vị trí khác, gọi hàm và khôi phục con trỏ ngăn xếp cũ khi nó trở về.

Mục đích của việc này là một hệ thống luồng nhẹ cho một ngôn ngữ lập trình. Các luồng sẽ hoạt động trên các ngăn xếp rất nhỏ, kiểm tra khi cần thêm stack và tự động thay đổi kích thước của nó. Điều này là để hàng ngàn chủ đề có thể được phân bổ mà không lãng phí rất nhiều bộ nhớ. Khi gọi đến mã C, không an toàn khi sử dụng một ngăn xếp nhỏ, vì mã C không biết về kiểm tra và thay đổi kích thước, vì vậy tôi muốn sử dụng ngăn xếp lớn được sử dụng chỉ để gọi C (được chia sẻ giữa các chuỗi nhẹ trên cùng một pthread).

Bây giờ tôi có thể viết các đoạn mã lắp ráp sẽ hoạt động tốt, nhưng tôi tự hỏi liệu có cách nào tốt hơn để làm điều này, chẳng hạn như phần mở rộng gcc hoặc thư viện đã triển khai nó. Nếu không, sau đó tôi đoán tôi sẽ có đầu của tôi chôn trong ABI và hướng dẫn sử dụng ngôn ngữ lắp ráp ;-) Tôi chỉ yêu cầu này ra khỏi sự lười biếng và không muốn phát minh lại bánh xe.

Answer 1

Giả sử bạn đang sử dụng các chủ đề POSIX và trên hệ thống POSIX, bạn có thể đạt được điều này với các tín hiệu. Thiết lập một ngăn xếp xử lý tín hiệu thay thế (sigaltstack) và chỉ định một tín hiệu thời gian thực đặc biệt để bộ xử lý của nó chạy trên ngăn xếp tín hiệu thay thế. Sau đó, raise tín hiệu để chuyển sang ngăn xếp và có trình xử lý tín hiệu đọc dữ liệu cho chức năng cần gọi và đối số nào để truyền dữ liệu đó, từ dữ liệu chuỗi địa phương.

Lưu ý rằng cách tiếp cận này khá tốn kém (nhiều cuộc gọi hệ thống để thay đổi ngăn xếp), nhưng phải 100% di động với hệ thống POSIX. Vì nó rất chậm, bạn có thể muốn tạo các hàm gọi-on-alt-stack cụ thể được viết bằng assembly, và chỉ sử dụng giải pháp chung của tôi làm dự phòng cho các vòm mà bạn chưa viết phiên bản lắp ráp.