根据https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57250,GCC 4.9已经支持原子shared_ptr
运营。
使用 GCC 4.9.2,我能够编译一个使用原子的程序shared_ptr
. The -mcx16
标志是必需的,因为 x86_64 上的 GCC 实现显然需要cmpxchg16b
,这是有道理的,因为我假设对 a 进行原子操作shared_ptr
需要同时原子地更新指针本身和引用计数。
然而,当我尝试实际use原子的shared_ptr
库,它的行为不符合我的预期。所以,要么我没有正确使用它,要么 GCC 实现有缺陷。大多数时候,我有 99% 的信心认为我只是做错了,但由于这是一个相对较新的功能,而且行为看起来很奇怪,所以我只有大约 50% 的信心认为这是我的错案件。
这是一个创建原子的简单程序shared_ptr
,然后对shared_ptr执行一系列并发读取和写入:
void test()
{
std::atomic<std::shared_ptr<int>> p(std::shared_ptr<int>(new int(10)));
std::cout << "Use count : " << p.load().use_count() << std::endl;
std::cout << "Initial value of p : " << *(p.load()) << std::endl;
std::vector<std::thread> threads;
const std::size_t num_threads = 8;
for (std::size_t i = 0; i != num_threads; ++i)
{
threads.emplace_back([&p, i](){
std::shared_ptr<int> x = p.load();
while (!p.compare_exchange_weak(
x,
std::shared_ptr<int>(new int(i + 5))
)) ;
});
}
for (auto& t : threads) t.join();
std::cout << "Use count : " << p.load().use_count() << std::endl;
std::cout << "Final value of p : " << *(p.load()) << std::endl;
}
当我编译并运行时,输出是:
~$ g++ test2.cpp -o test2 -std=c++11 -lpthread -mcx16
~$ ./test2
Use count : 1
Initial value of p : 0
Use count : 0
Final value of p : 0
但这个输出对我来说没有意义。首先,初始化原子后shared_ptr
到一个值10
,当我加载它并读取初始值(在生成任何线程之前)时,我得到一个0
。其次,所有线程加入后,该值仍然是0
,即使没有线程可能将其设置为0
。最奇怪的是,在线程加入之后,use_count()
的shared_ptr是0
!然而原子shared_ptr
对象仍在范围内,因此使用计数应该是1
.
我很确定 GCC 实现在这里有缺陷,但是根据我上面发布的链接,GCC 4.9 有一个完整的原子shared_ptr
实施,以及...
~$ gcc --version
~$ gcc (Debian 4.9.2-10) 4.9.2
那么...到底发生了什么?我想得到某种确认,要么这里的 GCC 4.9.2 实现有缺陷或不完整,要么我对如何使用原子完全错误/困惑shared_ptr
.