Chuẩn C++ giúp đảm bảo luồng nhất định cho tất cả các lớp trong thư viện C++ chuẩn. Những đảm bảo này có thể không phải là những gì bạn mong đợi, nhưng đối với tất cả các lớp thư viện C++ chuẩn, một số đảm bảo an toàn chủ đề được thực hiện. Tuy nhiên, hãy đảm bảo rằng bạn đã đọc các đảm bảo được thực hiện, vì việc đảm bảo luồng của các thùng chứa C++ chuẩn thường không phù hợp với những gì bạn muốn. Đối với một số lớp khác nhau, thường mạnh hơn, đảm bảo được thực hiện và câu trả lời dưới đây đặc biệt áp dụng cho các thùng chứa. Các container chủ yếu có đảm bảo thread-an toàn sau:
- có thể có nhiều độc giả đồng thời cùng một container
- nếu có một nhà văn, sẽ không có nhiều tác giả và không có độc giả
Đây thường không phải là những gì mọi người muốn đảm bảo an toàn luồng nhưng rất hợp lý cho giao diện của các thùng chứa tiêu chuẩn: chúng được dự định sử dụng hiệu quả trong trường hợp không có nhiều chuỗi truy cập. Việc thêm bất kỳ loại khóa nào cho các phương thức của chúng sẽ can thiệp vào điều này. Ngoài ra, giao diện của các thùng chứa không thực sự hữu ích cho bất kỳ hình thức khóa nội bộ nào: thường có nhiều phương thức được sử dụng và các truy cập phụ thuộc vào kết quả của các truy cập trước đó. Ví dụ: sau khi đã kiểm tra rằng vùng chứa không phải là empty(), một phần tử có thể được truy cập. Tuy nhiên, với khóa bên trong không có gì đảm bảo rằng đối tượng vẫn nằm trong vùng chứa khi nó thực sự được truy cập.
Để đáp ứng các yêu cầu đưa ra các đảm bảo trên, bạn có thể sẽ phải sử dụng một số hình thức khóa ngoài cho các thùng chứa được truy cập đồng thời. Tôi không biết về các thùng chứa tăng nhưng nếu họ có một giao diện tương tự như của các thùng chứa tiêu chuẩn tôi sẽ nghi ngờ rằng họ có chính xác cùng một đảm bảo.
Các bảo lãnh và yêu cầu được đưa ra trong 17.6.4.10 [res.on.objects] đoạn 1:
Hành vi của một chương trình là undefined nếu các cuộc gọi đến các hàm thư viện chuẩn từ chủ đề khác nhau có thể đưa ra một dữ liệu cuộc đua. Các điều kiện theo đó điều này có thể xảy ra được quy định trong 17.6.5.9. [Lưu ý: Sửa đổi một đối tượng của một kiểu thư viện chuẩn được chia sẻ giữa các luồng rủi ro hành vi không xác định trừ khi các đối tượng thuộc loại đó được xác định rõ ràng là có thể chia sẻ mà không có cuộc đua dữ liệu hoặc người dùng cung cấp cơ chế khóa. —endnote]
... và 17.6.5.9 [res.on.data.races]. Phần này về cơ bản chi tiết các mô tả chính thức hơn trong không.
Nguồn
2012-01-28 03:11:14
Điều này phải là một số. Nhưng, không, không có thùng chứa tiêu chuẩn nào an toàn chỉ. – smparkes
Xem thêm: http://stackoverflow.com/questions/1999122/how-to-define-threadsafe – ergosys
Không hoàn toàn là lừa đảo, nhưng có liên quan: http://stackoverflow.com/questions/1099513/threadsafe-vector-class- for-c – ergosys