{"id":483810,"date":"2026-06-16T09:41:19","date_gmt":"2026-06-16T09:41:19","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=483810"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=483810","title":{"rendered":"Hazard pointers \u043d\u0430\u00a0\u043f\u0430\u043b\u044c\u0446\u0430\u0445"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u041f\u0440\u0438\u0432\u0435\u0442, \u0425\u0430\u0431\u0440.<\/p>\n<p>\u042f \u043f\u043e\u0442\u0440\u0430\u0442\u0438\u043b \u043a\u0443\u0447\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u043d\u0430\u00a0\u043f\u0440\u043e\u0447\u0442\u0435\u043d\u0438\u0435 \u0441\u0442\u0430\u0442\u0435\u0439 \u0438 \u043a\u043d\u0438\u0436\u0435\u043a \u043f\u0440\u043e\u00a0\u044d\u0442\u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438, \u043c\u043d\u043e\u0433\u043e \u043a\u043e\u043c\u043f\u043b\u0435\u043a\u0441\u043d\u043e\u0433\u043e \u0442\u0435\u043a\u0441\u0442\u0430 \u0438 \u043c\u0430\u043b\u043e \u0441\u0445\u0435\u043c\u043e\u043a \u0438 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432, \u0430\u00a0\u043a\u0430\u043a\u00a0\u043f\u043e\u00a0\u043c\u043d\u0435, \u043e\u043d\u0438 \u0443\u043f\u0440\u043e\u0449\u0430\u044e\u0442 \u0432\u00a0\u0440\u0430\u0437\u044b \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435.<\/p>\n<p>\u0411\u0443\u0434\u0443 \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u00abHazard pointers\u00bb \u043a\u0430\u043a \u00ab\u0425\u0430\u0437\u0430\u0440\u0434\u044b\u00bb. \u0422\u0443\u0442 \u044f \u043d\u0435\u00a0\u0431\u0443\u0434\u0443 \u0432\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0432\u00a0\u0434\u0435\u0442\u0430\u043b\u0438 \u0438 \u0442\u0435\u043e\u0440\u0438\u044e \u043f\u0440\u043e\u00a0memory ordering, \u0430\u00a0\u0431\u0443\u0434\u0443 \u0441\u0442\u0430\u0440\u0430\u0442\u044c\u0441\u044f \u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u00ab\u043f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u043e\u0435\u00bb \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u0432\u043e\u043f\u0440\u043e\u0441\u0430. \u042d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u0431\u043e\u043b\u044c\u0448\u0435 \u043a\u0430\u043a\u00a0\u043f\u043e\u0432\u0435\u0440\u0445\u043d\u043e\u0441\u0442\u043d\u043e\u0435 \u0432\u0432\u0435\u0434\u0435\u043d\u0438\u0435, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f\u00a0\u043f\u0430\u0440\u0430\u0433\u0440\u0430\u0444\u0430 \u043f\u0440\u043e\u00a0\u043e\u0434\u043d\u043e\u0438\u043c\u0435\u043d\u043d\u044b\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u0432 \u00ab<strong>C++ Concurrency in Action<\/strong>\u00bb \u043e\u0442\u00a0\u042d\u043d\u0442\u043e\u043d\u0438 \u0423\u0438\u043b\u044c\u044f\u043c\u0441\u0430, \u043d\u0435\u0436\u0435\u043b\u0438 \u0447\u0442\u043e\u2011\u0442\u043e \u043d\u0430\u00a0\u0447\u0435\u043c \u0441\u0442\u043e\u0438\u0442 \u043e\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043d\u0430\u0434\u043e\u043b\u0433\u043e. <\/p>\n<p><strong>\u041f\u0435\u0440\u0432\u043e\u2011\u043d\u0430\u043f\u0435\u0440\u0432\u043e, \u0425\u0430\u0437\u0430\u0440\u0434\u044b \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e \u043e\u0441\u0432\u043e\u0431\u043e\u0436\u0434\u0430\u0442\u044c \u043f\u0430\u043c\u044f\u0442\u044c. \u0417\u0430\u043e\u0434\u043d\u043e \u043e\u043d\u0438 \u0440\u0435\u0448\u0430\u044e\u0442 \u0438 ABA\u2011\u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443\u00a0\u2014 \u043f\u043e\u043a\u0430 \u043f\u043e\u0442\u043e\u043a \u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0432\u00a0\u0441\u0432\u043e\u0451\u043c HP, \u044d\u0442\u043e\u0442 \u0443\u0437\u0435\u043b \u043d\u0438\u043a\u0442\u043e \u043d\u0435\u00a0\u0443\u0434\u0430\u043b\u0438\u0442 \u0438 \u0435\u0433\u043e \u0430\u0434\u0440\u0435\u0441 \u043d\u0435\u00a0\u043f\u0435\u0440\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442.<\/strong><\/p>\n<p>\u041d\u0443\u0436\u0434\u0430 \u0432\u00a0\u043f\u0435\u0440\u0432\u043e\u043c \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442, \u043a\u043e\u0433\u0434\u0430 \u0431\u043e\u043b\u044c\u0448\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u043e\u0442\u043e\u043a\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0441\u00a0\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043e\u0439. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u0442\u043e\u043a X \u0432\u0437\u044f\u043b \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430\u00a0\u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u0441\u0442\u044d\u043a\u0430 \u2192 X \u0437\u0430\u0441\u044b\u043f\u0430\u0435\u0442 \u2192 \u043f\u043e\u0442\u043e\u043a Y \u0443\u0434\u0430\u043b\u044f\u0435\u0442 \u044d\u0442\u043e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u2192 X \u043f\u0440\u043e\u0441\u044b\u043f\u0430\u0435\u0442\u0441\u044f \u0438 \u0447\u0438\u0442\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e\u00a0\u0443\u0434\u0430\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0430\u0434\u0440\u0435\u0441\u0443.<\/p>\n<p>\u041d\u0443 \u0430\u00a0\u043d\u0430\u00a0\u0441\u0447\u0435\u0442 ABA \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b. \u0427\u0442\u043e\u2011\u0436\u0435 \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u0438 \u043a\u043e\u0433\u0434\u0430 \u043e\u043d\u0430 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442? <\/p>\n<p>\u0421\u043f\u0435\u0440\u0432\u0430 \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e\u00a0\u043e\u043d\u0430 \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u00a0\u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430\u0445, \u0433\u0434\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%A1%D1%80%D0%B0%D0%B2%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5_%D1%81_%D0%BE%D0%B1%D0%BC%D0%B5%D0%BD%D0%BE%D0%BC\" rel=\"noopener noreferrer nofollow\">CAS<\/a>, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 Lock\u2011free \u0441\u0442\u044d\u043a. <\/p>\n<p>\u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u0443\u00a0\u043d\u0430\u0441 2\u00a0\u043f\u043e\u0442\u043e\u043a\u0430 X \u0438 Y.<\/p>\n<ul>\n<li>\n<p>X: \u0437\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441\u0442\u044d\u043a\u0430 <\/p>\n<\/li>\n<li>\n<p>X: \u0431\u0435\u0440\u0435\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430\u00a0\u0432\u0435\u0440\u0445\u043d\u0438\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0438 \u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 <\/p>\n<\/li>\n<li>\n<p>X: \u0417\u0430\u0441\u044b\u043f\u0430\u0435\u0442 \u043f\u043e\u00a0\u0432\u043e\u043b\u0435 \u043f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0449\u0438\u043a\u0430<\/p>\n<\/li>\n<li>\n<p>Y: \u0432\u044b\u0442\u0430\u043b\u043a\u0438\u0432\u0430\u0435\u0442 \u0442\u0435\u043a\u0443\u0449\u0443\u044e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 <\/p>\n<\/li>\n<li>\n<p>Y: \u043a\u043b\u0430\u0434\u0435\u0442 \u043d\u043e\u0432\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432\u00a0\u0441\u0442\u044d\u043a, \u043d\u043e\u00a0\u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e\u00a0\u044d\u0442\u043e\u0442 \u043d\u043e\u0432\u044b\u0439 \u0443\u0437\u0435\u043b \u0438\u043c\u0435\u0435\u0442 \u0442\u043e\u0442\u00a0\u0436\u0435 \u0430\u0434\u0440\u0435\u0441, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e\u00a0\u043f\u0430\u043c\u044f\u0442\u044c \u043e\u0442\u00a0\u0443\u0434\u0430\u043b\u0451\u043d\u043d\u043e\u0433\u043e \u0443\u0437\u043b\u0430\u00a0\u0431\u044b\u043b\u0430 \u043f\u0435\u0440\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0430 \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440\u043e\u043c<\/p>\n<\/li>\n<li>\n<p>X: \u0447\u0435\u0440\u0435\u0437 CAS \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0447\u0442\u043e\u00a0\u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0443\u0437\u0435\u043b \u043b\u0435\u0436\u0438\u0442 \u043f\u043e\u00a0\u0442\u043e\u043c\u0443\u00a0\u0436\u0435 \u0430\u0434\u0440\u0435\u0441\u0443, \u0443\u0441\u043f\u0435\u0445 \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0443\u0436\u0435\u00a0\u0431\u044b\u043b\u043e \u0443\u0434\u0430\u043b\u0435\u043d\u043e<\/p>\n<\/li>\n<\/ul>\n<p>\u042d\u0442\u043e \u0433\u0430\u0434\u043a\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430, \u043e\u043d\u0430 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043a <strong>\u0438\u043d\u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u0438\u00a0<\/strong>\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b, \u0442\u0430\u043a \u0438 \u043a\u00a0\u0435\u0451 \u043f\u043e\u043b\u043d\u043e\u043c\u0443 <strong>\u0440\u0430\u0437\u0440\u0443\u0448\u0435\u043d\u0438\u044e <\/strong>\u0438\u043b\u0438\u00a0\u0434\u0430\u0436\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430.<\/p>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043a\u00a0\u0441\u0430\u043c\u0438\u043c \u0425\u0430\u0437\u0430\u0440\u0434\u0430\u043c, \u043a\u0430\u043a\u00a0\u0431\u044b \u043d\u0430\u043c \u0440\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b? \u041f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0438\u043c, \u0447\u0442\u043e\u00a0\u043d\u0430\u043c \u043d\u0430\u0434\u043e:<\/p>\n<ul>\n<li>\n<p>\u041f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e\u00a0\u044d\u0442\u0443 \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u0441\u0435\u0439\u0447\u0430\u0441 \u043d\u0435\u043b\u044c\u0437\u044f<\/p>\n<\/li>\n<li>\n<p>\u041a\u0430\u043a\u2011\u0442\u043e \u043e\u0442\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0442\u044c \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u0435\u0433\u043e, \u043a\u043e\u0433\u0434\u0430 \u043d\u0438\u043a\u0442\u043e \u043d\u0435\u00a0\u0434\u0435\u0440\u0436\u0438\u0442 \u044d\u0442\u0443 \u0432\u0435\u0440\u0448\u0438\u043d\u0443<\/p>\n<\/li>\n<\/ul>\n<p>\u0418\u0437\u00a0\u044d\u0442\u043e\u0433\u043e \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e\u00a0\u043d\u0430\u043c \u043d\u0443\u0436\u0435\u043d \u043e\u0431\u0449\u0438\u0439 \u043c\u0435\u043d\u0435\u0434\u0436\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043a\u0443\u0440\u0438\u0440\u0443\u0435\u0442 \u0432\u0441\u0435\u043c\u0438 \u0445\u0430\u0437\u0430\u0440\u0434\u0430\u043c\u0438, \u0443\u0434\u0430\u043b\u044f\u0435\u0442 \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0435 \u0438 \u0437\u0430\u043f\u043e\u043c\u0438\u043d\u0430\u0435\u0442 \u0442\u0435, \u0447\u0442\u043e\u00a0\u0435\u0449\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043a\u0435\u043c\u2011\u0442\u043e.<\/p>\n<p>\u042d\u0442\u0438\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0434\u0430\u043d\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u0430.<\/p>\n<figure class=\"full-width \"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/6d7\/6e1\/106\/6d76e11067d57720919a4eca8e217ad7.png\" alt=\"Hazard Pointers Architecture  \" title=\"Hazard Pointers Architecture  \" width=\"2364\" height=\"924\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/r\/w780\/getpro\/habr\/upload_files\/6d7\/6e1\/106\/6d76e11067d57720919a4eca8e217ad7.png 780w,&#10;       https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/6d7\/6e1\/106\/6d76e11067d57720919a4eca8e217ad7.png 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<div><figcaption>Hazard Pointers Architecture <\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u00a0\u0434\u0430\u043d\u043d\u043e\u0439 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0435 \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u043e\u043a \u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u00a0\u0441\u0435\u0431\u044f <strong><em>hp_ptr<\/em><\/strong>(\u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c), \u0441\u00a0\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442. \u042d\u0442\u043e\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043c\u043e\u0433\u0443\u0442 \u0447\u0438\u0442\u0430\u0442\u044c \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u043e\u0442\u043e\u043a\u0438. \u0422\u0430\u043a\u0436\u0435 \u0438\u043c\u0435\u0435\u0442\u0441\u044f\u00a0\u043b\u0438\u0447\u043d\u044b\u0439 retired_list, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043e\u043d \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e\u00a0\u043d\u0430\u0434\u043e \u0431\u0443\u0434\u0435\u0442 \u0443\u0434\u0430\u043b\u0438\u0442\u044c. \u0412\u0435\u043a\u0442\u043e\u0440 <strong><em>all_records <\/em><\/strong>\u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u043d\u0430\u00a0\u044d\u0442\u0438 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0430, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u043e\u043a \u043c\u043e\u0433 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0438\u0445. \u0427\u0438\u0441\u043b\u043e \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u043c\u043e\u0436\u0435\u0442\u00a0\u0431\u044b\u0442\u044c \u043b\u044e\u0431\u044b\u043c.<\/p>\n<p>\u0421\u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u0443\u0435\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u044b\u0439 \u043f\u0435\u0440\u0435\u0447\u0435\u043d\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u0430 \u0434\u043b\u044f\u00a0HazardManager:<\/p>\n<ul>\n<li>\n<p>\u0417\u0430\u0449\u0438\u0442\u0438\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c<\/p>\n<\/li>\n<li>\n<p>\u0421\u043d\u044f\u0442\u044c \u0437\u0430\u0449\u0438\u0442\u0443<\/p>\n<\/li>\n<li>\n<p>\u0417\u0430\u043f\u043e\u043c\u043d\u0438\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0434\u043b\u044f\u00a0\u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f<\/p>\n<\/li>\n<li>\n<p>\u0421\u0431\u043e\u0440 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u0445 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u0439 \u0438 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0445<\/p>\n<\/li>\n<li>\n<p>\u0420\u0435\u0433\u0438\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043d\u043e\u0432\u044b\u0445 \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0434\u043b\u044f <strong><em>all_records<\/em><\/strong><\/p>\n<\/li>\n<\/ul>\n<p>\u0415\u0441\u043b\u0438 \u0432\u0430\u043c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0438\u043b\u0438\u00a0\u0432\u044b \u0445\u043e\u0442\u0438\u0442\u0435 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440 \u043a\u043e\u0434\u0430, \u0442\u043e \u0438\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435. \u041d\u043e\u00a0\u044f\u00a0\u0431\u044b \u0441\u043e\u0432\u0435\u0442\u043e\u0432\u0430\u043b \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0434\u043b\u044f\u00a0\u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f. \u0412\u0441\u0435 \u0442\u0430\u043a\u0438 \u0440\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443 \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u0430\u043c\u0438. \u0423\u0447\u0442\u0438\u0442\u0435, \u043a\u043e\u0434 \u0434\u0430\u043b\u0435\u0435 \u0434\u043e\u043b\u0436\u0435\u043d\u00a0\u0431\u044b\u0442\u044c \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u043e \u0432\u043d\u0435\u0434\u0440\u0435\u043d \u0432\u00a0\u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u043f\u0440\u0438\u00a0\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438.<\/p>\n<p>\u042f \u0440\u0435\u0448\u0438\u043b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c <a href=\"https:\/\/en.wikipedia.org\/wiki\/Singleton_pattern\" rel=\"noopener noreferrer nofollow\">Meyers singleton<\/a> \u0434\u043b\u044f\u00a0\u0433\u043b\u043e\u0431\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0438 \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f. \u041d\u0430\u00a0namespace LFA \u043d\u0435\u00a0\u043e\u0431\u0440\u0430\u0449\u0430\u0439\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u044d\u0442\u043e \u043c\u043e\u044f \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u0430\u044f <a href=\"https:\/\/github.com\/cppmage\/LFA\" rel=\"noopener noreferrer nofollow\">\u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430<\/a> \u0432\u0435\u043b\u043e\u0441\u0438\u043f\u0435\u0434\u043e\u0432. <\/p>\n<p>LIMIT\u00a0\u2014 \u0447\u0438\u0441\u043b\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0432 <strong><em>retired_list <\/em><\/strong>\u043f\u043e\u0441\u043b\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043f\u043e\u0442\u043e\u043a \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u043e\u0447\u0438\u0441\u0442\u043a\u0443. TAG\u00a0\u2014 \u0434\u043b\u044f\u00a0\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e <a href=\"https:\/\/habr.com\/ru\/articles\/235831\/\" rel=\"noopener noreferrer nofollow\">\u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f <\/a>\u0432\u00a0\u0440\u0430\u0437\u043d\u044b\u0445 \u043c\u043e\u0434\u0443\u043b\u044f\u0445 \u0438 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u043a\u043e\u0434\u0430.<\/p>\n<pre><code class=\"cpp\">template&lt;std::size_t LIMIT, std::size_t TAG&gt;class HazardPointersManager {private:  struct ThreadRecord {      std::atomic&lt;void*&gt; hp_ptr{ nullptr };      std::vector&lt;std::pair&lt;void*, void(*)(void*)&gt;&gt; retired_list;      \/\/ \u041c\u0430\u043a\u0440\u043e\u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f, \u0441\u044e\u0434\u0430 \u043c\u044b \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u043c \u0447\u0443\u0436\u0438\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f scan      std::vector&lt;void*&gt; active_hps_buffer;   };    struct GlobalState {      std::vector&lt;ThreadRecord*&gt; all_records;      LFA::shared_mutex&lt;Backoff::pause&gt; registration_mutex;  };    static GlobalState&amp; get_global() {      static GlobalState state;      return state;  }    static ThreadRecord&amp; get_local_record() {      static thread_local ThreadRecord record;      return record;  }public:    \/\/ \u0415\u0434\u0438\u043d\u0436\u0434\u044b \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c    static void register_thread() {        auto&amp; record = get_local_record();        auto&amp; state = get_global();        LFA::unique_lock_guard lock(state.registration_mutex);        state.all_records.push_back(&amp;record);    }  ...}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:87px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0412\u0440\u043e\u0434\u0435 \u043f\u043e\u043a\u0430 \u043f\u0440\u043e\u0441\u0442\u043e, \u0432\u0441\u0435\u0433\u043e\u00a0\u043b\u0438\u0448\u044c \u043e\u0431\u0435\u0440\u0442\u043a\u0430 \u0434\u043b\u044f\u00a0\u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u043b\u0438\u0441\u044c \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0422\u0417 \u0438 \u0441\u0445\u0435\u043c\u043a\u0438. \u0422\u0443\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0442\u0440\u044e\u043a \u0441\u00a0thread_local, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u043e\u043a \u0441\u0430\u043c \u0434\u043b\u044f\u00a0\u0441\u0435\u0431\u044f \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u043b ThreadRecord. <\/p>\n<p>\u041d\u0443 \u0438 \u0440\u0435\u0433\u0438\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043a\u0430\u043a\u00a0\u0432\u0438\u0434\u0438\u0442\u0435 \u0442\u0430\u043a\u0436\u0435 \u0434\u0435\u043b\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043f\u043e\u0434\u00a0\u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043c\u044c\u044e\u0442\u0435\u043a\u0441\u0430.<\/p>\n<p>\u0414\u0430\u043b\u0435\u0435 \u043f\u043e\u0439\u0434\u0443\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0439\u0442\u0435, \u0447\u0442\u043e\u00a0\u043e\u043d\u0438 \u0442\u0430\u043a\u0436\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043b\u0430\u0441\u0441\u0430 HazardPointersManager.<\/p>\n<pre><code class=\"cpp\">static void protect(void* ptr) {    auto&amp; record = get_local_record();    record.hp_ptr.store(ptr, std::memory_order::release);}static void unprotect() {    auto&amp; record = get_local_record();    record.hp_ptr.store(nullptr, std::memory_order::release);}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041a\u0430\u043a\u00a0\u044f \u0438 \u0433\u043e\u0432\u043e\u0440\u0438\u043b, protect, \u043f\u0440\u043e\u0441\u0442\u043e \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c, \u043d\u0438\u0447\u0435\u0433\u043e \u0441\u0432\u0435\u0440\u0445\u044a\u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e. <strong>\u0423\u0427\u0422\u0418\u0422\u0415<\/strong>: <em>\u0432\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0441\u0430\u043c\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043f\u043e\u0441\u043b\u0435 protect, \u0432\u044b \u0437\u0430\u0449\u0438\u0449\u0430\u0435\u0442\u0435 \u0432\u0430\u043b\u0438\u0434\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0438 \u043e\u043d \u0438\u043b\u0438\u00a0\u0441\u0430\u043c\u0430 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u043d\u0435\u00a0\u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0438\u0441\u044c \u0442\u0430\u043a, \u0447\u0442\u043e\u00a0\u043e\u043d \u0431\u043e\u043b\u0435\u0435 \u043d\u0430\u043c \u043d\u0435\u00a0\u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442.<\/em><\/p>\n<pre><code class=\"cpp\">static void retire(void* ptr, void (*deleter)(void*)) {    auto&amp; vec = get_local_record().retired_list;    vec.push_back({ ptr, deleter });    if (vec.size() &gt;= LIMIT) {        auto&amp; active_hps = get_local_record().active_hps_buffer;        scan(vec, active_hps);    }}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u044f retire \u041f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0441\u0430\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u0438 \u043a\u043b\u0430\u0434\u0435\u0442 \u0438\u0445 \u0432\u00a0\u0441\u0432\u043e\u0439 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u0432\u0435\u043a\u0442\u043e\u0440. \u0415\u0441\u043b\u0438 \u043c\u044b \u043f\u0440\u0435\u0432\u044b\u0448\u0430\u0435\u043c LIMIT \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c\u0441\u044f \u0441\u043a\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0438 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0435.<\/p>\n<pre><code class=\"cpp\">static void scan(std::vector&lt;std::pair&lt;void*, void(*)(void*)&gt;&gt;&amp; retired_list,                  std::vector&lt;void*&gt;&amp; active_hps) {    active_hps.clear();    auto&amp; global_hp_vec = get_global().all_records;      \/\/ 1. \u0421\u043e\u0431\u0438\u0440\u0430\u0435\u043c \u0432\u0441\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u0443 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043f\u043e\u0442\u043e\u043a\u0430,     \/\/ \u0437\u0430\u0449\u0438\u0449\u0430\u044f \u0433\u043b\u043e\u0431\u0430\u043b\u044c\u043d\u044b\u0439 \u0432\u0435\u043a\u0442\u043e\u0440 \u0447\u0435\u0440\u0435\u0437 shared_mutex.    {        LFA::shared_lock_guard lock(get_global().registration_mutex);        for (auto* t_hp : global_hp_vec) {            void* p = t_hp-&gt;hp_ptr.load(std::memory_order_acquire);            if (p) active_hps.push_back(p);        }    }      \/\/ 2. \u0421\u043e\u0440\u0442\u0438\u0440\u0443\u0435\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u043f\u043e \u0432\u043e\u0437\u0440\u0430\u0441\u0442\u0430\u043d\u0438\u044e \u0434\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0433\u043e \u043f\u043e\u0438\u0441\u043a\u0430.    std::sort(active_hps.begin(), active_hps.end());      \/\/ 3. \u0415\u0441\u043b\u0438 \u043d\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0438\u0437 retired_list \u0432 active_hps,     \/\/ \u0437\u043d\u0430\u0447\u0438\u0442 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u043c\u043e\u0436\u043d\u043e \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e.     auto it = std::remove_if(retired_list.begin(), retired_list.end(), [&amp;](const auto&amp; item) {        if (!std::binary_search(active_hps.begin(), active_hps.end(), item.first)) {            item.second(item.first);            return true;         }        return false;         });      \/\/ 4. \u041e\u0447\u0438\u0449\u0430\u0435\u043c retired_list \u043e\u0442 \u0443\u0434\u0430\u043b\u0435\u043d\u043d\u044b\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432.    retired_list.erase(it, retired_list.end());}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u0443 \u0438 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f. \u0418\u0437\u0432\u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c <em>retired_list <\/em>\u0438 <em>active_hps <\/em>\u2014 \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0440\u0435\u0442\u0435\u043d\u0434\u0435\u043d\u0442\u043e\u0432 \u043d\u0430\u00a0\u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u0431\u0443\u0444\u0435\u0440\u043d\u044b\u0439 \u0432\u0435\u043a\u0442\u043e\u0440 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. <\/p>\n<blockquote>\n<p><a href=\"https:\/\/github.com\/cppmage\/LFA\/blob\/main\/include\/hazard_pointers.hpp\" rel=\"noopener noreferrer nofollow\"><strong>\u041f\u043e\u043b\u043d\u044b\u0439 \u043a\u043e\u0434<\/strong><\/a><\/p>\n<\/blockquote>\n<p>\u0421\u043f\u0430\u0441\u0438\u0431\u043e \u0437\u0430\u00a0\u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0431\u0443\u0434\u0443 \u0440\u0430\u0437 \u0432\u0430\u0448\u0438\u043c \u0437\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u044f\u043c \u0438 \u043f\u043e\u0436\u0435\u043b\u0430\u043d\u0438\u044f\u043c.<\/p>\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:\/\/habr.com\/ru\/articles\/1048074\/\">https:\/\/habr.com\/ru\/articles\/1048074\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u041f\u0440\u0438\u0432\u0435\u0442, \u0425\u0430\u0431\u0440.\u042f \u043f\u043e\u0442\u0440\u0430\u0442\u0438\u043b \u043a\u0443\u0447\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u043d\u0430\u00a0\u043f\u0440\u043e\u0447\u0442\u0435\u043d\u0438\u0435 \u0441\u0442\u0430\u0442\u0435\u0439 \u0438 \u043a\u043d\u0438\u0436\u0435\u043a \u043f\u0440\u043e\u00a0\u044d\u0442\u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438, \u043c\u043d\u043e\u0433\u043e \u043a\u043e\u043c\u043f\u043b\u0435\u043a\u0441\u043d\u043e\u0433\u043e \u0442\u0435\u043a\u0441\u0442\u0430 \u0438 \u043c\u0430\u043b\u043e \u0441\u0445\u0435\u043c\u043e\u043a \u0438 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432, \u0430\u00a0\u043a\u0430\u043a\u00a0\u043f\u043e\u00a0\u043c\u043d\u0435, \u043e\u043d\u0438 \u0443\u043f\u0440\u043e\u0449\u0430\u044e\u0442 \u0432\u00a0\u0440\u0430\u0437\u044b \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435.\u0411\u0443\u0434\u0443 \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u00abHazard pointers\u00bb \u043a\u0430\u043a \u00ab\u0425\u0430\u0437\u0430\u0440\u0434\u044b\u00bb. \u0422\u0443\u0442 \u044f \u043d\u0435\u00a0\u0431\u0443\u0434\u0443 \u0432\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0432\u00a0\u0434\u0435\u0442\u0430\u043b\u0438 \u0438 \u0442\u0435\u043e\u0440\u0438\u044e \u043f\u0440\u043e\u00a0memory ordering, \u0430\u00a0\u0431\u0443\u0434\u0443 \u0441\u0442\u0430\u0440\u0430\u0442\u044c\u0441\u044f \u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u00ab\u043f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u043e\u0435\u00bb \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u0432\u043e\u043f\u0440\u043e\u0441\u0430. \u042d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u0431\u043e\u043b\u044c\u0448\u0435 \u043a\u0430\u043a\u00a0\u043f\u043e\u0432\u0435\u0440\u0445\u043d\u043e\u0441\u0442\u043d\u043e\u0435 \u0432\u0432\u0435\u0434\u0435\u043d\u0438\u0435, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f\u00a0\u043f\u0430\u0440\u0430\u0433\u0440\u0430\u0444\u0430 \u043f\u0440\u043e\u00a0\u043e\u0434\u043d\u043e\u0438\u043c\u0435\u043d\u043d\u044b\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u0432 \u00abC++ Concurrency in Action\u00bb \u043e\u0442\u00a0\u042d\u043d\u0442\u043e\u043d\u0438 \u0423\u0438\u043b\u044c\u044f\u043c\u0441\u0430, \u043d\u0435\u0436\u0435\u043b\u0438 \u0447\u0442\u043e\u2011\u0442\u043e \u043d\u0430\u00a0\u0447\u0435\u043c \u0441\u0442\u043e\u0438\u0442 \u043e\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043d\u0430\u0434\u043e\u043b\u0433\u043e. \u041f\u0435\u0440\u0432\u043e\u2011\u043d\u0430\u043f\u0435\u0440\u0432\u043e, \u0425\u0430\u0437\u0430\u0440\u0434\u044b \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e \u043e\u0441\u0432\u043e\u0431\u043e\u0436\u0434\u0430\u0442\u044c \u043f\u0430\u043c\u044f\u0442\u044c. \u0417\u0430\u043e\u0434\u043d\u043e \u043e\u043d\u0438 \u0440\u0435\u0448\u0430\u044e\u0442 \u0438 ABA\u2011\u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443\u00a0\u2014 \u043f\u043e\u043a\u0430 \u043f\u043e\u0442\u043e\u043a \u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0432\u00a0\u0441\u0432\u043e\u0451\u043c HP, \u044d\u0442\u043e\u0442 \u0443\u0437\u0435\u043b \u043d\u0438\u043a\u0442\u043e \u043d\u0435\u00a0\u0443\u0434\u0430\u043b\u0438\u0442 \u0438 \u0435\u0433\u043e \u0430\u0434\u0440\u0435\u0441 \u043d\u0435\u00a0\u043f\u0435\u0440\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442.\u041d\u0443\u0436\u0434\u0430 \u0432\u00a0\u043f\u0435\u0440\u0432\u043e\u043c \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442, \u043a\u043e\u0433\u0434\u0430 \u0431\u043e\u043b\u044c\u0448\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u043e\u0442\u043e\u043a\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0441\u00a0\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043e\u0439. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u0442\u043e\u043a X \u0432\u0437\u044f\u043b \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430\u00a0\u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u0441\u0442\u044d\u043a\u0430 \u2192 X \u0437\u0430\u0441\u044b\u043f\u0430\u0435\u0442 \u2192 \u043f\u043e\u0442\u043e\u043a Y \u0443\u0434\u0430\u043b\u044f\u0435\u0442 \u044d\u0442\u043e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u2192 X \u043f\u0440\u043e\u0441\u044b\u043f\u0430\u0435\u0442\u0441\u044f \u0438 \u0447\u0438\u0442\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e\u00a0\u0443\u0434\u0430\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0430\u0434\u0440\u0435\u0441\u0443.\u041d\u0443 \u0430\u00a0\u043d\u0430\u00a0\u0441\u0447\u0435\u0442 ABA \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b. \u0427\u0442\u043e\u2011\u0436\u0435 \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u0438 \u043a\u043e\u0433\u0434\u0430 \u043e\u043d\u0430 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442? \u0421\u043f\u0435\u0440\u0432\u0430 \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e\u00a0\u043e\u043d\u0430 \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u00a0\u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430\u0445, \u0433\u0434\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f CAS, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 Lock\u2011free \u0441\u0442\u044d\u043a. \u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u0443\u00a0\u043d\u0430\u0441 2\u00a0\u043f\u043e\u0442\u043e\u043a\u0430 X \u0438 Y.X: \u0437\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u00a0\u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441\u0442\u044d\u043a\u0430 X: \u0431\u0435\u0440\u0435\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430\u00a0\u0432\u0435\u0440\u0445\u043d\u0438\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0438 \u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 X: \u0417\u0430\u0441\u044b\u043f\u0430\u0435\u0442 \u043f\u043e\u00a0\u0432\u043e\u043b\u0435 \u043f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0449\u0438\u043a\u0430Y: \u0432\u044b\u0442\u0430\u043b\u043a\u0438\u0432\u0430\u0435\u0442 \u0442\u0435\u043a\u0443\u0449\u0443\u044e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 Y: \u043a\u043b\u0430\u0434\u0435\u0442 \u043d\u043e\u0432\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432\u00a0\u0441\u0442\u044d\u043a, \u043d\u043e\u00a0\u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e\u00a0\u044d\u0442\u043e\u0442 \u043d\u043e\u0432\u044b\u0439 \u0443\u0437\u0435\u043b \u0438\u043c\u0435\u0435\u0442 \u0442\u043e\u0442\u00a0\u0436\u0435 \u0430\u0434\u0440\u0435\u0441, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e\u00a0\u043f\u0430\u043c\u044f\u0442\u044c \u043e\u0442\u00a0\u0443\u0434\u0430\u043b\u0451\u043d\u043d\u043e\u0433\u043e \u0443\u0437\u043b\u0430\u00a0\u0431\u044b\u043b\u0430 \u043f\u0435\u0440\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0430 \u0430\u043b\u043b\u043e\u043a\u0430\u0442\u043e\u0440\u043e\u043cX: \u0447\u0435\u0440\u0435\u0437 CAS \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0447\u0442\u043e\u00a0\u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0443\u0437\u0435\u043b \u043b\u0435\u0436\u0438\u0442 \u043f\u043e\u00a0\u0442\u043e\u043c\u0443\u00a0\u0436\u0435 \u0430\u0434\u0440\u0435\u0441\u0443, \u0443\u0441\u043f\u0435\u0445 \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0443\u0436\u0435\u00a0\u0431\u044b\u043b\u043e \u0443\u0434\u0430\u043b\u0435\u043d\u043e\u042d\u0442\u043e \u0433\u0430\u0434\u043a\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430, \u043e\u043d\u0430 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043a \u0438\u043d\u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u0438\u00a0\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b, \u0442\u0430\u043a \u0438 \u043a\u00a0\u0435\u0451 \u043f\u043e\u043b\u043d\u043e\u043c\u0443 \u0440\u0430\u0437\u0440\u0443\u0448\u0435\u043d\u0438\u044e \u0438\u043b\u0438\u00a0\u0434\u0430\u0436\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430.\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043a\u00a0\u0441\u0430\u043c\u0438\u043c \u0425\u0430\u0437\u0430\u0440\u0434\u0430\u043c, \u043a\u0430\u043a\u00a0\u0431\u044b \u043d\u0430\u043c \u0440\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b? \u041f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0438\u043c, \u0447\u0442\u043e\u00a0\u043d\u0430\u043c \u043d\u0430\u0434\u043e:\u041f\u043e\u043d\u0438\u043c\u0430\u0442\u044c, \u0447\u0442\u043e\u00a0\u044d\u0442\u0443 \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u0441\u0435\u0439\u0447\u0430\u0441 \u043d\u0435\u043b\u044c\u0437\u044f\u041a\u0430\u043a\u2011\u0442\u043e \u043e\u0442\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0442\u044c \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u0435\u0433\u043e, \u043a\u043e\u0433\u0434\u0430 \u043d\u0438\u043a\u0442\u043e \u043d\u0435\u00a0\u0434\u0435\u0440\u0436\u0438\u0442 \u044d\u0442\u0443 \u0432\u0435\u0440\u0448\u0438\u043d\u0443\u0418\u0437\u00a0\u044d\u0442\u043e\u0433\u043e \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e\u00a0\u043d\u0430\u043c \u043d\u0443\u0436\u0435\u043d \u043e\u0431\u0449\u0438\u0439 \u043c\u0435\u043d\u0435\u0434\u0436\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043a\u0443\u0440\u0438\u0440\u0443\u0435\u0442 \u0432\u0441\u0435\u043c\u0438 \u0445\u0430\u0437\u0430\u0440\u0434\u0430\u043c\u0438, \u0443\u0434\u0430\u043b\u044f\u0435\u0442 \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0435 \u0438 \u0437\u0430\u043f\u043e\u043c\u0438\u043d\u0430\u0435\u0442 \u0442\u0435, \u0447\u0442\u043e\u00a0\u0435\u0449\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043a\u0435\u043c\u2011\u0442\u043e.\u042d\u0442\u0438\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0434\u0430\u043d\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u0430.Hazard Pointers Architecture \u0412\u00a0\u0434\u0430\u043d\u043d\u043e\u0439 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0435 \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u043e\u043a \u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u00a0\u0441\u0435\u0431\u044f hp_ptr(\u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c), \u0441\u00a0\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442. \u042d\u0442\u043e\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043c\u043e\u0433\u0443\u0442 \u0447\u0438\u0442\u0430\u0442\u044c \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u043e\u0442\u043e\u043a\u0438. \u0422\u0430\u043a\u0436\u0435 \u0438\u043c\u0435\u0435\u0442\u0441\u044f\u00a0\u043b\u0438\u0447\u043d\u044b\u0439 retired_list, \u0432\u00a0\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043e\u043d \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e\u00a0\u043d\u0430\u0434\u043e \u0431\u0443\u0434\u0435\u0442 \u0443\u0434\u0430\u043b\u0438\u0442\u044c. \u0412\u0435\u043a\u0442\u043e\u0440 all_records \u0434\u0435\u0440\u0436\u0438\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u043d\u0430\u00a0\u044d\u0442\u0438 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0430, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u043e\u043a \u043c\u043e\u0433 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0438\u0445. \u0427\u0438\u0441\u043b\u043e \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u043c\u043e\u0436\u0435\u0442\u00a0\u0431\u044b\u0442\u044c \u043b\u044e\u0431\u044b\u043c.\u0421\u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u0443\u0435\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u044b\u0439 \u043f\u0435\u0440\u0435\u0447\u0435\u043d\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u0430 \u0434\u043b\u044f\u00a0HazardManager:\u0417\u0430\u0449\u0438\u0442\u0438\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0421\u043d\u044f\u0442\u044c \u0437\u0430\u0449\u0438\u0442\u0443\u0417\u0430\u043f\u043e\u043c\u043d\u0438\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0434\u043b\u044f\u00a0\u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f\u0421\u0431\u043e\u0440 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u0445 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u0439 \u0438 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0445\u0420\u0435\u0433\u0438\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043d\u043e\u0432\u044b\u0445 \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0434\u043b\u044f all_records\u0415\u0441\u043b\u0438 \u0432\u0430\u043c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0438\u043b\u0438\u00a0\u0432\u044b \u0445\u043e\u0442\u0438\u0442\u0435 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440 \u043a\u043e\u0434\u0430, \u0442\u043e \u0438\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435. \u041d\u043e\u00a0\u044f\u00a0\u0431\u044b \u0441\u043e\u0432\u0435\u0442\u043e\u0432\u0430\u043b \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0434\u043b\u044f\u00a0\u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f. \u0412\u0441\u0435 \u0442\u0430\u043a\u0438 \u0440\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443 \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u0430\u043c\u0438. \u0423\u0447\u0442\u0438\u0442\u0435, \u043a\u043e\u0434 \u0434\u0430\u043b\u0435\u0435 \u0434\u043e\u043b\u0436\u0435\u043d\u00a0\u0431\u044b\u0442\u044c \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u043e \u0432\u043d\u0435\u0434\u0440\u0435\u043d \u0432\u00a0\u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u043f\u0440\u0438\u00a0\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438.\u042f \u0440\u0435\u0448\u0438\u043b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c Meyers singleton \u0434\u043b\u044f\u00a0\u0433\u043b\u043e\u0431\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0438 \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f. \u041d\u0430\u00a0namespace LFA \u043d\u0435\u00a0\u043e\u0431\u0440\u0430\u0449\u0430\u0439\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u044d\u0442\u043e \u043c\u043e\u044f \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u0430\u044f \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430 \u0432\u0435\u043b\u043e\u0441\u0438\u043f\u0435\u0434\u043e\u0432. LIMIT\u00a0\u2014 \u0447\u0438\u0441\u043b\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0432 retired_list \u043f\u043e\u0441\u043b\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043f\u043e\u0442\u043e\u043a \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u043e\u0447\u0438\u0441\u0442\u043a\u0443. TAG\u00a0\u2014 \u0434\u043b\u044f\u00a0\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u00a0\u0440\u0430\u0437\u043d\u044b\u0445 \u043c\u043e\u0434\u0443\u043b\u044f\u0445 \u0438 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u043a\u043e\u0434\u0430.template&lt;std::size_t LIMIT, std::size_t TAG&gt;class HazardPointersManager {private:  struct ThreadRecord {      std::atomic&lt;void*&gt; hp_ptr{ nullptr };      std::vector&lt;std::pair&lt;void*, void(*)(void*)&gt;&gt; retired_list;      \/\/ \u041c\u0430\u043a\u0440\u043e\u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f, \u0441\u044e\u0434\u0430 \u043c\u044b \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u043c \u0447\u0443\u0436\u0438\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f scan      std::vector&lt;void*&gt; active_hps_buffer;   };    struct GlobalState {      std::vector&lt;ThreadRecord*&gt; all_records;      LFA::shared_mutex&lt;Backoff::pause&gt; registration_mutex;  };    static GlobalState&amp; get_global() {      static GlobalState state;      return state;  }    static ThreadRecord&amp; get_local_record() {      static thread_local ThreadRecord record;      return record;  }public:    \/\/ \u0415\u0434\u0438\u043d\u0436\u0434\u044b \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c    static void register_thread() {        auto&amp; record = get_local_record();        auto&amp; state = get_global();        LFA::unique_lock_guard lock(state.registration_mutex);        state.all_records.push_back(&amp;record);    }  &#8230;}\u0412\u0440\u043e\u0434\u0435 \u043f\u043e\u043a\u0430 \u043f\u0440\u043e\u0441\u0442\u043e, \u0432\u0441\u0435\u0433\u043e\u00a0\u043b\u0438\u0448\u044c \u043e\u0431\u0435\u0440\u0442\u043a\u0430 \u0434\u043b\u044f\u00a0\u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u043b\u0438\u0441\u044c \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0422\u0417 \u0438 \u0441\u0445\u0435\u043c\u043a\u0438. \u0422\u0443\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0442\u0440\u044e\u043a \u0441\u00a0thread_local, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u043e\u043a \u0441\u0430\u043c \u0434\u043b\u044f\u00a0\u0441\u0435\u0431\u044f \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u043b ThreadRecord. \u041d\u0443 \u0438 \u0440\u0435\u0433\u0438\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043a\u0430\u043a\u00a0\u0432\u0438\u0434\u0438\u0442\u0435 \u0442\u0430\u043a\u0436\u0435 \u0434\u0435\u043b\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043f\u043e\u0434\u00a0\u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043c\u044c\u044e\u0442\u0435\u043a\u0441\u0430.\u0414\u0430\u043b\u0435\u0435 \u043f\u043e\u0439\u0434\u0443\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0439\u0442\u0435, \u0447\u0442\u043e\u00a0\u043e\u043d\u0438 \u0442\u0430\u043a\u0436\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043b\u0430\u0441\u0441\u0430 HazardPointersManager.static void protect(void* ptr) {    auto&amp; record = get_local_record();    record.hp_ptr.store(ptr, std::memory_order::release);}static void unprotect() {    auto&amp; record = get_local_record();    record.hp_ptr.store(nullptr, std::memory_order::release);}\u041a\u0430\u043a\u00a0\u044f \u0438 \u0433\u043e\u0432\u043e\u0440\u0438\u043b, protect, \u043f\u0440\u043e\u0441\u0442\u043e \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c, \u043d\u0438\u0447\u0435\u0433\u043e \u0441\u0432\u0435\u0440\u0445\u044a\u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e. \u0423\u0427\u0422\u0418\u0422\u0415: \u0432\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0441\u0430\u043c\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043f\u043e\u0441\u043b\u0435 protect, \u0432\u044b \u0437\u0430\u0449\u0438\u0449\u0430\u0435\u0442\u0435 \u0432\u0430\u043b\u0438\u0434\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0438 \u043e\u043d \u0438\u043b\u0438\u00a0\u0441\u0430\u043c\u0430 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u043d\u0435\u00a0\u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0438\u0441\u044c \u0442\u0430\u043a, \u0447\u0442\u043e\u00a0\u043e\u043d \u0431\u043e\u043b\u0435\u0435 \u043d\u0430\u043c \u043d\u0435\u00a0\u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442.static void retire(void* ptr, void (*deleter)(void*)) {    auto&amp; vec = get_local_record().retired_list;    vec.push_back({ ptr, deleter });    if (vec.size() &gt;= LIMIT) {        auto&amp; active_hps = get_local_record().active_hps_buffer;        scan(vec, active_hps);    }}\u0424\u0443\u043d\u043a\u0446\u0438\u044f retire \u041f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0441\u0430\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u0438 \u043a\u043b\u0430\u0434\u0435\u0442 \u0438\u0445 \u0432\u00a0\u0441\u0432\u043e\u0439 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u0432\u0435\u043a\u0442\u043e\u0440. \u0415\u0441\u043b\u0438 \u043c\u044b \u043f\u0440\u0435\u0432\u044b\u0448\u0430\u0435\u043c LIMIT \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c\u0441\u044f \u0441\u043a\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0438 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0435.static void scan(std::vector&lt;std::pair&lt;void*, void(*)(void*)&gt;&gt;&amp; retired_list,                  std::vector&lt;void*&gt;&amp; active_hps) {    active_hps.clear();    auto&amp; global_hp_vec = get_global().all_records;      \/\/ 1. \u0421\u043e\u0431\u0438\u0440\u0430\u0435\u043c \u0432\u0441\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u0443 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043f\u043e\u0442\u043e\u043a\u0430,     \/\/ \u0437\u0430\u0449\u0438\u0449\u0430\u044f \u0433\u043b\u043e\u0431\u0430\u043b\u044c\u043d\u044b\u0439 \u0432\u0435\u043a\u0442\u043e\u0440 \u0447\u0435\u0440\u0435\u0437 shared_mutex.    {        LFA::shared_lock_guard lock(get_global().registration_mutex);        for (auto* t_hp : global_hp_vec) {            void* p = t_hp-&gt;hp_ptr.load(std::memory_order_acquire);            if (p) active_hps.push_back(p);        }    }      \/\/ 2. \u0421\u043e\u0440\u0442\u0438\u0440\u0443\u0435\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438 \u043f\u043e \u0432\u043e\u0437\u0440\u0430\u0441\u0442\u0430\u043d\u0438\u044e \u0434\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0433\u043e \u043f\u043e\u0438\u0441\u043a\u0430.    std::sort(active_hps.begin(), active_hps.end());      \/\/ 3. \u0415\u0441\u043b\u0438 \u043d\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0438\u0437 retired_list \u0432 active_hps,     \/\/ \u0437\u043d\u0430\u0447\u0438\u0442 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u043c\u043e\u0436\u043d\u043e \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e.     auto it = std::remove_if(retired_list.begin(), retired_list.end(), [&amp;](const auto&amp; item) {        if (!std::binary_search(active_hps.begin(), active_hps.end(), item.first)) {            item.second(item.first);            return true;         }        return false;         });      \/\/ 4. \u041e\u0447\u0438\u0449\u0430\u0435\u043c retired_list \u043e\u0442 \u0443\u0434\u0430\u043b\u0435\u043d\u043d\u044b\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432.    retired_list.erase(it, retired_list.end());}\u041d\u0443 \u0438 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f. \u0418\u0437\u0432\u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c retired_list \u0438 active_hps \u2014 \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0440\u0435\u0442\u0435\u043d\u0434\u0435\u043d\u0442\u043e\u0432 \u043d\u0430\u00a0\u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u0431\u0443\u0444\u0435\u0440\u043d\u044b\u0439 \u0432\u0435\u043a\u0442\u043e\u0440 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u041f\u043e\u043b\u043d\u044b\u0439 \u043a\u043e\u0434\u0421\u043f\u0430\u0441\u0438\u0431\u043e \u0437\u0430\u00a0\u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0431\u0443\u0434\u0443 \u0440\u0430\u0437 \u0432\u0430\u0448\u0438\u043c \u0437\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u044f\u043c \u0438 \u043f\u043e\u0436\u0435\u043b\u0430\u043d\u0438\u044f\u043c.\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 https:\/\/habr.com\/ru\/articles\/1048074\/<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-483810","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/483810","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=483810"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/483810\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=483810"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=483810"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=483810"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}