{"id":209128,"date":"2014-01-15T08:33:02","date_gmt":"2014-01-15T04:33:02","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=209128"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=209128","title":{"rendered":"<span class=\"post_title\">\u0410 \u043a\u0430\u043a \u0436\u0435 \u0432\u0441\u0451-\u0442\u0430\u043a\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043c\u043d\u043e\u0433\u043e\u043f\u043e\u0442\u043e\u0447\u043d\u043e\u0441\u0442\u044c? \u0427\u0430\u0441\u0442\u044c II: memory ordering<\/span>"},"content":{"rendered":"<div class=\"content html_format\">   \t<img decoding=\"async\" src=\"http:\/\/habr.habrastorage.org\/post_images\/42f\/afb\/92b\/42fafb92b3ff5480347a4869a3ec6914.jpg\" align=\"left\" title=\"Java Duke \u0442\u044b\u043a\u0430\u0435\u0442 \u043f\u0430\u043b\u044c\u0446\u0435\u043c \u0432 \u043d\u043e\u0441 \u0414\u0438 \u041a\u0430\u043f\u0440\u0438\u043e, \u043a\u0430\u043a \u0431\u044b \u043d\u0430\u043c\u0435\u043a\u0430\u044f \u043d\u0430\u043c: we need to go deeper\" alt=\"\u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0430 \u0434\u043b\u044f \u043f\u0440\u0438\u0432\u043b\u0435\u0447\u0435\u043d\u0438\u044f \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u044f\"\/><\/p>\n<p>  \u0417\u043d\u0430\u043d\u0438\u0435 \u043e\u0431 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0438 \u043f\u043e\u0442\u043e\u043a\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0432 <a href=\"http:\/\/habrahabr.ru\/post\/143237\/\">\u043f\u0440\u043e\u0448\u043b\u043e\u043c \u0442\u043e\u043f\u0438\u043a\u0435<\/a>, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u0432\u0435\u043b\u0438\u043a\u043e, \u043d\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u043c\u043d\u043e\u0433\u043e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: <i>\u00ab\u041a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 happens-before?\u00bb<\/i>, <i>\u00ab\u041f\u0440\u0430\u0432\u0434\u0430 \u043b\u0438, \u0447\u0442\u043e <code>volatile<\/code> \u2014 \u044d\u0442\u043e \u0441\u0431\u0440\u043e\u0441 \u043a\u0435\u0448\u0435\u0439?\u00bb<\/i>, <i>\u00ab\u0417\u0430\u0447\u0435\u043c \u0432\u043e\u043e\u0431\u0449\u0435 \u0431\u044b\u043b\u043e \u0433\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043a\u0430\u043a\u0443\u044e-\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u043f\u0430\u043c\u044f\u0442\u0438? \u041d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u0436\u0435 \u0432\u0441\u0451 \u0431\u044b\u043b\u043e, \u0447\u0442\u043e \u043d\u0430\u0447\u0430\u043b\u043e\u0441\u044c-\u0442\u043e \u0442\u0430\u043a\u043e\u0435?\u00bb<\/i><\/p>\n<p>  \u041a\u0430\u043a \u0438 \u043f\u0440\u043e\u0448\u043b\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f, \u044d\u0442\u0430 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0430 \u043f\u043e \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0443 \u00ab\u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043a\u0440\u0430\u0442\u043a\u043e \u043e\u043f\u0438\u0448\u0435\u043c, \u0447\u0442\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442\u044c \u0432 \u0442\u0435\u043e\u0440\u0438\u0438, \u0430 \u043f\u043e\u0442\u043e\u043c \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u043c\u0441\u044f \u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0438 \u0438 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a \u044d\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0442\u0430\u043c\u00bb. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043f\u0435\u0440\u0432\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0432\u043e \u043c\u043d\u043e\u0433\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c\u0430 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043a Java, \u0430 \u043f\u043e\u0442\u043e\u043c\u0443 \u0438 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0438 \u043f\u043e\u0434 \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b \u043c\u043e\u0433\u0443\u0442 \u043d\u0430\u0439\u0442\u0438 \u0434\u043b\u044f \u0441\u0435\u0431\u044f \u0447\u0442\u043e-\u0442\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u043e\u0435.<br \/>  <a name=\"habracut\"><\/a><\/p>\n<h1><font color=\"darkred\">\u0422\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043c\u0438\u043d\u0438\u043c\u0443\u043c<\/font><\/h1>\n<p>\u0412\u0441\u0451 \u0432\u043e\u0437\u0440\u0430\u0441\u0442\u0430\u044e\u0449\u0430\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0436\u0435\u043b\u0435\u0437\u0430 \u0432\u043e\u0437\u0440\u0430\u0441\u0442\u0430\u0435\u0442 \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0442\u0430\u043a. \u0418\u043d\u0436\u0435\u043d\u0435\u0440\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0437\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u044e\u0442, \u0441\u043a\u0430\u0436\u0435\u043c, \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u044b, \u043f\u0440\u0438\u0434\u0443\u043c\u044b\u0432\u0430\u044e\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0440\u0430\u0437\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u044b\u0445 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0439, \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0449\u0438\u0445 \u0432\u044b\u0436\u0430\u0442\u044c \u0438\u0437 \u0432\u0430\u0448\u0435\u0433\u043e \u043a\u043e\u0434\u0430 \u0435\u0449\u0451 \u0431\u043e\u043b\u044c\u0448\u0435 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u044b\u0445 \u043f\u043e\u043f\u0443\u0433\u0430\u0435\u0432. \u041e\u0434\u043d\u0430\u043a\u043e \u0431\u0435\u0441\u043f\u043b\u0430\u0442\u043d\u043e\u0439 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043d\u0435 \u0431\u044b\u0432\u0430\u0435\u0442, \u0438 \u0432 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0446\u0435\u043d\u043e\u0439 \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u0430\u044f \u043a\u043e\u043d\u0442\u0440\u0438\u043d\u0442\u0443\u0438\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0432\u0430\u0448 \u043a\u043e\u0434. \u0420\u0430\u0437\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u044b\u0445 \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0441\u0442\u0435\u0439 \u0436\u0435\u043b\u0435\u0437\u0430, \u0441\u043a\u0440\u044b\u0442\u044b\u0445 \u043e\u0442 \u043d\u0430\u0441 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u044f\u043c\u0438, \u043e\u0447\u0435\u043d\u044c \u043c\u043d\u043e\u0433\u043e. \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u0442\u0435\u043c, \u043a\u0442\u043e \u044d\u0442\u043e\u0433\u043e \u0435\u0449\u0451 \u043d\u0435 \u0441\u0434\u0435\u043b\u0430\u043b, \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c\u0441\u044f \u0441 <a href=\"http:\/\/javapoint.ru\/talks\/13\/\">\u0434\u043e\u043a\u043b\u0430\u0434\u043e\u043c<\/a> \u0421\u0435\u0440\u0433\u0435\u044f <a href=\"http:\/\/habrahabr.ru\/users\/walrus\/\" class=\"user_link\">Walrus<\/a> \u041a\u0443\u043a\u0441\u0435\u043d\u043a\u043e, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u00abQuantum Performance Effects\u00bb \u0438 \u043e\u0442\u043b\u0438\u0447\u043d\u043e \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u0435\u0442, \u043a\u0430\u043a \u043d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u043e \u0432\u0430\u0448\u0438 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438 \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u043e\u0442\u0435\u0447\u044c. \u041c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0434\u0430\u043b\u0435\u043a\u043e \u0445\u043e\u0434\u0438\u0442\u044c \u0437\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u043c, \u0438 \u0432\u0437\u0433\u043b\u044f\u043d\u0435\u043c \u043d\u0430 \u043a\u0435\u0448\u0438.<\/p>\n<h2><font color=\"darkgreen\">\u0423\u0441\u0442\u0440\u043e\u0439\u0441\u0442\u0432\u043e \u043a\u0435\u0448\u0435\u0439<\/font><\/h2>\n<p>  \u0417\u0430\u043f\u0440\u043e\u0441 \u043a \u00ab\u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043f\u0430\u043c\u044f\u0442\u0438\u00bb \u2014 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u0434\u043e\u0440\u043e\u0433\u0430\u044f, \u0438 \u0434\u0430\u0436\u0435 \u043d\u0430 \u0441\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u043c\u0430\u0448\u0438\u043d\u0430\u0445 \u043c\u043e\u0436\u0435\u0442 \u0437\u0430\u043d\u0438\u043c\u0430\u0442\u044c \u0441\u043e\u0442\u043d\u0438 \u043d\u0430\u043d\u043e\u0441\u0435\u043a\u0443\u043d\u0434. \u0417\u0430 \u044d\u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043c\u043e\u0433 \u0431\u044b \u0443\u0441\u043f\u0435\u0442\u044c \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u0443\u0439\u043c\u0443 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439. \u0427\u0442\u043e\u0431\u044b \u0438\u0437\u0431\u0435\u0436\u0430\u0442\u044c \u043d\u0435\u043f\u043e\u0442\u0440\u0435\u0431\u0441\u0442\u0432\u0430 \u0432 \u0432\u0438\u0434\u0435 \u0432\u0435\u0447\u043d\u044b\u0445 \u043f\u0440\u043e\u0441\u0442\u043e\u0435\u0432, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043a\u0435\u0448\u0438. \u041f\u0440\u043e\u0441\u0442\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u0445\u0440\u0430\u043d\u0438\u0442 \u043f\u0440\u044f\u043c\u043e \u0440\u044f\u0434\u043e\u043c \u0441 \u0441\u043e\u0431\u043e\u0439 \u043a\u043e\u043f\u0438\u0438 \u0447\u0430\u0441\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u043e\u0433\u043e \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0433\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043f\u0430\u043c\u044f\u0442\u0438. \u0411\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438 \u043e \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0442\u0438\u043f\u0430\u0445 \u043a\u0435\u0448\u0435\u0439 \u0438 \u0438\u0445 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044f\u0445 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0442\u0443\u0442 <a href=\"http:\/\/arstechnica.com\/gadgets\/2002\/07\/caching\/2\/\">\u0442\u0443\u0442<\/a>, \u0430 \u043d\u0430\u0441 \u0431\u043e\u043b\u044c\u0448\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u0443\u0435\u0442 \u0442\u043e, \u043a\u0430\u043a \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0445 \u0432 \u043a\u0435\u0448\u0435. \u0418 \u0435\u0441\u043b\u0438 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0441 \u043e\u0434\u043d\u0438\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043e\u043c (\u0438\u043b\u0438 \u044f\u0434\u0440\u043e\u043c, \u0432 \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u043c \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0442\u0435\u0440\u043c\u0438\u043d \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440) \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u043f\u0440\u043e\u0431\u043b\u0435\u043c, \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u043e, \u043d\u0435\u0442, \u0442\u043e \u043f\u0440\u0438 \u043d\u0430\u043b\u0438\u0447\u0438\u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u044f\u0434\u0435\u0440 <font color=\"lightgrey\">(YAY MULTITHREADING!)<\/font> \u0443\u0436\u0435 \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b.  <\/p>\n<blockquote><p>\u041a\u0430\u043a \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 <strong>A<\/strong> \u043c\u043e\u0436\u0435\u0442 \u0437\u043d\u0430\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 <strong>B<\/strong> \u043f\u043e\u043c\u0435\u043d\u044f\u043b \u043a\u0430\u043a\u043e\u0435-\u0442\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u0435\u0441\u043b\u0438 \u0443 <strong>A<\/strong> \u043e\u043d\u043e \u0437\u0430\u043a\u0435\u0448\u0438\u0440\u043e\u0432\u0430\u043d\u043e?<\/p>\n<p>  \u0418\u043b\u0438, \u0438\u043d\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u043a\u0430\u043a \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0442\u044c <strong>\u043a\u043e\u0433\u0435\u0440\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u043a\u0435\u0448\u0435\u0439?<\/strong><\/p><\/blockquote>\n<p>  \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u044b \u0438\u043c\u0435\u043b\u0438 \u0441\u043e\u0433\u043b\u0430\u0441\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u043a\u0430\u0440\u0442\u0438\u043d\u0443 \u043c\u0438\u0440\u0430, \u043e\u043d\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043e\u0431\u0449\u0430\u0442\u044c\u0441\u044f \u043c\u0435\u0436\u0434\u0443 \u0441\u043e\u0431\u043e\u0439. \u041f\u0440\u0430\u0432\u0438\u043b\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043e\u043d\u0438 \u0432 \u044d\u0442\u043e\u043c \u043e\u0431\u0449\u0435\u043d\u0438\u0438 \u0441\u043b\u0435\u0434\u0443\u044e\u0442, \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 <b>\u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u043c \u043a\u043e\u0433\u0435\u0440\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u043a\u0435\u0448\u0435\u0439<\/b>.<\/p>\n<h2><font color=\"darkgreen\">\u041f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u043a\u043e\u0433\u0435\u0440\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u043a\u0435\u0448\u0435\u0439<\/font><\/h2>\n<p>  \u0420\u0430\u0437\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043c\u043d\u043e\u0433\u043e, \u0438 \u0432\u0430\u0440\u044c\u0438\u0440\u0443\u044e\u0442\u0441\u044f \u043e\u043d\u0438 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044f \u0436\u0435\u043b\u0435\u0437\u0430 \u043a \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044e \u0436\u0435\u043b\u0435\u0437\u0430, \u043d\u043e \u0438 \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u043e \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0434\u0430\u0436\u0435 \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u043e\u0434\u043d\u043e\u0433\u043e \u0432\u0435\u043d\u0434\u043e\u0440\u0430. \u0422\u0435\u043c \u043d\u0435 \u043c\u0435\u043d\u0435\u0435, \u043d\u0435\u0441\u043c\u043e\u0442\u0440\u044f \u043d\u0430 \u043e\u0431\u0448\u0438\u0440\u043d\u043e\u0441\u0442\u044c \u043c\u0438\u0440\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0443 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0430 \u0438\u0437 \u043d\u0438\u0445 \u0435\u0441\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u0431\u0449\u0438\u0435 \u043c\u043e\u043c\u0435\u043d\u0442\u044b. \u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0443\u043c\u0430\u043b\u044f\u044f \u043e\u0431\u0449\u043d\u043e\u0441\u0442\u044c, \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b <strong>MESI<\/strong>. \u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u0435\u0441\u0442\u044c \u0438 \u043f\u043e\u0434\u0445\u043e\u0434\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043a\u0430\u0440\u0434\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043e\u0442 \u043d\u0435\u0433\u043e \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f: \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, <a href=\"http:\/\/www.cs.washington.edu\/education\/courses\/cse471\/00au\/Lectures\/luke_directories.pdf\">Directory Based<\/a>. \u041e\u0434\u043d\u0430\u043a\u043e, \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043e\u043d\u0438 \u043d\u0435 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u044e\u0442\u0441\u044f.<\/p>\n<p>  \u0412 MESI \u0436\u0435 \u043a\u0430\u0436\u0434\u0430\u044f \u044f\u0447\u0435\u0439\u043a\u0430 \u0432 \u043a\u0435\u0448\u0435 \u043c\u043e\u0436\u0435\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c\u0441\u044f \u0432 \u043e\u0434\u043d\u043e\u043c \u0438\u0437 \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439:  <\/p>\n<ul>\n<li><strong>I<\/strong>nvalid: \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043d\u0435\u0442 \u0432 \u043a\u0435\u0448\u0435<\/li>\n<li><strong>E<\/strong>xclusive: \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0435\u0441\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u044d\u0442\u043e\u043c \u043a\u0435\u0448\u0435, \u0438 \u043e\u043d\u043e \u043f\u043e\u043a\u0430 \u043d\u0435 \u0431\u044b\u043b\u043e \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u043e<\/li>\n<li><strong>M<\/strong>odified: \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u043e \u044d\u0442\u0438\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043e\u043c, \u0438 \u043e\u043d\u043e \u043f\u043e\u043a\u0430 \u043d\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0438 \u0432 \u0433\u043b\u0430\u0432\u043d\u043e\u0439 \u043f\u0430\u043c\u044f\u0442\u0438, \u043d\u0438 \u0432 \u043a\u0435\u0448\u0435 \u043a\u0430\u043a\u043e\u0433\u043e-\u043b\u0438\u0431\u043e \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430<\/li>\n<li><strong>S<\/strong>hared: \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0432 \u043a\u0435\u0448\u0435 \u0431\u043e\u043b\u0435\u0435 \u0447\u0435\u043c \u0443 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430<\/li>\n<\/ul>\n<p>  \u0414\u043b\u044f \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u043e\u0431\u043c\u0435\u043d \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f\u043c\u0438, \u0444\u043e\u0440\u043c\u0430\u0442 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0442\u0430\u043a \u0436\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0447\u0430\u0441\u0442\u044c\u044e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430. \u041a\u0441\u0442\u0430\u0442\u0438, \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0438\u0440\u043e\u043d\u0438\u0447\u043d\u043e, \u0447\u0442\u043e \u043d\u0430 \u0441\u0442\u043e\u043b\u044c \u043d\u0438\u0437\u043a\u043e\u043c \u0443\u0440\u043e\u0432\u043d\u0435 \u0441\u043c\u0435\u043d\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0438\u043c\u0435\u043d\u043d\u043e \u0447\u0435\u0440\u0435\u0437 \u043e\u0431\u043c\u0435\u043d \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f\u043c\u0438. Problem, Actor Model Haters?<\/p>\n<p>  \u0412 \u0446\u0435\u043b\u044f\u0445 \u0443\u043c\u0435\u043d\u044c\u0448\u0435\u043d\u0438\u044f \u043e\u0431\u044a\u0451\u043c\u0430 \u0441\u0442\u0430\u0442\u044c\u0438 \u0438 \u043f\u043e\u0431\u0443\u0436\u0434\u0435\u043d\u0438\u044f \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u043a \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u044e, \u044f \u043d\u0435 \u0431\u0443\u0434\u0443 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u043e\u0431\u043c\u0435\u043d \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f\u043c\u0438 \u0432 \u0434\u0435\u0442\u0430\u043b\u044f\u0445. \u0416\u0435\u043b\u0430\u044e\u0449\u0438\u0435 \u043c\u043e\u0433\u0443\u0442 \u0432\u044b\u0443\u0434\u0438\u0442\u044c \u044d\u0442\u0443 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432 \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 <a href=\"http:\/\/yandex.ru\/yandsearch?text=Memory+Barriers%3A+a+Hardware+View+for+Software+Hackers\">Memory Barriers: a Hardware View for Software Hackers<\/a>. \u0422\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u043e, \u0431\u043e\u043b\u0435\u0435 \u0433\u043b\u0443\u0431\u043e\u043a\u0438\u0435 \u0440\u0430\u0437\u043c\u044b\u0448\u043b\u0435\u043d\u0438\u044f \u043d\u0430 \u0442\u0435\u043c\u0443 \u043e\u0442 <a href=\"http:\/\/habrahabr.ru\/users\/cheremin\/\" class=\"user_link\">cheremin<\/a> \u043c\u043e\u0436\u043d\u043e <a href=\"http:\/\/cheremin.blogspot.com\/2012\/01\/cache-coherency-msi-mesi-mesif-moesi.html\">\u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0432 \u0435\u0433\u043e \u0431\u043b\u043e\u0433\u0435<\/a>.<\/p>\n<p>  \u041b\u043e\u0432\u043a\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u0442\u0438\u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0441\u0430\u043c\u0438\u0445 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0439, \u0441\u0434\u0435\u043b\u0430\u0435\u043c \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0438\u0445 \u0434\u0432\u0430 \u0437\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u044f. \u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445, \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043d\u0435 \u043c\u043e\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e, \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0447\u0435\u0433\u043e \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c latency \u043d\u0430 \u0441\u043c\u0435\u043d\u0443 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f. \u0412\u043e-\u0432\u0442\u043e\u0440\u044b\u0445, \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u043e\u0441\u043e\u0431\u043e\u0439 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438, \u043f\u0440\u0438\u0432\u043e\u0434\u044f\u0449\u0435\u0439 \u043a \u043f\u0440\u043e\u0441\u0442\u043e\u044e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430. \u0412\u0441\u0451 \u044d\u0442\u043e \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043a \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u043c \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u043c \u043c\u0430\u0441\u0448\u0442\u0430\u0431\u0438\u0440\u0443\u0435\u043c\u043e\u0441\u0442\u0438 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438.<\/p>\n<h3>\u041e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0434\u043b\u044f MESI \u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043d\u0438 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u044e\u0442<\/h3>\n<p>  <\/p>\n<h4>Store Buffers<\/h4>\n<p>  \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0447\u0442\u043e-\u0442\u043e \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0432 \u044f\u0447\u0435\u0439\u043a\u0443 \u043f\u0430\u043c\u044f\u0442\u0438, \u043d\u0430\u0445\u043e\u0434\u044f\u0449\u0443\u044e\u0441\u044f \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 Shared, \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043e\u0442\u043e\u0441\u043b\u0430\u0442\u044c \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435 Invalidate \u0438 \u0434\u043e\u0436\u0434\u0430\u0442\u044c\u0441\u044f \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0432\u0441\u0435 \u0435\u0433\u043e \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0434\u044f\u0442. \u0412\u0441\u0451 \u044d\u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u0430\u0438\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u043d\u0435\u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u043f\u0435\u0447\u0430\u043b\u044c\u043d\u043e, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0432\u0440\u0435\u043c\u044f, \u0432 \u0442\u0435\u0447\u0435\u043d\u0438\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0434\u043e\u0439\u0434\u0451\u0442 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435, \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043d\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u043e\u0432 \u0432\u044b\u0448\u0435, \u0447\u0435\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0434\u043b\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439. \u0427\u0442\u043e\u0431\u044b \u0438\u0437\u0431\u0435\u0436\u0430\u0442\u044c \u0442\u0430\u043a\u043e\u0439 \u0431\u0435\u0441\u0441\u043c\u044b\u0441\u043b\u0435\u043d\u043d\u043e\u0439 \u0438 \u0431\u0435\u0441\u043f\u043e\u0449\u0430\u0434\u043d\u043e\u0439 \u043f\u043e\u0442\u0435\u0440\u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043d\u043e\u0433\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0438, \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u043b\u0438 <strong>Store Buffers<\/strong>. \u041f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043f\u043e\u043c\u0435\u0449\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0445\u043e\u0447\u0435\u0442 \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c, \u0432 \u044d\u0442\u043e\u0442 \u0431\u0443\u0444\u0435\u0440 \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u0442 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438. \u0410 \u043a\u043e\u0433\u0434\u0430 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u044b \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u044b\u0435 Invalidate Acknowledge, \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432 \u043e\u0441\u043d\u043e\u0432\u043d\u0443\u044e \u043f\u0430\u043c\u044f\u0442\u044c.<\/p>\n<p>  \u0420\u0430\u0437\u0443\u043c\u0435\u0435\u0442\u0441\u044f, \u0442\u0443\u0442 \u0435\u0441\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0434\u0432\u043e\u0434\u043d\u044b\u0445 \u0433\u0440\u0430\u0431\u043b\u0435\u0439. \u041f\u0435\u0440\u0432\u044b\u0435 \u0438\u0437 \u043d\u0438\u0445 \u0432\u0435\u0441\u044c\u043c\u0430 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b: \u0435\u0441\u043b\u0438 \u0434\u043e \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e\u043a\u0438\u043d\u0435\u0442 \u0431\u0443\u0444\u0435\u0440, \u044d\u0442\u043e\u0442 \u0436\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043f\u043e\u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u0435\u0433\u043e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c, \u043e\u043d \u043f\u043e\u043b\u0443\u0447\u0438\u0442 \u0441\u043e\u0432\u0441\u0435\u043c \u043d\u0435 \u0442\u043e, \u0447\u0442\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0442\u043e \u0437\u0430\u043f\u0438\u0441\u0430\u043b. \u042d\u0442\u043e \u0440\u0435\u0448\u0430\u0435\u0442\u0441\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e <strong>Store Forwarding<\/strong>: \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442\u0441\u044f, \u0430 \u043d\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043b\u0438 \u0437\u0430\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u0435\u043c\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u0431\u0443\u0444\u0435\u0440\u0435; \u0438 \u0435\u0441\u043b\u0438 \u043e\u043d\u043e \u0442\u0430\u043c, \u0442\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0431\u0435\u0440\u0451\u0442\u0441\u044f \u0438\u043c\u0435\u043d\u043d\u043e \u043e\u0442\u0442\u0443\u0434\u0430.<\/p>\n<p>  \u0410 \u0432\u043e\u0442 \u0432\u0442\u043e\u0440\u044b\u0435 \u0433\u0440\u0430\u0431\u043b\u0438 \u0443\u0436\u0435 \u043a\u0443\u0434\u0430 \u0431\u043e\u043b\u0435\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b. \u041d\u0438\u043a\u0442\u043e \u043d\u0435 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0432 store buffer \u044f\u0447\u0435\u0439\u043a\u0438 \u0431\u044b\u043b\u0438 \u043f\u043e\u043c\u0435\u0449\u0435\u043d\u044b \u0432 \u043e\u0434\u043d\u043e\u043c \u043f\u043e\u0440\u044f\u0434\u043a\u0435, \u0442\u043e \u0438 \u0437\u0430\u043f\u0438\u0441\u0430\u043d\u044b \u043e\u043d\u0438 \u0431\u0443\u0434\u0443\u0442 \u0432 \u0442\u043e\u043c \u0436\u0435 \u043f\u043e\u0440\u044f\u0434\u043a\u0435. \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u043a\u0443\u0441\u043e\u0447\u0435\u043a \u043f\u0441\u0435\u0432\u0434\u043e\u043a\u043e\u0434\u0430:<\/p>\n<pre><code class=\"java\">void executedOnCpu0() {     value = 10;     finished = true; }  void executedOnCpu1() {     while(!finished);     assert value == 10; } <\/code><\/pre>\n<p>  \u041a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u0431\u044b, \u0447\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0439\u0442\u0438 \u043d\u0435 \u0442\u0430\u043a? \u0412\u043e\u043f\u0440\u0435\u043a\u0438 \u0442\u043e\u043c\u0443, \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0434\u0443\u043c\u0430\u0442\u044c, \u043c\u043d\u043e\u0433\u043e\u0435. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0435\u0441\u043b\u0438 \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u0442\u0430\u043a, \u0447\u0442\u043e \u043a \u043d\u0430\u0447\u0430\u043b\u0443 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043a\u043e\u0434\u0430 <code>finished<\/code> \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0443 Cpu0 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 Exclusive, \u0430 <code>value<\/code> \u2014 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, Invalid, \u0442\u043e <code>value<\/code> \u043f\u043e\u043a\u0438\u043d\u0435\u0442 \u0431\u0443\u0444\u0435\u0440 \u043f\u043e\u0437\u0436\u0435, \u0447\u0435\u043c <code>finished<\/code>. \u0418 \u0432\u043f\u043e\u043b\u043d\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0447\u0442\u043e Cpu1 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0435\u0442 <code>finished<\/code> \u043a\u0430\u043a <code>true<\/code>, \u0430 <code>value<\/code> \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043d\u0435 \u0440\u0430\u0432\u043d\u044b\u043c 10. \u0422\u0430\u043a\u043e\u0435 \u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 <strong>reordering<\/strong>. \u0420\u0430\u0437\u0443\u043c\u0435\u0435\u0442\u0441\u044f, reordering \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0442\u0430\u043a\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0438\u0437 \u043a\u0430\u043a\u0438\u0445-\u043b\u0438\u0431\u043e \u0441\u0432\u043e\u0438\u0445 \u0441\u043e\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u0439 \u0432\u043f\u043e\u043b\u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u043c\u0435\u043d\u044f\u0442\u044c \u043c\u0435\u0441\u0442\u0430\u043c\u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438.<\/p>\n<h4>Invalidate Queues<\/h4>\n<p>  \u041a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043b\u0435\u0433\u043a\u043e \u0434\u043e\u0433\u0430\u0434\u0430\u0442\u044c\u0441\u044f, store buffers \u043d\u0435 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b, \u0438 \u043f\u043e\u0442\u043e\u043c\u0443 \u0438\u043c\u0435\u044e\u0442 \u0442\u0435\u043d\u0434\u0435\u043d\u0446\u0438\u044e \u043f\u0435\u0440\u0435\u043f\u043e\u043b\u043d\u044f\u0442\u044c\u0441\u044f, \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0447\u0435\u0433\u043e \u0432\u0441\u0451 \u0436\u0435 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0437\u0430\u0447\u0430\u0441\u0442\u0443\u044e \u0436\u0434\u0430\u0442\u044c Invalidate Acknowledge. \u0410 \u043e\u043d\u0438 \u0438\u043d\u043e\u0433\u0434\u0430 \u043c\u043e\u0433\u0443\u0442 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c\u0441\u044f \u043e\u0447\u0435\u043d\u044c \u0434\u043e\u043b\u0433\u043e, \u0435\u0441\u043b\u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u0438 \u043a\u0435\u0448 \u0437\u0430\u043d\u044f\u0442\u044b. \u0420\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0443 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u043e\u0436\u043d\u043e, \u0432\u0432\u0435\u0434\u044f \u043d\u043e\u0432\u0443\u044e \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u044c: <strong>Invalidate Queue<\/strong>. \u0412\u0441\u0435 \u0437\u0430\u043f\u0440\u043e\u0441\u044b \u043d\u0430 \u0438\u043d\u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u044e \u044f\u0447\u0435\u0435\u043a \u043f\u0430\u043c\u044f\u0442\u0438 \u0431\u0443\u0434\u0443\u0442 \u043f\u043e\u043c\u0435\u0449\u0430\u0442\u044c\u0441\u044f \u0432 \u044d\u0442\u0443 \u043e\u0447\u0435\u0440\u0435\u0434\u044c, \u0430 acknowledgement \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0442\u044c\u0441\u044f \u043c\u043e\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e. \u0424\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0436\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0431\u0443\u0434\u0443\u0442 \u0438\u043d\u0432\u0430\u043b\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u044b \u0442\u043e\u0433\u0434\u0430, \u043a\u043e\u0433\u0434\u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0443 \u044d\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u0443\u0434\u043e\u0431\u043d\u043e. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043e\u0431\u0435\u0449\u0430\u0435\u0442 \u0432\u0435\u0441\u0442\u0438 \u0441\u0435\u0431\u044f \u0445\u043e\u0440\u043e\u0448\u043e, \u0438 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0442\u044c \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0439 \u043f\u043e \u044d\u0442\u043e\u0439 \u044f\u0447\u0435\u0439\u043a\u0435 \u0434\u043e \u0442\u0435\u0445 \u043f\u043e\u0440, \u043f\u043e\u043a\u0430 \u0435\u0451 \u043d\u0435 \u0438\u043d\u0432\u0430\u043b\u0438\u0434\u0438\u0440\u0443\u0435\u0442. \u0427\u0443\u0435\u0442\u0435 \u043f\u043e\u0434\u0432\u043e\u0445? \u0412\u0435\u0440\u043d\u0451\u043c\u0441\u044f \u043a \u043d\u0430\u0448\u0435\u043c\u0443 \u043a\u043e\u0434\u0443. <\/p>\n<pre><code class=\"java\">void executedOnCpu0() {     value = 10;     finished = true; }  void executedOnCpu1() {     while(!finished);     assert value == 10; } <\/code><\/pre>\n<p>  \u041f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u043c, \u0447\u0442\u043e \u043d\u0430\u043c \u043f\u043e\u0432\u0435\u0437\u043b\u043e (\u0438\u043b\u0438 \u043c\u044b \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0438\u0441\u044c \u043d\u0435\u043a\u0438\u043c \u0442\u0430\u0439\u043d\u044b\u043c \u0437\u043d\u0430\u043d\u0438\u0435\u043c), \u0438 Cpu0 \u0437\u0430\u043f\u0438\u0441\u0430\u043b \u044f\u0447\u0435\u0439\u043a\u0438 \u043f\u0430\u043c\u044f\u0442\u0438 \u0432 \u043d\u0443\u0436\u043d\u043e\u043c \u043d\u0430\u043c \u043f\u043e\u0440\u044f\u0434\u043a\u0435. \u0413\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u043b\u0438 \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043e\u043d\u0438 \u043f\u043e\u043f\u0430\u0434\u0443\u0442 \u0432 \u043a\u0435\u0448 Cpu1 \u0432 \u0442\u043e\u043c \u0436\u0435 \u043f\u043e\u0440\u044f\u0434\u043a\u0435? \u041a\u0430\u043a \u0432\u044b \u0443\u0436\u0435 \u043c\u043e\u0433\u043b\u0438 \u043f\u043e\u043d\u044f\u0442\u044c, \u043d\u0435\u0442. \u0411\u0443\u0434\u0435\u043c \u0442\u0430\u043a\u0436\u0435 \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u0447\u0442\u043e \u0441\u0435\u0439\u0447\u0430\u0441 \u044f\u0447\u0435\u0439\u043a\u0430 <code>value<\/code> \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u043a\u0435\u0448\u0435 Cpu1 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 Exclusive. \u041f\u043e\u0440\u044f\u0434\u043e\u043a \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0438\u0445 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0439 \u0442\u043e\u0433\u0434\u0430 \u043c\u043e\u0436\u0435\u0442 \u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u0442\u0430\u043a\u0438\u043c:<\/p>\n<table>\n<tr>\n<td>#<\/td>\n<td>Cpu0<\/td>\n<td>Cpu0:value<\/td>\n<td>Cpu0:finished<\/td>\n<td>Cpu1<\/td>\n<td>Cpu1:value<\/td>\n<td>Cpu1:finished<\/td>\n<\/tr>\n<tr>\n<td>0<\/td>\n<td><font color=\"lightgrey\">(&#8230;)<\/font><\/td>\n<td>0 (Shared)<\/td>\n<td>false (Exclusive)<\/td>\n<td><font color=\"lightgrey\">(&#8230;)<\/font><\/td>\n<td>0 (Shared)<\/td>\n<td>(Invalid)<\/td>\n<\/tr>\n<tr>\n<td colspan=\"7\"><\/td>\n<\/tr>\n<tr>\n<td>1<\/td>\n<td>\n<pre><code class=\"java\">value = 10; - store_buffer(value) &larr; invalidate(value)<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<br \/>  <strong><font color=\"darkgreen\">(10 in store buffer)<\/font><\/strong><\/td>\n<td>false (Exclusive)<\/td>\n<\/tr>\n<tr>\n<td>2<\/td>\n<td colspan=\"3\"><\/td>\n<td>\n<pre><code class=\"java\">while (!finished); &larr; read(finished)<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<\/td>\n<td>(Invalid)<\/td>\n<\/tr>\n<tr>\n<td>3<\/td>\n<td>\n<pre><code class=\"java\">finished = true;<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<br \/>  (10 in store buffer)<\/td>\n<td><strong><font color=\"darkgreen\">true (Modified)<\/font><\/strong><\/td>\n<\/tr>\n<tr>\n<td>4<\/td>\n<td colspan=\"3\"><\/td>\n<td>\n<pre><code class=\"java\">&rarr; invalidate(value) &larr; invalidate_ack(value) - invalidate_queue(value)<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<br \/>  <strong><font color=\"darkgreen\">(in invalidation queue)<\/font><\/strong><\/td>\n<td>(Invalid)<\/td>\n<\/tr>\n<tr>\n<td>5<\/td>\n<td>\n<pre><code class=\"java\">&rarr; read(finished) &larr; read_resp(finished)<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<br \/>  (10 in store buffer)<\/td>\n<td><strong><font color=\"darkgreen\">true (Shared)<\/font><\/strong><\/td>\n<\/tr>\n<tr>\n<td>6<\/td>\n<td colspan=\"3\"><\/td>\n<td>\n<pre><code class=\"java\">&rarr; read_resp(finished)<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<br \/>  (in invalidation queue)<\/td>\n<td><strong><font color=\"darkgreen\">true (Shared)<\/font><\/strong><\/td>\n<\/tr>\n<tr>\n<td>7<\/td>\n<td colspan=\"3\"><\/td>\n<td>\n<pre><code class=\"java\">&gt; assert value == 10;<\/code><\/pre>\n<\/td>\n<td>0 (Shared)<br \/>  (in invalidation queue)<\/td>\n<td>true (Shared)<\/td>\n<\/tr>\n<tr>\n<td colspan=\"4\"><\/td>\n<td colspan=\"3\"><font color=\"darkred\"><strong>Assertion fails<\/strong><\/font><\/td>\n<\/tr>\n<tr>\n<td>N<\/td>\n<td colspan=\"3\"><\/td>\n<td>\n<pre><code class=\"java\">- invalidate(value)<\/code><\/pre>\n<\/td>\n<td><strong><font color=\"darkgreen\">(Invalid)<\/font><\/strong><\/td>\n<td>true (Shared)<\/td>\n<\/tr>\n<\/table>\n<p>  \u041c\u043d\u043e\u0433\u043e\u043f\u043e\u0442\u043e\u0447\u043d\u043e\u0441\u0442\u044c \u044d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0438 \u043f\u043e\u043d\u044f\u0442\u043d\u043e, \u043d\u0435 \u043f\u0440\u0430\u0432\u0434\u0430 \u043b\u0438? \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0430 \u0448\u0430\u0433\u0430\u0445 (4) \u2014 (6). \u041f\u043e\u043b\u0443\u0447\u0438\u0432 <code>invalidate<\/code> \u0432 (4), \u043c\u044b \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u043c \u0435\u0433\u043e, \u0430 \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c. \u0410 \u0432 \u0448\u0430\u0433\u0435 (6) \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c <code>read_response<\/code> \u043d\u0430 \u0437\u0430\u043f\u0440\u043e\u0441 <code>read<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u044b\u043b \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u0435\u043d \u0440\u0430\u043d\u044c\u0448\u0435 \u0442\u043e\u0433\u043e, \u0432 (2). \u041e\u0434\u043d\u0430\u043a\u043e, \u044d\u0442\u043e \u043d\u0435 \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u043d\u0430\u0441 \u0438\u043d\u0432\u0430\u043b\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u0442\u044c <code>value<\/code>, \u0438 \u043f\u043e\u0442\u043e\u043c\u0443 assertion \u043f\u0430\u0434\u0430\u0435\u0442. \u0415\u0441\u043b\u0438 \u0431\u044b \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f (N) \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043b\u0430\u0441\u044c \u0440\u0430\u043d\u044c\u0448\u0435, \u0442\u043e \u0443 \u043d\u0430\u0441 \u0431\u044b \u0435\u0449\u0451 \u0431\u044b\u043b \u0448\u0430\u043d\u0441, \u043d\u043e \u0441\u0435\u0439\u0447\u0430\u0441 \u044d\u0442\u0430 \u0447\u0451\u0440\u0442\u043e\u0432\u0430 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u043d\u0430\u043c \u0432\u0441\u0451 \u0441\u043b\u043e\u043c\u0430\u043b\u0430! \u041d\u043e \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b, \u043e\u043d\u0430 \u0442\u0430\u043a\u0430\u044f \u0431\u044b\u0441\u0442\u0440\u0430\u044f \u0438 \u0434\u0430\u0451\u0442 \u043d\u0430\u043c \u0443\u043b\u044c\u0442\u0440\u0430\u043b\u043e\u0443\u043b\u044d\u0439\u0442\u0435\u043d\u0441\u0438\u2122! \u0412\u043e\u0442 \u0432\u0435\u0434\u044c \u0434\u0438\u043b\u0435\u043c\u043c\u0430. \u0420\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0438 \u0436\u0435\u043b\u0435\u0437\u0430 \u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u0437\u0430\u0440\u0430\u043d\u0435\u0435 \u043c\u0430\u0433\u0438\u0447\u0435\u0441\u043a\u0438 \u0437\u043d\u0430\u0442\u044c, \u043a\u043e\u0433\u0434\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u043e, \u0430 \u043a\u043e\u0433\u0434\u0430 \u043e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0447\u0442\u043e-\u0442\u043e \u0441\u043b\u043e\u043c\u0430\u0442\u044c. \u0418 \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u043d\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u044e\u0442 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043d\u0430\u043c, \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u044f: \u00abIt&#8217;s dangerous to go alone. Take this!\u00bb<\/p>\n<h3><font color=\"darkgreen\">Hardware Memory Model<\/font><\/h3>\n<p>  \u0412\u043e\u043b\u0448\u0435\u0431\u043d\u044b\u0439 \u043c\u0435\u0447, \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u0441\u043d\u0430\u0431\u0436\u0430\u044e\u0442 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u043e\u0432, \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u0432\u0448\u0438\u0445\u0441\u044f \u0441\u0440\u0430\u0436\u0430\u0442\u044c\u0441\u044f \u0441 \u0434\u0440\u0430\u043a\u043e\u043d\u0430\u043c\u0438 \u2014 \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u0432\u043e\u0432\u0441\u0435 \u043d\u0435 \u043c\u0435\u0447, \u0430 \u0441\u043a\u043e\u0440\u0435\u0435 \u041f\u0440\u0430\u0432\u0438\u043b\u0430 \u0418\u0433\u0440\u044b. \u0412 \u043d\u0438\u0445 \u043e\u043f\u0438\u0441\u0430\u043d\u043e, \u043a\u0430\u043a\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043f\u0440\u0438 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0438 \u0438\u043c \u0438\u043b\u0438 \u0434\u0440\u0443\u0433\u0438\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043e\u043c \u0442\u0435\u0445 \u0438\u043b\u0438 \u0438\u043d\u044b\u0445 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0439. \u0410 \u0432\u043e\u0442 Memory Barrier \u2014 \u044d\u0442\u043e \u0443\u0436\u0435 \u0447\u0442\u043e-\u0442\u043e, \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u0431\u043e\u043b\u044c\u0448\u0435 \u043f\u043e\u0445\u043e\u0436\u0435\u0435 \u043d\u0430 \u043c\u0435\u0447. \u0412 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c\u043e\u043c \u043d\u0430\u043c\u0438 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 MESI \u0431\u044b\u0432\u0430\u044e\u0442 \u0442\u0430\u043a\u0438\u0435 \u043c\u0435\u0447\u0438:<\/p>\n<blockquote><p><strong>Store Memory Barrier<\/strong> (\u0442\u0430\u043a\u0436\u0435 ST, SMB, smp_wmb) \u2014 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f, \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0449\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u0432\u0441\u0435 store, \u0443\u0436\u0435 \u043d\u0430\u0445\u043e\u0434\u044f\u0449\u0438\u0435\u0441\u044f \u0432 \u0431\u0443\u0444\u0435\u0440\u0435, \u043f\u0440\u0435\u0436\u0434\u0435 \u0447\u0435\u043c \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u0442\u0435, \u0447\u0442\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0442 \u043f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438<\/p><\/blockquote>\n<p>  <\/p>\n<blockquote><p><strong>Load Memory Barrier<\/strong> (\u0442\u0430\u043a\u0436\u0435 LD, RMB, smp_rmb) \u2014 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f, \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0449\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u0432\u0441\u0435 invalidate, \u0443\u0436\u0435 \u043d\u0430\u0445\u043e\u0434\u044f\u0449\u0438\u0435\u0441\u044f \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u0438, \u043f\u0440\u0435\u0436\u0434\u0435 \u0447\u0435\u043c \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u043a\u0430\u043a\u0438\u0435-\u043b\u0438\u0431\u043e \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 load<\/p><\/blockquote>\n<p>  \u0418\u043c\u0435\u044f \u0432 \u0440\u0430\u0441\u043f\u043e\u0440\u044f\u0436\u0435\u043d\u0438\u0438 \u043d\u043e\u0432\u043e\u0435 \u043e\u0440\u0443\u0436\u0438\u0435, \u043c\u044b \u0441 \u043b\u0451\u0433\u043a\u043e\u0441\u0442\u044c\u044e \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0447\u0438\u043d\u0438\u0442\u044c \u0441\u0432\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<pre><code class=\"java\">void executedOnCpu0() {     value = 10;     storeMemoryBarrier();     finished = true; }  void executedOnCpu1() {     while(!finished);     loadMemoryBarrier();     assert value == 10; } <\/code><\/pre>\n<p>  \u041f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e, \u0432\u0441\u0451 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u043c\u044b \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u044b! \u041c\u043e\u0436\u043d\u043e \u0438\u0434\u0442\u0438 \u0438 \u043f\u0438\u0441\u0430\u0442\u044c \u043a\u043b\u0430\u0441\u0441\u043d\u044b\u0439 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u0439 \u043c\u043d\u043e\u0433\u043e\u043f\u043e\u0442\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u0434. \u0425\u043e\u0442\u044f \u0441\u0442\u043e\u043f\u2026<\/p>\n<h1><font color=\"darkred\">\u041a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u0431\u044b, \u043f\u0440\u0438\u0447\u0451\u043c \u0437\u0434\u0435\u0441\u044c Java?<\/font><\/h1>\n<p>  <\/p>\n<h2><font color=\"darkgreen\">Write Once @ Run Anywhere<\/font><\/h2>\n<p>  \u0412\u0441\u0435 \u044d\u0442\u0438 \u0440\u0430\u0437\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u044b\u0435 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u043a\u043e\u0433\u0435\u0440\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u043a\u0435\u0448\u0435\u0439, \u043c\u0435\u043c\u0431\u0430\u0440\u044b, \u0441\u0431\u0440\u043e\u0448\u0435\u043d\u043d\u044b\u0435 \u043a\u0435\u0448\u0438 \u0438 \u043f\u0440\u043e\u0447\u0438\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0435 \u0434\u043b\u044f \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b \u0432\u0435\u0449\u0438, \u043f\u043e \u0438\u0434\u0435\u0435, \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u044b \u0432\u043e\u043b\u043d\u043e\u0432\u0430\u0442\u044c \u0442\u0435\u0445, \u043a\u0442\u043e \u043f\u0438\u0448\u0435\u0442 \u043a\u043e\u0434 \u043d\u0430 Java. Java \u0432\u0435\u0434\u044c \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u043e-\u043d\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u0430, \u0432\u0435\u0440\u043d\u043e? \u0418 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u0432 \u041c\u043e\u0434\u0435\u043b\u0438 \u041f\u0430\u043c\u044f\u0442\u0438 Java \u043d\u0435\u0442 \u043f\u043e\u043d\u044f\u0442\u0438\u044f reordering. <\/p>\n<blockquote><p><font color=\"darkred\"><b>NB<\/b>: \u0415\u0441\u043b\u0438 \u044d\u0442\u0430 \u0444\u0440\u0430\u0437\u0430 \u0432\u0430\u0441 \u0441\u043c\u0443\u0449\u0430\u0435\u0442, \u043d\u0435 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0439\u0442\u0435 \u0447\u0438\u0442\u0430\u0442\u044c \u0441\u0442\u0430\u0442\u044c\u044e, \u043f\u043e\u043a\u0430 \u043d\u0435 \u043f\u043e\u0439\u043c\u0451\u0442\u0435, \u043f\u043e\u0447\u0435\u043c\u0443. \u0418 \u0447\u0438\u0442\u0430\u0439\u0442\u0435, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, <a href=\"http:\/\/cheremin.blogspot.ru\/2013\/02\/blog-post_26.html\">\u044d\u0442\u043e<\/a><\/font>.<\/p><\/blockquote>\n<p> \u0410 \u0432\u043e\u043e\u0431\u0449\u0435, \u0437\u0432\u0443\u0447\u0438\u0442 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e. \u041f\u043e\u043d\u044f\u0442\u0438\u044f \u00abreordering\u00bb \u043d\u0435\u0442, \u0430 \u0441\u0430\u043c reordering \u0435\u0441\u0442\u044c. \u0412\u043b\u0430\u0441\u0442\u0438 \u044f\u0432\u043d\u043e \u0447\u0442\u043e-\u0442\u043e \u0441\u043a\u0440\u044b\u0432\u0430\u044e\u0442! \u041d\u043e \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u043e\u0442\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u043e\u0442 \u043a\u043e\u043d\u0441\u043f\u0438\u0440\u043e\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043e\u0446\u0435\u043d\u043a\u0438 \u043e\u043a\u0440\u0443\u0436\u0430\u044e\u0449\u0435\u0439 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438, \u043c\u044b \u043e\u0441\u0442\u0430\u043d\u0435\u043c\u0441\u044f \u0441 \u043b\u044e\u0431\u043e\u043f\u044b\u0442\u0441\u0442\u0432\u043e\u043c \u0438 \u0436\u0435\u043b\u0430\u043d\u0438\u0435\u043c \u0437\u043d\u0430\u0442\u044c. \u0423\u0442\u043e\u043b\u0438\u043c \u0436\u0435 \u0435\u0433\u043e! \u0412\u043e\u0437\u044c\u043c\u0451\u043c \u043f\u0440\u043e\u0441\u0442\u0435\u043d\u044c\u043a\u0438\u0439 \u043a\u043b\u0430\u0441\u0441, \u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u043d\u0430\u0448 \u043d\u0435\u0434\u0430\u0432\u043d\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440:<sup>[<a href=\"https:\/\/github.com\/gvsmirnov\/java-perv\/blob\/master\/labs\/src\/main\/java\/ru\/gvsmirnov\/perv\/labs\/concurrency\/TestSubject.java\">github<\/a>]<\/sup><\/p>\n<pre><code class=\"java\">public class TestSubject {      private volatile boolean finished;     private int value = 0;      void executedOnCpu0() {         value = 10;         finished = true;     }      void executedOnCpu1() {         while(!finished);         assert value == 10;     }  } <\/code><\/pre>\n<p>  \u0422\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u043e, \u0435\u0441\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u043e\u0432 \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u044f\u0441\u043d\u0438\u0442\u044c, \u0447\u0442\u043e \u0436\u0435 \u0442\u0430\u043c \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442. \u041c\u043e\u0436\u043d\u043e \u0440\u0430\u0437\u0432\u043b\u0435\u0447\u044c\u0441\u044f \u0441 <code>PrintAssembly<\/code>, \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0433\u043b\u044f\u0434\u0435\u0442\u044c, \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440, \u043c\u043e\u0436\u043d\u043e \u043e\u0442\u0436\u0430\u0442\u044c \u0442\u0430\u0439\u043d\u044b\u0435 \u0437\u043d\u0430\u043d\u0438\u044f \u0443 \u0442\u0435\u0445, \u043a\u0442\u043e \u0443\u0436\u0435 \u0437\u043d\u0430\u0435\u0442. \u041c\u043e\u0436\u043d\u043e <a href=\"http:\/\/lesswrong.com\/lw\/iu\/mysterious_answers_to_mysterious_questions\/\">\u0441 \u0437\u0430\u0433\u0430\u0434\u043e\u0447\u043d\u044b\u043c \u0432\u0438\u0434\u043e\u043c \u0441\u043a\u0430\u0437\u0430\u0442\u044c<\/a>, \u0447\u0442\u043e \u0442\u0430\u043c \u0441\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043a\u0435\u0448\u0438 \u0438 \u0443\u0441\u043f\u043e\u043a\u043e\u0438\u0442\u044c\u0441\u044f.<\/p>\n<p>  \u0412 \u043f\u0440\u043e\u0448\u043b\u044b\u0439 \u0440\u0430\u0437 \u043c\u044b \u0441\u043c\u043e\u0442\u0440\u0435\u043b\u0438 \u043d\u0430 \u0441\u0438\u0448\u043d\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440, <a href=\"http:\/\/habrahabr.ru\/post\/143237\/#comment_4857955\">\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0432 production<\/a>. \u0412 \u044d\u0442\u043e\u0442 \u0440\u0430\u0437 \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043d\u0430 \u0442\u043e, \u043a\u0430\u043a \u0434\u0435\u0439\u0441\u0442\u0432\u0443\u0435\u0442 \u043a\u043b\u0438\u0435\u043d\u0442\u0441\u043a\u0438\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440(C1). \u042f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b \u0434\u043b\u044f \u0441\u0432\u043e\u0438\u0445 \u0446\u0435\u043b\u0435\u0439 <a href=\"https:\/\/jdk7.java.net\/source.html\">openjdk-7u40-fcs-src-b43-26_aug_2013<\/a>.<\/p>\n<p>  \u0414\u043b\u044f \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0430\u043d\u044c\u0448\u0435 \u043d\u0435 \u043e\u0442\u043a\u0440\u044b\u0432\u0430\u043b \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0438 OpenJDK (\u043a\u0430\u043a, \u0432\u043f\u0440\u043e\u0447\u0435\u043c \u0438 \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u043a\u0442\u043e \u043e\u0442\u043a\u0440\u044b\u0432\u0430\u043b), \u043c\u043e\u0436\u0435\u0442 \u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u043d\u0435\u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0435\u0439 \u043d\u0430\u0439\u0442\u0438, \u0433\u0434\u0435 \u0432 \u043d\u0438\u0445 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u044f\u0442\u0441\u044f \u043d\u0443\u0436\u043d\u044b\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f. \u041e\u0434\u0438\u043d \u0438\u0437 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u044d\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u2014 \u043f\u043e\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0432 \u0431\u0430\u0439\u0442-\u043a\u043e\u0434 \u0438 \u0443\u0437\u043d\u0430\u0442\u044c \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435 \u043d\u0443\u0436\u043d\u043e\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438, \u0430 \u043f\u043e\u0442\u043e\u043c \u0438\u0441\u043a\u0430\u0442\u044c \u043f\u043e \u043d\u0435\u043c\u0443.<\/p>\n<pre><code class=\"java\">$ javac TestSubject.java && javap -c TestSubject void executedOnCpu0();   Code:      0: aload_0          \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a this      1: bipush        10 \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a 10      3: putfield      #2 \/\/ \u0417\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u0435 \u043f\u043e\u043b\u0435 this (value) \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0441 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u0441\u0442\u0435\u043a\u0430(10)      6: aload_0          \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a this      7: iconst_1         \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a 1      8: putfield      #3 \/\/ \u0417\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u0432 \u0442\u0440\u0435\u0442\u044c\u0435 \u043f\u043e\u043b\u0435 this (finished) \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0441 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u0441\u0442\u0435\u043a\u0430(1)     11: return  void executedOnCpu1();   Code:      0: aload_0          \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a this      1: getfield      #3 \/\/ \u0417\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a \u0442\u0440\u0435\u0442\u044c\u0435 \u043f\u043e\u043b\u0435 this (finished)      4: ifne          10 \/\/ \u0415\u0441\u043b\u0438 \u0442\u0430\u043c \u043d\u0435 \u043d\u043e\u043b\u044c, \u0442\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u043c \u043a \u043c\u0435\u0442\u043a\u0435 10(\u0446\u0438\u043a\u043b \u0437\u0430\u0432\u0435\u0440\u0448\u0451\u043d)      7: goto          0  \/\/ \u041f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u043c \u043a \u043d\u0430\u0447\u0430\u043b\u0443 \u0446\u0438\u043a\u043b\u0430     10: getstatic     #4 \/\/ \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0441\u043b\u0443\u0436\u0435\u0431\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 $assertionsDisabled:Z     13: ifne          33 \/\/ \u0415\u0441\u043b\u0438 assertions \u0432\u044b\u043a\u043b\u044e\u0447\u0435\u043d\u044b, \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u043c \u043a \u043c\u0435\u0442\u043a\u0435 33(\u043a\u043e\u043d\u0435\u0446)     16: aload_0          \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a this     17: getfield      #2 \/\/ \u0417\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a \u0432\u0442\u043e\u0440\u043e\u0435 \u043f\u043e\u043b\u0435 this (value)     20: bipush        10 \/\/ \u0422\u043e\u043b\u043a\u0430\u0435\u043c \u0432 \u0441\u0442\u0435\u043a 10     22: if_icmpeq     33 \/\/ \u0415\u0441\u043b\u0438 \u0434\u0432\u0430 \u0432\u0435\u0440\u0445\u043d\u0438\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0441\u0442\u0435\u043a\u0430 \u0440\u0430\u0432\u043d\u044b, \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u043c \u043a \u043c\u0435\u0442\u043a\u0435 33(\u043a\u043e\u043d\u0435\u0446)     25: new           #5 \/\/ \u0421\u043e\u0437\u0434\u0430\u0451\u043c \u043d\u043e\u0432\u044b\u0439 java\/lang\/AssertionError     28: dup              \/\/ \u0414\u0443\u0431\u043b\u0438\u0440\u0443\u0435\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043d\u0430 \u0432\u0435\u0440\u0445\u0443\u0448\u043a\u0435 \u0441\u0442\u0435\u043a\u0430     29: invokespecial #6 \/\/ \u0412\u044b\u0437\u044b\u0432\u0430\u0435\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 (\u043c\u0435\u0442\u043e\u0434 &lt;init&gt;)     32: athrow           \/\/ \u041a\u0438\u0434\u0430\u0435\u043c \u0442\u043e, \u0447\u0442\u043e \u043b\u0435\u0436\u0438\u0442 \u043d\u0430 \u0432\u0435\u0440\u0445\u0443\u0448\u043a\u0435 \u0441\u0442\u0435\u043a\u0430     33: return <\/code><\/pre>\n<p>  <\/p>\n<blockquote><p><font color=\"darkred\"><b>NB<\/b>: \u041d\u0435 \u0441\u0442\u043e\u0438\u0442 \u043f\u044b\u0442\u0430\u0442\u044c\u0441\u044f \u043f\u043e \u0431\u0430\u0439\u0442-\u043a\u043e\u0434\u0443 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0442\u043e\u0447\u043d\u043e\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435. \u041f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a JIT-\u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u0434\u0435\u043b\u0430\u0435\u0442 \u0441\u0432\u043e\u0451 \u0434\u0435\u043b\u043e, \u0432\u0441\u0451 \u043c\u043e\u0436\u0435\u0442 \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u044c\u0441\u044f \u043e\u0447\u0435\u043d\u044c \u0441\u0438\u043b\u044c\u043d\u043e.<\/font><\/p><\/blockquote>\n<p>\u0427\u0442\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e\u0433\u043e \u043c\u044b \u0437\u0434\u0435\u0441\u044c \u043c\u043e\u0436\u0435\u043c \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c? \u041f\u0435\u0440\u0432\u0430\u044f \u043c\u0435\u043b\u043e\u0447\u044c, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043c\u043d\u043e\u0433\u0438\u0435 \u0437\u0430\u0431\u044b\u0432\u0430\u044e\u0442 \u2014 \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e assertion-\u044b \u0432\u044b\u043a\u043b\u044e\u0447\u0435\u043d\u044b. \u0412\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u0438\u0445 \u043c\u043e\u0436\u043d\u043e \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043b\u044e\u0447\u0438\u043a\u0430 <code>-ea<\/code>. \u041d\u043e \u044d\u0442\u043e \u0442\u0430\u043a, \u0435\u0440\u0443\u043d\u0434\u0430. \u0422\u043e, \u0437\u0430 \u0447\u0435\u043c \u043c\u044b \u0441\u044e\u0434\u0430 \u043f\u0440\u0438\u0448\u043b\u0438, \u2014 \u0438\u043c\u0435\u043d\u0430 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439 <code>getfield<\/code> \u0438 <code>putfield<\/code>. \u0412\u044b \u0434\u0443\u043c\u0430\u0435\u0442\u0435 \u043e \u0442\u043e\u043c \u0436\u0435, \u043e \u0447\u0451\u043c \u0438 \u044f? <font color=\"lightgrey\">(\u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u0413\u043b\u0435\u0431! \u0422\u043e\u043b\u044c\u043a\u043e \u043a\u0430\u043a \u043c\u044b \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u043c \u0421\u0444\u0435\u0440\u0443 \u0414\u0430\u0439\u0441\u043e\u043d\u0430 \u0438\u0437 \u0431\u0435\u043a\u043e\u043d\u0430, \u0432\u0430\u043d\u0442\u0443\u0437\u0430 \u0438 <a href=\"http:\/\/clck.ru\/846\"><font color=\"lightgrey\">\u0434\u0432\u0443\u0445 \u0431\u044e\u0441\u0442\u0433\u0430\u043b\u044c\u0442\u0435\u0440\u043e\u0432<\/font><\/a>?!)<\/font><\/p>\n<h2><font color=\"darkgreen\">Down the Rabbit Hole<\/font><\/h2>\n<p>  \u041e\u0431\u0440\u0430\u0442\u0438\u0432 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043d\u0430 \u0442\u043e, \u0447\u0442\u043e \u0434\u043b\u044f \u043e\u0431\u043e\u0438\u0445 \u043f\u043e\u043b\u0435\u0439 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043e\u0434\u043d\u0438 \u0438 \u0442\u0435 \u0436\u0435 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u0433\u0434\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u043f\u043e\u043b\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f <code>volatile<\/code>. \u0414\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0445 \u043e \u043f\u043e\u043b\u044f\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043a\u043b\u0430\u0441\u0441 <code>share\/vm\/ci\/ciField.hpp<\/code>. \u041d\u0430\u0441 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u0443\u0435\u0442 \u043c\u0435\u0442\u043e\u0434  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>176<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">bool is_volatile    () { return flags().is_volatile(); } <\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>\u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0443\u0437\u043d\u0430\u0442\u044c, \u0447\u0442\u043e C1 \u0434\u0435\u043b\u0430\u0435\u0442 \u0441 \u0434\u043e\u0441\u0442\u0443\u043f\u043e\u043c \u043a <code>volatile<\/code> \u043f\u043e\u043b\u044f\u043c, \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0439\u0442\u0438 \u0432\u0441\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u043c\u0435\u0442\u043e\u0434\u0430. \u041d\u0435\u043c\u043d\u043e\u0433\u043e \u043f\u043e\u0431\u0440\u043e\u0434\u0438\u0432 \u043f\u043e \u043f\u043e\u0434\u0437\u0435\u043c\u0435\u043b\u044c\u044f\u043c\u0438 \u0438 \u0441\u043e\u0431\u0440\u0430\u0432 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0421\u0432\u0438\u0442\u043a\u043e\u0432 \u0441 \u0414\u0440\u0435\u0432\u043d\u0438\u043c\u0438 \u0417\u043d\u0430\u043d\u0438\u044f\u043c\u0438, \u043c\u044b \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u0441\u044f \u0432 \u0444\u0430\u0439\u043b\u0435 <code>share\/vm\/c1\/c1_LIRGenerator.cpp<\/code>. \u041a\u0430\u043a \u043d\u0430\u043c\u0435\u043a\u0430\u0435\u0442 \u043d\u0430\u043c \u0435\u0433\u043e \u0438\u043c\u044f, \u043e\u043d \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u0442\u0441\u044f \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0435\u0439 \u043d\u0438\u0437\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u043e\u0433\u043e \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f (<strong>LIR<\/strong>, Low-Level Intermediate Representation) \u043d\u0430\u0448\u0435\u0433\u043e \u043a\u043e\u0434\u0430.<\/p>\n<h3>C1 Intermediate Representation \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 <code>putfield<\/code><\/h3>\n<p>  \u041f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 IR \u0432 C1 \u043d\u0430\u0448\u0430 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f <code>putfield<\/code> \u0432 \u0438\u0442\u043e\u0433\u0435 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0437\u0434\u0435\u0441\u044c. \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043e\u0441\u043e\u0431\u044b\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044e\u0442\u0441\u044f \u0434\u043b\u044f <code>volatile<\/code> \u043f\u043e\u043b\u0435\u0439 \u0438 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0431\u044b\u0441\u0442\u0440\u043e \u043d\u0430\u0442\u043a\u043d\u0451\u043c\u0441\u044f \u043d\u0430 \u0437\u043d\u0430\u043a\u043e\u043c\u044b\u0435 \u0441\u043b\u043e\u0432\u0430:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>1734 1735 1736<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">if (is_volatile && os::is_MP()) {     __ membar_release(); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>\u0417\u0434\u0435\u0441\u044c <code>__<\/code> \u2014 \u044d\u0442\u043e \u043c\u0430\u043a\u0440\u043e\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0430\u0441\u043a\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432 <code>gen()-&gt;lir()-&gt;<\/code>. \u0410 \u043c\u0435\u0442\u043e\u0434 <code>membar_release<\/code> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d \u0432 <code>share\/vm\/c1\/c1_LIR.hpp<\/code>:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>1958<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">void membar_release()                          { append(new LIR_Op0(lir_membar_release)); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>\u0424\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438, \u044d\u0442\u0430 \u0441\u0442\u0440\u043e\u043a\u0430 \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0430 \u0432 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043d\u0430\u0448\u0435\u0433\u043e \u043a\u043e\u0434\u0430 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044e membar_release. \u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>1747 1748 1749<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">if (is_volatile && !needs_patching) {     volatile_field_store(value.result(), address, info); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p> \u0420\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043c\u0435\u0442\u043e\u0434\u0430 <code>volatile_field_store<\/code> \u0443\u0436\u0435 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u043e-\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u0430. \u041d\u0430 x86 (<code>cpu\/x86\/vm\/c1_LIRGenerator_x86.cpp<\/code>), \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0442 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u044b\u0435: \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442\u0441\u044f, \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0438 \u043f\u043e\u043b\u0435 64-\u0431\u0438\u0442\u043d\u044b\u043c, \u0438 \u0435\u0441\u043b\u0438 \u044d\u0442\u043e \u0442\u0430\u043a, \u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0427\u0451\u0440\u043d\u0430\u044f \u041c\u0430\u0433\u0438\u044f \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u043e\u0441\u0442\u044c \u0437\u0430\u043f\u0438\u0441\u0438. \u0412\u0441\u0435 \u0436\u0435 \u043f\u043e\u043c\u043d\u044f\u0442, \u0447\u0442\u043e \u0432 \u043f\u0440\u0438 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0438 \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u0430 <code>volatile<\/code> \u043f\u043e\u043b\u044f \u0442\u0438\u043f\u0430 <code>long<\/code> \u0438 <code>double<\/code> <a href=\"http:\/\/docs.oracle.com\/javase\/specs\/jls\/se7\/html\/jls-17.html#jls-17.7\">\u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0437\u0430\u043f\u0438\u0441\u0430\u043d\u044b \u043d\u0435\u0430\u0442\u043e\u043c\u0430\u0440\u043d\u043e<\/a>? <\/p>\n<p>  \u0418, \u043d\u0430\u043a\u043e\u043d\u0435\u0446, \u0432 \u0441\u0430\u043c\u043e\u043c \u043a\u043e\u043d\u0446\u0435, \u0441\u0442\u0430\u0432\u0438\u0442\u0441\u044f \u0435\u0449\u0451 \u043e\u0434\u0438\u043d membar, \u043d\u0430 \u044d\u0442\u043e\u0442 \u0440\u0430\u0437 \u0431\u0435\u0437 release:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>1759 1760 1761<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">if (is_volatile && os::is_MP()) {     __ membar(); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<tr>\n<td width=\"60\">\n<pre><code>1956<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">void membar()                                  { append(new LIR_Op0(lir_membar)); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<blockquote><p><font color=\"grey\"><b>NB<\/b>: \u042f, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043a\u043e\u0432\u0430\u0440\u043d\u043e \u0441\u043a\u0440\u044b\u043b \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0438\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043c\u0430\u043d\u0438\u043f\u0443\u043b\u044f\u0446\u0438\u0438, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 GC. \u0418\u0437\u0443\u0447\u0438\u0442\u044c \u0438\u0445 \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044e \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u044f.<\/font><\/p><\/blockquote>\n<h3>\u041f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435 IR \u0432 \u0430\u0441\u0441\u0435\u043c\u0431\u043b\u0435\u0440<\/h3>\n<p>  \u041c\u044b \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u043b\u0438 \u0442\u043e\u043b\u044c\u043a\u043e ST \u0438 LD, \u0430 \u0442\u0443\u0442 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u044e\u0442\u0441\u044f \u043d\u043e\u0432\u044b\u0435 \u0442\u0438\u043f\u044b \u0431\u0430\u0440\u044c\u0435\u0440\u043e\u0432. \u0414\u0435\u043b\u043e \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043c\u044b \u0432\u0438\u0434\u0435\u043b\u0438 \u0440\u0430\u043d\u044c\u0448\u0435 \u2014 \u044d\u0442\u043e \u043f\u0440\u0438\u043c\u0435\u0440 \u0431\u0430\u0440\u044c\u0435\u0440\u043e\u0432 \u0434\u043b\u044f \u043d\u0438\u0437\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0433\u043e MESI. \u0410 \u043c\u044b \u0443\u0436\u0435 \u043f\u0435\u0440\u0435\u0448\u043b\u0438 \u043d\u0430 \u0431\u043e\u043b\u0435\u0435 \u0432\u044b\u0441\u043e\u043a\u0438\u0439 \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438, \u0438 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0438\u0441\u044c. \u041f\u0443\u0441\u0442\u044c \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0434\u0432\u0430 \u0442\u0438\u043f\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439 \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e: Store \u0438 Load. \u0422\u043e\u0433\u0434\u0430 \u0435\u0441\u0442\u044c \u0447\u0435\u0442\u044b\u0440\u0435 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u044b\u0435 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0438 \u0438\u0437 \u0434\u0432\u0443\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439: Load \u0438 Load, Load \u0438 Store, Store \u0438 Load, Store \u0438 Store. \u0414\u0432\u0435 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 \u043c\u044b \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043b\u0438: <strong>StoreStore<\/strong> \u0438 <strong>LoadLoad<\/strong> \u2014 \u0438 \u0435\u0441\u0442\u044c \u0442\u0435 \u0441\u0430\u043c\u044b\u0435 \u0431\u0430\u0440\u044c\u0435\u0440\u044b, \u0447\u0442\u043e \u043c\u044b \u0432\u0438\u0434\u0435\u043b\u0438, \u0433\u043e\u0432\u043e\u0440\u044f \u043e MESI. \u041e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u0434\u0432\u0435 \u0442\u043e\u0436\u0435 \u0434\u043e\u043b\u0436\u043d\u044b \u0431\u044b\u0442\u044c \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043b\u0435\u0433\u043a\u043e \u0443\u0441\u0432\u0430\u0438\u0432\u0430\u0435\u043c\u044b\u043c\u0438. \u0412\u0441\u0435 load, \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0435 \u0434\u043e <strong>LoadStore<\/strong>, \u0434\u043e\u043b\u0436\u043d\u044b \u0437\u0430\u0432\u0435\u0440\u0448\u0438\u0442\u044c\u0441\u044f \u043f\u0440\u0435\u0436\u0434\u0435, \u0447\u0435\u043c \u043b\u044e\u0431\u043e\u0439 store \u043f\u043e\u0441\u043b\u0435. \u0421\u043e <strong>StoreLoad<\/strong>, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043d\u0430\u043e\u0431\u043e\u0440\u043e\u0442. \u0411\u043e\u043b\u0435\u0435 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u043e\u0431 \u044d\u0442\u043e\u043c \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432 <a href=\"http:\/\/g.oswego.edu\/dl\/jmm\/cookbook.html\">JSR-133 Cookbook<\/a>.<\/p>\n<p>  \u041a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u0432\u044b\u0434\u0435\u043b\u044f\u044e\u0442 \u043f\u043e\u043d\u044f\u0442\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0441 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u043e\u0439 <strong>Acquire<\/strong> \u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0441 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u043e\u0439 <strong>Release<\/strong>. \u041f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c\u0430 \u043a \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u043c \u0437\u0430\u043f\u0438\u0441\u0438, \u0438 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442, \u0447\u0442\u043e \u043b\u044e\u0431\u044b\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e, \u0438\u0434\u0443\u0449\u0438\u0435 \u0434\u043e \u044d\u0442\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438, \u043e\u0431\u044f\u0437\u0430\u043d\u044b \u0437\u0430\u0432\u0435\u0440\u0448\u0438\u0442\u044c\u0441\u044f \u0434\u043e \u0435\u0451 \u043d\u0430\u0447\u0430\u043b\u0430. \u0418\u043d\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044e \u0441 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u043e\u0439 write-release \u043d\u0435\u043b\u044c\u0437\u044f reorder-\u0438\u0442\u044c \u0441 \u043b\u044e\u0431\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0435\u0439 \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e, \u0438\u0434\u0443\u0449\u0435\u0439 \u0434\u043e \u043d\u0435\u0451 \u0432 \u0442\u0435\u043a\u0441\u0442\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b. \u0422\u0430\u043a\u0443\u044e \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0443 \u043d\u0430\u043c \u043c\u043e\u0436\u0435\u0442 \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0442\u044c \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u044f LoadStore + StoreStore memory barrier. Acquire \u0436\u0435, \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u0434\u043e\u0433\u0430\u0434\u0430\u0442\u044c\u0441\u044f, \u0438\u043c\u0435\u0435\u0442 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u043f\u043e\u043b\u043e\u0436\u043d\u0443\u044e \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0443, \u0438 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0430 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0438 LoadStore + LoadLoad.<\/p>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u043f\u043e\u043d\u0438\u043c\u0430\u0435\u043c, \u043a\u0430\u043a\u0438\u0435 \u043c\u0435\u043c\u0431\u0430\u0440\u044b \u0440\u0430\u0441\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 JVM. \u041e\u0434\u043d\u0430\u043a\u043e, \u043f\u043e\u043a\u0430 \u043c\u044b \u0432\u0438\u0434\u0435\u043b\u0438 \u044d\u0442\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0432 LIR, \u043a\u043e\u0442\u043e\u0440\u044b\u0439, \u0445\u043e\u0442\u044c \u0438 Low-level, \u043d\u043e \u0432\u0441\u0451 \u0435\u0449\u0451 \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u043c \u043a\u043e\u0434\u043e\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u043e\u043b\u0436\u0435\u043d \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u043c JIT. \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0438\u043c\u0435\u043d\u043d\u043e C1 \u043f\u0440\u0435\u0431\u0440\u0430\u0437\u0443\u0435\u0442 LIR \u0432 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 \u043a\u043e\u0434, \u0432\u044b\u0445\u043e\u0434\u0438\u0442 \u0437\u0430 \u043f\u0440\u0435\u0434\u0435\u043b\u044b \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438, \u043f\u043e\u0442\u043e\u043c\u0443 \u043c\u044b \u0431\u0435\u0437 \u043b\u0438\u0448\u043d\u0438\u0445 \u043e\u0433\u043e\u0432\u043e\u0440\u043e\u043a \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u043c\u0441\u044f \u043f\u0440\u044f\u043c\u0438\u043a\u043e\u043c \u0432 \u0444\u0430\u0439\u043b\u0438\u043a <code>share\/vm\/c1\/c1_LIRAssembler.cpp<\/code>. \u0422\u0430\u043c \u0438 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432\u0441\u0451 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u0435 IR \u0432 \u0430\u0441\u0441\u0435\u043c\u0431\u043b\u0435\u0440\u043d\u044b\u0439 \u043a\u043e\u0434. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432 \u043e\u0447\u0435\u043d\u044c \u0437\u043b\u043e\u0432\u0435\u0449\u0435\u0439 \u0441\u0442\u0440\u043e\u043a\u0435 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u0442\u0441\u044f <code>lir_membar_release<\/code>:<\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>665 666 667<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">case lir_membar_release:       membar_release();       break;<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>\u0412\u044b\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0439 \u043c\u0435\u0442\u043e\u0434 \u0443\u0436\u0435 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u043e-\u0437\u0430\u0432\u0438\u0441\u0438\u043c, \u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f x86 \u043b\u0435\u0436\u0438\u0442 \u0432 <code>cpu\/x86\/vm\/c1_LIRAssembler_x86.cpp<\/code>:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>3733 3734 3735 3736<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">void LIR_Assembler::membar_release() {   \/\/ No x86 machines currently require store fences   \/\/ __ store_fence(); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>\u0428\u0438\u043a\u0430\u0440\u043d\u043e! \u0411\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0441\u0442\u0440\u043e\u0433\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u043f\u0430\u043c\u044f\u0442\u0438 (\u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435, TSO \u2014 Total Store Order), \u043d\u0430 \u044d\u0442\u043e\u0439 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0435 \u0432\u0441\u0435 \u0437\u0430\u043f\u0438\u0441\u0438 \u0438 \u0442\u0430\u043a \u0438\u043c\u0435\u044e\u0442 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0443 release. \u0410 \u0432\u043e\u0442 \u0441\u043e \u0432\u0442\u043e\u0440\u044b\u043c membar \u0432\u0441\u0451 \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u0441\u043b\u043e\u0436\u043d\u0435\u0435:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>3723 3724 3725 3726<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">void LIR_Assembler::membar() {   \/\/ QQQ sparc TSO uses this,   __ membar( Assembler::Membar_mask_bits(Assembler::StoreLoad)); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>  \u0422\u0443\u0442 \u043c\u0430\u043a\u0440\u043e\u0441 <code>__<\/code> \u0440\u0430\u0437\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432 <code>_masm-&gt;<\/code>, \u0430 \u043c\u0435\u0442\u043e\u0434 <code>membar<\/code> \u043b\u0435\u0436\u0438\u0442 \u0432 <code>cpu\/x86\/vm\/assembler_x86.hpp<\/code> \u0438 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">void membar(Membar_mask_bits order_constraint) {   if (os::is_MP()) {     \/\/ We only have to handle StoreLoad     if (order_constraint & StoreLoad) {         \/\/ All usable chips support &quot;locked&quot; instructions which suffice         \/\/ as barriers, and are much faster than the alternative of         \/\/ using cpuid instruction. We use here a locked add [esp],0.         \/\/ This is conveniently otherwise a no-op except for blowing         \/\/ flags.         \/\/ Any change to this code may need to revisit other places in         \/\/ the code where this idiom is used, in particular the         \/\/ orderAccess code.         lock();         addl(Address(rsp, 0), 0);\/\/ Assert the lock# signal here     }   } }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p>\u0412\u044b\u0445\u043e\u0434\u0438\u0442, \u043d\u0430 x86 \u043d\u0430 \u0437\u0430\u043f\u0438\u0441\u044c \u043a\u0430\u0436\u0434\u043e\u0439 <code>volatile<\/code> \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u043c\u044b \u0441\u0442\u0430\u0432\u0438\u043c \u0434\u043e\u0440\u043e\u0433\u043e\u0439 StoreLoad \u0431\u0430\u0440\u044c\u0435\u0440 \u0432 \u0432\u0438\u0434\u0435 <code>lock addl $0x0,(%rsp)<\/code>. \u041e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u0434\u043e\u0440\u043e\u0433\u0430\u044f, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043e\u043d\u0430 \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u043d\u0430\u0441 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u0432\u0441\u0435 Store \u0432 \u0431\u0443\u0444\u0435\u0440\u0435. \u041e\u0434\u043d\u0430\u043a\u043e \u043e\u043d\u0430 \u0434\u0430\u0451\u0442 \u043d\u0430\u043c \u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u044d\u0444\u0444\u0435\u043a\u0442, \u0447\u0442\u043e \u043c\u044b \u043e\u0436\u0438\u0434\u0430\u0435\u043c \u043e\u0442 <code>volatile<\/code> \u2014 \u0432\u0441\u0435 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u0442\u043e\u043a\u0438 \u0443\u0432\u0438\u0434\u044f\u0442 \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u0431\u044b\u0432\u0448\u0435\u0435 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u043c \u043d\u0430 \u043c\u043e\u043c\u0435\u043d\u0442 \u0435\u0451 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f.<\/p>\n<p>  \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e read \u043d\u0430 x86 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0441\u0430\u043c\u044b\u043c \u043e\u0431\u044b\u0447\u043d\u044b\u043c read. \u0411\u0435\u0433\u043b\u044b\u0439 \u043e\u0441\u043c\u043e\u0442\u0440 \u043c\u0435\u0442\u043e\u0434\u0430 <code>LIRGenerator::do_LoadField<\/code> \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u043d\u0430\u043c, \u0447\u0442\u043e \u043f\u043e\u0441\u043b\u0435 \u0447\u0442\u0435\u043d\u0438\u044f, \u043a\u0430\u043a \u043c\u044b \u0442\u043e\u0433\u043e \u0438 \u043e\u0436\u0438\u0434\u0430\u043b\u0438, \u0432\u044b\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f membar_acquire, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430 x86 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:  <\/p>\n<table>\n<tr>\n<td width=\"60\">\n<pre><code>3728 3729 3730 3731<\/code><\/pre>\n<\/td>\n<td>\n<pre><code class=\"cpp\">void LIR_Assembler::membar_acquire() {   \/\/ No x86 machines currently require load fences   \/\/ __ load_fence(); }<\/code><\/pre>\n<\/td>\n<\/tr>\n<\/table>\n<p> \u042d\u0442\u043e, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u0435\u0449\u0451 \u043d\u0435 \u0437\u043d\u0430\u0447\u0438\u0442, \u0447\u0442\u043e <code>volatile read<\/code> \u043d\u0435 \u043f\u0440\u0438\u0432\u043d\u043e\u0441\u0438\u0442 \u043d\u0438\u043a\u0430\u043a\u043e\u0433\u043e \u043e\u0432\u0435\u0440\u0445\u0435\u0434\u0430 \u043f\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044e \u0441 \u043e\u0431\u044b\u0447\u043d\u044b\u043c <code>read<\/code>. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0445\u043e\u0442\u044c \u0432 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 \u043a\u043e\u0434 \u043d\u0438\u0447\u0435\u0433\u043e \u0438 \u043d\u0435 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f, \u043d\u0430\u043b\u0438\u0447\u0438\u0435 \u0431\u0430\u0440\u044c\u0435\u0440\u0430 \u0432 \u0441\u0430\u043c\u043e\u0439 IR \u0437\u0430\u043f\u0440\u0435\u0449\u0430\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438. (\u0438\u043d\u0430\u0447\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0439\u043c\u0430\u0442\u044c <a href=\"https:\/\/bugs.openjdk.java.net\/browse\/JDK-7170145\">\u0437\u0430\u0431\u0430\u0432\u043d\u044b\u0435 \u0431\u0430\u0433\u0438<\/a>). \u0415\u0441\u0442\u044c \u0438 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0434\u0440\u0443\u0433\u0438\u0445 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432 \u043e\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f volatile. \u041f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u043e\u0431 \u044d\u0442\u043e\u043c \u043c\u043e\u0436\u043d\u043e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432\u043e\u0442 \u0432 <a href=\"http:\/\/brooker.co.za\/blog\/2012\/09\/10\/volatile.html\">\u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435<\/a>.<\/p>\n<h2><font color=\"darkgreen\">\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0430 \u0432\u0448\u0438\u0432\u043e\u0441\u0442\u044c<\/font><\/h2>\n<p>  <\/p>\n<h3>PrintAssembly<\/h3>\n<p>  \u0421\u0438\u0434\u0435\u0442\u044c \u0438 \u0433\u0430\u0434\u0430\u0442\u044c \u043d\u0430 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0430\u0445 \u2014 \u0431\u043b\u0430\u0433\u043e\u0440\u043e\u0434\u043d\u043e\u0435 \u0437\u0430\u043d\u044f\u0442\u0438\u0435, \u0434\u043e\u0441\u0442\u043e\u0439\u043d\u043e\u0435 \u043b\u044e\u0431\u043e\u0433\u043e \u0443\u0432\u0430\u0436\u0430\u044e\u0449\u0435\u0433\u043e \u0441\u0435\u0431\u044f \u0444\u0438\u043b\u043e\u0441\u043e\u0444\u0430. \u041e\u0434\u043d\u0430\u043a\u043e, \u043d\u0430 \u0432\u0441\u044f\u043a\u0438\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u043c\u044b \u0432\u0441\u0451 \u0436\u0435 \u0437\u0430\u0433\u043b\u044f\u043d\u0435\u043c \u0432 <code>PrintAssembly<\/code>. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0432 \u043f\u043e\u0434\u043e\u043f\u044b\u0442\u043d\u043e\u0433\u043e \u043a\u0440\u043e\u043b\u0438\u043a\u0430 \u043c\u043d\u043e\u0433\u043e \u0432\u044b\u0437\u043e\u0432\u043e\u0432 \u043d\u0443\u0436\u043d\u044b\u0445 \u043c\u0435\u0442\u043e\u0434\u043e\u0432 \u0432 \u0446\u0438\u043a\u043b\u0435, \u043e\u0442\u043a\u043b\u044e\u0447\u0438\u043c \u0438\u043d\u043b\u0430\u0439\u043d\u0438\u043d\u0433 (\u0447\u0442\u043e\u0431\u044b \u0431\u044b\u043b\u043e \u043b\u0435\u0433\u0447\u0435 \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0432 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u043c \u043a\u043e\u0434\u0435) \u0438 \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u043c\u0441\u044f \u0432 \u043a\u043b\u0438\u0435\u043d\u0442\u0441\u043a\u043e\u0439 VM, \u043d\u0435 \u0437\u0430\u0431\u044b\u0432 \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c assertions:<\/p>\n<pre><code>$ java -client -ea -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly -XX:MaxInlineSize=0 TestSubject ...   # {method} 'executedOnCpu0' '()V' in 'TestSubject' ...   0x00007f6d1d07405c: movl   $0xa,0xc(%rsi)   0x00007f6d1d074063: movb   $0x1,0x10(%rsi)   0x00007f6d1d074067: lock addl $0x0,(%rsp)     ;*putfield finished                                                 ; - TestSubject::executedOnCpu0@8 (line 15) ...   # {method} 'executedOnCpu1' '()V' in 'TestSubject' ...   0x00007f6d1d061126: movzbl 0x10(%rbx),%r11d   ;*getfield finished                                                 ; - TestSubject::executedOnCpu1@1 (line 19)   0x00007f6d1d06112b: test   %r11d,%r11d ...<\/code><\/pre>\n<p>  \u0412\u043e\u0442 \u0438 \u0441\u043b\u0430\u0432\u043d\u043e, \u0432\u0441\u0451 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0440\u043e\u0432\u043d\u043e \u0442\u0430\u043a, \u043a\u0430\u043a \u043c\u044b \u0438 \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0430\u043b\u0438. \u041e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043b\u0438 \u043f\u0440\u0438 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0438 <code>volatile<\/code> \u0447\u0442\u043e-\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0439\u0442\u0438 \u043d\u0435 \u0442\u0430\u043a. \u0420\u0430\u043d\u0435\u0435 \u0432 \u0441\u0432\u043e\u0435\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 <a href=\"http:\/\/habrahabr.ru\/users\/theshade\/\" class=\"user_link\">TheShade<\/a> \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u043b <a href=\"http:\/\/habrahabr.ru\/post\/143390\/\">\u0441\u043b\u043e\u043c\u0430\u043d\u043d\u044b\u0439 Double-Checked Locking<\/a>, \u043d\u043e \u043c\u044b \u0442\u043e\u0436\u0435 \u0445\u043e\u0442\u0438\u043c \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u043f\u043e\u0438\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c\u0441\u044f, \u0438 \u043f\u043e\u0442\u043e\u043c\u0443 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0441\u043b\u043e\u043c\u0430\u0442\u044c \u0432\u0441\u0451 \u0441\u0430\u043c\u0438. \u041d\u0443, \u0438\u043b\u0438 \u043f\u043e\u0447\u0442\u0438 \u0441\u0430\u043c\u0438.<\/p>\n<h3>\u0414\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043f\u043e\u043b\u043e\u043c\u043a\u0438 \u0431\u0435\u0437 volatile<\/h3>\n<p>  \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u0438 \u0442\u0430\u043a\u043e\u0433\u043e \u0440\u0435\u043e\u0440\u0434\u0435\u0440\u0438\u043d\u0433\u0430 \u0437\u0430\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c \u0435\u0433\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0432 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435 \u043e\u0447\u0435\u043d\u044c-\u0442\u043e \u0438 \u0432\u0435\u043b\u0438\u043a\u0430, \u0430 \u043d\u0430 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0445 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430\u0445 HMM \u0435\u0433\u043e \u0438 \u0432\u043e\u0432\u0441\u0435 \u043d\u0435 \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u0442. \u041f\u043e\u0442\u043e\u043c\u0443 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u043b\u0438\u0431\u043e \u0440\u0430\u0437\u0436\u0438\u0442\u044c\u0441\u044f \u0430\u043b\u044c\u0444\u043e\u0439, \u043b\u0438\u0431\u043e \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u044c\u0441\u044f \u043d\u0430 \u0440\u0435\u043e\u0440\u0434\u0435\u0440\u0438\u043d\u0433 \u0432 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0435. \u0418, \u043a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0432\u0441\u0451 \u043c\u043d\u043e\u0433\u043e-\u043c\u043d\u043e\u0433\u043e-\u043c\u043d\u043e\u0433\u043e \u0440\u0430\u0437. \u041a\u0430\u043a \u0445\u043e\u0440\u043e\u0448\u043e, \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0435 \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u0438\u0437\u043e\u0431\u0440\u0435\u0442\u0430\u0442\u044c \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0432\u0435\u043b\u043e\u0441\u0438\u043f\u0435\u0434. \u0412\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0441\u044f \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0443\u0442\u0438\u043b\u0438\u0442\u043e\u0439 <a href=\"http:\/\/openjdk.java.net\/projects\/code-tools\/jcstress\/\">j\u0441stress<\/a>. \u0415\u0441\u043b\u0438 \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u0441\u043e\u0432\u0441\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u043e, \u0442\u043e \u043e\u043d\u0430 \u043c\u043d\u043e\u0433\u043e\u043a\u0440\u0430\u0442\u043d\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043a\u043e\u0434 \u0438 \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442 \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u043a\u0443 \u043f\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0443 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f, \u0434\u0435\u043b\u0430\u044f \u0432\u0441\u044e \u0433\u0440\u044f\u0437\u043d\u0443\u044e \u0440\u0430\u0431\u043e\u0442\u0443 \u0437\u0430 \u043d\u0430\u0441. \u0412\u043a\u043b\u044e\u0447\u0430\u044f \u0438 \u0442\u0443, \u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043c\u043d\u043e\u0433\u0438\u0435 \u0438 \u043d\u0435 \u043f\u043e\u0434\u043e\u0437\u0440\u0435\u0432\u0430\u044e\u0442.<\/p>\n<p>  \u0411\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e, \u0437\u0430 \u043d\u0430\u0441 \u0443\u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0438 <a href=\"http:\/\/hg.openjdk.java.net\/code-tools\/jcstress\/file\/ecfe9e112bc6\/tests-custom\/src\/main\/java\/org\/openjdk\/jcstress\/tests\/fences\/UnfencedAcquireReleaseTest.java\">\u043d\u0443\u0436\u043d\u044b\u0439 \u0442\u0435\u0441\u0442<\/a>. \u0422\u043e\u0447\u043d\u0435\u0435, \u0447\u0443\u0442\u044c \u0431\u043e\u043b\u0435\u0435 \u0443\u0441\u043b\u043e\u0436\u043d\u0451\u043d\u043d\u044b\u0439, \u043d\u043e \u043f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0435\u0435:<\/p>\n<pre><code class=\"java\">static class State {     int x;     int y; \/\/ acq\/rel var }  @Override public void actor1(State s, IntResult2 r) {     s.x = 1;     s.x = 2;     s.y = 1;     s.x = 3; }  @Override public void actor2(State s, IntResult2 r) {     r.r1 = s.y;     r.r2 = s.x; } <\/code><\/pre>\n<p>  \u0423 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0434\u0432\u0430 \u043f\u043e\u0442\u043e\u043a\u0430: \u043e\u0434\u0438\u043d \u043c\u0435\u043d\u044f\u0435\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0430 \u0432\u0442\u043e\u0440\u043e\u0439 \u2014 \u0447\u0438\u0442\u0430\u0435\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0443\u0432\u0438\u0434\u0435\u043b. \u0424\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a \u0437\u0430 \u043d\u0430\u0441 \u0430\u0433\u0440\u0435\u0433\u0438\u0440\u0443\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0438\u0445 \u043f\u043e <a href=\"http:\/\/hg.openjdk.java.net\/code-tools\/jcstress\/file\/ecfe9e112bc6\/tests-custom\/src\/main\/resources\/org\/openjdk\/jcstress\/desc\/fences.xml\">\u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c<\/a>. \u0414\u043b\u044f \u043d\u0430\u0441 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b \u0434\u0432\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0436\u0435\u0442 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u043e\u0442\u043e\u043a: <code>[1, 0]<\/code> \u0438 <code>[1, 1]<\/code>. \u0412 \u044d\u0442\u0438\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u043c\u044b \u043f\u0440\u043e\u0447\u043b\u0438 <code> y == 1<\/code>, \u043d\u043e \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043c\u044b \u043b\u0438\u0431\u043e \u043d\u0435 \u0443\u0432\u0438\u0434\u0435\u043b\u0438 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u0437\u0430\u043f\u0438\u0441\u0435\u0439 \u0432 <code>x<\/code> (<code>x == 0<\/code>), \u043b\u0438\u0431\u043e \u0443\u0432\u0438\u0434\u0435\u043b\u0438 \u043d\u0435 \u0441\u0430\u043c\u0443\u044e \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u044e\u044e \u043d\u0430 \u043c\u043e\u043c\u0435\u043d\u0442 \u0437\u0430\u043f\u0438\u0441\u0438 <code>y<\/code>, \u0442\u043e \u0435\u0441\u0442\u044c <code>x == 1<\/code>. \u0421\u043e\u0433\u043b\u0430\u0441\u043d\u043e \u043d\u0430\u0448\u0435\u0439 \u0442\u0435\u043e\u0440\u0438\u0438, \u0442\u0430\u043a\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u0442\u044c\u0441\u044f. \u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043c \u044d\u0442\u043e:<\/p>\n<pre><code class=\"bash\">$ java -jar tests-all\/target\/jcstress.jar -v -t &quot;.*UnfencedAcquireReleaseTest.*&quot; ...  Observed state Occurrence      Expectation                                            Interpretation  [0, 0]          32725135        ACCEPTABLE       Before observing releasing write to, any value is OK for $x.  [0, 1]             15           ACCEPTABLE       Before observing releasing write to, any value is OK for $x.  [0, 2]             36           ACCEPTABLE       Before observing releasing write to, any value is OK for $x.  [0, 3]           10902          ACCEPTABLE       Before observing releasing write to, any value is OK for $x.  [1, 0]           65960    ACCEPTABLE_INTERESTING Can read the default or old value for $x after $y is observed.  [1, 3]          50929785        ACCEPTABLE       Can see a released value of $x if $y is observed.  [1, 2]             7            ACCEPTABLE       Can see a released value of $x if $y is observed. <\/code><\/pre>\n<p>  \u0422\u0443\u0442 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0432\u0438\u0434\u0435\u0442\u044c, \u0447\u0442\u043e \u0432 65960 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u0438\u0437 83731840 (\u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e 0.07%) \u043c\u044b \u0443\u0432\u0438\u0434\u0435\u043b\u0438 <code>y == 1 && x == 0<\/code>, \u0447\u0442\u043e \u044f\u0432\u043d\u043e \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0448\u0435\u0434\u0448\u0435\u043c \u0440\u0435\u043e\u0440\u0434\u0435\u0440\u0438\u043d\u0433\u0435. \u0423\u0440\u0430, \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u0432\u044f\u0437\u044b\u0432\u0430\u0442\u044c.<\/p>\n<p>  \u0423 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u0442\u0435\u043f\u0435\u0440\u044c \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0445\u043e\u0440\u043e\u0448\u0435\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0435\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c \u043d\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u044b, \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u0435 \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0441\u0442\u0430\u0442\u044c\u0438. \u041d\u0430\u043f\u043e\u043c\u043d\u044e:<\/p>\n<ul>\n<li><i>\u041a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 happens-before?<\/i><\/li>\n<li><i>\u041f\u0440\u0430\u0432\u0434\u0430 \u043b\u0438, \u0447\u0442\u043e <code>volatile<\/code> \u2014 \u044d\u0442\u043e \u0441\u0431\u0440\u043e\u0441 \u043a\u0435\u0448\u0435\u0439?<\/i><\/li>\n<li><i>\u0417\u0430\u0447\u0435\u043c \u0432\u043e\u043e\u0431\u0449\u0435 \u0431\u044b\u043b\u043e \u0433\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043a\u0430\u043a\u0443\u044e-\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u043f\u0430\u043c\u044f\u0442\u0438?<\/i><\/li>\n<\/ul>\n<p>  \u041d\u0443 \u0447\u0442\u043e, \u0432\u0441\u0451 \u0432\u0441\u0442\u0430\u043b\u043e \u043d\u0430 \u0441\u0432\u043e\u0438 \u043c\u0435\u0441\u0442\u0430? \u0415\u0441\u043b\u0438 \u043d\u0435\u0442, \u0442\u043e, \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u0432\u043d\u0438\u043a\u043d\u0443\u0442\u044c \u0432 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 \u0440\u0430\u0437\u0434\u0435\u043b \u0441\u0442\u0430\u0442\u044c\u0438 \u0435\u0449\u0451 \u0440\u0430\u0437. \u0415\u0441\u043b\u0438 \u044d\u0442\u043e \u043d\u0435 \u043f\u043e\u043c\u043e\u0433\u0430\u0435\u0442, \u0434\u043e\u0431\u0440\u043e \u043f\u043e\u0436\u0430\u043b\u043e\u0432\u0430\u0442\u044c \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438!<\/p>\n<h1><font color=\"darkred\">And one more thing \u00a9<\/font><\/h1>\n<p>\u0412\u044b\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430\u0434 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u043c \u043a\u043e\u0434\u043e\u043c \u043c\u043e\u0436\u0435\u0442 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0436\u0435\u043b\u0435\u0437\u043e, \u043d\u043e \u0438 \u0432\u0441\u044f \u0441\u0440\u0435\u0434\u0430 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f. \u0414\u043b\u044f \u0441\u043e\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u044f \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 JMM \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043d\u0430 \u0432\u0441\u0435 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b, \u0433\u0434\u0435 \u0447\u0442\u043e-\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u043c\u0435\u043d\u044f\u0442\u044c\u0441\u044f. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0442\u044c \u043a\u0430\u043a\u0438\u0435-\u0442\u043e \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438, \u043e\u0434\u043d\u0430\u043a\u043e \u043c\u043d\u043e\u0433\u0438\u0435 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0435\u043c\u0443 \u043c\u043e\u0436\u0435\u0442 \u0437\u0430\u043f\u0440\u0435\u0442\u0438\u0442\u044c \u0434\u0435\u043b\u0430\u0442\u044c JMM.<\/p>\n<p>  \u0420\u0430\u0437\u0443\u043c\u0435\u0435\u0442\u0441\u044f, \u0441\u0435\u0440\u0432\u0435\u0440\u043d\u044b\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440(\u04212) \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0443\u043c\u043d\u0435\u0435, \u0447\u0435\u043c \u04211, \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u043d\u044b\u0439 \u043d\u0430\u043c\u0438, \u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u0435\u0449\u0438 \u0432 \u043d\u0451\u043c \u0441\u0438\u043b\u044c\u043d\u043e \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0430 \u0440\u0430\u0431\u043e\u0442\u044b \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u0430 \u0438\u043d\u0430\u044f.<\/p>\n<p>  \u0412 \u043a\u0438\u0448\u043a\u0430\u0445 \u043c\u043d\u043e\u0433\u043e\u043f\u043e\u0442\u043e\u0447\u043d\u043e\u0441\u0442\u0438 OpenJDK \u0432\u043e \u043c\u043d\u043e\u0433\u0438\u0445 \u043c\u0435\u0441\u0442\u0430\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 <code>os::is_MP()<\/code>, \u0447\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0443\u043b\u0443\u0447\u0448\u0438\u0442\u044c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043d\u0430 \u043e\u0434\u043d\u043e\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043d\u044b\u0445 \u043c\u0430\u0448\u0438\u043d\u0430\u0445, \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044f \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438. \u0415\u0441\u043b\u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0417\u0430\u043f\u0440\u0435\u0449\u0451\u043d\u043d\u044b\u0445 \u0418\u0441\u043a\u0443\u0441\u0441\u0442\u0432 \u0437\u0430\u0441\u0442\u0430\u0432\u0438\u0442\u044c JVM \u0434\u0443\u043c\u0430\u0442\u044c \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0441\u0442\u0430\u0440\u0442\u0430, \u0447\u0442\u043e \u043e\u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u043d\u0430 \u043e\u0434\u043d\u043e\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0435, \u0442\u043e \u043f\u0440\u043e\u0436\u0438\u0432\u0451\u0442 \u043e\u043d\u0430 \u043d\u0435 \u0434\u043e\u043b\u0433\u043e.<\/p>\n<p>  \u0411\u043e\u043b\u044c\u0448\u043e\u0435 \u0441\u043f\u0430\u0441\u0438\u0431\u043e \u0434\u043e\u0431\u043b\u0435\u0441\u0442\u043d\u044b\u043c <a href=\"http:\/\/habrahabr.ru\/users\/theshade\/\" class=\"user_link\">TheShade<\/a>, <a href=\"http:\/\/habrahabr.ru\/users\/cheremin\/\" class=\"user_link\">cheremin<\/a> \u0438 <a href=\"http:\/\/habrahabr.ru\/users\/artyushov\/\" class=\"user_link\">artyushov<\/a> \u0437\u0430 \u0442\u043e, \u0447\u0442\u043e \u043e\u043d\u0438 (\u0432\u044b|\u043f\u0440\u043e)\u0447\u0438\u0442\u0430\u043b\u0438 \u0441\u0442\u0430\u0442\u044c\u044e \u043f\u0435\u0440\u0435\u0434 \u043f\u0443\u0431\u043b\u0438\u043a\u0430\u0446\u0438\u0435\u0439, \u0443\u0431\u0435\u0434\u0438\u0432\u0448\u0438\u0441\u044c \u0442\u0435\u043c \u0441\u0430\u043c\u044b\u043c, \u0447\u0442\u043e \u044f \u043d\u0435 \u043f\u0440\u0438\u043d\u0435\u0441\u0443 \u0432 \u043c\u0430\u0441\u0441\u044b \u0432\u043c\u0435\u0441\u0442\u043e \u0441\u0432\u0435\u0442\u0430 \u043a\u0430\u043a\u0443\u044e-\u0442\u043e \u0431\u0440\u0435\u0434\u043e\u0432\u043d\u044e, \u043d\u0430\u043f\u043e\u043b\u043d\u0435\u043d\u043d\u0443\u044e \u0442\u0443\u043f\u044b\u043c\u0438 \u0448\u0443\u0442\u043a\u0430\u043c\u0438 \u0438 \u043e\u0447\u0435\u043f\u0430\u0442\u043a\u0430\u043c\u0438.    \t<\/p>\n<div class=\"clear\"><\/div>\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=\"http:\/\/habrahabr.ru\/post\/209128\/\"> http:\/\/habrahabr.ru\/post\/209128\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"content html_format\">   \t<img decoding=\"async\" src=\"http:\/\/habr.habrastorage.org\/post_images\/42f\/afb\/92b\/42fafb92b3ff5480347a4869a3ec6914.jpg\" align=\"left\" title=\"Java Duke \u0442\u044b\u043a\u0430\u0435\u0442 \u043f\u0430\u043b\u044c\u0446\u0435\u043c \u0432 \u043d\u043e\u0441 \u0414\u0438 \u041a\u0430\u043f\u0440\u0438\u043e, \u043a\u0430\u043a \u0431\u044b \u043d\u0430\u043c\u0435\u043a\u0430\u044f \u043d\u0430\u043c: we need to go deeper\" alt=\"\u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0430 \u0434\u043b\u044f \u043f\u0440\u0438\u0432\u043b\u0435\u0447\u0435\u043d\u0438\u044f \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u044f\"\/><\/p>\n<p>  \u0417\u043d\u0430\u043d\u0438\u0435 \u043e\u0431 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0438 \u043f\u043e\u0442\u043e\u043a\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0432 <a href=\"http:\/\/habrahabr.ru\/post\/143237\/\">\u043f\u0440\u043e\u0448\u043b\u043e\u043c \u0442\u043e\u043f\u0438\u043a\u0435<\/a>, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u0432\u0435\u043b\u0438\u043a\u043e, \u043d\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u043c\u043d\u043e\u0433\u043e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: <i>\u00ab\u041a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 happens-before?\u00bb<\/i>, <i>\u00ab\u041f\u0440\u0430\u0432\u0434\u0430 \u043b\u0438, \u0447\u0442\u043e <code>volatile<\/code> \u2014 \u044d\u0442\u043e \u0441\u0431\u0440\u043e\u0441 \u043a\u0435\u0448\u0435\u0439?\u00bb<\/i>, <i>\u00ab\u0417\u0430\u0447\u0435\u043c \u0432\u043e\u043e\u0431\u0449\u0435 \u0431\u044b\u043b\u043e \u0433\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043a\u0430\u043a\u0443\u044e-\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u043f\u0430\u043c\u044f\u0442\u0438? \u041d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u0436\u0435 \u0432\u0441\u0451 \u0431\u044b\u043b\u043e, \u0447\u0442\u043e \u043d\u0430\u0447\u0430\u043b\u043e\u0441\u044c-\u0442\u043e \u0442\u0430\u043a\u043e\u0435?\u00bb<\/i><\/p>\n<p>  \u041a\u0430\u043a \u0438 \u043f\u0440\u043e\u0448\u043b\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f, \u044d\u0442\u0430 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0430 \u043f\u043e \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0443 \u00ab\u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043a\u0440\u0430\u0442\u043a\u043e \u043e\u043f\u0438\u0448\u0435\u043c, \u0447\u0442\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442\u044c \u0432 \u0442\u0435\u043e\u0440\u0438\u0438, \u0430 \u043f\u043e\u0442\u043e\u043c \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u043c\u0441\u044f \u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0438 \u0438 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c, \u043a\u0430\u043a \u044d\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0442\u0430\u043c\u00bb. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043f\u0435\u0440\u0432\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0432\u043e \u043c\u043d\u043e\u0433\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c\u0430 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043a Java, \u0430 \u043f\u043e\u0442\u043e\u043c\u0443 \u0438 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0438 \u043f\u043e\u0434 \u0434\u0440\u0443\u0433\u0438\u0435 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b \u043c\u043e\u0433\u0443\u0442 \u043d\u0430\u0439\u0442\u0438 \u0434\u043b\u044f \u0441\u0435\u0431\u044f \u0447\u0442\u043e-\u0442\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u043e\u0435.  <\/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-209128","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/209128","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=209128"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/209128\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=209128"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=209128"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=209128"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}