{"id":10760,"date":"2025-05-19T09:11:18","date_gmt":"2025-05-19T09:11:18","guid":{"rendered":"https:\/\/www.modernescpp.com\/?p=10760"},"modified":"2025-05-19T09:11:18","modified_gmt":"2025-05-19T09:11:18","slug":"atomicshared_ptr-by-oliver-schadlich","status":"publish","type":"post","link":"https:\/\/www.modernescpp.com\/index.php\/atomicshared_ptr-by-oliver-schadlich\/","title":{"rendered":"atomic<shared_ptr<>> by Oliver Sch\u00e4dlich"},"content":{"rendered":"\n

This blog article is an experiment. A few days ago, I received the following email (translated from German) from Oliver Sch\u00e4dlich (oliver.schaedlich@gmail.com). If, as I hope, this article sparks a discussion, I will be happy to summarize it in my last article.
<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

Please send an email to: Rainer.Grimm@ModernesCpp.de<\/a>.<\/p>\n\n\n\n

I just read your latest article on hazard pointers with a look at RCU on Heise. Inspired by YouTube presentations on lock-free variants of atomic<shared_ptr<>>, I thought to myself: it doesn’t have to be that complicated. In principle, you could implement something like an atomic<shared_ptr<>> simply with Lock, and when updating the shared_ptr<> from the central atomic<shared_ptr<>>, a comparison of the atomic with the shared_ptr is first performed without locking.<\/em><\/p>\n\n\n\n

Usually, with RCU-like patterns with a central \u201catomic<shared_ptr<>>,\u201d this is updated relatively rarely, but you very often fetch an update of the current value. Normally, if both pointers point to the same thing, you simply don’t lock, and you get a super-fast update because all cache lines involved remain shared.<\/em><\/p>\n\n\n\n

I implemented this rudimentarily with VS 2022, and updating the shared_obj<T> from the central tshared_obj<> takes about 1.5 nanoseconds on my Zen4 CPU. The solution is so simple that I wondered why no one had thought of it before.<\/em><\/p>\n\n\n\n

In principle, you could give the shared_ptr<> from C++ an assignment operator that takes an atomic<shared_ptr<>> that does the same thing. Currently, the atomic<shared_ptr<>> casts to shared_ptr<> and a relatively expensive copy is performed. libstdc++ and MSVC currently work with a lock at this point, which would still not be a problem if you proceed as described for the special case in question. Perhaps you could pass the idea on to the appropriate place so that something like this can be included in one of the next standards.<\/em>
<\/p>\n\n\n\n

Here is the code that Oliver Sch\u00e4dlich sent me. It is written in C++20 and uses the standard library. The files are futex.cpp, main.cpp, cl_size.h, futex.h, <\/code>and shared_obj.h<\/code>.<\/p>\n\n\n\n

You can download the source code here: source.7z.<\/a><\/p>\n\n\n\n

The most interesting file is shared_obj.h<\/code> and the following function within it:<\/p>\n\n\n\n

template<\/span><<\/span>typename<\/span> T><\/span>\nshared_obj<<\/span>T><\/span> &<\/span>shared_obj<<\/span>T>::<\/span>operator<\/span> =<\/span>( tshared_obj<<\/span>T><\/span> const<\/span> &<\/span>tso ) noexcept\n{\n\tusing<\/span> namespace<\/span> std;\n\tctrl_t<\/span> *<\/span>ctrl =<\/span> tso.m_ctrl.load( memory_order_relaxed );\n\tif<\/span>( ctrl ==<\/span> m_ctrl )\n\t\treturn<\/span> *<\/span>this<\/span>;\n\tif<\/span>( m_ctrl )\n\t{\n\t\tif<\/span>( m_ctrl-><\/span>decr() ==<\/span> 1<\/span> )\n\t\t\tdelete<\/span> m_ctrl;\n\t\tm_ctrl =<\/span> nullptr;\n\t}\n\tlock_guard<<\/span>typename<\/span> tshared_obj<<\/span>T>::<\/span>mutex_t<\/span>><\/span> lock( tso.m_mtx );\n\tctrl =<\/span> tso.m_ctrl.load( memory_order_relaxed );\n\tm_ctrl =<\/span> ctrl;\n\tctrl-><\/span>incr();\n\treturn<\/span> *<\/span>this<\/span>;\n}\n<\/pre><\/div>\n\n\n\n
If I remove the first if with return *this, the code is a few thousand times slower, about as slow as updating a shared_ptr<> from an atomic<shared_ptr<>>.<\/em>
<\/p>\n\n\n\n
What’s next?<\/h2>\n\n\n\n
RCU stands for Read Copy Update, a synchronization technique for almost exclusively read-only data structures developed by Paul McKenney and used in the Linux kernel since 2002. RCU is currently mentioned in connection with hazard pointers.<\/p>\n\n\n\n
<\/p>\n","protected":false},"excerpt":{"rendered":"
This blog article is an experiment. A few days ago, I received the following email (translated from German) from Oliver Sch\u00e4dlich (oliver.schaedlich@gmail.com). If, as I hope, this article sparks a discussion, I will be happy to summarize it in my last article. Please send an email to: Rainer.Grimm@ModernesCpp.de. I just read your latest article on […]<\/p>\n","protected":false},"author":21,"featured_media":10761,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[375],"tags":[],"class_list":["post-10760","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-c-20"],"_links":{"self":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts\/10760","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/comments?post=10760"}],"version-history":[{"count":3,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts\/10760\/revisions"}],"predecessor-version":[{"id":10764,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts\/10760\/revisions\/10764"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/media\/10761"}],"wp:attachment":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/media?parent=10760"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/categories?post=10760"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/tags?post=10760"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}