Mà Unix không có một malloc thread-an toàn?

Question

Tôi muốn chương trình C của tôi được di động ngay cả trên hệ điều hành Unix rất cũ nhưng vấn đề là tôi đang sử dụng pthreads và phân bổ động (malloc). Tất cả Unix tôi biết có một malloc thread-an toàn (Linux, * BSD, Irix, Solaris) tuy nhiên điều này không được đảm bảo bởi các tiêu chuẩn C, và tôi chắc chắn rằng có những phiên bản rất cũ, nơi điều này là không đúng sự thật.

Vì vậy, có một số danh sách nền tảng mà tôi cần để kết thúc cuộc gọi malloc() bằng khóa mutex không? Tôi dự định viết một thử nghiệm ./configure để kiểm tra xem nền tảng hiện tại có nằm trong danh sách đó hay không.

Phương án thay thế khác là kiểm tra malloc() cho an toàn luồng, nhưng tôi không biết cách nào để thực hiện điều này. Bất kỳ ý tưởng về điều này quá?

Answer 1

Tiêu chuẩn C chỉ có chủ đề (và do đó có thể có liên quan đến câu hỏi của bạn) là C11, trong đó nêu:

Đối với mục đích của việc xác định sự tồn tại của một cuộc chạy đua dữ liệu, bộ nhớ chức năng phân bổ cư xử như mặc dù họ chỉ truy cập vào bộ nhớ vị trí có thể truy cập thông qua các đối số của chúng và không lưu trữ thời gian tĩnh khác .

Hoặc nói cách khác, miễn là hai luồng không vượt qua cùng một địa chỉ đến realloc hoặc free tất cả các cuộc gọi đến các chức năng bộ nhớ đều là an toàn.

Đối với POSIX, đó là tất cả Unix'es mà bạn có thể tìm thấy ngày nay bạn có:

Mỗi chức năng được xác định trong khối lượng hệ thống giao diện của IEEE Std 1.003,1-2001 là thread-safe trừ khi quy định rõ ràng.

Tôi không biết từ đâu bạn khẳng định rằng malloc sẽ không là chủ đề an toàn cho Unix cũ hơn, hệ thống có chủ đề không thực hiện chủ đề an toàn đó là vô ích. Điều gì có thể là một vấn đề trên một hệ thống cũ hơn như vậy là hiệu năng, nhưng nó luôn luôn là chức năng.