Tại sao bộ đếm tham chiếu không tăng :: shared_ptr volatile?

Question

Trong boost::shared_ptr destructor, điều này được thực hiện:

if(--*pn == 0) 
{ 
    boost::checked_delete(px); 
    delete pn; 
} 

nơi pn là một con trỏ đến quầy tham khảo, được typedefed như

shared_ptr::count_type -> detail::atomic_count -> long 

tôi dự kiến ​​sẽ có các long là volatile long, được đưa ra sử dụng luồng và 0-kiểm tra và xóa không nguyên tử trong trình phá hủy shared_ptr ở trên. Tại sao nó không dễ bay hơi?

EDIT:

Hóa ra tôi nhìn vào tiêu đề sử dụng khi sử dụng đa luồng không được xác định (atomic_count.hpp). Trong atomic_count_win32.hpp, phần giảm được triển khai đúng cho việc sử dụng đa luồng.

Answer 1

Bởi vì volatile không cần thiết cho đa luồng, và không có gì có lợi, nhưng có khả năng phá hủy một số tối ưu hóa.

Để đảm bảo truy cập đa luồng an toàn cho một biến, nguyên thủy chúng ta cần là rào cản bộ nhớ, cung cấp cả bảo đảm volatile và một số khác (ngăn chặn truy nhập bộ nhớ sắp xếp lại qua hàng rào, do)

Tôi tin rằng shared_ptr sử dụng các hoạt động nguyên tử khi có thể, điều này ngầm cung cấp rào cản bộ nhớ. Nếu không nó sẽ trở lại một mutex, nó cũng cung cấp một rào cản bộ nhớ.

Xem Why is volatile not considered useful in multithreaded C or C++ programming? hoặc http://software.intel.com/en-us/blogs/2007/11/30/volatile-almost-useless-for-multi-threaded-programming/ để biết thêm chi tiết

Sửa
count_type là không một long trong trường hợp tổng quát. Đó là có thể chuyển đổi thành long. Nếu bạn nhìn vào atomic_count.hpp, typedef to long chỉ được áp dụng nếu không có luồng có sẵn (trong trường hợp này tất nhiên, không cần đồng bộ hóa). Nếu không, công cụ sẽ sử dụng triển khai được xác định trong boost/smart_ptr/detail/atomic_count_pthreads.hpp hoặc boost/smart_ptr/detail/atomic_count_win32.hpp hoặc một trong các tệp khác được liệt kê. Và đó là những lớp bao bọc đồng bộ đảm bảo mọi hoạt động được thực hiện một cách nguyên tử.

Answer 2

volatile hầu như không có gì liên quan đến luồng. Xem here.

Answer 3

Bạn đang đọc sai mã. atomic_count được định nghĩa đơn giản là dài nếu mã không sử dụng đa luồng:

#ifndef BOOST_HAS_THREADS 

namespace boost 
{ 

namespace detail 
{ 

typedef long atomic_count; 

} 

} 

#elif //... include various platform-specific headers that define atomic_count class 

#endif