Là chủ đề sao chép khi gọi ngã ba?

Nếu tôi có một chương trình đang chạy với các luồng và gọi fork()trên một hệ thống dựa trên unix, các luồng có được sao chép không? Tôi biết rằng bộ nhớ ảo cho quy trình hiện tại được sao chép 1: 1 sang quy trình mới được sinh ra. Tôi biết rằng các luồng có ngăn xếp riêng của chúng trong bộ nhớ ảo của một quá trình. Vì vậy, ít nhất là chồng các chủ đề cũng nên được sao chép. Tuy nhiên, tôi không biết liệu có thêm bất kỳ chủ đề nào không nằm trong bộ nhớ ảo hay không và do đó KHÔNG được sao chép. Nếu không có, hai quá trình chia sẻ các chủ đề hay chúng là bản sao độc lập?

Không.

Chủ đề không được sao chép trên fork(). Đặc tả POSIX cho biết (nhấn mạnh là của tôi):

ngã ba - tạo ra một quy trình mới

Một quy trình sẽ được tạo ra với một chủ đề duy nhất . Nếu một quy trình đa luồng gọi fork (), quy trình mới sẽ chứa một bản sao của luồng gọi và toàn bộ không gian địa chỉ của nó, có thể bao gồm các trạng thái của mutexes và các tài nguyên khác. Do đó, để tránh lỗi, tiến trình con chỉ có thể thực hiện các hoạt động an toàn tín hiệu async cho đến khi một trong các hàm exec được gọi.

Để khắc phục vấn đề này, tồn tại một pthread_atfork()chức năng để giúp đỡ.

người đàn ông ngã ba :

Quá trình con được tạo ra với một luồng duy nhất, một luồng được gọi là fork (). Toàn bộ không gian địa chỉ ảo của cha mẹ được sao chép ở trẻ, bao gồm các trạng thái của mutexes, biến điều kiện và các đối tượng pthreads khác; việc sử dụng pthread_atfork (3) có thể hữu ích để xử lý các vấn đề mà điều này có thể gây ra.

Từ Thông số kỹ thuật cơ sở nhóm mở số 7, phiên bản ngã ba 2018 :

Một quy trình sẽ được tạo ra với một chủ đề duy nhất. Nếu một quy trình đa luồng gọi fork () , quy trình mới sẽ chứa một bản sao của luồng gọi và toàn bộ không gian địa chỉ của nó, có thể bao gồm các trạng thái của mutexes và các tài nguyên khác. Do đó, để tránh lỗi, tiến trình con chỉ có thể thực hiện các hoạt động an toàn tín hiệu async cho đến khi một trong các hàm exec được gọi.

Khi ứng dụng gọi fork () từ trình xử lý tín hiệu và bất kỳ trình xử lý ngã ba nào được đăng ký bởi pthread_atfork () sẽ gọi một hàm không an toàn tín hiệu, hành vi không được xác định.

Ban đầu, "fork" đã đạt được bằng cách ghi tác vụ vào đĩa và sau đó, thay vì đọc trong một luồng khác (sẽ được thực hiện nếu hoán đổi tác vụ với một cái khác), sửa đổi ID nhiệm vụ của hình ảnh vẫn còn trong bộ nhớ và tiếp tục với việc thực hiện của nó (như nhiệm vụ mới). Đây là một sửa đổi rất đơn giản cho cơ chế chuyển đổi tác vụ cơ bản, trong đó chỉ có một tác vụ sẽ chiếm bộ nhớ RAM tại một thời điểm.

Tất nhiên, khi quản lý bộ nhớ phức tạp hơn, sơ đồ này đã được sửa đổi cho phù hợp với môi trường mới.