{"id":282734,"date":"2016-12-20T09:05:04","date_gmt":"2016-12-20T06:05:04","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=282734"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=282734","title":{"rendered":"Lock-free \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0434\u0430\u043d\u043d\u044b\u0445. Iterable list"},"content":{"rendered":"<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/817\/b38\/f79\/817b38f7937a41259c48998f2cb990a0.png\" align=\"right\"\/> Lock-free list \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0441\u043d\u043e\u0432\u043e\u0439 \u043c\u043d\u043e\u0433\u0438\u0445 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0445 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u0434\u0430\u043d\u043d\u044b\u0445, \u2014 \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0435\u0433\u043e <a href=\"https:\/\/habrahabr.ru\/post\/250383\/#MichaelList\">hash map<\/a>, \u0433\u0434\u0435 lock-free list \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u0441\u043f\u0438\u0441\u043e\u043a \u043a\u043e\u043b\u043b\u0438\u0437\u0438\u0439, <a href=\"https:\/\/habrahabr.ru\/post\/250523\/\">split-ordered list<\/a>, \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u0446\u0435\u043b\u0438\u043a\u043e\u043c \u043d\u0430 \u0441\u043f\u0438\u0441\u043a\u0435 \u0441 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c \u0440\u0430\u0441\u0449\u0435\u043f\u043b\u0435\u043d\u0438\u044f bucket&#8217;\u0430, \u043c\u043d\u043e\u0433\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u043e\u0433\u043e <a href=\"https:\/\/habrahabr.ru\/post\/250815\/\">skip list<\/a>, \u044f\u0432\u043b\u044f\u044e\u0449\u0435\u0433\u043e\u0441\u044f \u043f\u043e \u0441\u0443\u0442\u0438 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u0432. \u0412 <a href=\"https:\/\/habrahabr.ru\/post\/314948\/\">\u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439<\/a> \u0441\u0442\u0430\u0442\u044c\u0435 \u043c\u044b \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0438\u0434\u0430\u0442\u044c \u0442\u0430\u043a\u0443\u044e \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u044e\u044e \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u043c\u0443 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0443, \u0447\u0442\u043e\u0431\u044b \u043e\u043d \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u043b thread-safe \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u0432 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u043d\u043e\u043c \u043c\u0438\u0440\u0435 lock-free \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u043e\u0432. \u041a\u0430\u043a \u043c\u044b \u0432\u044b\u044f\u0441\u043d\u0438\u043b\u0438, \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b lock-free \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 \u0441\u0442\u0430\u043b \u0438\u0442\u0435\u0440\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u043c, \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0439 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b: \u043d\u043e\u0434\u044b \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u044b \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u0434\u0430\u043b\u044f\u0442\u044c\u0441\u044f (delete). \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u0441\u0443\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u043e (\u0431\u044b\u0442\u044c \u043c\u043e\u0436\u0435\u0442, \u0441\u043e\u0441\u0442\u0430\u0432\u043d\u043e\u0439) \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u043d\u043e\u0434\u0443 \u0441 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043a \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 (\u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0438\u043d\u043a\u0440\u0435\u043c\u0435\u043d\u0442\u0430).<br \/>  \u041c\u043e\u0436\u043d\u043e \u043b\u0438 \u0442\u0430\u043a\u043e\u0439 \u043f\u043e\u0434\u0445\u043e\u0434 \u0440\u0430\u0441\u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0438\u0442\u044c \u043d\u0430 lock-free list?.. \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c\u2026<br \/>  <a name=\"habracut\"><\/a><br \/>  \u041e\u0431\u044b\u0447\u043d\u044b\u0439 lock-free \u0441\u043f\u0438\u0441\u043e\u043a \u0438\u043c\u0435\u0435\u0442 \u0442\u0430\u043a\u043e\u0435 \u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u0443\u0437\u043b\u0430:  <\/p>\n<pre><code>template &lt;typename T&gt; struct list_node {    std::atomic&lt;list_node*&gt; next_;    T  data_; }; <\/code><\/pre>\n<p>  \u0412 \u043d\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0435 \u0438\u043d\u043a\u043e\u0440\u043f\u043e\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u044b \u043f\u0440\u044f\u043c\u043e \u0432 \u0443\u0437\u0435\u043b, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043a\u043b\u044e\u0447\u0430 (\u0434\u0430\u043d\u043d\u044b\u0445) \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043a \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044e \u043d\u043e\u0434\u044b \u0446\u0435\u043b\u0438\u043a\u043e\u043c.<br \/>  \u0420\u0430\u0437\u0434\u0435\u043b\u0438\u043c \u0443\u0437\u0435\u043b \u0438 \u0434\u0430\u043d\u043d\u044b\u0435 \u2014 \u043f\u0443\u0441\u0442\u044c \u0443\u0437\u0435\u043b \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043d \u043d\u0435\u0441\u0435\u0442:  <\/p>\n<pre><code>template &lt;typename T&gt; struct node {     std::atomic&lt;node*&gt; next_;     std::atomic&lt;T*&gt; data_; }; <\/code><\/pre>\n<p>  \u0422\u043e\u0433\u0434\u0430 \u0434\u043b\u044f \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u043a\u043b\u044e\u0447\u0430 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043e\u0431\u043d\u0443\u043b\u0438\u0442\u044c \u043f\u043e\u043b\u0435 <code>data_<\/code> \u0443 \u043d\u043e\u0434\u044b.<br \/>  \u0412 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u043d\u0430\u0448 \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0440\u0438\u043e\u0431\u0440\u0435\u0442\u0435\u0442 \u0442\u0430\u043a\u0443\u044e \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u044e\u044e \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/7ef\/bbb\/8bc\/7efbbb8bc3fb44d4ad4097064c68aecb.png\"\/><\/p>\n<p>  \u041d\u043e\u0434\u044b \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0443\u0434\u0430\u043b\u044f\u044e\u0442\u0441\u044f, \u0442\u0430\u043a \u0447\u0442\u043e \u0441\u043f\u0438\u0441\u043e\u043a \u0438\u0442\u0435\u0440\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u0439: \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u0435\u0441\u0442\u044c \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u043d\u043e\u0434\u0443:  <\/p>\n<pre><code>template &lt;typename T&gt; struct iterator {     guarded_ptr&lt;T&gt;   gp_;     node*            node_;     T* operator -&gt;() { return gp_.ptr; }     iterator& operator++() {        \/\/ \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u043c \u0434\u0430\u043b\u0435\u0435 \u043f\u043e \u0441\u043f\u0438\u0441\u043a\u0443, \u043d\u0430\u0447\u0438\u043d\u0430\u044f \u0441 node_,        \/\/ \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u044f \u0443\u0437\u043b\u044b \u0441 \u043f\u0443\u0441\u0442\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438     } }; <\/code><\/pre>\n<p>  \u041d\u0430\u043b\u0438\u0447\u0438\u0435 <code>guarded_ptr<\/code> (\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0437\u0430\u0449\u0438\u0449\u0435\u043d\u043d\u044b\u0439 hazard pointer&#8217;\u043e\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0435) \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0442\u0430\u043a \u043a\u0430\u043a \u043c\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u043c \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u0439 \u043f\u043e\u0442\u043e\u043a \u043d\u0435 \u0443\u0434\u0430\u043b\u0438\u0442 \u0434\u0430\u043d\u043d\u044b\u0435, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u0438\u0440\u043e\u0432\u0430\u043d \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440. \u041c\u043e\u0436\u043d\u043e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e, \u0447\u0442\u043e \u043d\u0430 \u043c\u043e\u043c\u0435\u043d\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u043d\u0430 \u0443\u0437\u0435\u043b <code>node_<\/code> \u043e\u043d (\u0443\u0437\u0435\u043b) \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u043b \u0434\u0430\u043d\u043d\u044b\u0435. \u0417\u0430\u0449\u0438\u0449\u0435\u043d\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430\u043c \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442, \u0447\u0442\u043e \u043f\u043e\u043a\u0430 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0430 \u0443\u0437\u043b\u0435 <code>node_<\/code>, \u0435\u0433\u043e \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0435 \u0431\u0443\u0434\u0443\u0442 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u0434\u0430\u043b\u0435\u043d\u044b (delete). <br \/>  \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0432 \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0430\u0445, \u043a\u0430\u043a \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442. \u041c\u044b \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u043c \u043e\u0431\u0445\u043e\u0434 \u0441\u043f\u0438\u0441\u043a\u0430 \u2014 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u043d\u0430 \u043f\u0435\u0440\u0432\u044b\u0439 \u0443\u0437\u0435\u043b \u0441 \u043d\u0435\u043f\u0443\u0441\u0442\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/6db\/137\/097\/6db13709787742f7ac3c5778ea8345af.png\"\/><\/p>\n<p>  \u0414\u0430\u043b\u0435\u0435 \u0438\u043d\u043a\u0440\u0435\u043c\u0435\u043d\u0442\u0438\u0440\u0443\u0435\u043c \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u2014 \u043e\u043d \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u0443\u0437\u043b\u044b \u0441 \u043f\u0443\u0441\u0442\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/bf2\/d8f\/2e4\/bf2d8f2e4f3a450288a83011a6ba33aa.png\"\/><\/p>\n<p>  \u0414\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u0439 \u043f\u043e\u0442\u043e\u043a \u0443\u0434\u0430\u043b\u0438\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u0443\u0437\u043b\u0430, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u0438\u0440\u043e\u0432\u0430\u043d \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440, <code>guarded_ptr<\/code> \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u043d\u0430\u043c, \u0447\u0442\u043e \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0435 \u0431\u0443\u0434\u0443\u0442 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u0434\u0430\u043b\u0435\u043d\u044b, \u043f\u043e\u043a\u0430 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u0441\u0442\u043e\u0438\u0442 \u043d\u0430 \u0443\u0437\u043b\u0435:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/1eb\/c45\/3fd\/1ebc453fd21b45aa8f9b4a4ee1d1c02a.png\"\/><\/p>\n<p>  \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u0430 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f, \u043a\u043e\u0433\u0434\u0430 \u0434\u0430\u043d\u043d\u044b\u0435 \u0431\u0443\u0434\u0443\u0442 \u0443\u0434\u0430\u043b\u0435\u043d\u044b \u0438\u0437 \u0441\u043f\u0438\u0441\u043a\u0430, \u0430 \u0437\u0430\u0442\u0435\u043c \u043a \u0442\u043e\u043c\u0443 \u0436\u0435 \u0441\u0430\u043c\u043e\u043c\u0443 \u0443\u0437\u043b\u0443 <code>node_<\/code> \u0431\u0443\u0434\u0443\u0442 \u043f\u0440\u0438\u043f\u0438\u0441\u0430\u043d\u044b \u0434\u0440\u0443\u0433\u0438\u0435 \u0434\u0430\u043d\u043d\u044b\u0435. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u0438\u0440\u043e\u0432\u0430\u043d \u043d\u0430 \u0443\u0437\u0435\u043b <code>node_<\/code>. \u0411\u044b\u043b\u043e \u0431\u044b \u0441\u0442\u0440\u0430\u043d\u043d\u043e, \u0435\u0441\u043b\u0438 \u0431\u044b \u0432 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 <code>operator -&gt;()<\/code> \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u043b \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 <i>\u0440\u0430\u0437\u043d\u044b\u0435<\/i> \u0434\u0430\u043d\u043d\u044b\u0435. <code>guarded_ptr<\/code> \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u043d\u0430\u043c \u043d\u0435\u0438\u0437\u043c\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0445, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u044b\u0445 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c, \u043d\u043e \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043d\u0435 \u043f\u0440\u0435\u043f\u044f\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0438\u0445 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044e \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u043f\u043e\u0442\u043e\u043a\u0430\u043c\u0438:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/289\/017\/e2c\/289017e2c913402d8d76264ca3e84ae8.png\"\/><\/p>\n<p>  \u041a\u0430\u043a \u0432\u0438\u0434\u0438\u043c, \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 iterable list \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 thread-safe \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u0438 \u0438\u043c\u0435\u0435\u0442 \u043e\u0447\u0435\u043d\u044c \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u043a\u043b\u044e\u0447\u0430 (\u0434\u0430\u043d\u043d\u044b\u0445), \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u0440\u043e\u0441\u0442\u043e \u043a \u043e\u0431\u043d\u0443\u043b\u0435\u043d\u0438\u044e (\u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u0430 CAS) \u043f\u043e\u043b\u044f <code>data_<\/code> \u0443\u0437\u043b\u0430. \u041e\u043f\u0435\u0440\u0430\u0446\u0438\u044f <code>insert()<\/code> \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043d\u043e\u0432\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u043b\u043e\u0436\u043d\u0435\u0435, \u0442\u0430\u043a \u043a\u0430\u043a \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b \u0434\u0432\u0430 \u0441\u043b\u0443\u0447\u0430\u044f:<br \/>   \u2014 \u0432\u0441\u0442\u0430\u0432\u043a\u0430 \u043d\u043e\u0432\u043e\u0433\u043e \u0443\u0437\u043b\u0430 \u043c\u0435\u0436\u0434\u0443 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c\u0438 \u0443\u0437\u043b\u0430\u043c\u0438 \u0441\u043f\u0438\u0441\u043a\u0430 \u0441 \u043d\u0435\u043f\u0443\u0441\u0442\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/c28\/1a1\/491\/c281a1491802477aaa031cf9675e9fd0.png\"\/><br \/>  \u042d\u0442\u043e\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0432\u0441\u0442\u0430\u0432\u043a\u0438 \u0443\u0437\u043b\u0430 \u043d\u0430\u043c \u0443\u0436\u0435 \u0437\u043d\u0430\u043a\u043e\u043c \u043f\u043e <a href=\"https:\/\/habrahabr.ru\/post\/250383\/#MichaelList\">\u043e\u0434\u043d\u043e\u0439<\/a> \u0438\u0437 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0445 \u0441\u0442\u0430\u0442\u0435\u0439.<\/p>\n<p>   \u2014 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u043f\u043e\u043b\u044f <code>data_<\/code> \u0443 \u043f\u0443\u0441\u0442\u043e\u0433\u043e \u0443\u0437\u043b\u0430 <code>prev<\/code>:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/f3f\/a02\/69b\/f3fa0269b8614b3a854ea5a28d3282a9.png\"\/><\/p>\n<p>  \u041d\u0430 \u044d\u0442\u043e\u043c \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u0442\u044c \u0441\u0442\u0430\u0442\u044c\u044e, \u0435\u0441\u043b\u0438 \u0431\u044b \u0432\u0442\u043e\u0440\u043e\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u2014 reusing empty <code>data_<\/code> \u2014 \u043d\u0435 \u043f\u043e\u0434\u043a\u0438\u043d\u0443\u043b \u0431\u044b \u043f\u0430\u0440\u0443 \u0441\u044e\u0440\u043f\u0440\u0438\u0437\u043e\u0432.<\/p>\n<h2>\u0421\u044e\u0440\u043f\u0440\u0438\u0437 \u043f\u0435\u0440\u0432\u044b\u0439<\/h2>\n<p>  \u041f\u0435\u0440\u0432\u0430\u044f (\u043d\u0430\u0438\u0432\u043d\u0430\u044f) \u0432\u0435\u0440\u0441\u0438\u044f \u0432\u0441\u0442\u0430\u0432\u043a\u0438 \u0432 iterable list \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u043b\u0430 \u0442\u0430\u043a:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/f7a\/215\/27d\/f7a21527d39b48cda540415a1e7fc6ed.png\"\/><\/p>\n<p>  \u0424\u0443\u043d\u043a\u0446\u0438\u044f <code>linear_search<\/code> \u2013 \u044d\u0442\u043e \u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u043b\u0438\u043d\u0435\u0439\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 (\u043d\u0443, \u043d\u0435 \u0441\u043e\u0432\u0441\u0435\u043c \u043e\u0431\u044b\u0447\u043d\u044b\u0439, \u2014 \u0432\u0441\u0435 \u0436\u0435 \u0441\u043f\u0438\u0441\u043e\u043a \u0443 \u043d\u0430\u0441 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u044b\u0439, \u0442\u0430\u043a \u0447\u0442\u043e \u043f\u0440\u0438\u0441\u0435\u0434\u0430\u043d\u0438\u044f \u0441 \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u043c\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u043c\u0438 \u0438 hazard pointer&#8217;\u0430\u043c\u0438 \u043d\u0430\u043c \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u044b), \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 <code>true<\/code>, \u0435\u0441\u043b\u0438 \u043a\u043b\u044e\u0447 \u043d\u0430\u0439\u0434\u0435\u043d \u0438 <code>false<\/code> \u0432 \u043f\u0440\u043e\u0442\u0438\u0432\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435. Out-\u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <code>pos<\/code> (\u0442\u0438\u043f\u0430 <code>insert_pos<\/code>) \u0437\u0430\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0432\u0441\u0435\u0433\u0434\u0430. \u041f\u043e\u0438\u0441\u043a \u043e\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430\u0439\u0434\u0435\u043d \u043a\u043b\u044e\u0447 \u043d\u0435 \u043c\u0435\u043d\u0435\u0435 \u0438\u0441\u043a\u043e\u043c\u043e\u0433\u043e <code>data<\/code>. \u0414\u043b\u044f \u0432\u0441\u0442\u0430\u0432\u043a\u0438 \u043d\u0430\u0441 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u0443\u0435\u0442 \u043d\u0435\u0443\u0434\u0430\u0447\u0430 \u043f\u043e\u0438\u0441\u043a\u0430 \u2014 \u0432 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 <code>pos<\/code> \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043f\u043e\u0437\u0438\u0446\u0438\u044e \u0432\u0441\u0442\u0430\u0432\u043a\u0438. \u0423\u0437\u0435\u043b <code>pos.cur<\/code> \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u043d\u0435\u043f\u0443\u0441\u0442\u044b\u043c (\u0438\u043b\u0438 \u0436\u0435 \u043e\u043d \u0431\u0443\u0434\u0435\u0442 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043d\u0430 \u043a\u043e\u043d\u0435\u0446 \u0441\u043f\u0438\u0441\u043a\u0430 \u2014 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0439 \u0443\u0437\u0435\u043b <code>tail<\/code>), \u0430 \u0432\u043e\u0442 <code>pos.prev<\/code> \u2013 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u0434\u043b\u044f <code>pos.cur<\/code> \u2014 \u043c\u043e\u0436\u0435\u0442 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043d\u0430 \u043f\u0443\u0441\u0442\u043e\u0439 \u0443\u0437\u0435\u043b, \u2014 \u0438\u043c\u0435\u043d\u043d\u043e \u044d\u0442\u043e\u0442 \u0441\u043b\u0443\u0447\u0430\u0439 \u043d\u0430\u0441 \u043e\u0441\u043e\u0431\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u0443\u0435\u0442. \u041f\u043e\u043b\u044f <code>prevData<\/code> \u0438 <code>curData<\/code> \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b <code>insert_pos<\/code> \u2013 \u044d\u0442\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f <code>data_<\/code> \u0434\u043b\u044f <code>prev<\/code> \u0438 <code>cur<\/code> \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u0417\u0430\u043c\u0435\u0442\u0438\u043c \u0442\u0430\u043a\u0436\u0435, \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0435\u0442 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u0437\u0430\u0449\u0438\u0449\u0430\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u043d\u0430 \u0443\u0437\u043b\u044b <code>prev<\/code> \u0438 <code>cur<\/code> hazard pointer&#8217;\u0430\u043c\u0438, \u0442\u0430\u043a \u043a\u0430\u043a \u0443\u0437\u043b\u044b \u0438\u0437 \u043d\u0430\u0448\u0435\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0443\u0434\u0430\u043b\u044f\u044e\u0442\u0441\u044f. \u0410 \u0432\u043e\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u0443\u0434\u0430\u043b\u044f\u0442\u044c\u0441\u044f, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0438\u0445 \u043c\u044b \u0437\u0430\u0449\u0438\u0449\u0430\u0435\u043c.<br \/>  \u0418\u0442\u0430\u043a, \u043d\u0430\u0438\u0432\u043d\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442: \u0435\u0441\u043b\u0438 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u0443\u0437\u0435\u043b \u043f\u0443\u0441\u0442\u043e\u0439 (<code>pos.prevData == nullptr<\/code>), \u0442\u043e \u043c\u044b \u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0432 \u043d\u0435\u0433\u043e \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 \u0432\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435. \u0422\u0430\u043a \u043a\u0430\u043a \u0441\u043f\u0438\u0441\u043e\u043a \u0443 \u043d\u0430\u0441 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u044b\u0439 (\u0431\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e, \u043f\u043e\u043a\u0430 \u043e\u043d \u0434\u0430\u0436\u0435 lock-free, \u043d\u043e \u043c\u044b \u044d\u0442\u043e \u0441\u043a\u043e\u0440\u043e \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u043c), \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f <code>prev.data_<\/code> \u0434\u0435\u043b\u0430\u0435\u043c \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u043c CAS&#8217;\u043e\u043c: \u0435\u0441\u043b\u0438 \u043e\u043d \u0443\u0441\u043f\u0435\u0448\u0435\u043d, \u0437\u043d\u0430\u0447\u0438\u0442, \u043d\u0430\u043c \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u0434\u0440\u0443\u0433\u043e\u0439 \u043f\u043e\u0442\u043e\u043a \u043d\u0435 \u043f\u043e\u043c\u0435\u0448\u0430\u043b \u0438 \u043c\u044b \u0432\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u043d\u043e\u0432\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0432 \u0441\u043f\u0438\u0441\u043e\u043a.<br \/>  \u0417\u0434\u0435\u0441\u044c \u043d\u0430\u0441 \u043e\u0436\u0438\u0434\u0430\u0435\u0442 \u043f\u0435\u0440\u0432\u044b\u0439 \u0441\u044e\u0440\u043f\u0440\u0438\u0437. \u041f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u043c, \u043f\u043e\u0442\u043e\u043a A \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442 \u043d\u0435\u043a\u0438\u0439 \u043a\u043b\u044e\u0447 \u0432 \u0441\u043f\u0438\u0441\u043e\u043a: <code>linear_search()<\/code> \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d, \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 insert_pos \u043f\u0440\u043e\u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u043f\u043e\u0437\u0438\u0446\u0438\u0435\u0439 \u0432\u0441\u0442\u0430\u0432\u043a\u0438, \u0438 \u043f\u043e\u0442\u043e\u043a \u0433\u043e\u0442\u043e\u0432 \u0432\u044b\u0437\u0432\u0430\u0442\u044c <code>link()<\/code>, \u043d\u043e \u0442\u0443\u0442 \u0435\u0433\u043e \u0432\u0440\u0435\u043c\u044f \u043f\u0440\u043e\u0448\u043b\u043e \u0438 \u043e\u043d <s>\u0441\u0442\u0430\u043b \u0442\u044b\u043a\u0432\u043e\u0439<\/s> \u0431\u044b\u043b \u0432\u044b\u0442\u0435\u0441\u043d\u0435\u043d \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439. \u0412 \u044d\u0442\u043e \u0432\u0440\u0435\u043c\u044f \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u043e\u0442\u043e\u043a B:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/18d\/e3b\/f52\/18de3bf5265245a7af5433e594465016.png\"\/><\/p>\n<p>  \u041d\u0430 \u043c\u043e\u043c\u0435\u043d\u0442 \u0432\u043e\u0437\u043e\u0431\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u044f \u043f\u043e\u0442\u043e\u043a\u0430 A \u0441\u043f\u0438\u0441\u043e\u043a \u043d\u0435\u0443\u0437\u043d\u0430\u0432\u0430\u0435\u043c\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0441\u044f, \u043d\u043e \u0441 \u0442\u043e\u0447\u043a\u0438 \u0437\u0440\u0435\u043d\u0438\u044f \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438 <code>pos<\/code> \u043f\u043e\u0442\u043e\u043a\u0430 A \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u043e\u0441\u044c \u043d\u0438\u0447\u0435\u0433\u043e: <code>prev<\/code> \u043a\u0430\u043a \u0431\u044b\u043b \u043f\u0443\u0441\u0442\u044b\u043c, \u0442\u0430\u043a \u043f\u0443\u0441\u0442\u044b\u043c \u0438 \u043e\u0441\u0442\u0430\u043b\u0441\u044f. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u043e\u0442\u043e\u043a A \u0437\u0430\u043f\u0438\u0448\u0435\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u0441 \u043a\u043b\u044e\u0447\u043e\u043c 30 \u0432 <code>prev<\/code> \u0438 \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u0442 \u0432\u0441\u0442\u0430\u0432\u043a\u0443, \u0442\u0435\u043c \u0441\u0430\u043c\u044b\u043c \u0441\u043b\u043e\u043c\u0430\u0432 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u0441\u043f\u0438\u0441\u043a\u0430.<br \/>  \u042d\u0442\u043e \u0440\u0430\u0437\u043d\u043e\u0432\u0438\u0434\u043d\u043e\u0441\u0442\u044c ABA-\u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0435 \u0440\u0435\u0448\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435\u043c hazard pointer&#8217;\u043e\u0432, \u0442\u0430\u043a \u043a\u0430\u043a \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c <code>prev-&gt;data_<\/code> \u0443 \u043d\u0430\u0441 <code>NULL<\/code>. \u041b\u0438\u043d\u043a\u043e\u0432\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0432 \u043f\u0443\u0441\u0442\u043e\u0439 \u0443\u0437\u0435\u043b \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u043f\u0440\u0430\u0432\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e\u0433\u0434\u0430, \u043a\u043e\u0433\u0434\u0430 \u0441\u0432\u044f\u0437\u043a\u0430 <code>prev<\/code> -&gt; <code>cur<\/code> \u0443 \u043d\u0430\u0441 \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0430\u0441\u044c \u043f\u043e\u0441\u043b\u0435 \u043f\u043e\u0438\u0441\u043a\u0430; \u0431\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e, \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0438\u0441\u044c \u0438 \u0434\u0430\u043d\u043d\u044b\u0435 \u044d\u0442\u0438\u0445 \u0443\u0437\u043b\u043e\u0432. \u0414\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0439 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c \u0442\u0435\u0445\u043d\u0438\u043a\u0443 <a href=\"https:\/\/habrahabr.ru\/post\/250383\/#HarrisTwoPhaseDel\">marked pointer<\/a>: \u043c\u043b\u0430\u0434\u0448\u0438\u0439 \u0431\u0438\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0435 \u0443\u0437\u043b\u0430 \u0431\u0443\u0434\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043a\u0430\u043a \u043f\u0440\u0438\u0437\u043d\u0430\u043a \u00ab\u0432\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043d\u043e\u0432\u044b\u0439 \u0443\u0437\u0435\u043b\u00bb. \u041f\u0440\u0438\u0447\u0435\u043c \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0434\u043e \u043e\u0431\u0430 \u0443\u0437\u043b\u0430 \u2014 <code>prev<\/code> \u0438 <code>cur<\/code>, \u2014 \u0438\u043d\u0430\u0447\u0435 \u0434\u0440\u0443\u0433\u043e\u0439 \u043f\u043e\u0442\u043e\u043a \u043c\u043e\u0436\u0435\u0442 \u0443\u0434\u0430\u043b\u0438\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0435 \u0443 <code>cur<\/code> \u0438 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u0441\u043f\u0438\u0441\u043a\u0430 \u0432\u043d\u043e\u0432\u044c \u043d\u0430\u0440\u0443\u0448\u0438\u0442\u0441\u044f (\u043d\u0435 \u0437\u0430\u0431\u0443\u0434\u0435\u043c, \u0447\u0442\u043e \u0443\u0437\u0435\u043b <code>cur<\/code> \u0432\u0441\u0435\u0433\u0434\u0430 \u043d\u0435\u043f\u0443\u0441\u0442\u043e\u0439). \u0412 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u0441\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0443\u0437\u043b\u0430 \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f <code>link()<\/code> \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0442 \u0432\u0438\u0434:  <\/p>\n<pre><code>template &lt;typename T&gt; struct node {    std::atomic&lt; node * &gt; next_;    std::atomic&lt; marked_ptr&lt; T, 1 &gt;&gt; data_; }; bool link( insert_pos& pos, T& data ) {    \/\/ \u043c\u0430\u0440\u043a\u0438\u0440\u0443\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0435 prev \u0438 cur    if ( !pos.cur-&gt;data_.CAS( marked_ptr(pos.curData, 0),                               marked_ptr(pos.curData, 1))) {        \/\/ \u043d\u0435 \u0443\u0434\u0430\u043b\u043e\u0441\u044c \u2014 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u0439 \u043f\u043e\u0442\u043e\u043a \u043d\u0430\u043c \u043f\u043e\u043c\u0435\u0448\u0430\u043b        return false;    }    if ( !pos.prev-&gt;data_.CAS( marked_ptr(pos.prevData, 0),                              marked_ptr(pos.prevData, 1))) {       \/\/ \u043d\u0435 \u0443\u0434\u0430\u043b\u043e\u0441\u044c \u2014 \u043e\u043f\u044f\u0442\u044c \u043d\u0430\u043c \u043c\u0435\u0448\u0430\u044e\u0442       \/\/ \u043d\u0435 \u0437\u0430\u0431\u044b\u0432\u0430\u0435\u043c \u0441\u043d\u044f\u0442\u044c \u043c\u0435\u0442\u043a\u0443       pos.cur-&gt;data_.store( marked_ptr(pos.curData, 0));       return false;    }     \/\/ \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c, \u0447\u0442\u043e \u0441\u0432\u044f\u0437\u043a\u0430 prev -&gt; cur \u043e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043f\u0440\u0435\u0436\u043d\u0435\u0439    if ( pos.prev-&gt;next_.load() != pos.cur ) {        \/\/ \u043a\u0442\u043e-\u0442\u043e \u0443\u0436\u0435 \u0443\u0441\u043f\u0435\u043b \u0447\u0442\u043e-\u0442\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043c\u0435\u0436\u0434\u0443 prev \u0438 cur        pos.prev-&gt;data_.store( marked_ptr(pos.prevData, 0));        pos.cur-&gt;data_.store( marked_ptr( pos.curData, 0));        return false;    }     \/\/ \u0432\u0441\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0443\u0434\u0430\u0447\u043d\u044b, \u043c\u043e\u0436\u043d\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c    if ( pos.prevData == nullptr ) {        \/\/ \u0443\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0435\u043c \u043d\u043e\u0432\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0443 \u043f\u0443\u0441\u0442\u043e\u0433\u043e \u0443\u0437\u043b\u0430        \/\/ \u0431\u044b\u0442\u044c \u043c\u043e\u0436\u0435\u0442, \u0437\u0434\u0435\u0441\u044c \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u043e\u0433\u043e store        bool ok = pos.prev-&gt;data_.CAS( marked_ptr( nullptr, 1 ),                                       marked_ptr( &data, 0 ));        \/\/ \u0441\u043d\u0438\u043c\u0430\u0435\u043c \u043c\u0435\u0442\u043a\u0443 \u0443 cur        pos.cur-&gt;data_.store( marked_ptr( pos.curData, 0));        return ok;    }    else {       \/\/ \u0432\u0441\u0442\u0430\u0432\u043a\u0430 \u043d\u043e\u0432\u043e\u0439 \u043d\u043e\u0434\u044b \u2014 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c Harris\/Michael       \/\/ \u0437\u0434\u0435\u0441\u044c \u043d\u0435 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c       \/\/ \u043d\u043e \u043d\u0435 \u0437\u0430\u0431\u044b\u0432\u0430\u0435\u043c \u043f\u043e \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u0438 \u0441\u043d\u044f\u0442\u044c \u0444\u043b\u0430\u0433\u0438    } } <\/code><\/pre>\n<p>  \u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435 marked pointer \u0442\u0430\u043a\u0436\u0435 \u0432\u043b\u0438\u044f\u0435\u0442 \u043d\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0445 (\u043a\u043e\u0442\u043e\u0440\u0430\u044f, \u043a\u0430\u043a \u043c\u044b \u043f\u043e\u043c\u043d\u0438\u043c, \u0441\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043a \u043f\u0440\u043e\u0441\u0442\u043e\u043c\u0443 \u043e\u0431\u043d\u0443\u043b\u0435\u043d\u0438\u044e \u043f\u043e\u043b\u044f <code>data_<\/code>): \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u043e\u0431\u043d\u0443\u043b\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0435\u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435, \u043d\u043e \u044d\u0442\u043e \u043d\u0435 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0435 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f. \u041f\u043e\u0438\u0441\u043a \u043f\u043e \u0441\u043f\u0438\u0441\u043a\u0443 \u0432\u043e\u0432\u0441\u0435 \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u043d\u0430\u0448 \u043c\u0430\u0440\u043a\u0435\u0440.<br \/>  \u0412 \u0438\u0442\u043e\u0433\u0435 iterable list \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b \u0431\u044b\u0442\u044c lock-free: \u0435\u0441\u043b\u0438 \u043f\u043e\u0442\u043e\u043a \u043f\u043e\u043c\u0435\u0442\u0438\u043b \u0445\u043e\u0442\u044f \u0431\u044b \u043e\u0434\u0438\u043d \u0438\u0437 \u0443\u0437\u043b\u043e\u0432, \u0430 \u0437\u0430\u0442\u0435\u043c \u0431\u044b\u043b \u0443\u0431\u0438\u0442 (\u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044e \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <code>link()<\/code> \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0443\u0442\u044c \u043d\u0435\u043e\u0442\u043a\u0443\u0434\u0430), \u0443\u0441\u043b\u043e\u0432\u0438\u0435 lock-free \u043d\u0430\u0440\u0443\u0448\u0430\u0435\u0442\u0441\u044f, \u0442\u0430\u043a \u043a\u0430\u043a \u0443\u0437\u0435\u043b \u043e\u0441\u0442\u0430\u043d\u0435\u0442\u0441\u044f \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043d\u044b\u043c \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430 \u0438 \u0432 \u043a\u043e\u043d\u0446\u0435 \u043a\u043e\u043d\u0446\u043e\u0432 \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u0442 \u043a \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u043c\u0443 \u0430\u043a\u0442\u0438\u0432\u043d\u043e\u043c\u0443 \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044e \u0441\u043d\u044f\u0442\u0438\u044f \u043c\u0435\u0442\u043a\u0438. \u0421 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b, \u0443\u0431\u0438\u0432\u0430\u0442\u044c \u043f\u043e\u0442\u043e\u043a\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b <s>\u0433\u0440\u0435\u0448\u043d\u043e<\/s> \u2013 \u043f\u043b\u043e\u0445\u0430\u044f \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0430, \u0442\u0430\u043a \u0447\u0442\u043e \u044f \u043d\u0435 \u0432\u0438\u0436\u0443 \u0437\u0434\u0435\u0441\u044c \u043e\u0441\u043e\u0431\u044b\u0445 \u0440\u0438\u0441\u043a\u043e\u0432.<\/p>\n<h2>\u0421\u044e\u0440\u043f\u0440\u0438\u0437 \u0432\u0442\u043e\u0440\u043e\u0439<\/h2>\n<p>  \u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u043e\u043a\u0430\u0437\u0430\u043b\u043e, \u0447\u0442\u043e \u044d\u0442\u043e \u043d\u0435 \u043f\u043e\u043b\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435. \u0415\u0441\u043b\u0438 \u043d\u0430\u0438\u0432\u043d\u044b\u0439 iterable list \u0447\u0430\u0441\u0442\u043e \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u043b \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0435 \u043e\u0442\u0441\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u0438 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0434\u0430\u0436\u0435 \u0432 \u0434\u0435\u0431\u0430\u0436\u043d\u043e\u0439 \u0441\u0431\u043e\u0440\u043a\u0435, \u0442\u043e \u043f\u043e\u0441\u043b\u0435 \u0432\u0432\u0435\u0434\u0435\u043d\u0438\u044f marked pointers \u0442\u0435\u0441\u0442\u044b \u0441\u0442\u0430\u043b\u0438 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0435 \u043e\u0447\u0435\u043d\u044c \u0440\u0435\u0434\u043a\u043e \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0440\u0435\u043b\u0438\u0437\u043d\u043e\u0439 \u0441\u0431\u043e\u0440\u043a\u0435. \u042d\u0442\u043e \u0441\u0438\u0433\u043d\u0430\u043b, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u043e\u0447\u0435\u043d\u044c \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430, \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043d\u0435 \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u043c\u0430\u044f \u0437\u0430 \u0440\u0430\u0437\u0443\u043c\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0438 \u0440\u0435\u0448\u0430\u0435\u043c\u0430\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0430\u043d\u0430\u043b\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438.<br \/>  \u041a\u0430\u043a \u043f\u043e\u043a\u0430\u0437\u0430\u043b \u0430\u043d\u0430\u043b\u0438\u0437, \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043e\u0440\u0442\u043e\u0433\u043e\u043d\u0430\u043b\u044c\u043d\u0430 \u043f\u0435\u0440\u0432\u043e\u0439:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/972\/8c8\/add\/9728c8addfd94f9b8a711eb7803e1b9f.png\"\/><\/p>\n<p>  \u041a\u0430\u043a \u0438 \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u043f\u043e\u0442\u043e\u043a A \u0432\u044b\u0442\u0435\u0441\u043d\u044f\u0435\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u0434 \u0432\u0445\u043e\u0434\u043e\u043c \u0432 <code>link()<\/code>. \u041f\u043e\u043a\u0430 A \u0434\u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f, \u043a\u043e\u0433\u0434\u0430 \u0435\u0433\u043e \u0432\u043d\u043e\u0432\u044c \u0437\u0430\u043f\u043b\u0430\u043d\u0438\u0440\u0443\u044e\u0442, \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u043e\u0442\u043e\u043a\u0438 \u0443\u0441\u043f\u0435\u0432\u0430\u044e\u0442 <s>\u043f\u043e\u0445\u0443\u043b\u0438\u0433\u0430\u043d\u0438\u0442\u044c<\/s> \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u043d\u0430\u0434 \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0442\u0430\u043a\u0443\u044e \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0439\/\u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0435 \u043d\u0430\u0440\u0443\u0448\u0430\u0435\u0442 \u043f\u0440\u0435\u0434\u0443\u0441\u043b\u043e\u0432\u0438\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <code>link()<\/code> \u043f\u043e\u0442\u043e\u043a\u0430 A, \u043d\u043e \u043f\u0440\u0438\u0432\u043e\u0434\u044f\u0442 \u043a \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u044e \u043e\u0442\u0441\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u0438 \u0441\u043f\u0438\u0441\u043a\u0430.<br \/>  \u0420\u0435\u0448\u0435\u043d\u0438\u0435 \u2014 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0435\u0449\u0451 \u043e\u0434\u043d\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0432 <code>link()<\/code>: \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043c\u044b \u043f\u043e\u043c\u0435\u0442\u0438\u043b\u0438 \u0443\u0437\u043b\u044b <code>prev<\/code> \u0438 <code>cur<\/code>, \u043c\u0435\u0436\u0434\u0443 \u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u0432\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043d\u043e\u0432\u044b\u0439 (\u0438\u043b\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u0443\u0441\u0442\u043e\u0439 <code>prev<\/code>), \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0447\u0442\u043e <i>\u043f\u043e\u0437\u0438\u0446\u0438\u044f \u0432\u0441\u0442\u0430\u0432\u043a\u0438 \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0430\u0441\u044c<\/i>. \u041f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u044d\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c \u2014 \u043d\u0430\u0439\u0442\u0438 \u0443\u0437\u0435\u043b, \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0437\u0430 \u043d\u043e\u0432\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438, \u0438 \u0443\u0431\u0435\u0434\u0438\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u043e\u043d \u0440\u0430\u0432\u0435\u043d <code>cur<\/code>:  <\/p>\n<pre><code>bool link( insert_pos& pos, T& data ) {    \/\/ \u043c\u0430\u0440\u043a\u0438\u0440\u0443\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0435 prev \u0438 cur    \/\/ ...  \u043a\u0430\u043a \u0438 \u0431\u044b\u043b\u043e     \/\/ \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c, \u0447\u0442\u043e \u0441\u0432\u044f\u0437\u043a\u0430 prev -&gt; cur \u043e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043f\u0440\u0435\u0436\u043d\u0435\u0439    \/\/ ... \u043a\u0430\u043a \u0438 \u0431\u044b\u043b\u043e     \/\/ \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c, \u0447\u0442\u043e \u043f\u043e\u0437\u0438\u0446\u0438\u044f \u0432\u0441\u0442\u0430\u0432\u043a\u0438 \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0430\u0441\u044c    if ( find_next( data ) != pos.cur ) {        \/\/ oops! \u041d\u0430\u043c \u043e\u043f\u044f\u0442\u044c \u043f\u043e\u043c\u0435\u0448\u0430\u043b\u0438\u2026        pos.prev-&gt;data_.store( marked_ptr(pos.prevData, 0));        pos.cur-&gt;data_.store( marked_ptr( pos.curData, 0));        return false;    }     \/\/ \u0432\u0441\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0443\u0434\u0430\u0447\u043d\u044b, \u043c\u043e\u0436\u043d\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c    \/\/ ... \u043a\u0430\u043a \u0438 \u0431\u044b\u043b\u043e } <\/code><\/pre>\n<p>  \u0417\u0434\u0435\u0441\u044c \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f <code>find_next()<\/code> \u0438\u0449\u0435\u0442 \u0443\u0437\u0435\u043b, \u0431\u043b\u0438\u0436\u0430\u0439\u0448\u0438\u0439 \u0441\u0432\u0435\u0440\u0445\u0443 \u043a <code>data<\/code>.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/9d6\/ee4\/aed\/9d6ee4aed5e94084bf31931d6adb0f05.jpg\" align=\"left\"\/>  <\/p>\n<h2>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h2>\n<p>  \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0438\u0442\u0435\u0440\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043c\u043e\u0436\u043d\u043e. \u041f\u043e\u0438\u0441\u043a \u0432 \u043d\u0435\u043c \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f lock-free, \u043d\u043e \u0432\u0441\u0442\u0430\u0432\u043a\u0430 \u0438, \u043a\u0430\u043a \u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435, \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0443 \u043d\u0435\u0433\u043e \u0432\u0441\u0435 \u0436\u0435 \u043d\u0435 lock-free. \u0417\u0430\u0447\u0435\u043c \u043e\u043d \u0442\u0430\u043a\u043e\u0439 \u043d\u0443\u0436\u0435\u043d?.. <br \/>  \u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445, \u043d\u0430\u043b\u0438\u0447\u0438\u0435 thread-safe \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0437\u0430\u0434\u0430\u0447\u0430\u0445 \u0432\u0430\u0436\u043d\u043e. \u0412\u043e-\u0432\u0442\u043e\u0440\u044b\u0445, \u044d\u0442\u043e\u0442 \u0441\u043f\u0438\u0441\u043e\u043a \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u0435\u043d \u0442\u0435\u043c, \u0447\u0442\u043e \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u043a\u043b\u044e\u0447\u0430 \u0432 \u043d\u0435\u043c \u043d\u0430\u043c\u043d\u043e\u0433\u043e \u043b\u0435\u0433\u0447\u0435, \u0447\u0435\u043c \u0432\u0441\u0442\u0430\u0432\u043a\u0430, \u2014 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043e\u0431\u043d\u0443\u043b\u0438\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0435 \u0443 \u0443\u0437\u043b\u0430; \u043e\u0431\u044b\u0447\u043d\u043e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043d\u0430\u043c\u043d\u043e\u0433\u043e \u0442\u044f\u0436\u0435\u043b\u0435\u0435, \u0441\u043c. <a href=\"https:\/\/habrahabr.ru\/post\/250383\/#HarrisTwoPhaseDel\">\u0434\u0432\u0443\u0445\u0444\u0430\u0437\u043d\u043e\u0435 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435<\/a> \u0438\u0437 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e lock-free \u0441\u043f\u0438\u0441\u043a\u0430. \u041d\u0430\u043a\u043e\u043d\u0435\u0446, \u044d\u0442\u0430 \u0437\u0430\u0434\u0430\u0447\u0430 \u0431\u044b\u043b\u0430 \u043b\u0438\u0447\u043d\u043e \u0434\u043b\u044f \u043c\u0435\u043d\u044f \u043d\u0435\u043a\u0438\u043c \u0432\u044b\u0437\u043e\u0432\u043e\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u0434\u043e \u044d\u0442\u043e\u0433\u043e \u044f \u0441\u0447\u0438\u0442\u0430\u043b \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044e \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435 \u043d\u0435\u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c\u043e\u0439 \u0434\u043b\u044f \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u044b\u0445 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u043e\u0432.<br \/>  \u041d\u0430\u0434\u0435\u044e\u0441\u044c, \u0447\u0442\u043e \u0434\u0430\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043b\u0435\u0437\u0435\u043d, \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0441\u043c. <a href=\"https:\/\/github.com\/khizmax\/libcds\">libcds<\/a>: MichaelSet\/Map \u0438 SplitListSet\/Map \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 <code>IterableList<\/code> \u0441 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u043e\u0439 \u043f\u043e\u0442\u043e\u043a\u043e\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0445 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432.<\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">Lock-free \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0434\u0430\u043d\u043d\u044b\u0445<\/b><\/p>\n<div class=\"spoiler_text\"><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/195770\/\">\u041d\u0430\u0447\u0430\u043b\u043e<\/a><br \/>  \u041e\u0441\u043d\u043e\u0432\u044b:  <\/p>\n<ul>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/195948\/\">\u0410\u0442\u043e\u043c\u0430\u0440\u043d\u043e\u0441\u0442\u044c \u0438 \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u0435 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u044b<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/196548\/\">\u041e\u0442\u043a\u0443\u0434\u0430 \u043f\u043e\u0448\u043b\u0438 \u0431\u044b\u0442\u044c \u0431\u0430\u0440\u044c\u0435\u0440\u044b \u043f\u0430\u043c\u044f\u0442\u0438<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/197520\/\">\u041c\u043e\u0434\u0435\u043b\u044c \u043f\u0430\u043c\u044f\u0442\u0438<\/a><\/li>\n<\/ul>\n<p>  \u0412\u043d\u0443\u0442\u0440\u0438:  <\/p>\n<ul>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/202190\/\">\u0421\u0445\u0435\u043c\u044b \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043f\u0430\u043c\u044f\u0442\u044c\u044e<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/206984\/\">RCU<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/216013\/\">\u042d\u0432\u043e\u043b\u044e\u0446\u0438\u044f \u0441\u0442\u0435\u043a\u0430<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/219201\/\">\u041e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0442\u0440\u0430\u043a\u0442\u0430\u0442<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/230349\/\">\u0414\u0438\u0441\u0441\u0435\u043a\u0446\u0438\u044f \u043e\u0447\u0435\u0440\u0435\u0434\u0438<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/250383\/\">Concurrent maps: \u0440\u0430\u0437\u043c\u0438\u043d\u043a\u0430<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/250523\/\">Concurrent maps: rehash, no rebuild<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/250815\/\">Concurrent maps: skip list<\/a><\/li>\n<li><a href=\"https:\/\/habrahabr.ru\/post\/251267\/\">Concurent maps: \u0434\u0435\u0440\u0435\u0432\u044c\u044f<\/a><\/li>\n<li><a href=\"https:\/\/habrahabr.ru\/post\/314948\/\">\u0418\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u044b: multi-level array<\/a><\/li>\n<li><a href=\"https:\/\/habrahabr.ru\/post\/317882\/\">Iterable list<\/a><\/li>\n<\/ul>\n<p>  \u0418\u0437\u0432\u043d\u0435:  <\/p>\n<ul>\n<li><a href=\"http:\/\/habrahabr.ru\/company\/ifree\/blog\/196834\/\">\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0432 libcds<\/a><\/li>\n<\/ul>\n<p>  <\/div>\n<\/div>\n<p> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habrahabr.ru\/post\/317882\/\"> https:\/\/habrahabr.ru\/post\/317882\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/817\/b38\/f79\/817b38f7937a41259c48998f2cb990a0.png\" align=\"right\"\/> Lock-free list \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0441\u043d\u043e\u0432\u043e\u0439 \u043c\u043d\u043e\u0433\u0438\u0445 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0445 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u0434\u0430\u043d\u043d\u044b\u0445, \u2014 \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0435\u0433\u043e <a href=\"https:\/\/habrahabr.ru\/post\/250383\/#MichaelList\">hash map<\/a>, \u0433\u0434\u0435 lock-free list \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u0441\u043f\u0438\u0441\u043e\u043a \u043a\u043e\u043b\u043b\u0438\u0437\u0438\u0439, <a href=\"https:\/\/habrahabr.ru\/post\/250523\/\">split-ordered list<\/a>, \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u0446\u0435\u043b\u0438\u043a\u043e\u043c \u043d\u0430 \u0441\u043f\u0438\u0441\u043a\u0435 \u0441 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c \u0440\u0430\u0441\u0449\u0435\u043f\u043b\u0435\u043d\u0438\u044f bucket&#8217;\u0430, \u043c\u043d\u043e\u0433\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u043e\u0433\u043e <a href=\"https:\/\/habrahabr.ru\/post\/250815\/\">skip list<\/a>, \u044f\u0432\u043b\u044f\u044e\u0449\u0435\u0433\u043e\u0441\u044f \u043f\u043e \u0441\u0443\u0442\u0438 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u0432. \u0412 <a href=\"https:\/\/habrahabr.ru\/post\/314948\/\">\u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439<\/a> \u0441\u0442\u0430\u0442\u044c\u0435 \u043c\u044b \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0438\u0434\u0430\u0442\u044c \u0442\u0430\u043a\u0443\u044e \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u044e\u044e \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u043c\u0443 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0443, \u0447\u0442\u043e\u0431\u044b \u043e\u043d \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u043b thread-safe \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u0432 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u043d\u043e\u043c \u043c\u0438\u0440\u0435 lock-free \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u043e\u0432. \u041a\u0430\u043a \u043c\u044b \u0432\u044b\u044f\u0441\u043d\u0438\u043b\u0438, \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b lock-free \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 \u0441\u0442\u0430\u043b \u0438\u0442\u0435\u0440\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u043c, \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0439 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b: \u043d\u043e\u0434\u044b \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u044b \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u0434\u0430\u043b\u044f\u0442\u044c\u0441\u044f (delete). \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0438\u0442\u0435\u0440\u0430\u0442\u043e\u0440 \u0441\u0443\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u043e (\u0431\u044b\u0442\u044c \u043c\u043e\u0436\u0435\u0442, \u0441\u043e\u0441\u0442\u0430\u0432\u043d\u043e\u0439) \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u043d\u043e\u0434\u0443 \u0441 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043a \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 (\u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0438\u043d\u043a\u0440\u0435\u043c\u0435\u043d\u0442\u0430).<br \/>  \u041c\u043e\u0436\u043d\u043e \u043b\u0438 \u0442\u0430\u043a\u043e\u0439 \u043f\u043e\u0434\u0445\u043e\u0434 \u0440\u0430\u0441\u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0438\u0442\u044c \u043d\u0430 lock-free list?.. \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c\u2026  <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-282734","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/282734","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=282734"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/282734\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=282734"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=282734"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=282734"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}