boost::shared_ptr的win32实现中,没有使用类似mutex机制却能够实现线程安全。
线程安全主要就是保证引用计数机制的线程安全
win32实现中关键在于使用了
BOOST_INTERLOCKED_DECREMENT以及BOOST_INTERLOCKED_INCREMENT
在interlocked.hpp中可以看到
#if defined( BOOST_USE_WINDOWS_H )
# include <windows.h>
# define BOOST_INTERLOCKED_INCREMENT InterlockedIncrement
# define BOOST_INTERLOCKED_DECREMENT InterlockedDecrement
# define BOOST_INTERLOCKED_COMPARE_EXCHANGE InterlockedCompareExchange
windows提供了InterlockedIncrement以及InterlockedDecrement两个api。
实现 锁加,锁减操作。
boost::shared_ptr的win32thread实现中,没有使用类似mutex机制却能够实现线程安全。
boost::shared_ptr的pthread实现中,使用了mutex机制来保证线程安全。
遗留疑问:
InterlockedIncrement和InterlockedDecrement内部是否也使用了mutex机制?
Boost 文档对于 shared_ptr 的线程安全有一段专门的记述,内容如下:
shared_ptr objects offer the same level of thread safety as built-in types. A shared_ptr instance can be "read " (accessed using only const operations) simultaneously by multiple threads. Different shared_ptr instances can be "written to " (accessed using mutable operations such as operator= or reset) simultaneosly by multiple threads (even when these instances are copies, and share the same reference count underneath.)
Any other simultaneous accesses result in undefined behavior.
翻译为中文如下:
shared_ptr 对象提供与内建类型一样的线程安全级别。一个 shared_ptr 实例可以同时被多个线程“读”(仅使用不变操作进行访问)。不同的 shared_ptr 实例可以同时被多个线程“写入”(使用类似 operator= 或 reset 这样的可变操作进行访问)(即使这些实例是拷贝,而且共享下层的引用计数)。
任何其它的同时访问的结果会导致未定义行为。