{"id":299448,"date":"2020-02-28T21:00:11","date_gmt":"2020-02-28T21:00:11","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=299448"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=299448","title":{"rendered":"\u0421\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u043b\u0438 Haskell \u0438 C++, \u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u043b\u0438 jump \u0438 cmov"},"content":{"rendered":"\n<div class=\"post__text post__text-html\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/490458\/\">\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/rx\/wc\/ce\/rxwcce9fs_wmc-ovltbn0t6lq9g.jpeg\" alt=\"\u0427\u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u0441\u043c\u0435\u0448\u043d\u043e\u0435 \u2014 &lt;br&gt; \u044f \u0441\u043e\u0431\u0438\u0440\u0430\u043b \u0445\u0430\u0441\u043a\u0435\u043b\u044c-\u043a\u043e\u0434 \u0447\u0435\u0440\u0435\u0437 LLVM-\u0431\u0435\u043a\u0435\u043d\u0434,&lt;br&gt; \u043d\u043e \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u043b \u0441 GCC\"><br \/>  \u0412 \u0441\u0442\u0430\u0442\u044c\u0435 <a href=\"https:\/\/habr.com\/ru\/post\/483864\/\">[\u0441\u0441\u044b\u043b\u043a\u0430]<\/a> \u0431\u044b\u043b\u043e \u0437\u0430\u044f\u0432\u043b\u0435\u043d\u043e, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c Haskell \u043a\u043e\u0434\u0430 \u043f\u0440\u0435\u0432\u0437\u043e\u0448\u043b\u0430 \u043a\u043e\u0434 \u043d\u0430 \u0421++. \u0427\u0442\u043e \u0441\u0440\u0430\u0437\u0443 \u0432\u044b\u0437\u0432\u0430\u043b\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441, \u0442.\u043a. \u0438 \u0442\u043e \u0438 \u0434\u0440\u0443\u0433\u043e\u0435 \u043c\u043e\u0436\u0435\u0442 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f LLVM \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u043c, \u0437\u043d\u0430\u0447\u0438\u0442 \u043b\u0438\u0431\u043e \u041d\u0430skell \u043c\u043e\u0436\u0435\u0442 \u0434\u0430\u0432\u0430\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u0445\u0438\u043d\u0442\u043e\u0432 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443, \u043b\u0438\u0431\u043e \u0447\u0442\u043e-\u0442\u043e \u043d\u0435 \u0442\u0430\u043a \u0441 \u0421++ \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439. \u0414\u0430\u043b\u0435\u0435 \u043c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0451\u043c, \u043a\u0430\u043a \u0447\u0435\u0440\u0435\u0434\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0441\u0442\u0435\u0439 \u0432 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f\u0445 \u0430\u0432\u0442\u043e\u0440\u0430 \u043f\u0440\u0438\u0432\u0435\u043b\u0430 \u043a \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u043c \u0432\u044b\u0432\u043e\u0434\u0430\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0442\u0430\u0431\u043b\u0438\u0446\u0435\u0439 \u043d\u0438\u0436\u0435 (\u043f\u043e\u0434 \u043a\u0430\u0442\u043e\u043c).<\/p>\n<p><a name=\"habracut\"><\/a>  <\/p>\n<h2 id=\"predislovie\">\u041f\u0440\u0435\u0434\u0438\u0441\u043b\u043e\u0432\u0438\u0435<\/h2>\n<p>  <\/p>\n<p>\u041d\u0435\u0434\u0430\u0432\u043d\u043e \u043d\u0430 \u0445\u0430\u0431\u0440\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u0430\u0441\u044c \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u0430\u044f <a href=\"https:\/\/habr.com\/ru\/post\/489136\/\">\u0441\u0442\u0430\u0442\u044c\u044f<\/a> \u043e\u0442 <a href=\"https:\/\/habr.com\/ru\/users\/0xd34df00d\/\" class=\"user_link\">0xd34df00d<\/a> \u043f\u0440\u043e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044e \u0445\u0430\u0441\u043a\u0435\u043b\u044c \u043a\u043e\u0434\u0430. \u0421\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u0442\u0430\u043a\u0438\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0441 \u043d\u0435\u043e\u0441\u043f\u043e\u0440\u0438\u043c\u044b\u043c \u043b\u0438\u0434\u0435\u0440\u043e\u043c \u0432 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u2014 \u0421\/C++. \u0417\u0430\u0442\u0435\u043c \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043b <a href=\"https:\/\/habr.com\/ru\/post\/489958\/\">\u0440\u0430\u0437\u0431\u043e\u0440<\/a> \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043e\u0442 <a href=\"https:\/\/habr.com\/ru\/users\/yleo\/\" class=\"user_link\">yleo<\/a> \u043e \u0442\u043e\u043c \u043a\u0430\u043a\u043e\u0439 \u0430\u0441\u043c \u043a\u043e\u0434 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043b\u0443\u0447\u0448\u0435, \u0438 \u0432 \u0447\u0451\u043c \u043a\u0440\u043e\u0435\u0442\u0441\u044f \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0439 \u043d\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 \u042f\u041f (\u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043a \u043f\u0440\u043e\u0447\u0442\u0435\u043d\u0438\u044e). \u0415\u0449\u0451 \u0440\u0430\u043d\u044c\u0448\u0435 (\u043e\u043a\u043e\u043b\u043e \u043f\u043e\u043b\u0443\u0442\u043e\u0440\u0430 \u043c\u0435\u0441\u044f\u0446\u0435\u0432 \u043d\u0430\u0437\u0430\u0434), \u0431\u044b\u043b\u0430 \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043d\u0430 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u0438\u0437 \u0441\u0435\u0440\u0438\u0438 &quot;\u0425\u0430\u0441\u043a\u0435\u043b\u044c vs \u0421\/C++&quot;, \u0438 \u044f \u043f\u0440\u043e\u0434\u0435\u043b\u0430\u043b \u043f\u043e\u0445\u043e\u0436\u0438\u0439 \u0440\u0430\u0437\u0431\u043e\u0440, \u043d\u043e \u0432\u043c\u0435\u0441\u0442\u043e \u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u0442\u044c \u0435\u0433\u043e \u043d\u0430 \u0425\u0430\u0431\u0440 \u2014 \u0443\u0432\u044b, \u043e\u0442\u043b\u043e\u0436\u0438\u043b \u0432 \u0434\u043e\u043b\u0433\u0438\u0439 \u044f\u0449\u0438\u043a. \u0411\u0443\u0440\u043d\u044b\u0435 \u0434\u0438\u0441\u043a\u0443\u0441\u0441\u0438\u0438 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445 \u043d\u0430 \u044d\u0442\u043e\u0439 \u043d\u0435\u0434\u0435\u043b\u0435, \u043f\u043e\u0431\u0443\u0434\u0438\u043b\u0438 \u043c\u0435\u043d\u044f \u0432\u0435\u0440\u043d\u0443\u0442\u0441\u044f \u043a \u043f\u0440\u043e\u0448\u043b\u043e\u0439 \u0442\u0435\u043c\u0435. \u0421\u0435\u0433\u043e\u0434\u043d\u044f \u044f \u0435\u0433\u043e \u043d\u0430\u043a\u043e\u043d\u0435\u0446-\u0442\u043e \u0434\u043e\u0441\u0442\u0430\u043b \u0442\u043e\u0442 markdown \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442 \u0438\u0437 \u044f\u0449\u0438\u043a\u0430, \u0441\u0442\u0440\u044f\u0445\u043d\u0443\u043b \u043f\u044b\u043b\u044c, <del>\u0434\u043e\u043f\u0438\u0441\u0430\u043b<\/del>, \u0438 \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e \u0435\u0433\u043e \u043d\u0430 \u0432\u0430\u0448\u0435 \u043e\u0431\u043e\u0437\u0440\u0435\u043d\u0438\u0435.<\/p>\n<p>  <\/p>\n<h1 id=\"vvedenie\">\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/h1>\n<p>  <\/p>\n<p>\u041d\u0430\u043f\u043e\u043c\u043d\u044e, \u0447\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 \u0431\u044b\u043b\u0430 \u043f\u0440\u043e \u043f\u043e\u0434\u0441\u0447\u0451\u0442 \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u041b\u0435\u0432\u0435\u043d\u0448\u0442\u0435\u0439\u043d\u0430 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%A0%D0%B0%D1%81%D1%81%D1%82%D0%BE%D1%8F%D0%BD%D0%B8%D0%B5_%D0%9B%D0%B5%D0%B2%D0%B5%D0%BD%D1%88%D1%82%D0%B5%D0%B9%D0%BD%D0%B0\" rel=\"nofollow\">[\u0432\u0438\u043a\u0438]<\/a>, \u0438 \u0432\u043e\u0442 \u0442\u0430\u043a\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0431\u044b\u043b\u0438 \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u044b \u0432 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435:<\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th>\u0420\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f<\/th>\n<th>\u041e\u0442\u043d. \u0432\u0440\u0435\u043c\u044f<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0421 clang 9<\/td>\n<td>103%<\/td>\n<\/tr>\n<tr>\n<td>\u0421 gcc 9.2<\/td>\n<td>125%<\/td>\n<\/tr>\n<tr>\n<td>C++ gcc 9.2<\/td>\n<td>163%<\/td>\n<\/tr>\n<tr>\n<td>C++ clang 9<\/td>\n<td>323%<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<p>\u041e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430 \u0421\/\u0421++, \u0442.\u043a. \u0434\u0440\u0443\u0433\u0438\u0435 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0438 \u0431\u044b\u043b\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u044b, \u043a\u0430\u043a \u0437\u0430\u043c\u0435\u0442\u0438\u043b\u0438 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u043f\u043e \u043c\u0435\u0442\u043e\u0434\u0443 &quot;\u041f\u0438\u0448\u0435\u043c \u043e\u0434\u043d\u043e\u0439 \u0440\u0443\u043a\u043e\u0439, \u0438\u043d\u043e\u0433\u0434\u0430 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u044f \u043d\u0430\u0434\u043e\u043b\u0433\u043e \u0433\u043b\u0430\u0437\u0430&quot;. \u041e\u043d\u0438 \u0431\u044b\u043b\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b \u043a\u0430\u043a &quot;\u0431\u043e\u043d\u0443\u0441&quot;, \u0438 \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u0438\u0445 \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u043e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e. \u0422\u0435\u043c \u043d\u0435 \u043c\u0435\u043d\u0435\u0435, \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u0432\u044b\u0440\u0430\u0436\u0430\u044e \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0440\u0435\u0441\u043f\u0435\u043a\u0442 \u0442\u043e\u043c\u0443 \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0443, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432 \u043e\u0434\u0438\u043d\u043e\u0447\u043a\u0443 \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0431\u043e\u043b\u044c\u0448\u0435, \u0447\u0435\u043c \u043d\u0430 10\u043a\u0435 \u044f\u0437\u044b\u043a\u043e\u0432.<\/p>\n<p>  <\/p>\n<h2 id=\"chto-podozritelno\">\u0427\u0442\u043e \u043f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e<\/h2>\n<p>  <\/p>\n<p>\u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445, \u0441\u0440\u0430\u0437\u0443 \u0431\u0440\u043e\u0441\u0430\u0435\u0442\u0441\u044f \u0432 \u0433\u043b\u0430\u0437\u0430, \u0447\u0442\u043e \u0421++ \u0432\u0435\u0440\u0441\u0438\u044f \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0435\u0435 \u0421\u0438, \u0447\u0442\u043e, \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u0441\u0442\u0440\u0430\u043d\u043d\u043e. \u0414\u0430\u043b\u0435\u0435 \u043c\u044b \u043d\u0430\u0439\u0434\u0451\u043c, \u0433\u0434\u0435 \u043f\u043e\u0442\u0435\u0440\u044f\u043b\u0441\u044f zero-cost, \u0430 \u0432 \u0434\u0440\u0443\u0433\u043e\u0439 \u0447\u0430\u0441\u0442\u0438, \u043d\u0430\u0434\u0435\u044e\u0441\u044c, \u043f\u043e\u043a\u0430\u0436\u0435\u043c, \u043a\u0430\u043a \u0438\u043c\u0435\u043d\u043d\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043c\u0435\u0442\u0430-\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0421++, \u0447\u0442\u043e\u0431\u044b \u043e\u0431\u0445\u043e\u0434\u0438\u0442\u044c \u0421\u0438. \u041a \u0442\u043e\u043c\u0443 \u0436\u0435, \u043d\u0430 clang \u043f\u043b\u044e\u0441\u043e\u0432\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f \u043e\u043a\u0430\u0437\u0430\u043b\u0430\u0441\u044c \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0435\u0435 \u0432 3 (!) \u0440\u0430\u0437\u0430, \u0445\u043e\u0442\u044f \u0441\u0438\u0448\u043d\u044b\u0439 \u043a\u043e\u0434 \u043f\u043e\u0447\u0442\u0438 \u0442\u0430\u043a\u043e\u0439-\u0436\u0435 \u043f\u043e \u0441\u043a\u043e\u0440\u043e\u0441\u0442\u0438 \u043a\u0430\u043a \u0445\u0430\u0441\u043a\u0435\u043b\u044c+\u043b\u043b\u0432\u043c, \u0447\u0442\u043e \u043e\u0436\u0438\u0434\u0430\u0435\u043c\u043e, \u0442.\u043a. \u0441lang \u0438 llvm \u2014 \u044d\u0442\u043e \u043e\u0434\u0438\u043d \u043f\u0440\u043e\u0435\u043a\u0442.<\/p>\n<p>  <\/p>\n<h2 id=\"chereda-sluchaynostey\">\u0427\u0435\u0440\u0435\u0434\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0441\u0442\u0435\u0439<\/h2>\n<p>  <\/p>\n<p>\u0415\u0441\u043b\u0438 \u043f\u0440\u043e\u0441\u043b\u0435\u0434\u0438\u0442\u044c, \u0442\u043e \u0434\u0435\u043b\u043e \u0431\u044b\u043b\u043e \u0442\u0430\u043a: \u0430\u0432\u0442\u043e\u0440 \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u043d\u0430\u0438\u0432\u043d\u044b\u0439 \u043a\u043e\u0434 \u043d\u0430 \u043f\u043b\u044e\u0441\u0430\u0445 \u0438 \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u043b gcc \u0438 clang. \u041f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u043e\u043a\u0430\u0437\u0430\u043b\u0441\u044f \u0432 \u0434\u0432\u0430 \u0440\u0430\u0437\u0430 \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0435\u0435, \u0438 \u0430\u0432\u0442\u043e\u0440 \u0435\u0433\u043e \u043e\u0442\u0431\u0440\u043e\u0441\u0438\u043b. \u0414\u0430\u043b\u0435\u0435 \u043e\u043d \u043f\u0440\u043e\u0434\u0435\u043b\u0430\u043b \u043f\u0430\u0440\u0443 \u043f\u043e\u043f\u044b\u0442\u043e\u043a \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u0434 (\u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u043d\u0438\u0436\u0435), \u043d\u043e gcc \u0431\u044b\u043b\u043e \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u043e \u0444\u0438\u043e\u043b\u0435\u0442\u043e\u0432\u043e \u043d\u0430 \u044d\u0442\u0438 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f. \u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u0440 \u043f\u0440\u0438\u043d\u044f\u043b\u0441\u044f \u0437\u0430 \u0425\u0430\u0441\u043a\u0435\u043b\u044c \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u043a\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u0435\u043b\u0430\u0435\u0442 \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435, \u0447\u0442\u043e \u0438 \u043f\u043b\u044e\u0441\u043e\u0432\u044b\u0439, \u0437\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435\u043c \u043d\u0435\u043a\u0438\u0445, \u043a\u0430\u043a \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043f\u043e\u0442\u043e\u043c, \u0432\u0430\u0436\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043d\u043e\u0432\u043e\u043a \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439.<\/p>\n<p>  <\/p>\n<h1 id=\"dyavol-kroetsya-v-detalyah\">\u0414\u044c\u044f\u0432\u043e\u043b \u043a\u0440\u043e\u0435\u0442\u0441\u044f \u0432 \u0434\u0435\u0442\u0430\u043b\u044f\u0445<\/h1>\n<h2 id=\"nyuans-stdmin\">\u041d\u044e\u0430\u043d\u0441 std::min({&#8230;})<\/h2>\n<p>  <\/p>\n<p>\u0414\u0435\u0442\u0430\u043b\u044c \u043d\u043e\u043c\u0435\u0440 \u043e\u0434\u0438\u043d, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0437\u0430\u043c\u0435\u0442\u0438\u043b \u0441\u0430\u043c \u0430\u0432\u0442\u043e\u0440 \u0438 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043b\u044e\u0434\u0435\u0439 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0445, \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 std::min. <\/p>\n<p>  <\/p>\n<blockquote><p>\u041c\u043d\u0435 \u0442\u0430\u043a\u0438 \u0443\u0434\u0430\u043b\u043e\u0441\u044c \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u0443\u0441\u043a\u043e\u0440\u0435\u043d\u0438\u0435 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 C++.<br \/>  \u0422\u0430\u043a, \u0435\u0441\u043b\u0438 \u0432\u043c\u0435\u0441\u0442\u043e <code>std::min({delCost, insCost, substCost})<\/code><br \/>  \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c <code>std::min(substCost, std::min(delCost, insCost))<\/code>,<br \/>  \u0442\u043e \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u043e\u0434 clang \u2014 \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u0442\u0441\u044f \u0434\u043e 0.840 \u0441\u0435\u043a\u0443\u043d\u0434<br \/>  (\u0443\u0440\u0430, \u0431\u044b\u0441\u0442\u0440\u0435\u0435 \u0432\u0441\u0435\u0445 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0438 \u043f\u043e\u0447\u0442\u0438 \u0445\u0430\u0441\u043a\u0435\u043b\u044c).<\/p><\/blockquote>\n<p>\u0421\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u0445\u0430\u0441\u043a\u0435\u043b\u044c \u0432\u0435\u0440\u0441\u0438\u044e:<\/p>\n<p>  <\/p>\n<pre><code class=\"haskell\">A.unsafeWrite v1 (j + 1) $ min (substCost + substCostBase) $ 1 + min delCost insCost<\/code><\/pre>\n<p>  <\/p>\n<p>\u041a\u0430\u043a \u043d\u0438 \u0441\u0442\u0440\u0430\u043d\u043d\u043e, \u0442\u0443\u0442 \u043a\u0430\u043a \u0440\u0430\u0437 \u0438 \u0435\u0441\u0442\u044c \u0434\u0432\u0430 \u0440\u0430\u0437\u0430 \u0432\u044b\u0437\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <code>min<\/code> \u043e\u0442 \u0434\u0432\u0443\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0438 \u0432 \u0442\u043e\u043c \u0436\u0435 \u043f\u043e\u0440\u044f\u0434\u043a\u0435! (\u043d\u0430\u0434\u0435\u044e\u0441\u044c, \u043d\u0430 \u0442\u0430\u043a\u043e\u043c \u0443\u0440\u043e\u0432\u043d\u0435 \u044f \u043f\u043e\u043d\u0438\u043c\u0430\u044e \u0445\u0430\u0441\u043a\u0435\u043b\u044c \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e). \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0430\u0432\u0442\u043e\u0440, \u043f\u043e\u0441\u043b\u0435 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f C++ \u0432\u0435\u0440\u0441\u0438\u0438, \u0441\u0430\u043c \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043e\u0434\u0438\u043d llvm \u0440\u0430\u0432\u0435\u043d \u0432\u0442\u043e\u0440\u043e\u043c\u0443 llvm. \u0421\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u044d\u0442\u043e \u044f \u043e\u0436\u0438\u0434\u0430\u043b \u0441 \u0441\u0430\u043c\u043e\u0433\u043e \u043d\u0430\u0447\u0430\u043b\u0430. \u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u0438\u0435, \u0447\u0442\u043e &quot;\u041d\u0430skell \u043c\u043e\u0436\u0435\u0442 \u0434\u0430\u0432\u0430\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u0445\u0438\u043d\u0442\u043e\u0432 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443&quot; \u043d\u0435 \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0434\u0438\u043b\u043e\u0441\u044c. \u041d\u043e \u0441\u0443\u0434\u044c\u0431\u0430 \u0441\u043b\u043e\u0436\u0438\u043b\u0430\u0441\u044c \u0442\u0430\u043a, \u0447\u0442\u043e \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0430\u0432\u0442\u043e\u0440 \u0441\u0442\u0430\u0442\u044c\u0438 &quot;\u0411\u044b\u0441\u0442\u0440\u0435\u0435 \u0447\u0435\u043c \u0421++; \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0435, \u0447\u0435\u043c PHP&quot; \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043b \u044d\u0442\u0443 \u0437\u0430\u043c\u0435\u043d\u0443 \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0430 \u0433\u0446\u0446, \u0430 \u044d\u0442\u043e\u043c\u0443 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u043e\u0442 \u044d\u0442\u043e\u0433\u043e \u043d\u0438 \u0445\u043e\u043b\u043e\u0434\u043d\u043e, \u043d\u0438 \u0436\u0430\u0440\u043a\u043e. \u041a\u0430\u043a \u0432\u0438\u0434\u043d\u043e \u0432 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0435 \u043d\u0438\u0436\u0435:<\/p>\n<p>  <\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440<\/th>\n<th>\u0412\u0440\u0435\u043c\u044f \u043e\u0440\u0438\u0433\u043d\u0430\u043b\u0430<\/th>\n<th>\u0412\u0440\u0435\u043c\u044f \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u043e\u0433\u043e (2)<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>haskell\/llvm<\/td>\n<td>910ms<\/td>\n<td>&#8212;<\/td>\n<\/tr>\n<tr>\n<td>gcc 9.2<\/td>\n<td>1211ms<\/td>\n<td>1211ms<\/td>\n<\/tr>\n<tr>\n<td>clang 9<\/td>\n<td>1915ms<\/td>\n<td>852ms<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<p>\u0412 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 stdlib \u043e\u0442 gcc \u044f \u043d\u0435 \u043d\u0430\u0448\u0435\u043b \u043a\u0430\u043a\u0438\u0445-\u0442\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0439 \u0434\u043b\u044f <code>std::min<\/code> \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0442\u0440\u0451\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432, \u0445\u043e\u0442\u044f \u044d\u0442\u043e \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u043e\u0439 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0430 \u0421++. \u041d\u0430 \u0434\u0430\u043d\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442 \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0442\u0430\u043c \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u0443\u0442\u0451\u043c \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u043d\u0430 \u0441\u0442\u0435\u043a\u0435 \u0438 \u0435\u0433\u043e \u043e\u0431\u0445\u043e\u0434\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c <code>std::min_element<\/code>. \u0412 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445, \u043a\u0430\u043a \u0443\u0436\u0435 \u0431\u044b\u043b\u043e \u0437\u0430\u043c\u0435\u0447\u0435\u043d\u043e \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445, \u0440\u0430\u0437\u043d\u0438\u0446\u044b \u043d\u0435\u0442, \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0443\u043c\u0435\u0435\u0442 \u0441\u0430\u043c \u0432\u044b\u043a\u0438\u0434\u044b\u0432\u0430\u0442\u044c \u043c\u0430\u0441\u0441\u0438\u0432 \u043d\u0430 \u0441\u0442\u0435\u043a\u0435 \u0438 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u0434:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">f(int, int, int):         cmp     esi, edi         mov     eax, edx         cmovg   esi, edi         cmp     esi, edx         cmovle  eax, esi         ret<\/code><\/pre>\n<p>  <\/p>\n<p><u><em>\u041f\u0440\u0438\u043c\u0435\u0447\u0430\u043d\u0438\u0435:<\/em><\/u> <code>cmov*<\/code> = conditional move (\u0443\u0441\u043b\u043e\u0432\u0438\u0435: <code>g<\/code> \u2014 greater, <code>le<\/code> \u2014 less equal, \u0438 \u0442.\u0434.). <\/p>\n<p>  <\/p>\n<p>\u041d\u043e \u0447\u0442\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0432 \u0441\u043b\u0443\u0447\u0430\u0435, \u043a\u043e\u0433\u0434\u0430 \u0432\u043e\u0432\u043b\u0435\u0447\u0435\u043d\u044b \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438, \u044d\u0442\u043e \u043d\u0435 \u0442\u0430\u043a, \u0438 clang, \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0438 \u043e\u0442 gcc, \u0437\u0430\u0447\u0435\u043c-\u0442\u043e \u043a\u043b\u0430\u0434\u0451\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0430 \u0441\u0442\u0435\u043a (\u0442\u0443\u0434\u0430 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 rsp \u0440\u0435\u0433\u0438\u0441\u0442\u0440):<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">fptr(int*, int*, int*):         mov     eax, dword ptr [rdi]         mov     dword ptr [rsp - 12], eax         mov     ecx, dword ptr [rsi]         mov     dword ptr [rsp - 8], ecx         cmp     ecx, eax         cmovle  eax, ecx         mov     ecx, dword ptr [rdx]         cmp     ecx, eax         cmovle  eax, ecx         ret<\/code><\/pre>\n<p>  <\/p>\n<p>\u0427\u0442\u043e \u043a\u043e\u0441\u0432\u0435\u043d\u043d\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0435\u0442, \u043f\u043e\u0447\u0435\u043c\u0443 clang \u0431\u043e\u043b\u0435\u0435 \u0447\u0443\u0432\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u0435\u043d \u043a \u044d\u0442\u043e\u043c\u0443 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044e \u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u043c \u043a\u043e\u0434\u0435. \u0422\u0430\u043a\u0436\u0435 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0431\u0435\u0437 <code>initializer_list<\/code> \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0439 asm \u0443\u0436\u0435 \u043f\u0440\u0438 <code>-O1<\/code>, \u0430 \u0441 \u043d\u0438\u043c \u043d\u0443\u0436\u043d\u043e \u0432\u043e\u0432\u043b\u0435\u0447\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439 (<code>-O2<\/code>), \u0447\u0442\u043e\u0431\u044b \u0434\u043e\u0431\u0438\u0442\u044c\u0441\u044f \u0442\u043e\u0433\u043e \u0436\u0435 asm \u0432\u044b\u0445\u043b\u043e\u043f\u0430. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, <code>std::min(std::initializer_list)<\/code> \u043d\u0435 \u0441\u043e\u0432\u0441\u0435\u043c \u0437\u0435\u0440\u043e-\u043a\u043e\u0441\u0442, \u0442\u0443\u0442 \u0441\u043e\u0437\u0434\u0430\u0442\u0435\u043b\u044f\u043c \u0441\u0442\u0434-\u043b\u0438\u0431\u044b, \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u0434\u0443\u043c\u0430\u0442\u044c \u043d\u0430\u0434 \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0437\u043a\u0430\u043c\u0438 \u0434\u043b\u044f \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u044d\u0432\u0440\u0438\u0441\u0442\u0438\u043a. <\/p>\n<p>  <\/p>\n<h2 id=\"vynesite-s1i\">\u0412\u044b\u043d\u0435\u0441\u0438\u0442\u0435 s1[i]<\/h2>\n<p>  <\/p>\n<p>\u0414\u0435\u0442\u0430\u043b\u044c \u043d\u043e\u043c\u0435\u0440 \u0434\u0432\u0430, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u044f \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b \u2014 \u044d\u0442\u043e \u0434\u0440\u0443\u0433\u0430\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u0438\u0437 \u0425\u0430\u0441\u043a\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u0442\u0435\u0440\u044f\u043b\u0438 \u0432 \u0421++.<\/p>\n<p>  <\/p>\n<blockquote><p>\u0414\u0430 \u0432\u044b\u043d\u0435\u0441\u0438\u0442\u0435 \u0432\u044b \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u0443\u0436\u0435 <code>s1[i]<\/code> \u0437\u0430 \u0440\u0430\u043c\u043a\u0438 \u0446\u0438\u043a\u043b\u0430! (\u044f)<\/p><\/blockquote>\n<p>\u041e\u043f\u044f\u0442\u044c \u0436\u0435, \u043f\u043e \u0440\u043e\u043a\u043e\u0432\u043e\u0439 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0441\u0442\u0438, \u0433\u0446\u0446 \u043d\u0430 \u043d\u0435\u0451 \u043f\u043e\u0447\u0442\u0438 \u043f\u043e-\u0431\u0430\u0440\u0430\u0431\u0430\u043d\u0443, \u0430 \u0430\u0432\u0442\u043e\u0440 \u0442\u043e \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043b \u043d\u0430 \u0433\u0446\u0446 \u0438, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0437\u0430\u0431\u044b\u043b \u0432\u043d\u0435\u0441\u0442\u0438 \u0435\u0451 \u0432 \u0438\u0442\u043e\u0433\u043e\u0432\u043e\u0435 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435. \u0418\u0442\u0430\u043a, \u044d\u0442\u043e \u0432\u044b\u043d\u043e\u0441 <code>s1[i]<\/code> \u0437\u0430 \u0442\u0435\u043b\u043e \u0446\u0438\u043a\u043b\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u043b \u0443\u0436\u0435 \u043d\u0430 \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u0445\u0430\u0441\u043a\u0435\u043b\u044c \u043a\u043e\u0434\u0430<\/p>\n<p>  <\/p>\n<pre><code class=\"haskell\">  let s1char = s1 `BS.index` i   let go j | j == n = pure ()     -- \u0422\u0435\u043b\u043e \u0446\u0438\u043a\u043b\u0430<\/code><\/pre>\n<p>  <\/p>\n<p>\u041f\u043e\u0441\u043b\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0439 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u043a \u043a\u043e\u0434\u0443 \u043d\u0430 \u0421++, \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u0447\u0435\u043c \u0445\u0430\u0441\u043a\u0435\u043b\u044c \u043f\u0440\u0438 \u0441\u0431\u043e\u0440\u043a\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u043c clang. \u0422.\u0435. \u0445\u0430\u0441\u043a\u0435\u043b\u044c + llvm \u0432\u0441\u0451 \u0436\u0435 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u043e\u0432\u0435\u0440\u0445\u0435\u0434, \u0438\u043b\u0438 \u0435\u043c\u0443 \u043d\u0435 \u0445\u0432\u0430\u0442\u0430\u0435\u0442 <code>-march=native<\/code>. \u0421\u0430\u043c\u043e\u0435 \u0437\u0430\u0431\u0430\u0432\u043d\u043e\u0435 \u0442\u043e, \u0447\u0442\u043e, \u043e\u0441\u0442\u0430\u0432\u0438\u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u0441 <code>std::min<\/code> \u0431\u0435\u0437 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439, \u044d\u0442\u0430 \u0432\u0435\u0440\u0441\u0438\u044f \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u0447\u0435\u043c \u0435\u0441\u043b\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u043e\u0431\u0430 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f! \u0417\u043d\u0430\u0447\u0438\u0442, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043a\u0430\u043a-\u0442\u043e \u043d\u0435 \u043e\u0447\u0435\u043d\u044c \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0443\u0435\u043c\u043e \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438, \u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f &quot;\u0432\u043e\u043b\u0435\u0439 \u0441\u043b\u0443\u0447\u0430\u044f&quot; \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u043d\u043e \u044d\u0442\u043e \u043c\u044b \u043e\u0431\u0441\u0443\u0434\u0438\u043c \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u0434\u0430\u043b\u044c\u0448\u0435.<\/p>\n<p>  <\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440<\/th>\n<th>\u041e\u0440\u0438\u0433\u043d\u0430\u043b<\/th>\n<th>\u0418\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0439 (1)<\/th>\n<th>\u041e\u0431\u0430 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f (3)<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>haskell\/llvm<\/td>\n<td>910ms<\/td>\n<td>&#8212;<\/td>\n<td>&#8212;<\/td>\n<\/tr>\n<tr>\n<td>gcc 9.2<\/td>\n<td>1211ms<\/td>\n<td>1195ms<\/td>\n<td>1195ms<\/td>\n<\/tr>\n<tr>\n<td>clang 9<\/td>\n<td>1915ms<\/td>\n<td>742ms<\/td>\n<td>831ms<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<h2 id=\"dopilit-napilnikom\">\u0414\u043e\u043f\u0438\u043b\u0438\u0442\u044c \u043d\u0430\u043f\u0438\u043b\u044c\u043d\u0438\u043a\u043e\u043c<\/h2>\n<p>  <\/p>\n<blockquote><p>C++ \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d \u0434\u043b\u044f \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f.<br \/>  \u0415\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0435\u0449\u0451 \u043d\u0435\u043c\u043d\u043e\u0433\u043e,<br \/>  \u043d\u043e \u0442\u043e\u0433\u0434\u0430 \u044d\u0442\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f C \u0441 \u043f\u043b\u044e\u0441\u043e\u0432\u044b\u043c main&#8217;\u043e\u043c, \u0447\u0442\u043e \u043d\u0435 \u0442\u0430\u043a \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e.<\/p><\/blockquote>\n<p>\u041a\u0430\u043a \u043c\u044b \u0443\u0436\u0435 \u0443\u0432\u0438\u0434\u0435\u043b\u0438, \u0434\u0430\u0436\u0435 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0435 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u043e \u043d\u0435\u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0443\u0435\u043c\u044b \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430, \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u044f \u0432\u0441\u0451 \u0436\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u044e \u0447\u0443\u0442\u044c-\u0447\u0443\u0442\u044c \u0434\u043e\u043f\u0438\u043b\u0438\u0442\u044c \u043a\u043e\u0434, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u044d\u0442\u043e \u043d\u0435 \u0441\u043b\u043e\u0436\u043d\u043e: <\/p>\n<p>  <\/p>\n<pre><code class=\"cpp\">  size_t lev_dist(const std::string &amp;s1, const std::string &amp;s2) {     const auto m = s1.size();     const auto n = s2.size();      std::vector&lt;int&gt; v0;     v0.resize(n + 1);     std::iota(v0.begin(), v0.end(), 0);     auto v1 = v0;      for (size_t i = 0; i &lt; m; ++i) {       v1[0] = i + 1;       char c1 = s1[i];       for (size_t j = 0; j &lt; n; ++j) {         auto substCost = c1 == s2[j] ? v0[j] : (v0[j] + 1);         v1[j + 1] = std::min(substCost, std::min(v0[j + 1], v1[j]) + 1);       }       std::swap(v0, v1);     }     return v0[n];   }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0422\u0443\u0442 \u044f \u043f\u0435\u0440\u0435\u0448\u0451\u043b \u043d\u0430 32-\u0431\u0438\u0442\u043d\u044b\u0439 <code>int<\/code> \u0432 \u0432\u0435\u043a\u0442\u043e\u0440\u0435 \u0438 \u0447\u0443\u0442\u044c \u0443\u043f\u0440\u043e\u0441\u0442\u0438\u043b \u043f\u043e\u0434\u0441\u0447\u0451\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u2014 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0438\u0449\u0435\u043c \u043c\u0438\u043d\u0438\u043c\u0443\u043c, \u043f\u043e\u0442\u043e\u043c \u0438\u043d\u043a\u0440\u0435\u043c\u0435\u043d\u0442 (\u0447\u0442\u043e \u043e\u043f\u044f\u0442\u044c \u0436\u0435 \u0443\u0436\u0435 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0432 \u0445\u0430\u0441\u043a\u0435\u043b\u044c \u043a\u043e\u0434\u0435).<\/p>\n<p>  <\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440<\/th>\n<th>\u041e\u0440\u0438\u0433\u0438\u043d\u0430\u043b<\/th>\n<th>\u0414\u043e\u043f\u0438\u043b\u0435\u043d\u043d\u044b\u0439 (3b)<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>haskell\/llvm<\/td>\n<td>910ms<\/td>\n<td>&#8212;<\/td>\n<\/tr>\n<tr>\n<td>gcc 9.2<\/td>\n<td>1210ms<\/td>\n<td>831ms<\/td>\n<\/tr>\n<tr>\n<td>clang 9<\/td>\n<td>1915ms<\/td>\n<td>741ms<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<p>\u0423\u0440\u0430, \u0442\u0435\u043f\u0435\u0440\u044c GCC \u0442\u043e\u0436\u0435 \u0443\u0441\u043a\u043e\u0440\u0438\u043b\u0441\u044f. \u0422\u0430\u043a\u0436\u0435 \u044f \u043f\u0440\u043e\u0431\u043e\u0432\u0430\u043b \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u0441\u0447\u0451\u0442\u0447\u0438\u043a <code>j<\/code> \u043d\u0430 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438, \u0447\u0442\u043e \u0432\u043d\u0435\u0437\u0430\u043f\u043d\u043e \u0437\u0430\u043c\u0435\u0434\u043b\u0438\u043b\u043e GCC. \u0412 \u0442\u043e \u0436\u0435 \u0432\u0440\u0435\u043c\u044f \u0441\u043a\u043e\u0440\u043e\u0441\u0442\u044c clang \u043e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u043d\u0430 \u0441\u0432\u043e\u0451\u043c \u043c\u0430\u043a\u0441\u0438\u043c\u0443\u043c\u0435.<\/p>\n<p>  <\/p>\n<h1 id=\"osoznaem-rezultaty\">\u041e\u0441\u043e\u0437\u043d\u0430\u0435\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b<\/h1>\n<p>  <\/p>\n<h2 id=\"lvvm--llvm\">LVVM == LLVM<\/h2>\n<p>  <\/p>\n<p>\u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445, \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0421++ \u043a\u043e\u0434 \u0442\u0430\u043a \u0436\u0435 \u043a\u0430\u043a Haskell \u043a\u043e\u0434, \u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0439 \u043f\u0440\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438 clang-9. \u041a \u0442\u043e\u043c\u0443 \u0436\u0435, \u043d\u0430 \u043c\u043e\u0451\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0435 Skylake C++ \u0432\u0435\u0440\u0441\u0438\u044f \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0434\u0430\u0436\u0435 \u0431\u044b\u0441\u0442\u0440\u0435\u0435. \u041a\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u044f \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0430\u043b, \u0431\u0443\u0434\u0435\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0430 \u0433\u0438\u0442\u0445\u0430\u0431\u0435, \u0438 \u043c\u043e\u0436\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0439 \u0442\u0435\u0437\u0438\u0441 \u043d\u0430 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0435 Haswell, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0432 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b \u0430\u0432\u0442\u043e\u0440.<\/p>\n<p>  <\/p>\n<p><b>\u0418\u0442\u0430\u043a, \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u043c \u043a \u0432\u044b\u0432\u043e\u0434\u0443, \u0447\u0442\u043e \u0432\u043c\u0435\u0441\u0442\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u044f\u0437\u044b\u043a\u043e\u0432, \u043f\u043e \u0444\u0430\u043a\u0442\u0443 \u043f\u0440\u043e\u0432\u043e\u0434\u0438\u043b\u043e\u0441\u044c \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 GCC \u0438 LLVM.<br \/>  <\/b><\/p>\n<p>  <\/p>\n<p>\u0412 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0431\u044b\u043b\u043e \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u043e, \u043a\u0430\u043a \u043d\u0430 \u0445\u0430\u0441\u043a\u0435\u043b\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u043e\u0434, \u0437\u0430\u0442\u043e\u0447\u0435\u043d\u043d\u044b\u0439 \u043f\u043e\u0434 llvm, \u0438 \u043e\u0431\u043e\u0439\u0442\u0438\u0441\u044c \u0431\u0435\u0437 ffi, \u0437\u0430 \u0447\u0442\u043e \u0430\u0432\u0442\u043e\u0440\u0443 \u0441\u043f\u0430\u0441\u0438\u0431\u043e.<\/p>\n<p>  <\/p>\n<h2 id=\"gcc-vs-clang\">GCC vs CLANG<\/h2>\n<p>  <\/p>\n<p>\u0412\u043e-\u0432\u0442\u043e\u0440\u044b\u0445, \u0434\u043e \u044d\u0442\u043e\u0433\u043e \u043c\u043e\u043c\u0435\u043d\u0442\u0430 \u0441\u043b\u043e\u0436\u0438\u043b\u043e\u0441\u044c \u0432\u043f\u0435\u0447\u0430\u0442\u043b\u0435\u043d\u0438\u0435, \u0447\u0442\u043e \u0441\u0442\u0430\u0440\u0438\u0447\u043e\u043a gcc \u0443\u0436\u0435 \u043d\u0438 \u043d\u0430 \u0447\u0442\u043e \u043d\u0435 \u0433\u043e\u0434\u0438\u0442\u0441\u044f. \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u0441\u0442\u0430\u0432\u044c\u0442\u0435 \u0441\u0432\u043e\u044e \u0433\u0435\u043d\u0442\u0443 \u043f\u0435\u0440\u0435\u0441\u043e\u0431\u0438\u0440\u0430\u0442\u044c\u0441\u044f clang-\u043e\u043c \u0438 \u0447\u0438\u0442\u0430\u0439\u0442\u0435 \u0434\u0430\u043b\u044c\u0448\u0435.<\/p>\n<p>  <\/p>\n<p>\u041e\u0442\u0434\u0435\u043b\u044c\u043d\u043e \u043e\u0442\u043c\u0435\u0447\u0443, \u0447\u0442\u043e \u0432 \u0421\u0438 \u0432\u0435\u0440\u0441\u0438\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430, \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u043e\u0439 \u0430\u0432\u0442\u043e\u0440\u043e\u043c, \u0431\u044b\u043b\u0430 \u0434\u0438\u0440\u0435\u043a\u0442\u0438\u0432\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442 \u043b\u0443\u0447\u0448\u0438\u0439 \u043a\u043e\u0434 \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 (<code>#if !defined(__GNUC__) || defined(__llvm__)<\/code>), \u0447\u0442\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0435\u0442 \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u0443\u044e \u0440\u0430\u0437\u043d\u0438\u0446\u0443 \u043c\u0435\u0436\u0434\u0443 \u0421\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f\u043c\u0438 \u0438 \u0421++ \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f\u043c\u0438, \u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0434\u0435\u043b\u0430\u0442\u044c \u0432\u044b\u0432\u043e\u0434\u044b \u043e \u0441\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u0421\u0438 \u0438 \u0421++ \u043f\u043e \u043f\u0440\u0438\u0432\u0435\u0434\u0451\u043d\u043d\u043e\u0439 \u0430\u0432\u0442\u043e\u0440\u043e\u043c \u0442\u0430\u0431\u043b\u0438\u0446\u0435 \u043d\u0435\u043b\u044c\u0437\u044f.<\/p>\n<p>  <\/p>\n<blockquote><p>clang \u043d\u0435 \u043e\u0441\u0438\u043b\u0438\u0432\u0430\u0435\u0442 (\u043b\u0438\u0431\u043e \u043d\u0435 \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f) \u0443\u0431\u0440\u0430\u0442\u044c \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044f. (\u0413\u043e\u043b\u043e\u0441 \u0438\u0437 \u0437\u0430\u043b\u0430)<\/p><\/blockquote>\n<p>\u041f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u043f\u043e\u043d\u044f\u0442\u044c, \u0447\u0435\u043c \u0432\u044b\u0437\u0432\u0430\u043d\u0430 \u0440\u0430\u0437\u043d\u0438\u0446\u0430 \u043c\u0435\u0436\u0434\u0443 GCC \u0438 LLVM. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0447\u0442\u043e \u0442\u0430\u043c \u043d\u0430\u0432\u043e\u0440\u043e\u0442\u0438\u043b \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432 asm. \u0421 gcc \u0432\u0441\u0435 \u0431\u043e\u043b\u0435\u0435-\u043c\u0435\u043d\u0435\u0435 \u044f\u0441\u043d\u043e: \u043e\u0434\u0438\u043d \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u0446\u0438\u043a\u043b, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u043a\u043e\u043c\u0430\u043d\u0434 cmov* \u0434\u0435\u043b\u0430\u0435\u0442 min (\u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e \u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043c\u044b \u0432\u0438\u0434\u0435\u043b\u0438 \u043b\u0438\u0441\u0442\u0438\u043d\u0433\u0435 \u0432\u044b\u0448\u0435). \u042f \u0431\u0435\u0440\u0443 \u0432\u0435\u0440\u0441\u0438\u044e (3), \u044d\u0442\u043e \u0442\u0430, \u0447\u0442\u043e \u0441 \u0434\u0432\u0443\u043c\u044f \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f\u043c\u0438, \u0438 \u0421++ \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:<\/p>\n<p>  <\/p>\n<pre><code class=\"cpp\">      for (size_t j = 0; j &lt; n; ++j) {         auto delCost = v0[j + 1] + 1;         auto insCost = v1[j] + 1;         auto substCost = c1 == s2[j] ? v0[j] : (v0[j] + 1);         v1[j + 1] = std::min(substCost, std::min(delCost, insCost));       }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0410\u0441\u0441\u0435\u043c\u0431\u043b\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u044f \u0440\u0430\u0434\u0438 \u043d\u0435 \u0441\u0438\u043b\u044c\u043d\u043e \u0437\u043d\u0430\u043a\u043e\u043c\u044b\u0445 \u0441 \u043d\u0438\u043c \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u0435\u0439 \u0440\u0435\u0448\u0438\u043b \u043f\u0440\u043e\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u0438\u043c:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">.L42:         inc     rcx  \/\/ j++         mov     rdi, QWORD PTR [r12+rcx*8]  \/\/ \u0437\u0430\u0433\u0440\u0443\u0437\u0438\u0442\u044c v0[j+1]         xor     edx, edx  \/\/ \u043e\u0431\u043d\u0443\u043b\u0438\u0442\u044c %edx         cmp     r10b, BYTE PTR [r11-1+rcx]  \/\/ c1 == s2[j]         setne   dl  \/\/ \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c \u0431\u0430\u0439\u0442\u0435 %rdx         lea     r9, [rdi+1]  \/\/ \u0441\u0442\u0430\u043b\u043e v0[j+1] + 1         add     rdx, QWORD PTR [r12-8+rcx*8]  \/\/ \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c v0[j]         lea     rsi, [rax+1]  \/\/ %rax \u044d\u0442\u043e v1[j]         cmp     rdi, rax  \/\/ \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c v0[j+1] \u0438 v1[j] \u0434\u043e += 1         mov     rax, r9         cmovg   rax, rsi  \/\/ \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f \u0432\u044b\u0431\u0440\u0430\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u043e\u0441\u043b\u0435 += 1         cmp     rax, rdx  \/\/ \u043c\u0435\u043d\u044c\u0448\u0435\u0435 %rax, %rdx         cmovg   rax, rdx         mov     QWORD PTR [r8+rcx*8], rax  \/\/ v1[j+1] = ...         cmp     rbx, rcx  \/\/ loop         jne     .L42<\/code><\/pre>\n<p>  <\/p>\n<p>\u0422\u0443\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u0430\u043c \u0441\u0434\u0435\u043b\u0430\u043b \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043b\u0430\u0441\u044c \u0432 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u2014 \u0432\u043c\u0435\u0441\u0442\u043e \u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 <code>v1[j]<\/code> \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u0435\u0433\u043e \u0447\u0435\u0440\u0435\u0437 <code>%rax<\/code>.<\/p>\n<p>  <\/p>\n<p>\u0427\u0442\u043e \u0436\u0435 \u043a\u0430\u0441\u0430\u0435\u0442\u0441\u044f LLVM, \u0442\u043e \u0442\u0443\u0442 \u043a\u0430\u043a\u0430\u044f-\u0442\u043e \u043b\u0430\u043f\u0448\u0430 \u0438\u0437 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442\u044c \u043d\u0435 \u0431\u0443\u0434\u0443. \u041e\u0442\u043c\u0435\u0447\u0443 \u043b\u0438\u0448\u044c \u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u0430, \u0447\u0442\u043e \u0432\u043e \u043e\u0434\u043d\u043e\u043c \u0438\u0437 \u043a\u0443\u0441\u043a\u043e\u0432 \u0432\u043e \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u043c \u0446\u0438\u043a\u043b\u0435 \u0438\u043c\u0435\u0435\u0442\u0441\u044f \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f, \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e \u043f\u043e\u0445\u043e\u0436\u0430\u044f \u043d\u0430 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0443\u044e:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">.LBB1_40:                               #   in Loop: Header=BB1_36 Depth=2         mov     qword ptr [r14 + 8*rsi + 8], rax         mov     rdx, qword ptr [rbx + 8*rsi + 16]         inc     rdx         inc     rax         xor     ebp, ebp         cmp     cl, byte ptr [r13 + rsi + 1]         setne   bpl         add     rbp, qword ptr [rbx + 8*rsi + 8]         cmp     rax, rdx         jg      .LBB1_41         lea     rdi, [rsi + 2]         cmp     rax, rbp         jle     .LBB1_44         jmp     .LBB1_43<\/code><\/pre>\n<p>  <\/p>\n<p><u><em>\u041f\u0440\u0438\u043c\u0435\u0447\u0430\u043d\u0438\u0435:<\/em><\/u> <code>jmp, j*<\/code> = jump (\u0443\u0441\u043b\u043e\u0432\u0438\u0435: <code>jg<\/code> \u2014 greater, <code>jle<\/code> \u2014 less equal, \u0438 \u0442.\u0434.).<\/p>\n<p>  <\/p>\n<p>\u0422\u043e\u0436\u0435 \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0435 \u0438\u0437 <code>v0[j+1]<\/code>, <code>v0[j]<\/code>, \u0434\u0435\u043b\u0430\u0435\u043c <code>cmp<\/code> \u0434\u043b\u044f <code>s1[i]<\/code>, \u043d\u043e \u043f\u043e\u0442\u043e\u043c \u0443 \u043d\u0430\u0441 \u0438\u0434\u0451\u0442 \u043d\u0430\u0431\u043e\u0440 \u0438\u0437 cmp + jump \u0432\u043e \u0432\u0441\u0435\u0445 \u0432\u0430\u0440\u0438\u0430\u0446\u0438\u044f\u0445. \u041e\u0441\u0442\u0430\u0432\u0448\u0443\u044e\u0441\u044f \u043b\u0430\u043f\u0448\u0443 \u0442\u0430\u043a \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u043e \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0435 \u0431\u0443\u0434\u0443, \u043d\u043e \u0432\u043f\u043e\u043b\u043d\u0435 \u043e\u0436\u0438\u0434\u0430\u0435\u043c\u043e, \u0447\u0442\u043e \u043d\u0430 \u043e\u0434\u043d\u043e\u0442\u0438\u043f\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 (\u0430 \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u043b \u0430\u0432\u0442\u043e\u0440) <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%9F%D1%80%D0%B5%D0%B4%D1%81%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C_%D0%BF%D0%B5%D1%80%D0%B5%D1%85%D0%BE%D0%B4%D0%BE%D0%B2\" rel=\"nofollow\">\u0431\u0440\u0430\u043d\u0447 \u043f\u0440\u0435\u0434\u0438\u043a\u0442\u043e\u0440<\/a> \u0440\u0443\u043b\u0438\u0442, \u0438 \u0442\u0430\u043a\u043e\u0439 \u043a\u043e\u0434 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u043a\u0430\u043a \u0437\u0430\u043c\u0435\u0442\u0438\u043b\u0438 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u043d\u0430 \u0434\u0440\u0443\u0433\u0438\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u2014 \u0434\u0432\u0443\u0445 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0441\u0442\u0440\u043e\u043a\u0430\u0445.<\/p>\n<p>  <\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th>\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440<\/th>\n<th>str a \u2014 str a, str a \u2014 str b<\/th>\n<th>random-random x2<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>gcc 9.2<\/td>\n<td>1190 ms<\/td>\n<td>1190 ms<\/td>\n<\/tr>\n<tr>\n<td>clang 9<\/td>\n<td>837 ms<\/td>\n<td>1662 ms<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<p>\u041a\u0430\u043a \u0438 \u043e\u0436\u0438\u0434\u0430\u043b\u043e\u0441\u044c, \u0432 GCC \u043d\u0435 \u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043d\u0438 \u043d\u0430 \u043e\u0434\u043d\u0443 \u043c\u0438\u043b\u043b\u0438\u0441\u0435\u043a\u0443\u043d\u0434\u0443, \u0430 LLVM \u0437\u0430\u043c\u0435\u0434\u043b\u044f\u0435\u0442\u0441\u044f \u0432 2 (!) \u0440\u0430\u0437\u0430, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0431\u0440\u0430\u043d\u0447 \u043f\u0440\u0435\u0434\u0438\u043a\u0442\u043e\u0440 \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442.<\/p>\n<p>  <\/p>\n<p><b>\u0418\u0442\u0430\u043a, \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u043c \u043a \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u043c\u0443 \u0442\u0435\u0437\u0438\u0441\u0443 \u0441\u0442\u0430\u0442\u044c\u0438. \u041f\u043e \u0444\u0430\u043a\u0442\u0443 \u0431\u044b\u043b\u0438 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u044b \u0434\u0432\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432: \u043e\u0434\u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0430 \u043d\u0430 \u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u0445 (jump), \u0434\u0440\u0443\u0433\u0430\u044f \u2014 \u043d\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u0445 \u0443\u0441\u043b\u043e\u0432\u043d\u043e\u0433\u043e \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f (cmov).<br \/>  \u041e\u0434\u043d\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043b\u0443\u0447\u0448\u0435 \u043d\u0430 \u043e\u0434\u043d\u043e\u0442\u0438\u043f\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445, \u0434\u0440\u0443\u0433\u0430\u044f \u2014 \u043d\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445.<br \/>  <\/b><\/p>\n<p>  <\/p>\n<p>\u0415\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0437\u043d\u0430\u0442\u044c \u0437\u0430\u0440\u0430\u043d\u0435\u0435, \u043a\u0430\u043a\u0438\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0431\u0443\u0434\u0443\u0442 \u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0432 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0439 \u0436\u0438\u0437\u043d\u0438. \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0440\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/Profile-guided_optimization\" rel=\"nofollow\">PGO<\/a> (\u041a\u0441\u0442\u0430\u0442\u0438, \u0442\u0443\u0442 \u044f\u0437\u044b\u043a\u0438 \u0441 JIT \u043c\u043e\u0433\u0443\u0442 \u0437\u0430\u0438\u0433\u0440\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u043c\u0438 \u043a\u0440\u0430\u0441\u043a\u0430\u043c\u0438). \u042f \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043b \u044d\u0442\u043e \u0432 \u043d\u0430\u0448\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0438 \u043f\u043e\u043b\u0443\u0447\u0438\u043b, \u0447\u0442\u043e GCC \u043f\u043e\u0441\u043b\u0435 PGO \u0432\u044b\u0434\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043d\u0430\u0440\u0430\u0432\u043d\u0435 \u0441 \u0441\u0430\u043c\u043e\u0439 \u0431\u044b\u0441\u0442\u0440\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0435\u0439 clang. \u041a\u0430\u043a\u0438\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0431\u043b\u0438\u0436\u0435 \u043a \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0435 \u2014 \u044d\u0442\u043e \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0439 \u0434\u0438\u0441\u043a\u0443\u0441\u0441\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043c\u044b \u043e\u0441\u0442\u0430\u0432\u0438\u043c \u0434\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0445 \u0438\u0437\u044b\u0441\u043a\u0430\u043d\u0438\u0439. \u041c\u043d\u0435 \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0445\u043e\u0442\u044c \u043c\u044b \u0438 \u0431\u0443\u0434\u0435\u043c \u0432 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u044c \u0431\u043b\u0438\u0437\u043a\u0438\u0435 \u0441\u0442\u0440\u043e\u043a\u0438, \u0432\u044b\u0431\u043e\u0440 \u0432 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435 \u043c\u0435\u0436\u0434\u0443 \u0443\u0434\u0430\u043b\u0438\u0442\u044c\/\u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c\/\u0432\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0432\u0441\u0451 \u0436\u0435 \u0431\u0443\u0434\u0435\u0442 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0439, \u0430 \u0432\u0435\u0442\u043a\u0430, \u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043d\u0430\u0434\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0438\u0447\u0435\u0433\u043e, \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u0430 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0439 \u044d\u0432\u0440\u0438\u0441\u0442\u0438\u043a\u043e\u0439.<\/p>\n<p>  <\/p>\n<h1 id=\"vyvody\">\u0412\u044b\u0432\u043e\u0434\u044b<\/h1>\n<p>  <\/p>\n<ul>\n<li>\u0411\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0438 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u044e\u0442 \u0445\u043e\u043b\u043b\u0438\u0432\u0430\u0440\u044b, \u0430 \u0445\u043e\u043b\u043b\u0438\u0432\u0430\u0440\u044b \u2014 \u043d\u043e\u0432\u044b\u0435 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0438<\/li>\n<li>\u041d\u0438\u043a\u0430\u043a\u043e\u0439 \u0434\u0438\u0441\u043a\u0440\u0438\u043c\u0438\u043d\u0430\u0446\u0438\u0438 \u043d\u0435\u0442, LLVM \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u0432\u0441\u0435\u0445<\/li>\n<li>\u041c\u0430\u043b\u043e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e GCC \u0438 LLVM \u0434\u0430\u044e\u0442 \u0440\u0430\u0437\u043d\u0443\u044e \u0441\u043a\u043e\u0440\u043e\u0441\u0442\u044c \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0437\u0430\u0434\u0430\u0447\u0438, \u0442\u0430\u043a \u0435\u0449\u0435 \u0438 \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445<\/li>\n<li>\u0411\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0438 \u0431\u0435\u0437 \u0447\u0435\u0442\u043a\u043e\u0433\u043e \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0437\u0430\u0434\u0430\u043d\u0438\u044f \u0438 \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u043e\u0433\u043e \u043d\u0430\u0431\u043e\u0440\u0430 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0435 \u0438\u043c\u0435\u044e\u0442 \u0441\u043c\u044b\u0441\u043b\u0430<\/li>\n<li>\u0410\u0432\u0442\u043e\u0440\u0443 \u043d\u0430\u0434\u043e \u043f\u0440\u0438\u043a\u0440\u0443\u0447\u0438\u0432\u0430\u0442\u044c \u043e\u0431\u0440\u0430\u0442\u043d\u043e ffi. \u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u043d\u0435\u0442, \u0442.\u043a. \u0443 \u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c, \u043e \u0447\u0451\u043c, \u043d\u0430\u0434\u0435\u044e\u0441\u044c, \u0443\u0437\u043d\u0430\u0435\u043c \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u0441\u0435\u0440\u0438\u044f\u0445<\/li>\n<li>\u041d\u0435 \u0441\u043f\u0435\u0448\u0438\u0442\u0435 \u0431\u0435\u0436\u0430\u0442\u044c \u043d\u0430 \u043d\u043e\u0432\u044b\u0439 \u044f\u0437\u044b\u043a \u0438\u043b\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u043e\u0432 \u0432 \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0435<\/li>\n<\/ul>\n<p>  <\/p>\n<p>\u041d\u0430\u0434\u0435\u044e\u0441\u044c, \u0432 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0447\u0430\u0441\u0442\u0438 \u0431\u0443\u0434\u0443\u0442 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u044b \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u043e \u044d\u0442\u0438 \u0434\u0432\u0430 \u043f\u043e\u0434\u0445\u043e\u0434\u0430 \u0438 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u044b \u0438\u0445 \u043f\u043b\u044e\u0441\u044b \u0438 \u043c\u0438\u043d\u0443\u0441\u044b \u0432 \u0431\u043e\u043b\u0435\u0435 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f\u0445, \u0430 \u0442\u0430\u043a \u0436\u0435 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u044b \u0441\u043f\u043e\u0441\u043e\u0431\u044b \u0443\u0441\u043a\u043e\u0440\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u0430\u043b\u043e\u0433\u043e\u0440\u0438\u0442\u043c\u0430.<\/p>\n<p>  <\/p>\n<h2 id=\"gde-ya-mog-obmanut\">\u0413\u0434\u0435 \u044f \u043c\u043e\u0433 \u043e\u0431\u043c\u0430\u043d\u0443\u0442\u044c<\/h2>\n<p>  <\/p>\n<p>\u0414\u043b\u044f \u043f\u043e\u043b\u043d\u043e\u0439 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u0432\u044b\u0432\u043e\u0434\u043e\u0432 \u043d\u0430\u0434\u043e \u0431\u044b\u043b\u043e \u043f\u0440\u043e\u0432\u0435\u0441\u0442\u0438 \u0435\u0449\u0451 \u0438 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442: \u0423\u0431\u0438\u0440\u0430\u0442\u044c \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0438\u0437 \u0425\u0430\u0441\u043a\u0435\u043b\u044c \u0432\u0435\u0440\u0441\u0438\u0438 \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c, \u0441\u0442\u0430\u043b\u043e \u043b\u0438 \u043e\u043d\u043e \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0435\u0435, \u0442\u043e\u0433\u0434\u0430 \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u0431\u043e\u043b\u0435\u0435 \u043f\u043e\u043b\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u0442\u0435\u0437\u0438\u0441 \u043e\u0431 &quot;\u0443\u043c\u043d\u043e\u0441\u0442\u0438&quot; \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u0432 \u0438, \u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u043e \u0432\u043b\u0438\u044f\u043d\u0438\u0438 \u0430\u043b\u0438\u0430\u0441\u0438\u043d\u0433\u0430. \u041d\u043e \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u043a\u0443 \u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044e \u043b\u044e\u0431\u0438\u0442\u0435\u043b\u044f\u043c \u0424\u041f \u0438\u043b\u0438 Rust (\u0411\u043b\u0438\u043d, \u044f \u0436\u0435 \u0441\u0430\u043c \u0432 \u0447\u0438\u0441\u043b\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445).<\/p>\n<p>  <\/p>\n<h2 id=\"ps-alternativnoe-reshenie\">P.S. \u0410\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435<\/h2>\n<p>  <\/p>\n<blockquote><p>\u041f\u0435\u0440\u0432\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0440\u0435\u0448\u0438\u0442\u044c \u0437\u0430\u0434\u0430\u0447\u0443 \u2014 \u044d\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0440\u0435\u0448\u0438\u043b \u043b\u0438 \u0435\u0451 \u0443\u0436\u0435 \u043a\u0442\u043e-\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u0439<br \/>  (\u041c\u043e\u0439 \u043f\u0440\u0435\u043f\u043e\u0434 \u043f\u043e \u043c\u0430\u0442\u0430\u043d\u0443)<\/p><\/blockquote>\n<p>\u041d\u0430\u043f\u043e\u043c\u043d\u044e, \u0447\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 \u2014 \u044d\u0442\u043e \u043f\u043e\u0438\u0441\u043a \u0440\u0435\u0434\u0430\u043a\u0446\u0438\u043e\u043d\u043d\u043e\u0433\u043e \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0442.\u0435. \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0447\u0438\u0441\u043b\u0430 \u0432\u0441\u0442\u0430\u0432\u043e\u043a, \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0439 \u0438 \u0437\u0430\u043c\u0435\u043d \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u0434\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438, \u0447\u0442\u043e\u0431\u044b \u0438\u0437 \u0441\u0442\u0440\u043e\u043a\u0438 s1 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0441\u0442\u0440\u043e\u043a\u0443 s2. \u0421\u0442\u0430\u0442\u044c\u044f \u043e\u0431 \u044d\u0442\u043e\u043c \u0443\u0436\u0435 \u0431\u044b\u043b\u0430 <a href=\"https:\/\/habr.com\/ru\/post\/117063\/\">\u043d\u0430 \u0445\u0430\u0431\u0440\u0435<\/a>. \u0412 \u0434\u0430\u043d\u043d\u043e\u0439 \u0437\u0430\u043c\u0435\u0442\u043a\u0435 \u043c\u044b \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043b\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u044b \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0412\u0430\u0433\u043d\u0435\u0440\u0430-\u0424\u0438\u0448\u0435\u0440\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0442\u0440\u0435\u0431\u0443\u0435\u0442 O(n*m) \u0432\u0440\u0435\u043c\u0435\u043d\u0438 (\u0434\u0432\u0430 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 for). \u0425\u043e\u0442\u044f \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435 \u0432\u044b\u0448\u0435 \u0435\u0441\u0442\u044c \u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0425\u0438\u0440\u0448\u0431\u0435\u0440\u0433\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0437\u0430 \u043b\u0438\u043d\u0435\u0439\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f, \u043e \u0447\u0451\u043c \u0442\u0430\u043a\u0436\u0435 \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043b \u0430\u0432\u0442\u043e\u0440 \u043e\u0431\u0441\u0443\u0436\u0434\u0430\u0435\u043c\u043e\u0439 \u0437\u0434\u0435\u0441\u044c \u0441\u0442\u0430\u0442\u044c\u0438, \u043d\u043e \u044d\u0442\u043e \u0443\u0436\u0435 \u0442\u0435\u043c\u0430 \u0434\u043b\u044f \u0434\u0440\u0443\u0433\u043e\u0439 \u0437\u0430\u043c\u0435\u0442\u043a\u0438.<\/p>\n<p>  <\/p>\n<h1 id=\"appendiks\">\u0410\u043f\u043f\u0435\u043d\u0434\u0438\u043a\u0441<\/h1>\n<p>  <\/p>\n<h3 id=\"metodika-benchey\">\u041c\u0435\u0442\u043e\u0434\u0438\u043a\u0430 \u0431\u0435\u043d\u0447\u0435\u0439<\/h3>\n<p>  <\/p>\n<ul>\n<li>\u0424\u043b\u0430\u0433\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430: <code>-O3 -march=native -std=gnu++17<\/code>.<\/li>\n<li>\u041f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440: Intel i5-8250U (\u0434\u0430, \u043d\u043e\u0443\u0442)<\/li>\n<li>\u041e\u0421: Ubuntu 19.04 \/ Linux 5.0.0<\/li>\n<li>\u041f\u0435\u0440\u0432\u044b\u0439 \u043f\u0440\u043e\u0433\u043e\u043d \u0434\u043b\u044f \u0440\u0430\u0437\u0433\u043e\u043d\u0430 \u0442\u0443\u0440\u0431\u043e-\u0431\u0443\u0441\u0442, \u0434\u0430\u043b\u0435\u0435 \u0431\u0435\u0440\u0451\u043c \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0438\u0437 \u043f\u044f\u0442\u0438 \u043f\u043e\u0434\u0440\u044f\u0434. \u041e\u0442\u043a\u043b\u043e\u043d\u0435\u043d\u0438\u044f \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 1-2%.<\/li>\n<li>\u041c\u0435\u0436\u0434\u0443 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u043c\u0438 \u0440\u0430\u0437\u043d\u044b\u0445 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0439 1\u0441 \u043f\u0440\u043e\u0445\u043b\u0430\u0436\u0434\u0430\u0435\u043c\u0441\u044f (\u0434\u0430, \u043d\u043e\u0443\u0442)<\/li>\n<\/ul>\n<p><\/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\/post\/490458\/\"> https:\/\/habr.com\/ru\/post\/490458\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text-html\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/490458\/\">\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/rx\/wc\/ce\/rxwcce9fs_wmc-ovltbn0t6lq9g.jpeg\" alt=\"\u0427\u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u0441\u043c\u0435\u0448\u043d\u043e\u0435 \u2014 &lt;br&gt; \u044f \u0441\u043e\u0431\u0438\u0440\u0430\u043b \u0445\u0430\u0441\u043a\u0435\u043b\u044c-\u043a\u043e\u0434 \u0447\u0435\u0440\u0435\u0437 LLVM-\u0431\u0435\u043a\u0435\u043d\u0434,&lt;br&gt; \u043d\u043e \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u043b \u0441 GCC\"><br \/>  \u0412 \u0441\u0442\u0430\u0442\u044c\u0435 <a href=\"https:\/\/habr.com\/ru\/post\/483864\/\">[\u0441\u0441\u044b\u043b\u043a\u0430]<\/a> \u0431\u044b\u043b\u043e \u0437\u0430\u044f\u0432\u043b\u0435\u043d\u043e, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c Haskell \u043a\u043e\u0434\u0430 \u043f\u0440\u0435\u0432\u0437\u043e\u0448\u043b\u0430 \u043a\u043e\u0434 \u043d\u0430 \u0421++. \u0427\u0442\u043e \u0441\u0440\u0430\u0437\u0443 \u0432\u044b\u0437\u0432\u0430\u043b\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441, \u0442.\u043a. \u0438 \u0442\u043e \u0438 \u0434\u0440\u0443\u0433\u043e\u0435 \u043c\u043e\u0436\u0435\u0442 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f LLVM \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u043c, \u0437\u043d\u0430\u0447\u0438\u0442 \u043b\u0438\u0431\u043e \u041d\u0430skell \u043c\u043e\u0436\u0435\u0442 \u0434\u0430\u0432\u0430\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u0445\u0438\u043d\u0442\u043e\u0432 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443, \u043b\u0438\u0431\u043e \u0447\u0442\u043e-\u0442\u043e \u043d\u0435 \u0442\u0430\u043a \u0441 \u0421++ \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439. \u0414\u0430\u043b\u0435\u0435 \u043c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0451\u043c, \u043a\u0430\u043a \u0447\u0435\u0440\u0435\u0434\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0441\u0442\u0435\u0439 \u0432 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f\u0445 \u0430\u0432\u0442\u043e\u0440\u0430 \u043f\u0440\u0438\u0432\u0435\u043b\u0430 \u043a \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u043c \u0432\u044b\u0432\u043e\u0434\u0430\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0442\u0430\u0431\u043b\u0438\u0446\u0435\u0439 \u043d\u0438\u0436\u0435 (\u043f\u043e\u0434 \u043a\u0430\u0442\u043e\u043c).<\/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-299448","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/299448","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=299448"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/299448\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=299448"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=299448"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=299448"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}