{"id":491903,"date":"2026-08-23T17:01:57","date_gmt":"2026-08-23T17:01:57","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=491903"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=491903","title":{"rendered":"\u0412\u0441\u0435 \u043f\u044f\u0442\u044c safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432 Raft \u043f\u0440\u043e\u0448\u043b\u0438. \u0414\u0432\u0435 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0440\u0430\u0437\u043e\u0448\u043b\u0438\u0441\u044c"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<h2>\u0412\u0441\u0435 \u043f\u044f\u0442\u044c safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432 Raft \u043f\u0440\u043e\u0448\u043b\u0438. \u0414\u0432\u0435 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0440\u0430\u0437\u043e\u0448\u043b\u0438\u0441\u044c<\/h2>\n<p>\u042f \u043f\u0438\u0441\u0430\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e Raft \u043d\u0430 TypeScript \u2014 \u043d\u0435 \u0432 \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u0435\u043d, \u0430 \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0432\u043e\u043a\u0440\u0443\u0433 \u043d\u0435\u0451 \u043e\u0431\u0432\u044f\u0437\u043a\u0443. \u041e\u0431\u0432\u044f\u0437\u043a\u0430 \u0438 \u0431\u044b\u043b\u0430 \u0446\u0435\u043b\u044c\u044e: \u043a\u0430\u0436\u0434\u044b\u0439 \u0442\u0438\u043a, \u043a\u0430\u0436\u0434\u0430\u044f \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u0430 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f, \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u0435\u0440\u044f\u043d\u043d\u044b\u0439 \u043f\u0430\u043a\u0435\u0442 \u0438 \u043a\u0430\u0436\u0434\u0430\u044f \u043f\u0435\u0440\u0435\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0430 \u0443\u0437\u043b\u0430 \u0431\u0435\u0440\u0443\u0442\u0441\u044f \u0438\u0437 \u0441\u0438\u0434\u0430, \u0447\u0442\u043e\u0431\u044b \u043f\u0430\u0434\u0435\u043d\u0438\u0435 \u0432 \u043a\u043b\u0430\u0441\u0442\u0435\u0440\u0435 \u0438\u0437 \u043f\u044f\u0442\u0438 \u0443\u0437\u043b\u043e\u0432 \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043e\u0442\u0434\u0430\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u043c\u0443 \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0443, \u0430 \u043d\u0435 \u043f\u0435\u0440\u0435\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u0441\u0432\u043e\u0438\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438.<\/p>\n<p>\u041d\u0430 \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043f\u044f\u0442\u043e\u043c \u043f\u0440\u043e\u0433\u043e\u043d\u0435 \u0445\u0430\u043e\u0441-\u043d\u0430\u0431\u043e\u0440 \u0443\u043f\u0430\u043b. \u0414\u0432\u0435 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b\u0438 \u0440\u0430\u0437\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f.<\/p>\n<p>\u041a \u044d\u0442\u043e\u043c\u0443 \u043c\u043e\u043c\u0435\u043d\u0442\u0443 \u0441\u0435\u0442\u044c \u0443\u0436\u0435 \u0431\u044b\u043b\u0430 \u0441\u043a\u043b\u0435\u0435\u043d\u0430, \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u0430\u0434\u0430\u043b\u043e, \u043b\u043e\u0433\u0438 \u0443 \u0440\u0435\u043f\u043b\u0438\u043a \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u043b\u0438. \u0418 \u0432\u0441\u0435 \u043f\u044f\u0442\u044c safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0438\u0437 Figure 3 <a href=\"https:\/\/raft.github.io\/raft.pdf\" rel=\"noopener noreferrer nofollow\">\u0441\u0442\u0430\u0442\u044c\u0438 \u041e\u043d\u0433\u0430\u0440\u043e \u0438 \u041e\u0443\u0441\u0442\u0435\u0440\u0445\u0430\u0443\u0442\u0430<\/a> \u2014 Election Safety, Leader Append-Only, Log Matching, Leader Completeness, State Machine Safety \u2014 \u0434\u0435\u0440\u0436\u0430\u043b\u0438\u0441\u044c \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u043c \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0432\u043a\u043b\u044e\u0447\u0430\u044f \u0442\u043e\u0442, \u0447\u0442\u043e \u0431\u044b\u043b \u043d\u0435\u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043f\u0435\u0440\u0435\u0434 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u043e\u0439.<\/p>\n<p>\u041f\u0440\u0430\u0432\u0438\u043b\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u043b\u0438\u0441\u044c. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0431\u044b\u043b\u0430 \u043d\u0435\u043f\u0440\u0430\u0432\u0430.<\/p>\n<h3>\u0427\u0442\u043e \u044d\u0442\u043e \u0431\u044b\u043b\u043e<\/h3>\n<p>\u00a75.4.2. \u041b\u0438\u0434\u0435\u0440 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u043f\u0440\u0430\u0432\u0430 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442\u044c \u0437\u0430\u043f\u0438\u0441\u044c, \u0443\u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u043e\u0442 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430, \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u043f\u043e\u0434\u0441\u0447\u0451\u0442\u043e\u043c \u0440\u0435\u043f\u043b\u0438\u043a: \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e, \u0434\u0435\u0440\u0436\u0430\u0449\u0435\u0435 \u0441\u0442\u0430\u0440\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044c, \u0435\u0449\u0451 \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u0435\u0451 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0439 \u2014 \u0431\u043e\u043b\u0435\u0435 \u043f\u043e\u0437\u0434\u043d\u0438\u0439 \u043b\u0438\u0434\u0435\u0440 \u0432\u0441\u0451 \u0435\u0449\u0451 \u043c\u043e\u0436\u0435\u0442 \u0435\u0451 \u0437\u0430\u0442\u0435\u0440\u0435\u0442\u044c. \u041f\u0440\u0430\u0432\u0438\u043b\u043e \u0442\u0430\u043a\u043e\u0435: \u043b\u0438\u0434\u0435\u0440 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442 \u0437\u0430\u043f\u0438\u0441\u044c <strong>\u0441\u0432\u043e\u0435\u0433\u043e<\/strong> \u0442\u0435\u0440\u043c\u0430, \u0430 \u0443\u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0435\u0434\u0443\u0442 \u0441\u043b\u0435\u0434\u043e\u043c \u0437\u0430 \u043d\u0435\u0439.<\/p>\n<p>\u041f\u0440\u0430\u0432\u0438\u043b\u043e \u0432\u0435\u0440\u043d\u043e\u0435. \u0418 \u043e\u043d\u043e \u0442\u0438\u0445\u043e \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0437\u0430\u043f\u0438\u0441\u044c \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f.<\/p>\n<p>\u0412 \u043c\u043e\u0451\u043c \u043f\u0440\u043e\u0433\u043e\u043d\u0435 \u043a\u043b\u0438\u0435\u043d\u0442\u044b \u0437\u0430\u043c\u043e\u043b\u0447\u0430\u043b\u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0441\u043b\u0435 \u0441\u043c\u0435\u043d\u044b \u043b\u0438\u0434\u0435\u0440\u0430. \u0422\u0430\u043a\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u043d\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u0430\u0441\u044c. \u0423\u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0437\u0430\u043f\u0438\u0441\u0438 \u043e\u0441\u0442\u0430\u043b\u0438\u0441\u044c \u043d\u0435\u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0447\u0435\u043d\u043d\u044b\u043c\u0438 \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430 \u2014 \u0430 \u0440\u0435\u043f\u043b\u0438\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0443\u0441\u043f\u0435\u043b\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u0438\u0445 \u043f\u0440\u0438 \u043f\u0440\u043e\u0448\u043b\u043e\u043c \u043b\u0438\u0434\u0435\u0440\u0435, \u043e\u0441\u0442\u0430\u043b\u0438\u0441\u044c \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u043f\u0435\u0440\u0435\u0434\u0438 \u0442\u0435\u0445, \u043a\u0442\u043e \u0441\u0438\u0433\u043d\u0430\u043b\u0430 \u043e \u043a\u043e\u043c\u043c\u0438\u0442\u0435 \u0442\u0430\u043a \u0438 \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u043b.<\/p>\n<p>\u041b\u0435\u043a\u0430\u0440\u0441\u0442\u0432\u043e \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u0442 \u043e\u0434\u043d\u043e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435, \u00a78: \u043f\u0440\u0438 \u0432\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0438 \u0432 \u0434\u043e\u043b\u0436\u043d\u043e\u0441\u0442\u044c \u043b\u0438\u0434\u0435\u0440 \u0434\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u043f\u0443\u0441\u0442\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430. \u041e\u043d\u0430 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430, \u0437\u043d\u0430\u0447\u0438\u0442 \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442\u044c \u043f\u043e\u0434\u0441\u0447\u0451\u0442\u043e\u043c, \u0438 \u043e\u043d\u0430 \u0442\u044f\u043d\u0435\u0442 \u0437\u0430 \u0441\u043e\u0431\u043e\u0439 \u0432\u0441\u0451, \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0440\u0430\u043d\u044c\u0448\u0435. \u0412\u043e\u0441\u0435\u043c\u044c \u0441\u0442\u0440\u043e\u043a \u0432 <code>node.ts<\/code>.<\/p>\n<p>\u042f \u0431\u044b \u044d\u0442\u043e \u0447\u0442\u0435\u043d\u0438\u0435\u043c \u043d\u0435 \u043d\u0430\u0448\u0451\u043b. \u00a78 \u044f \u0447\u0438\u0442\u0430\u043b. \u041e\u043d\u043e \u0442\u0430\u043c \u043d\u0430 \u043e\u0434\u043d\u043e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435, \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043a\u0430\u043a \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f, \u0438 \u044f \u0435\u0433\u043e \u043d\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b.<\/p>\n<h3>\u041a\u0430\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u044d\u0442\u043e \u043f\u043e\u0439\u043c\u0430\u043b\u0430<\/h3>\n<p>\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u0435\u043d \u043d\u0435 \u0431\u0430\u0433. \u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u043a\u0430\u043a\u0430\u044f \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0430.<\/p>\n<p>\u041d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0441\u0432\u043e\u0439\u0441\u0442\u0432. \u0412\u0441\u0435 \u043f\u044f\u0442\u044c \u0434\u0435\u0440\u0436\u0430\u043b\u0438\u0441\u044c \u2014 \u044f \u043f\u043e\u0442\u043e\u043c \u043f\u0440\u043e\u0448\u0451\u043b \u0442\u0440\u0435\u0439\u0441 \u0440\u0443\u043a\u0430\u043c\u0438, \u043e\u043d\u0438 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0434\u0435\u0440\u0436\u0430\u0442\u0441\u044f. \u0422\u0435\u0441\u0442, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0449\u0438\u0439 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0441\u0430\u043c\u043e\u0433\u043e Raft, \u043f\u0440\u043e\u0448\u0451\u043b \u0431\u044b. \u0422\u0435\u0441\u0442, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0449\u0438\u0439, \u0447\u0442\u043e \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0435, \u0442\u043e\u0436\u0435 \u043f\u0440\u043e\u0448\u0451\u043b \u0431\u044b: \u043d\u0430 \u0442\u0435\u0445 \u0440\u0435\u043f\u043b\u0438\u043a\u0430\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0445 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438, \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0431\u044b\u043b\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0435.<\/p>\n<p>\u0421\u0440\u0430\u0431\u043e\u0442\u0430\u043b\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u044f \u0434\u043e\u043f\u0438\u0441\u0430\u043b \u043f\u043e\u0447\u0442\u0438 \u043c\u0435\u0436\u0434\u0443 \u0434\u0435\u043b\u043e\u043c: \u043a\u043e\u0433\u0434\u0430 \u043e\u0442\u043a\u0430\u0437\u044b \u043f\u0440\u0435\u043a\u0440\u0430\u0442\u0438\u043b\u0438\u0441\u044c \u0438 \u043a\u043b\u0430\u0441\u0442\u0435\u0440\u0443 \u0434\u0430\u043b\u0438 \u0432\u0440\u0435\u043c\u044f \u0443\u0441\u0442\u043e\u044f\u0442\u044c\u0441\u044f \u2014 \u0432\u0441\u0435 \u043b\u0438 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0441\u043e\u0448\u043b\u0438\u0441\u044c. \u042d\u0442\u043e \u043d\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e Raft. \u042d\u0442\u043e \u0442\u043e, <strong>\u0440\u0430\u0434\u0438 \u0447\u0435\u0433\u043e<\/strong> Raft \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442, \u0438 \u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u044d\u0442\u043e \u0440\u0430\u0437\u043d\u044b\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f.<\/p>\n<p>\u0418 \u043f\u0440\u043e\u0433\u043e\u043d \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043f\u044f\u0442\u044b\u0439. \u041d\u0435 \u0432\u0442\u043e\u0440\u043e\u0439. \u041d\u0435 \u043f\u0435\u0440\u0432\u044b\u0439. \u0414\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043f\u044f\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439 \u0434\u043e\u043b\u0436\u043d\u044b \u0431\u044b\u043b\u0438 \u043f\u0440\u043e\u0439\u0442\u0438 \u043c\u0438\u043c\u043e, \u043f\u0440\u0435\u0436\u0434\u0435 \u0447\u0435\u043c \u043a\u043b\u0438\u0435\u043d\u0442\u044b \u0437\u0430\u043c\u043e\u043b\u0447\u0430\u043b\u0438 \u0440\u043e\u0432\u043d\u043e \u0432 \u0442\u043e\u043c \u043e\u043a\u043d\u0435, \u0433\u0434\u0435 \u044d\u0442\u043e \u0438\u043c\u0435\u043b\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435.<\/p>\n<p>\u0414\u0430\u043b\u044c\u0448\u0435 \u0432\u043e\u043f\u0440\u043e\u0441 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b \u0431\u044b\u0442\u044c \u00ab\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u043b\u0438 \u0443 \u043c\u0435\u043d\u044f Raft\u00bb \u0438 \u0441\u0442\u0430\u043b \u0445\u0443\u0436\u0435: <strong>\u043e\u0442\u043a\u0443\u0434\u0430 \u044f \u0437\u043d\u0430\u044e, \u0447\u0442\u043e \u0432\u0441\u044f \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u0430\u044f \u043e\u0431\u0432\u044f\u0437\u043a\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0430 \u0447\u0442\u043e-\u0442\u043e \u0441\u043c\u043e\u0442\u0440\u0438\u0442.<\/strong><\/p>\n<p>\u041d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043a\u0440\u0430\u0441\u043d\u0435\u043b, \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0434\u0432\u0435 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438. \u041b\u0438\u0431\u043e \u043a\u043e\u0434 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439, \u043b\u0438\u0431\u043e \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u0441\u043c\u043e\u0442\u0440\u0438\u0442. \u0420\u0430\u0437\u043b\u0438\u0447\u0438\u0442\u044c \u0438\u0445 \u043f\u043e \u0446\u0432\u0435\u0442\u0443 \u043d\u0435\u043b\u044c\u0437\u044f, \u0438 \u0433\u043e\u0434\u0430\u043c\u0438 \u043e\u043d \u0431\u0443\u0434\u0435\u0442 \u0434\u043e\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0442\u044c \u0432\u0442\u043e\u0440\u0443\u044e \u043a\u0430\u043a \u043f\u0435\u0440\u0432\u0443\u044e.<\/p>\n<p>\u041f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u0447\u0435\u043a\u0435\u0440, \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0432 \u0435\u0433\u043e \u0438 \u0443\u0432\u0438\u0434\u0435\u0432 \u0437\u0435\u043b\u0451\u043d\u043e\u0435, \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e. \u0417\u0435\u043b\u0451\u043d\u043e\u0435 \u2014 \u0440\u043e\u0432\u043d\u043e \u0442\u043e, \u0447\u0442\u043e \u0432\u044b\u0434\u0430\u0451\u0442 \u0441\u043b\u043e\u043c\u0430\u043d\u043d\u044b\u0439 \u0447\u0435\u043a\u0435\u0440.<\/p>\n<p>\u0420\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e: \u0434\u0430\u0442\u044c \u0447\u0435\u043a\u0435\u0440\u0443 \u0442\u043e, \u043f\u0440\u043e \u0447\u0442\u043e \u0437\u0430\u0440\u0430\u043d\u0435\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u0447\u0442\u043e \u043e\u043d\u043e \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0435, \u0438 \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u043e\u043d \u044d\u0442\u043e \u0441\u043a\u0430\u0437\u0430\u043b. \u0418 \u0441\u043a\u0430\u0437\u0430\u043b <strong>\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u043c \u0438\u043c\u0435\u043d\u0435\u043c<\/strong>.<\/p>\n<h3>\u041c\u0443\u0437\u0435\u0439 \u0431\u0430\u0433\u043e\u0432<\/h3>\n<p>\u0423 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u0442\u0435\u043b\u0438. \u041a\u0430\u0436\u0434\u044b\u0439 \u0432\u044b\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u043d\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430, \u0438 \u043e\u0431\u0432\u044f\u0437\u043a\u0430 \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u043f\u043e\u0439\u043c\u0430\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439:<\/p>\n<pre><code>\u043d\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043b\u043e\u0433\u0430 \u2192 Leader Completeness: n2 \u0441\u0442\u0430\u043b \u043b\u0438\u0434\u0435\u0440\u043e\u043c \u0432 \u0442\u0435\u0440\u043c\u0435 4 \u0431\u0435\u0437                                 \u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0447\u0435\u043d\u043d\u043e\u0439 \u0437\u0430\u043f\u0438\u0441\u0438 r6 \u043d\u0430 \u0438\u043d\u0434\u0435\u043a\u0441\u0435 8 (\u0442\u0435\u0440\u043c 1)   (\u043f\u0440\u043e\u0433\u043e\u043d 2)\u043d\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 prevLog           \u2192 Log Matching: \u0438\u043d\u0434\u0435\u043a\u0441 1 \u0442\u0435\u0440\u043c 1 \u0434\u0435\u0440\u0436\u0438\u0442 noop:n1:1 \u0432                                 \u0434\u0440\u0443\u0433\u0438\u0445 \u043c\u0435\u0441\u0442\u0430\u0445, \u043d\u043e r2 \u043d\u0430 n4                      (\u043f\u0440\u043e\u0433\u043e\u043d 1)\u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0443\u044e\u0449\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f  \u2192 State Machine Safety: \u0438\u043d\u0434\u0435\u043a\u0441 8: n5 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b                                 noop:n5:6, n2 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b r7                       (\u043f\u0440\u043e\u0433\u043e\u043d 4)\u043d\u0435\u0442 no-op \u043b\u0438\u0434\u0435\u0440\u0430               \u2192 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0440\u0430\u0437\u043e\u0448\u043b\u0438\u0441\u044c: n1={\"a\":\"p1.2\",\"b\":\"p0.2\"},                                 n4={\"a\":\"p1.2\",\"b\":\"p1.3\"}                      (\u043f\u0440\u043e\u0433\u043e\u043d 25)\u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u043d\u043e\u0432\u044b\u0439 \u0442\u0435\u0440\u043c    \u2192 \u043a\u043b\u0438\u0435\u043d\u0442 2 \u0441\u0434\u0430\u043b\u0441\u044f \u043d\u0430 cas                          (\u043f\u0440\u043e\u0433\u043e\u043d 1)<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:87px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0421\u043e\u043b\u043e\u043c\u0435\u043d\u043d\u044b\u0445 \u0447\u0443\u0447\u0435\u043b \u0437\u0434\u0435\u0441\u044c \u043d\u0435\u0442. \u0423 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u044d\u0442\u0438\u0445 \u043f\u0440\u0430\u0432\u0438\u043b \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0435\u0441\u0442\u044c \u0441\u0432\u043e\u0439 \u043f\u043e\u0434\u0440\u0430\u0437\u0434\u0435\u043b, \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u044e\u0449\u0438\u0439, \u043f\u043e\u0447\u0435\u043c\u0443 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043d\u0435\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430, \u2014 \u0438 \u044d\u0442\u0438\u0445 \u043f\u043e\u0434\u0440\u0430\u0437\u0434\u0435\u043b\u043e\u0432 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e, \u0435\u0441\u043b\u0438 \u0431\u044b \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u0443\u044e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u043d\u0438\u043a\u0442\u043e \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0432\u044b\u043a\u0430\u0442\u0438\u043b.<\/p>\n<p>\u0427\u0435\u0442\u0432\u0451\u0440\u0442\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u2014 \u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u0431\u0430\u0433, \u0442\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u0438\u043a\u043e\u043b\u043e\u0442\u044b\u0439 \u043a\u0430\u043a \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u044b\u0439 \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442. \u0415\u0441\u043b\u0438 \u0440\u0435\u0444\u0430\u043a\u0442\u043e\u0440\u0438\u043d\u0433 \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u0441\u043d\u043e\u0432\u0430 \u0443\u0431\u0435\u0440\u0451\u0442 no-op, \u043a\u0440\u0430\u0441\u043d\u043e\u0435 \u0437\u0430\u0433\u043e\u0440\u0438\u0442\u0441\u044f \u043d\u0430\u043c\u0435\u0440\u0435\u043d\u043d\u043e.<\/p>\n<h4>\u0414\u0430, \u044d\u0442\u043e \u043c\u0443\u0442\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435<\/h4>\n<p>\u041f\u0440\u0438\u0442\u0432\u043e\u0440\u044f\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u044f \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u043b \u0447\u0442\u043e-\u0442\u043e \u043d\u043e\u0432\u043e\u0435, \u0431\u044b\u043b\u043e \u0431\u044b \u0433\u043b\u0443\u043f\u043e. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043e\u0434\u043d\u0430 \u0438 \u043e\u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f.<\/p>\n<p>\u0418\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u044b \u0432\u0440\u043e\u0434\u0435 Stryker \u043c\u0443\u0442\u0438\u0440\u0443\u044e\u0442 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u044f\u0437\u044b\u043a\u0430: \u043c\u0435\u043d\u044f\u044e\u0442 <code>&gt;<\/code> \u043d\u0430 <code>&gt;=<\/code>, \u0432\u044b\u043a\u0438\u0434\u044b\u0432\u0430\u044e\u0442 \u0432\u044b\u0437\u043e\u0432, \u0438\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u044e\u0442 \u0443\u0441\u043b\u043e\u0432\u0438\u0435. \u041c\u043d\u0435 \u043d\u0443\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0432\u044b\u043a\u043b\u044e\u0447\u0438\u0442\u044c <strong>\u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430<\/strong>, \u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043d\u0435 \u0436\u0438\u0432\u0451\u0442 \u0432 \u043e\u0434\u043d\u043e\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435.<\/p>\n<p>\u00ab\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043b\u043e\u0433\u0430\u00bb \u2014 \u044d\u0442\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0432 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0435 RequestVote, \u043f\u043b\u044e\u0441 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u043f\u043e\u043b\u0435\u0439, \u043f\u043b\u044e\u0441 \u0442\u043e, \u043a\u0430\u043a \u044d\u0442\u0438 \u043f\u043e\u043b\u044f \u0432\u043e\u043e\u0431\u0449\u0435 \u043f\u043e\u043f\u0430\u0434\u0430\u044e\u0442 \u0432 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435. \u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043c\u0443\u0442\u0430\u043d\u0442, \u043f\u043e\u043c\u0435\u043d\u044f\u0432\u0448\u0438\u0439 \u0442\u0430\u043c \u0437\u043d\u0430\u043a, \u0441 \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043b\u043e\u043c\u0430\u0435\u0442 \u0432\u044b\u0431\u043e\u0440\u044b \u0446\u0435\u043b\u0438\u043a\u043e\u043c, \u0438 \u0442\u0435\u0441\u0442 \u0443\u043f\u0430\u0434\u0451\u0442 \u043f\u043e \u043f\u0440\u0438\u0447\u0438\u043d\u0435, \u043a \u0434\u0435\u043b\u0443 \u043d\u0435 \u043e\u0442\u043d\u043e\u0441\u044f\u0449\u0435\u0439\u0441\u044f. \u0410 \u043d\u0443\u0436\u0435\u043d \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u043e\u0441\u043f\u043e\u0441\u043e\u0431\u043d\u044b\u043c \u0438 \u043d\u0430\u0440\u0443\u0448\u0430\u0435\u0442 \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u043d\u043e \u0441\u0432\u043e\u0451 \u043e\u0431\u0435\u0449\u0430\u043d\u0438\u0435 \u2014 \u0438\u043d\u0430\u0447\u0435 \u043e\u043d \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u043a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u043a\u043b\u0430\u0441\u0442\u0435\u0440 \u0443\u043c\u0435\u0435\u0442 \u043b\u043e\u043c\u0430\u0442\u044c\u0441\u044f.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u0442\u0435\u043b\u0435\u0439 \u0441\u0435\u043c\u044c, \u043e\u043d\u0438 \u043d\u0430\u0437\u0432\u0430\u043d\u044b \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c \u0441\u0442\u0430\u0442\u044c\u0438 \u0438 \u043b\u0435\u0436\u0430\u0442 \u0432 <code>node.ts<\/code> \u0440\u044f\u0434\u043e\u043c \u0441 \u043a\u043e\u0434\u043e\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u043a\u043b\u044e\u0447\u0430\u044e\u0442:<\/p>\n<pre><code>upToDateCheck        \/\/ \u00a75.4.1 \u2014 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u043d\u0435 \u043e\u0442\u0441\u0442\u0430\u044e\u0449\u0438\u043cprevLogCheck         \/\/ \u00a75.3  \u2014 \u0441\u043e\u0433\u043b\u0430\u0441\u043e\u0432\u0430\u043d\u0438\u0435 \u043b\u043e\u0433\u043e\u0432 \u043f\u0440\u0438 \u0440\u0435\u043f\u043b\u0438\u043a\u0430\u0446\u0438\u0438truncateConflicting  \/\/ \u00a75.3  \u2014 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0443\u044e\u0449\u0438\u0439 \u0445\u0432\u043e\u0441\u0442 \u0441\u0440\u0435\u0437\u0430\u0435\u0442\u0441\u044fleaderNoop           \/\/ \u00a78    \u2014 \u043f\u0443\u0441\u0442\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430 \u043f\u0440\u0438 \u0432\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0438stepDownOnHigherTerm \/\/ \u00a75.1  \u2014 \u0443\u0432\u0438\u0434\u0435\u043b \u0431\u043e\u043b\u044c\u0448\u0438\u0439 \u0442\u0435\u0440\u043c \u2014 \u0441\u043b\u043e\u0436\u0438\u043b \u043f\u043e\u043b\u043d\u043e\u043c\u043e\u0447\u0438\u044fpersistBeforeReply   \/\/ \u00a75.1  \u2014 \u0433\u043e\u043b\u043e\u0441 \u043d\u0430 \u0434\u0438\u0441\u043a \u0434\u043e \u043e\u0442\u0432\u0435\u0442\u0430currentTermCommitOnly\/\/ \u00a75.4.2 \u2014 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0442\u0430\u043a\u043e\u0435 \u043d\u0435 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0448\u044c. \u0421\u043f\u0438\u0441\u043e\u043a \u2014 \u044d\u0442\u043e, \u043f\u043e \u0441\u0443\u0442\u0438, \u043a\u043e\u043d\u0441\u043f\u0435\u043a\u0442 \u0441\u0442\u0430\u0442\u044c\u0438, \u0437\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0439 \u0442\u0430\u043a, \u0447\u0442\u043e \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u043d\u0438\u0442\u044c.<\/p>\n<p>\u0423\u0441\u0442\u0440\u043e\u0435\u043d\u043e \u043e\u043d\u043e \u0441\u043a\u0443\u0447\u043d\u043e: <code>rules<\/code> \u2014 \u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442, \u043f\u0440\u0438\u0435\u0437\u0436\u0430\u0435\u0442 \u0432 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0443\u0437\u043b\u0430, \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0432\u0441\u0451 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u043e, \u0430 \u0442\u0435\u0441\u0442 \u043c\u0443\u0437\u0435\u044f \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u043a\u043b\u0430\u0441\u0442\u0435\u0440 \u0441 \u043e\u0434\u043d\u0438\u043c \u0432\u044b\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u043c \u0432 <code>false<\/code>. \u041d\u0438\u043a\u0430\u043a\u043e\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438 \u0431\u0430\u0439\u0442\u043a\u043e\u0434\u0430, \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u043f\u043e\u0434\u043c\u0435\u043d\u044b \u043c\u043e\u0434\u0443\u043b\u0435\u0439. \u0418\u0437-\u0437\u0430 \u044d\u0442\u043e\u0433\u043e, \u043f\u0440\u0430\u0432\u0434\u0430, \u0432\u0435\u0442\u043a\u0438 \u043e\u0441\u0442\u0430\u044e\u0442\u0441\u044f \u0432 \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u0435\u043d-\u043f\u0443\u0442\u0438 \u2014 \u0441\u0435\u043c\u044c <code>if<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432 \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0436\u0438\u0437\u043d\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0434\u0443\u0442 \u0432 \u043e\u0434\u043d\u0443 \u0441\u0442\u043e\u0440\u043e\u043d\u0443. \u041c\u043d\u0435 \u044d\u0442\u043e \u043d\u0435 \u043d\u0440\u0430\u0432\u0438\u0442\u0441\u044f, \u043d\u043e \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u0430 \u2014 \u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0432\u0442\u043e\u0440\u0443\u044e \u043a\u043e\u043f\u0438\u044e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438, \u0430 \u0432\u0442\u043e\u0440\u0430\u044f \u043a\u043e\u043f\u0438\u044f \u0440\u0430\u0437\u044a\u0435\u0437\u0436\u0430\u0435\u0442\u0441\u044f \u0441 \u043f\u0435\u0440\u0432\u043e\u0439 \u043d\u0430 \u0442\u0440\u0435\u0442\u044c\u0435\u043c \u0440\u0435\u0444\u0430\u043a\u0442\u043e\u0440\u0438\u043d\u0433\u0435.<\/p>\n<h4>\u041b\u043e\u0432\u0438\u0442\u0441\u044f \u2014 \u0440\u0430\u0437\u043d\u043e\u0435, \u0438 \u0432 \u044d\u0442\u043e\u043c \u0432\u0435\u0441\u044c \u0441\u043c\u044b\u0441\u043b<\/h4>\n<p>\u0422\u0440\u0438 \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442\u0430 \u0438\u0437 \u043f\u044f\u0442\u0438 \u043b\u043e\u043c\u0430\u044e\u0442 \u043d\u0430\u0437\u0432\u0430\u043d\u043d\u043e\u0435 safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e. \u041e\u0434\u0438\u043d \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0432\u0441\u0435 \u043f\u044f\u0442\u044c \u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0446\u0435\u043b\u044b\u043c\u0438 \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u0451\u0442 \u0441\u0432\u043e\u0434\u0438\u0442\u044c \u043a\u043b\u0430\u0441\u0442\u0435\u0440 \u2014 \u044d\u0442\u043e no-op. \u041e\u0434\u0438\u043d \u043d\u0435 \u0441\u0442\u043e\u0438\u0442 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0432\u043e\u043e\u0431\u0449\u0435, \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u043e\u0433\u0440\u0435\u0441\u0441\u0430: \u043a\u043b\u0438\u0435\u043d\u0442 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u043c\u043e\u043c\u0435\u043d\u0442 \u0441\u0434\u0430\u0451\u0442\u0441\u044f.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u0441\u043f\u043b\u044e\u0449\u0438\u0442\u044c \u044d\u0442\u043e \u0432 \u00ab\u0442\u0435\u0441\u0442 \u043f\u043e\u043a\u0440\u0430\u0441\u043d\u0435\u043b\u00bb, \u0432\u044b\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u0430\u043c\u043e\u0435 \u043f\u043e\u043b\u0435\u0437\u043d\u043e\u0435, \u0447\u0442\u043e \u0434\u0430\u043b\u043e \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u0435, \u2014 \u043a\u0430\u0440\u0442\u0430 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a\u0430\u044f \u0441\u0442\u0440\u043e\u0447\u043a\u0430 \u0441\u0442\u0430\u0442\u044c\u0438 \u0434\u0435\u0440\u0436\u0438\u0442 \u043a\u0430\u043a\u0443\u044e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u044e.<\/p>\n<h4>\u0414\u0432\u0430 \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u043d\u0435 \u0434\u043e\u0441\u0442\u0430\u043d\u0435\u0442<\/h4>\n<p>Figure 8 \u2014 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439, \u0440\u0430\u0434\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u00a75.4.2 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d, \u2014 \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0441\u043c\u0435\u043d \u043b\u0438\u0434\u0435\u0440\u0430 \u0432 \u043f\u0440\u0435\u0434\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u043c \u043f\u043e\u0440\u044f\u0434\u043a\u0435 \u0441 \u043f\u0440\u0435\u0434\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u043c\u0438 \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u0441\u0435\u0442\u0438. \u041d\u0435\u043f\u0435\u0440\u0435\u0436\u0438\u0432\u0448\u0438\u0439 \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0443\u0441\u043a \u0433\u043e\u043b\u043e\u0441 \u0442\u0440\u0435\u0431\u0443\u0435\u0442, \u0447\u0442\u043e\u0431\u044b \u0443\u0437\u0435\u043b \u0443\u043f\u0430\u043b \u0432\u043d\u0443\u0442\u0440\u0438 \u043e\u043a\u043d\u0430 \u0432 \u043e\u0434\u0438\u043d \u0442\u0438\u043a \u043c\u0435\u0436\u0434\u0443 \u00ab\u043f\u0440\u043e\u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043b\u00bb \u0438 \u00ab\u0437\u0430\u043f\u0438\u0441\u0430\u043b \u0433\u043e\u043b\u043e\u0441 \u043d\u0430 \u0434\u0438\u0441\u043a\u00bb.<\/p>\n<p>\u041d\u0430\u0434\u0435\u044f\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u0441\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u0442\u0443\u0434\u0430 \u0437\u0430\u0431\u0440\u0435\u0434\u0451\u0442, \u2014 \u043d\u0435 \u043f\u043b\u0430\u043d. \u041e\u0431\u0430 \u0441\u0442\u0440\u043e\u044f\u0442\u0441\u044f \u0440\u0443\u043a\u0430\u043c\u0438, \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u043c \u0444\u0430\u0439\u043b\u043e\u043c.<\/p>\n<p>\u0421\u043a\u0430\u0436\u0443 \u043f\u0440\u044f\u043c\u043e, \u0447\u0435\u043c \u044d\u0442\u043e \u043f\u0440\u0438\u0437\u043d\u0430\u043d\u0438\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f. \u0423 \u043c\u043e\u0435\u0433\u043e \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0433\u043e \u043f\u043e\u0438\u0441\u043a\u0430 \u0435\u0441\u0442\u044c \u0441\u043b\u0435\u043f\u044b\u0435 \u0437\u043e\u043d\u044b, \u0438 \u044f \u0437\u043d\u0430\u044e \u0438\u0445 \u0444\u043e\u0440\u043c\u0443. \u042d\u0442\u043e \u0441\u0442\u043e\u0438\u0442 \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c. \u0410\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u0430 \u2014 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0444\u0430\u0437\u0437\u0435\u0440 \u0442\u0430\u043a, \u0431\u0443\u0434\u0442\u043e \u043e\u043d \u043f\u043e\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e, \u2014 \u043a\u043e\u043c\u0444\u043e\u0440\u0442\u043d\u0435\u0435 \u0438 \u0440\u043e\u0432\u043d\u043e \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u043f\u0430\u0441\u043d\u0435\u0435.<\/p>\n<h3>\u041e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0441\u0442\u043e\u0438\u0442<\/h3>\n<p>\u0422\u0430 \u0436\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0432 \u0431\u043e\u043b\u0435\u0435 \u0440\u0435\u0437\u043a\u043e\u0439 \u0444\u043e\u0440\u043c\u0435 \u0432\u044b\u043b\u0435\u0437\u043b\u0430 \u0432 \u0441\u043e\u0441\u0435\u0434\u043d\u0435\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0435: MVCC-\u0434\u0432\u0438\u0436\u043e\u043a \u0441 \u0447\u0435\u0442\u044b\u0440\u044c\u043c\u044f \u0443\u0440\u043e\u0432\u043d\u044f\u043c\u0438 \u0438\u0437\u043e\u043b\u044f\u0446\u0438\u0438 \u0438 \u0447\u0435\u043a\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0449\u0435\u0442 \u0446\u0438\u043a\u043b\u044b \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0435\u0439 \u0432 \u043d\u0430\u0431\u043b\u044e\u0434\u0451\u043d\u043d\u044b\u0445 \u0438\u0441\u0442\u043e\u0440\u0438\u044f\u0445 \u2014 G0, G1a, G1b, G1c, G-single, G2-item. \u0418\u043c\u0435\u043d\u0430 \u0432\u0437\u044f\u0442\u044b \u0443 Adya, \u0447\u0442\u043e\u0431\u044b \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044c \u043c\u043e\u0433 \u0441\u0432\u0435\u0440\u0438\u0442\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0441 \u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u0435\u0439, \u0430 \u043d\u0435 \u0441 \u043c\u043e\u0438\u043c \u043f\u0435\u0440\u0435\u0441\u043a\u0430\u0437\u043e\u043c.<\/p>\n<p>\u041e\u0447\u0435\u0432\u0438\u0434\u043d\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0437\u0434\u0435\u0441\u044c \u2014 \u043d\u0430 <strong>\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0443\u0440\u043e\u0432\u043d\u044f<\/strong>: \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 L, \u043d\u0430 \u0441\u043e\u0442\u043d\u044f\u0445 \u0441\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439, \u0434\u0432\u0438\u0436\u043e\u043a \u043d\u0438 \u0440\u0430\u0437\u0443 \u043d\u0435 \u0432\u044b\u0434\u0430\u0451\u0442 \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0443\u044e L \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u0440\u0435\u0434\u043e\u0442\u0432\u0440\u0430\u0449\u0430\u0442\u044c.<\/p>\n<p>\u042d\u0442\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0435 \u0434\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0447\u0442\u0438 \u043d\u0438\u0447\u0435\u0433\u043e.<\/p>\n<p>\u0414\u0432\u0438\u0436\u043e\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0430\u0431\u043e\u0440\u0442\u0438\u0301\u0442 \u043a\u0430\u0436\u0434\u0443\u044e \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u044e, \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u0435\u043d \u043d\u0430 \u0432\u0441\u0435\u0445 \u0443\u0440\u043e\u0432\u043d\u044f\u0445 \u0441\u0440\u0430\u0437\u0443. \u0427\u0435\u043a\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442, \u0441 \u043d\u0438\u043c \u0432\u043e\u0441\u0442\u043e\u0440\u0436\u0435\u043d\u043d\u043e \u0441\u043e\u0433\u043b\u0430\u0441\u0438\u0442\u0441\u044f. \u041e\u0431\u0430 \u043f\u0440\u043e\u0439\u0434\u0443\u0442, \u0438 \u0432\u0434\u0432\u043e\u0451\u043c \u043e\u043d\u0438 \u0431\u0443\u0434\u0443\u0442 \u043e\u0447\u0435\u043d\u044c \u0434\u043e\u0440\u043e\u0433\u0438\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c \u043f\u0435\u0447\u0430\u0442\u0430\u0442\u044c \u0441\u043b\u043e\u0432\u043e <code>ok<\/code>.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u0442 \u043a\u0430\u0436\u0434\u043e\u0439 \u0441\u0442\u0443\u043f\u0435\u043d\u0438 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0432\u0442\u043e\u0440\u043e\u0435, \u0432 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u043f\u043e\u043b\u043e\u0436\u043d\u0443\u044e \u0441\u0442\u043e\u0440\u043e\u043d\u0443: \u0434\u043e\u043b\u0436\u043d\u043e <strong>\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c<\/strong> \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0435, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043e\u043d\u0430 \u0432\u044b\u0434\u0430\u0451\u0442 \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u044e, \u0437\u0430\u043f\u0440\u0435\u0449\u0451\u043d\u043d\u0443\u044e \u0443\u0436\u0435 <strong>\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439<\/strong> \u0441\u0442\u0443\u043f\u0435\u043d\u044c\u044e.<\/p>\n<pre><code>read-uncommitted     \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 G1b \u043d\u0430 \u0441\u0438\u0434\u0435 0read-committed       \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 G-single \u043d\u0430 \u0441\u0438\u0434\u0435 1snapshot-isolation   \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 G2-item \u043d\u0430 \u0441\u0438\u0434\u0435 25serializable         \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u043d\u0435 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e, \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442 51%<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>Read committed \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c read skew. Snapshot isolation \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c write skew. \u0422\u0435\u043f\u0435\u0440\u044c \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0441\u0442\u043e\u0438\u0442 \u0442\u0430\u043c, \u0433\u0434\u0435 \u0435\u0433\u043e \u0441\u0442\u0430\u0432\u0438\u0442 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u0430 \u043d\u0435 \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0431\u043e\u043b\u0435\u0435 \u0441\u0442\u0440\u043e\u0433\u0438\u043c \u0443\u0440\u043e\u0432\u043d\u0435\u043c \u043f\u043e\u0434 \u0447\u0443\u0436\u0438\u043c \u0438\u043c\u0435\u043d\u0435\u043c.<\/p>\n<p>\u041d\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u0435\u0435 \u0434\u0440\u0443\u0433\u043e\u0435: \u044d\u0442\u043e \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 <strong>\u0447\u0435\u043a\u0435\u0440<\/strong>. \u0427\u0435\u043a\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u0443\u043c\u0435\u0435\u0442 \u043d\u0430\u0439\u0442\u0438 write skew \u043f\u043e\u0434 snapshot isolation, \u043d\u0438\u0447\u0435\u043c \u043d\u0435 \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u044f\u043b \u0438 \u0441\u0432\u043e\u0451 \u043e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0438\u0435 serializable.<\/p>\n<p>\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u043d\u0435\u0441\u0451\u0442 \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443. <code>serializable<\/code> \u043d\u0435 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u2014 \u0438 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442 51% \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0439 \u043d\u0430 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u0439 \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0435. \u042d\u0442\u043e \u0447\u0438\u0441\u043b\u043e \u043d\u0435 \u043e\u0442\u0447\u0451\u0442, \u0430 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432 \u0442\u0435\u0441\u0442\u0435. \u041e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0438\u0435, \u043a\u0443\u043f\u043b\u0435\u043d\u043d\u043e\u0435 \u043e\u0442\u043c\u0435\u043d\u043e\u0439 \u0432\u0441\u0435\u0445 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0439, \u2014 \u0432\u044b\u0440\u043e\u0436\u0434\u0435\u043d\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u0441\u0432\u0435\u0440\u0445\u0443, \u0438 \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0435\u0433\u043e \u043d\u0435 \u043f\u0443\u0441\u0442\u0438\u0442\u044c \u2014 \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u043d\u0443\u044e \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u0432 \u0441\u0430\u043c\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435.<\/p>\n<p>\u041d\u0438 \u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u0435 \u043d\u0435 \u0432\u0435\u0440\u0438\u0448\u044c \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e. \u041a\u0430\u0436\u0434\u0430\u044f \u0443\u043b\u0438\u0447\u0430\u0435\u0442 \u0434\u0440\u0443\u0433\u0443\u044e.<\/p>\n<h3>\u0421\u043f\u0440\u043e\u0441\u0438\u0442\u044c \u0442\u043e\u0433\u043e, \u043a\u043e\u043c\u0443 \u043d\u0430 \u0442\u0435\u0431\u044f \u043f\u043b\u0435\u0432\u0430\u0442\u044c<\/h3>\n<p>\u0412\u0441\u0451 \u044d\u0442\u043e \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0437\u0430\u043c\u043a\u043d\u0443\u0442\u043e. \u041c\u043e\u0439 \u0434\u0432\u0438\u0436\u043e\u043a, \u043c\u043e\u0439 \u0447\u0435\u043a\u0435\u0440, \u043c\u043e\u0438 \u0441\u0438\u0434\u044b. \u0415\u0441\u043b\u0438 \u043e\u0431\u0435 \u0441\u0442\u043e\u0440\u043e\u043d\u044b \u0440\u0430\u0437\u0434\u0435\u043b\u044f\u044e\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435 \u0437\u0430\u0431\u043b\u0443\u0436\u0434\u0435\u043d\u0438\u0435 \u2014 \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u043b Adya, \u2014 \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432 \u044d\u0442\u043e\u0433\u043e \u043d\u0435 \u0437\u0430\u043c\u0435\u0442\u0438\u0442. \u0412\u0441\u0435 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0441\u043e\u0433\u043b\u0430\u0441\u044f\u0442\u0441\u044f \u0434\u0440\u0443\u0433 \u0441 \u0434\u0440\u0443\u0433\u043e\u043c, \u0438 \u0441\u043e\u0433\u043b\u0430\u0441\u044f\u0442\u0441\u044f \u043f\u043e \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0439 \u043f\u0440\u0438\u0447\u0438\u043d\u0435.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0447\u0435\u043a\u0435\u0440 \u043d\u0430\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0430 PostgreSQL 18, \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043e \u043d\u0435 \u043c\u043d\u043e\u0439 \u0438 \u043e\u0442\u0432\u0435\u0442\u044b \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b \u0434\u043e \u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u0440\u043e\u0433\u043e\u043d\u0430. <code>REPEATABLE READ<\/code> \u0443 Postgres \u2014 \u044d\u0442\u043e snapshot isolation; \u0442\u0430\u043a \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0432 \u043c\u0430\u043d\u0443\u0430\u043b\u0435, \u0438 \u0442\u0430\u043c \u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043e, \u0447\u0442\u043e write skew \u0442\u0430\u043c \u0432\u043e\u0437\u043c\u043e\u0436\u0435\u043d. <code>SERIALIZABLE<\/code> \u2014 \u044d\u0442\u043e SSI \u041a\u044d\u0445\u0438\u043b\u043b\u0430, \u0420\u0451\u043c\u0430 \u0438 \u0424\u0435\u043a\u0435\u0442\u0435.<\/p>\n<p>\u041d\u0430\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0439 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439, \u0434\u0432\u0435 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0438, \u043a\u0430\u0436\u0434\u0430\u044f \u0447\u0438\u0442\u0430\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e \u0434\u0440\u0443\u0433\u0430\u044f \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f \u043f\u0438\u0441\u0430\u0442\u044c:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u0423\u0440\u043e\u0432\u0435\u043d\u044c PostgreSQL<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0427\u0442\u043e \u0432\u044b\u0448\u043b\u043e<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0412\u0435\u0440\u0434\u0438\u043a\u0442 \u0447\u0435\u043a\u0435\u0440\u0430<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>READ COMMITTED<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043e\u0431\u0435 \u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0442\u0438\u043b\u0438\u0441\u044c<\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>G2-item<\/strong>, <code>T2 \u2014rw\u2192 T1 \u2014rw\u2192 T2<\/code><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>REPEATABLE READ<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043e\u0431\u0435 \u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0442\u0438\u043b\u0438\u0441\u044c<\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>G2-item<\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>SERIALIZABLE<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043e\u0434\u043d\u0430 \u043e\u0442\u043c\u0435\u043d\u0435\u043d\u0430<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043d\u0438\u0447\u0435\u0433\u043e<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u0421\u043b\u0443\u0447\u0430\u0439\u043d\u0430\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0430, 25 \u0440\u0430\u0443\u043d\u0434\u043e\u0432 \u043f\u043e \u0442\u0440\u0438 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u044b\u0435 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0438:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u0423\u0440\u043e\u0432\u0435\u043d\u044c PostgreSQL<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u041e\u0442\u043c\u0435\u043d\u044b<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u041d\u0430\u0439\u0434\u0435\u043d\u043e \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u0439<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>READ COMMITTED<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">0 \/ 100<\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>G-single \u00d7 24<\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>REPEATABLE READ<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">32 \/ 100<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043d\u0435\u0442<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>SERIALIZABLE<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">32 \/ 100<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043d\u0435\u0442<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u042d\u0442\u043e \u0442\u0430 \u0436\u0435 \u043b\u0435\u0441\u0442\u043d\u0438\u0446\u0430. Read committed \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 read skew \u0438 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043e\u0442\u043c\u0435\u043d\u044f\u0435\u0442 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0438 \u0440\u0430\u0434\u0438 \u0438\u0437\u043e\u043b\u044f\u0446\u0438\u0438. Repeatable read read skew \u043f\u0440\u0435\u0434\u043e\u0442\u0432\u0440\u0430\u0449\u0430\u0435\u0442, \u043f\u043b\u0430\u0442\u0438\u0442 \u0437\u0430 \u044d\u0442\u043e \u043e\u0442\u043c\u0435\u043d\u0430\u043c\u0438 \u0438 \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 write skew, \u0435\u0441\u043b\u0438 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d \u043f\u043e\u0434 \u043d\u0435\u0433\u043e. Serializable \u043d\u0435 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u0438 \u043f\u043b\u0430\u0442\u0438\u0442 \u0442\u0443 \u0436\u0435 \u0446\u0435\u043d\u0443.<\/p>\n<p>PostgreSQL \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u0451\u043b \u043c\u043e\u044e \u043b\u0435\u0441\u0442\u043d\u0438\u0446\u0443, \u0438 \u043e\u043d \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0441\u043e \u043c\u043d\u043e\u0439 \u043d\u0435 \u0441\u043e\u0432\u0435\u0442\u043e\u0432\u0430\u043b\u0441\u044f. \u0418\u0437 \u0432\u0441\u0435\u0433\u043e \u0440\u0430\u0437\u0434\u0435\u043b\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u044d\u0442\u043e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435.<\/p>\n<p>\u0421\u0446\u0435\u043d\u0430\u0440\u0438\u0438 \u043b\u0435\u0436\u0430\u0442 \u0432 <code>against-postgres\/<\/code> \u0438 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u044e\u0442\u0441\u044f \u043d\u0430 \u043b\u044e\u0431\u043e\u0439 \u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0439 \u0431\u0430\u0437\u0435: <code>npm run test:postgres<\/code>, <code>ADYA_PG=postgres:\/\/...<\/code> \u0435\u0441\u043b\u0438 \u043e\u043d\u0430 \u043d\u0435 \u0442\u0430\u043c, \u0433\u0434\u0435 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e. \u0427\u0438\u0441\u043b\u0430 \u0432 \u0442\u0430\u0431\u043b\u0438\u0446\u0430\u0445 \u0441\u043d\u044f\u0442\u044b \u043d\u0430 18-\u0439 \u0432\u0435\u0440\u0441\u0438\u0438; \u043d\u0430 \u0434\u0440\u0443\u0433\u0438\u0445 \u044f \u0438\u0445 \u043d\u0435 \u043f\u0435\u0440\u0435\u043f\u0440\u043e\u0432\u0435\u0440\u044f\u043b, \u0442\u0430\u043a \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0443 \u043a\u043e\u0433\u043e-\u0442\u043e \u0432\u044b\u0439\u0434\u0435\u0442 \u0438\u043d\u0430\u0447\u0435 \u2014 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0443\u0441\u043b\u044b\u0448\u0430\u0442\u044c.<\/p>\n<h3>\u0420\u0435\u0434\u0443\u043a\u0446\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0440\u0451\u0442 \u0442\u0435\u043c\u0438 \u0436\u0435 \u0441\u043b\u043e\u0432\u0430\u043c\u0438<\/h3>\n<p>\u0414\u0430\u043b\u044c\u0448\u0435 \u043a\u0430\u0440\u0442\u0438\u043d\u0430 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u043e \u043e\u0431\u0449\u0435\u0439.<\/p>\n<p>\u041f\u0435\u0440\u0435\u0431\u043e\u0440 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439 \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0431\u0430\u0433\u0438 \u0438 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u0438\u0445 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435: \u0434\u0432\u0435\u0441\u0442\u0438 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439 \u0438\u0437 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0430 \u2014 \u044d\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u0444\u0430\u0437\u0437\u0438\u043d\u0433, \u0430 \u043d\u0435 \u0442\u0435\u043e\u0440\u0435\u043c\u0430. \u0414\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u2014 \u0437\u043d\u0430\u0447\u0438\u0442 \u043e\u0431\u043e\u0439\u0442\u0438 \u0432\u0441\u0435 \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0430 \u044d\u0442\u043e \u044d\u043a\u0441\u043f\u043e\u043d\u0435\u043d\u0442\u0430, \u0438 \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u0441\u044f \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0438\u044f \u0432 model checking \u043d\u0435 \u043f\u0440\u043e \u0441\u0430\u043c \u043f\u043e\u0438\u0441\u043a, \u0430 \u043f\u0440\u043e \u0442\u043e, \u043a\u0430\u043a \u0435\u0433\u043e \u0438\u0437\u0431\u0435\u0436\u0430\u0442\u044c.<\/p>\n<p>\u0414\u0432\u0435 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u0438:<\/p>\n<pre><code>\u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f     \u0431\u0435\u0437    \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u044f   \u043e\u0431\u0435   \u0432\u044b\u0438\u0433\u0440\u044b\u0448workers(4)       625        70       17     37\u00d7workers(6)     15625       210       25    625\u00d7<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0421\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u044f \u2014 \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0448\u0435\u0441\u0442\u044c \u0432\u0437\u0430\u0438\u043c\u043e\u0437\u0430\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u0445 \u0432\u043e\u0440\u043a\u0435\u0440\u043e\u0432 \u0432 \u043f\u044f\u0442\u0438 \u0444\u0430\u0437\u0430\u0445 \u0434\u0430\u044e\u0442 5\u2076 = 15 625 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439, \u043d\u043e \u0432\u0441\u0435\u0433\u043e 210 \u043c\u0443\u043b\u044c\u0442\u0438\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432. \u0420\u0435\u0434\u0443\u043a\u0446\u0438\u044f \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u044b\u0445 \u043f\u043e\u0440\u044f\u0434\u043a\u043e\u0432 \u2014 \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0434\u0432\u0430 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f, \u043d\u0435 \u043f\u0435\u0440\u0435\u0441\u0435\u043a\u0430\u044e\u0449\u0438\u0445\u0441\u044f \u043d\u0438 \u043f\u043e \u043e\u0434\u043d\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439, \u043a\u043e\u043c\u043c\u0443\u0442\u0438\u0440\u0443\u044e\u0442, \u0438 \u043e\u0431\u0445\u043e\u0434 \u043e\u0431\u043e\u0438\u0445 \u043f\u043e\u0440\u044f\u0434\u043a\u043e\u0432 \u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u0441\u0432\u0435\u0440\u0445 \u043e\u0431\u0445\u043e\u0434\u0430 \u043e\u0434\u043d\u043e\u0433\u043e.<\/p>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0440\u0435\u0436\u0438\u043c \u043e\u0442\u043a\u0430\u0437\u0430. <strong>\u0420\u0435\u0434\u0443\u043a\u0446\u0438\u044f \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u044b\u0445 \u043f\u043e\u0440\u044f\u0434\u043a\u043e\u0432, \u0432\u044b\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u044e\u0449\u0430\u044f \u043d\u0435 \u0442\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0432\u044b\u0434\u0430\u0451\u0442 \u043f\u043e\u0431\u0430\u0439\u0442\u043e\u0432\u043e \u0442\u043e\u0442 \u0436\u0435 \u0432\u044b\u0432\u043e\u0434, \u0447\u0442\u043e \u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0430\u044f.<\/strong> \u041e\u0431\u0435 \u043f\u0435\u0447\u0430\u0442\u0430\u044e\u0442 \u00ab\u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0439 \u043d\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u043e\u00bb. \u041e\u0434\u043d\u0430 \u0438\u0437 \u043d\u0438\u0445 \u0432\u0440\u0451\u0442, \u0438 \u0438\u0437\u043d\u0443\u0442\u0440\u0438 \u0440\u0435\u0434\u0443\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u043e\u0438\u0441\u043a\u0430 \u043f\u043e\u043d\u044f\u0442\u044c, \u043a\u0430\u043a\u0430\u044f \u0443 \u0442\u0435\u0431\u044f \u0432 \u0440\u0443\u043a\u0430\u0445, \u043d\u0435\u043b\u044c\u0437\u044f.<\/p>\n<p>\u042d\u0442\u043e \u0442\u043e\u0442 \u0436\u0435 \u0437\u0435\u043b\u0451\u043d\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432, \u044d\u0442\u0430\u0436\u043e\u043c \u043d\u0438\u0436\u0435. \u0418 \u0445\u0443\u0436\u0435, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u044f \u2014 \u0440\u043e\u0432\u043d\u043e \u0442\u0430 \u0447\u0430\u0441\u0442\u044c, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0434\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442 \u0440\u0430\u0434\u0438 \u0441\u043a\u043e\u0440\u043e\u0441\u0442\u0438, \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0441 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0435\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u0441\u0442\u0430\u043d\u0443\u0442 \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u044c \u0437\u0430\u043d\u043e\u0432\u043e.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u043e\u043b\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u0431\u043e\u0440 \u043d\u0438\u043a\u0443\u0434\u0430 \u043d\u0435 \u0434\u0435\u0432\u0430\u0435\u0442\u0441\u044f. \u041c\u0435\u0434\u043b\u0435\u043d\u043d\u044b\u0439, \u043f\u043e\u043b\u043d\u044b\u0439 \u0438 \u043d\u0435 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u044b\u0439 \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f. \u041a\u0430\u0436\u0434\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u043f\u0440\u043e\u0433\u043e\u043d\u044f\u0435\u0442\u0441\u044f \u043e\u0431\u043e\u0438\u043c\u0438, \u0438 \u0432\u0435\u0440\u0434\u0438\u043a\u0442 \u0440\u0435\u0434\u0443\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044f\u0437\u0430\u043d \u0441\u043e\u0432\u043f\u0430\u0441\u0442\u044c. \u0420\u0435\u0434\u0443\u043a\u0446\u0438\u0438 \u0432\u0435\u0440\u044f\u0442 \u043d\u0435 \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u0442\u0435\u043e\u0440\u0438\u044f \u0432 \u043a\u043d\u0438\u0436\u043a\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u0430\u044f, \u2014 \u0435\u0439 \u0432\u0435\u0440\u044f\u0442 \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u043c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u043b\u0435\u0437\u0430\u0435\u0442 \u0432 \u043e\u0431\u0430 \u0440\u0435\u0436\u0438\u043c\u0430, \u043e\u043d\u0430 \u0441\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0441 \u0442\u0435\u043c, \u0447\u0442\u043e \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f \u043d\u0435 \u043c\u043e\u0436\u0435\u0442.<\/p>\n<p>\u0418 \u0435\u0449\u0451 \u043e\u0434\u043d\u0430 \u0441\u0442\u0440\u043e\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043b\u0435\u0436\u0438\u0442 \u0432 \u0442\u0435\u0441\u0442\u0430\u0445 \u043a\u0430\u043a \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435:<\/p>\n<pre><code>peterson          20        20       20      1\u00d7<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0412 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435 \u041f\u0435\u0442\u0435\u0440\u0441\u043e\u043d\u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u044b \u043d\u0435\u043f\u0440\u0435\u0440\u044b\u0432\u043d\u043e \u0447\u0438\u0442\u0430\u044e\u0442 \u0438 \u043f\u0438\u0448\u0443\u0442 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0434\u0440\u0443\u0433 \u0434\u0440\u0443\u0433\u0430. \u041d\u0435 \u043a\u043e\u043c\u043c\u0443\u0442\u0438\u0440\u0443\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e. \u041f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u0430\u044f \u0432\u0435\u043b\u0438\u0447\u0438\u043d\u0430 \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u044b\u0445 \u043f\u043e\u0440\u044f\u0434\u043a\u043e\u0432 \u0437\u0434\u0435\u0441\u044c \u2014 \u043d\u043e\u043b\u044c, \u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442, \u043e\u0442\u0447\u0438\u0442\u0430\u0432\u0448\u0438\u0439\u0441\u044f \u0442\u0430\u043c \u043e\u0431 \u0443\u0441\u043a\u043e\u0440\u0435\u043d\u0438\u0438, \u043e\u0442\u0447\u0438\u0442\u0430\u043b\u0441\u044f \u0431\u044b \u043e \u0442\u043e\u043c, \u0447\u0435\u0433\u043e \u043d\u0435\u0442.<\/p>\n<p><strong>\u041e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0432\u044b\u0438\u0433\u0440\u044b\u0448\u0430 \u2014 \u0447\u0430\u0441\u0442\u044c \u043d\u0430\u0431\u043e\u0440\u0430 \u0442\u0435\u0441\u0442\u043e\u0432.<\/strong> \u041e\u0442\u043a\u0430\u0437, \u043e\u0442 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u044f \u0442\u0443\u0442 \u0441\u0442\u0440\u0430\u0445\u0443\u044e\u0441\u044c, \u2014 \u044d\u0442\u043e \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u043b\u0438\u0448\u043a\u043e\u043c <strong>\u0436\u0430\u0434\u043d\u0430\u044f<\/strong>, \u0430 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0430\u043c, \u0433\u0434\u0435 \u043e\u043d\u0430 \u0431\u044b\u043b\u0430 \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u043d\u0435 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0438\u0447\u0435\u0433\u043e.<\/p>\n<h3>\u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u0442\u044c<\/h3>\n<p>\u041f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0449\u0438\u043a, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0432\u0441\u0451 \u044d\u0442\u043e \u0441\u0442\u043e\u0438\u0442, \u043d\u0430\u0432\u0435\u043b\u0438 \u043d\u0430 \u0441\u0435\u043c\u044c \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0445 async-\u043f\u0430\u043a\u0435\u0442\u043e\u0432 \u2014 <code>p-limit<\/code>, <code>p-queue<\/code>, <code>async-mutex<\/code>, <code>async-sema<\/code>, <code>generic-pool<\/code>, <code>p-retry<\/code>, <code>bottleneck<\/code>. 19 \u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432, \u0441\u043e\u0442\u043d\u0438 \u0441\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439 \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439.<\/p>\n<p>\u0412\u0441\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043b\u0438\u0441\u044c. \u041d\u0438 \u043e\u0434\u043d\u043e\u0433\u043e \u0431\u0430\u0433\u0430.<\/p>\n<p>\u042d\u0442\u043e \u0447\u0435\u0441\u0442\u043d\u044b\u0439 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a, \u0438 \u044f \u0435\u0433\u043e \u0447\u0443\u0442\u044c \u043d\u0435 \u0432\u044b\u043a\u0438\u043d\u0443\u043b, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u00ab\u043d\u043e\u0432\u044b\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043d\u0430\u0448\u0451\u043b\u00bb \u2014 \u043d\u0435 \u0442\u0430 \u0438\u0441\u0442\u043e\u0440\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c. \u041d\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0437\u0434\u0435\u0441\u044c \u0438 \u0435\u0441\u0442\u044c \u043a\u0430\u043b\u0438\u0431\u0440\u043e\u0432\u043a\u0430. \u042d\u0442\u043e \u0437\u0440\u0435\u043b\u044b\u0435 \u043f\u0430\u043a\u0435\u0442\u044b, \u0447\u044c\u0438 \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c \u0442\u0440\u043e\u0433\u0430\u0435\u0442 \u0435\u0436\u0435\u0434\u043d\u0435\u0432\u043d\u043e. \u0418\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442, \u043e\u0431\u044a\u044f\u0432\u0438\u0432\u0448\u0438\u0439, \u0447\u0442\u043e \u0432 \u043f\u0435\u0440\u0432\u044b\u0439 \u0436\u0435 \u0432\u0435\u0447\u0435\u0440 \u0441\u043b\u043e\u043c\u0430\u043b \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u0432 <code>p-limit<\/code>, \u0441\u043e\u043e\u0431\u0449\u0438\u043b \u0431\u044b \u0447\u0442\u043e-\u0442\u043e \u043e \u0441\u0435\u0431\u0435, \u0430 \u043d\u0435 \u043e <code>p-limit<\/code>.<\/p>\n<p>\u0427\u0442\u043e \u043f\u0440\u043e\u0433\u043e\u043d \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442: \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440 \u0432\u0435\u0434\u0451\u0442 \u0441\u0435\u043c\u044c \u0447\u0443\u0436\u0438\u0445 \u043f\u0430\u043a\u0435\u0442\u043e\u0432 \u2014 \u0438\u0445 \u0442\u0430\u0439\u043c\u0435\u0440\u044b, \u0438\u0445 \u043f\u0440\u043e\u043c\u0438\u0441\u044b, \u0438\u0445 \u044d\u0432\u0438\u043a\u0442\u043e\u0440\u044b \u2014 \u0438 \u043d\u0438 \u043e\u0434\u0438\u043d \u0438\u0437 \u043d\u0438\u0445 \u043d\u0435 \u0437\u043d\u0430\u0435\u0442 \u043e \u0435\u0433\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0438.<\/p>\n<p>\u041e\u0434\u0438\u043d \u0441\u043b\u0443\u0447\u0430\u0439 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u043b \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0438\u043c. <code>bottleneck<\/code> \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u043b \u0434\u0432\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u0441 \u0440\u0430\u0437\u0440\u044b\u0432\u043e\u043c 9 \u043c\u0441 \u043f\u0440\u0438 <code>minTime: 10<\/code>. \u041e\u043d\u043e \u0432\u043e\u0441\u043f\u0440\u043e\u0438\u0437\u0432\u0435\u043b\u043e\u0441\u044c \u0432\u043d\u0435 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0430 \u2014 \u043e\u0431\u044b\u0447\u043d\u043e \u043d\u0430 \u044d\u0442\u043e\u043c \u0432\u043e\u043f\u0440\u043e\u0441 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f. \u0410 \u043f\u043e\u0442\u043e\u043c \u0432\u044b\u044f\u0441\u043d\u0438\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u0440\u0430\u0437\u0440\u044b\u0432 \u0440\u043e\u0432\u043d\u043e 1 \u043c\u0441 \u043d\u0430 \u0432\u0441\u0435\u0445 400 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445. \u041d\u0435 \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435, \u0430 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0430. \u042d\u0442\u043e \u0441\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c \u0441\u0442\u0430\u0440\u0442\u0430, \u0430 \u043d\u0435 \u0434\u0435\u0444\u0435\u043a\u0442 \u043f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f.<\/p>\n<p>\u041e\u0444\u043e\u0440\u043c\u043b\u0435\u043d\u0438\u0435 \u044d\u0442\u043e\u0433\u043e \u0431\u0430\u0433-\u0440\u0435\u043f\u043e\u0440\u0442\u0430 \u0441\u0442\u043e\u0438\u043b\u043e \u0431\u044b \u043c\u0435\u0439\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0443 \u0432\u0435\u0447\u0435\u0440\u0430 \u0438\u0437-\u0437\u0430 \u043e\u0434\u043d\u043e\u0439 \u043c\u0438\u043b\u043b\u0438\u0441\u0435\u043a\u0443\u043d\u0434\u044b. \u0414\u0438\u0441\u0446\u0438\u043f\u043b\u0438\u043d\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432 \u0442\u0430\u043a\u043e\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0435 \u0447\u0442\u043e-\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u0442, \u2014 \u044d\u0442\u043e \u043d\u0435 \u0443\u043c\u0435\u043d\u0438\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c. \u042d\u0442\u043e \u0443\u043c\u0435\u043d\u0438\u0435 <strong>\u043d\u0435 \u043e\u0444\u043e\u0440\u043c\u0438\u0442\u044c<\/strong> \u0442\u043e, \u0447\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u0431\u044b \u043d\u0430\u0439\u0442\u0438.<\/p>\n<h3>\u0413\u0434\u0435 \u043a\u043e\u043d\u0447\u0430\u0435\u0442\u0441\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0430<\/h3>\n<p>\u041a\u043e\u0433\u0434\u0430 \u0432 \u043e\u0434\u043d\u043e\u043c \u043d\u0430\u0431\u043e\u0440\u0435 \u043b\u0435\u0436\u0430\u0442 \u0438 \u0441\u044d\u043c\u043f\u043b\u0435\u0440, \u0438 model checker, \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u044f \u043d\u0435 \u043e\u0436\u0438\u0434\u0430\u043b \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0435\u0440\u0435\u043a\u043e\u0448\u0435\u043d\u043d\u044b\u043c. \u041e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e, \u0434\u0432\u0443\u043c\u044f \u0441\u043f\u043e\u0441\u043e\u0431\u0430\u043c\u0438:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u0421\u0432\u043e\u0439\u0441\u0442\u0432\u043e<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0412\u044b\u0431\u043e\u0440\u043a\u043e\u0439<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0414\u043e\u043a\u0430\u0437\u0430\u043d\u043e<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">Election Safety, 3 \u0443\u0437\u043b\u0430, \u0442\u0435\u0440\u043c\u044b \u2264 3<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0441\u043e\u0442\u043d\u0438 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439<\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>2 428 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439<\/strong>, \u0438\u0441\u0447\u0435\u0440\u043f\u044b\u0432\u0430\u044e\u0449\u0435<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">Election Safety, 5 \u0443\u0437\u043b\u043e\u0432, \u0442\u0435\u0440\u043c\u044b \u2264 2<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0441\u043e\u0442\u043d\u0438 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439<\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>148 318 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439<\/strong>, \u0438\u0441\u0447\u0435\u0440\u043f\u044b\u0432\u0430\u044e\u0449\u0435<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">Election Safety, 5 \u0443\u0437\u043b\u043e\u0432, \u0442\u0435\u0440\u043c\u044b \u2264 3<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0441\u043e\u0442\u043d\u0438 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439<\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>6 801 084 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f<\/strong>, \u0438\u0441\u0447\u0435\u0440\u043f\u044b\u0432\u0430\u044e\u0449\u0435<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">Write skew \u043f\u043e\u0434 snapshot isolation<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043d\u0430\u0439\u0434\u0435\u043d \u043d\u0430 \u0441\u0438\u0434\u0435 25 \u0438\u0437 300<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c \u0437\u0430 <strong>5 \u0448\u0430\u0433\u043e\u0432<\/strong>, \u043a\u0440\u0430\u0442\u0447\u0430\u0439\u0448\u0438\u0445<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u0418 \u0440\u0435\u0436\u0438\u043c\u044b \u043e\u0442\u043a\u0430\u0437\u0430 \u0441\u043e\u0432\u043f\u0430\u043b\u0438 \u0441 \u0442\u0435\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0438\u0448\u043b\u043e\u0441\u044c \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0440\u0443\u043a\u0430\u043c\u0438. \u042d\u043a\u0441\u043f\u043e\u043d\u0430\u0442 \u0441 \u043d\u0435\u043f\u0435\u0440\u0435\u0436\u0438\u0432\u0448\u0438\u043c \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0443\u0441\u043a \u0433\u043e\u043b\u043e\u0441\u043e\u043c \u2014 \u0442\u043e\u0442, \u043a\u043e\u0442\u043e\u0440\u043e\u043c\u0443 \u043d\u0443\u0436\u043d\u043e \u043f\u0430\u0434\u0435\u043d\u0438\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u043e\u043a\u043d\u0430 \u0432 \u043e\u0434\u0438\u043d \u0442\u0438\u043a, \u0442\u043e\u0442, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u043d\u0435 \u043f\u043e\u043f\u0430\u0434\u0430\u0435\u0442, \u2014 \u0432 \u043c\u043e\u0434\u0435\u043b\u0438 \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\u043c:<\/p>\n<pre><code>\u2717 \u0432\u044b\u0431\u043e\u0440\u044b \u0432 raft (3 \u0443\u0437\u043b\u0430, \u0442\u0435\u0440\u043c\u044b \u2264 2, \u043e\u0434\u0438\u043d-\u0433\u043e\u043b\u043e\u0441-\u043d\u0430-\u0442\u0435\u0440\u043c \u0412\u042b\u041a\u041b)  \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u00ab\u043d\u0435 \u0431\u043e\u043b\u0435\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u043b\u0438\u0434\u0435\u0440\u0430 \u0432 \u0442\u0435\u0440\u043c\u0435\u00bb \u043d\u0435 \u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f  \u0442\u0440\u0430\u0441\u0441\u0430    (\u043d\u0430\u0447\u0430\u043b\u043e)                  n0:f0 n1:f0 n2:f0    n0: \u0432\u044b\u0434\u0432\u0438\u0433\u0430\u0435\u0442\u0441\u044f           n0:c1\u21920 n1:f0   n2:f0    n1: \u0432\u044b\u0434\u0432\u0438\u0433\u0430\u0435\u0442\u0441\u044f           n0:c1\u21920 n1:c1\u21921 n2:f0    n0: \u0433\u043e\u043b\u043e\u0441\u0443\u0435\u0442 \u0437\u0430 n1        n0:c1\u21921 n1:c1\u21921 n2:f0    n1: \u0432\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u0432 \u0434\u043e\u043b\u0436\u043d\u043e\u0441\u0442\u044c  n0:c1\u21921 n1:l1\u21921 n2:f0    n1: \u0433\u043e\u043b\u043e\u0441\u0443\u0435\u0442 \u0437\u0430 n0        n0:c1\u21921 n1:l1\u21920 n2:f0    n0: \u0432\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u0432 \u0434\u043e\u043b\u0436\u043d\u043e\u0441\u0442\u044c  n0:l1\u21921 n1:l1\u21920 n2:f0<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0428\u0435\u0441\u0442\u044c \u0448\u0430\u0433\u043e\u0432, \u043a\u0440\u0430\u0442\u0447\u0430\u0439\u0448\u0438\u0435 \u043f\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044e, \u043d\u0438\u043a\u0430\u043a\u043e\u0433\u043e \u0441\u0438\u0434\u0430.<\/p>\n<p>\u041f\u0440\u0435\u0434\u0435\u043b \u0437\u0434\u0435\u0441\u044c \u0442\u043e\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c \u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u0440\u043e\u0433\u043b\u0430\u0442\u044b\u0432\u0430\u044e\u0442: <strong>\u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u2014 \u043d\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f.<\/strong> \u0412 \u044d\u0442\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043d\u0438\u0435 \u0430\u0442\u043e\u043c\u0430\u0440\u043d\u043e, \u043d\u0435\u0442 \u043f\u043e\u0442\u0435\u0440\u0438 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0439, \u043d\u0435\u0442 \u0434\u0443\u0431\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u043d\u0435\u0442 \u043f\u0430\u0434\u0435\u043d\u0438\u0439 \u0441 \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0443\u0441\u043a\u043e\u043c, \u043d\u0435\u0442 \u043f\u0435\u0440\u0441\u0438\u0441\u0442\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438. \u0412 \u043c\u043e\u0451\u043c \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0435\u043c Raft \u0435\u0441\u0442\u044c \u0432\u0441\u0435 \u043f\u044f\u0442\u044c. \u0414\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u043f\u0440\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u2014 \u044d\u0442\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e <strong>\u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c<\/strong> \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u0435\u043d \u043d\u0430 \u044d\u0442\u043e\u043c \u0443\u0440\u043e\u0432\u043d\u0435 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438. \u041f\u0440\u043e \u0442\u043e, \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u043b\u0438 \u043c\u043e\u0439 \u043a\u043e\u0434 \u044d\u0442\u043e\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c, \u043e\u043d\u043e \u043d\u0435 \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u0440\u043e\u0432\u043d\u044b\u043c \u0441\u0447\u0451\u0442\u043e\u043c \u043d\u0438\u0447\u0435\u0433\u043e.<\/p>\n<p>\u0410 \u0431\u0430\u0433 \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u0431\u044b\u043b \u0432 \u043a\u043e\u0434\u0435, \u043d\u0435 \u0432 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u043e\u0431\u0430. \u041d\u0438 \u043e\u0434\u043d\u043e\u0433\u043e \u043d\u0435 \u0445\u0432\u0430\u0442\u0430\u0435\u0442, \u0438 \u043e\u0442\u043a\u0430\u0437 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0440\u043e\u0432\u043d\u043e \u0434\u0440\u0443\u0433\u0438\u043c.<\/p>\n<h3>\u0427\u0435\u0433\u043e \u044d\u0442\u043e \u043d\u0435 \u0434\u0430\u0451\u0442 \u0438 \u0447\u0435\u0433\u043e \u0441\u0442\u043e\u0438\u0442<\/h3>\n<p>\u041f\u0440\u043e TypeScript \u0441\u043f\u0440\u043e\u0441\u044f\u0442, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u0442\u0432\u0435\u0447\u0443 \u0441\u0440\u0430\u0437\u0443. \u041e\u043d \u0432\u044b\u0431\u0440\u0430\u043d \u043d\u0435 \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442 \u0434\u043b\u044f \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c \u043b\u0443\u0447\u0448\u0435 Go \u0438\u043b\u0438 Rust, \u2014 \u043e\u043d \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442 \u0445\u0443\u0436\u0435. \u041e\u043d \u0432\u044b\u0431\u0440\u0430\u043d \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438 \u0432 JavaScript \u043d\u0435 \u0431\u044b\u043b\u043e, \u0430 <code>@sinonjs\/fake-timers<\/code> \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u0442 \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c, \u043d\u043e \u043d\u0435 \u0442\u0435\u043c, \u043a\u0430\u043a\u043e\u0439 \u0438\u0437 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0433\u043e\u0442\u043e\u0432\u044b\u0445 \u043a\u043e\u043b\u0431\u044d\u043a\u043e\u0432 \u043f\u043e\u0439\u0434\u0451\u0442 \u043f\u0435\u0440\u0432\u044b\u043c, \u2014 \u0430 \u0431\u0430\u0433\u0430 \u0436\u0438\u0432\u0451\u0442 \u0438\u043c\u0435\u043d\u043d\u043e \u0442\u0430\u043c. \u0412 Rust \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 <code>loom<\/code>, \u0438 \u0434\u0435\u043b\u0430\u0435\u0442 \u043b\u0443\u0447\u0448\u0435: \u043a\u043e\u0434 \u043f\u043e\u0434 \u0442\u0435\u0441\u0442\u043e\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u044b \u0441\u0430\u043c\u043e\u0433\u043e <code>loom<\/code>, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u043d \u0432\u0438\u0434\u0438\u0442 \u043a\u0430\u0436\u0434\u043e\u0435 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u043a \u043e\u0431\u0449\u0435\u043c\u0443 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044e \u0438 \u0443\u043c\u0435\u0435\u0442 \u0440\u0435\u0434\u0443\u0446\u0438\u0440\u043e\u0432\u0430\u0442\u044c. \u0412 JavaScript \u0442\u0430\u043a \u043d\u0435 \u0432\u044b\u0439\u0434\u0435\u0442, \u043d\u0435 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u0432 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0442\u044c \u0440\u0430\u0437\u0434\u0435\u043b\u044f\u0435\u043c\u044b\u0435 \u0440\u0435\u0441\u0443\u0440\u0441\u044b \u0440\u0443\u043a\u0430\u043c\u0438. \u042d\u0442\u043e \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0439 \u0432\u043e\u043f\u0440\u043e\u0441, \u0438 \u0443 \u043c\u0435\u043d\u044f \u043d\u0435\u0442 \u0445\u043e\u0440\u043e\u0448\u0435\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430.<\/p>\n<p>\u0420\u0435\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u0438\u0437\u043c\u0430 \u0437\u0434\u0435\u0441\u044c \u0442\u043e\u0436\u0435 \u043d\u0435\u0442: Node \u043e\u0434\u043d\u043e\u043f\u043e\u0442\u043e\u0447\u043d\u044b\u0439, \u0438 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440 \u0442\u043e\u0436\u0435. \u042d\u0442\u043e \u043f\u0440\u043e \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u044c, \u043d\u0435 \u043f\u0440\u043e \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u0438\u0437\u043c. \u0413\u043e\u043d\u043a\u0438 \u043c\u0435\u0436\u0434\u0443 \u0432\u043e\u0440\u043a\u0435\u0440\u0430\u043c\u0438 \u0438 \u0432\u043d\u0443\u0442\u0440\u0438 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0445 \u0430\u0434\u0434\u043e\u043d\u043e\u0432 \u2014 \u0432\u043d\u0435 \u043e\u0431\u043b\u0430\u0441\u0442\u0438.<\/p>\n<p>\u0418 \u044d\u0442\u043e \u0434\u043e\u0440\u043e\u0433\u043e. \u041d\u0435 \u0432 \u0434\u0435\u043d\u044c\u0433\u0430\u0445, \u0432 \u043e\u0431\u044a\u0451\u043c\u0435. \u0423 model checker\u2019\u0430 944 \u0441\u0442\u0440\u043e\u043a\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u043e\u0432 \u2014 \u0438 1767 \u0441\u0442\u0440\u043e\u043a \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u044d\u0442\u0438 944 \u0441\u0442\u0440\u043e\u043a\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442. \u041f\u043e\u0447\u0442\u0438 \u0432\u0434\u0432\u043e\u0435 \u0431\u043e\u043b\u044c\u0448\u0435 \u043a\u043e\u0434\u0430, \u0447\u0435\u043c \u043a\u043e\u0434\u0430.<\/p>\n<p>\u041d\u0435 \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u044f \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u044b\u0439. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0443 model checker\u2019\u0430 \u043d\u0435\u0442 \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u0441\u043e\u043e\u0431\u0449\u0438\u0442\u044c, \u0447\u0442\u043e \u043e\u043d \u043e\u0448\u0438\u0431\u0441\u044f. \u0415\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u044d\u0442\u043e \u0443\u0437\u043d\u0430\u0442\u044c \u2014 \u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0440\u044f\u0434\u043e\u043c \u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u043e\u0438\u0441\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f \u043d\u0435 \u043c\u043e\u0436\u0435\u0442, \u0438 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u0441\u043e\u0432\u043f\u0430\u0434\u0435\u043d\u0438\u044f.<\/p>\n<p>\u0411\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0443 \u043a\u043e\u0434\u0430 \u0432\u0441\u0451 \u044d\u0442\u043e \u043d\u0435 \u043d\u0443\u0436\u043d\u043e. \u0412 \u043b\u0438\u043d\u0435\u0439\u043d\u043e\u043c \u043a\u043e\u0434\u0435 \u043f\u0443\u0442\u0435\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u0438 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 \u0438\u0445 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442. \u0421\u043c\u044b\u0441\u043b \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0440\u043e\u0432\u043d\u043e \u0442\u0430\u043c, \u0433\u0434\u0435 \u043f\u043e\u0440\u044f\u0434\u043e\u043a \u0448\u0430\u0433\u043e\u0432 \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442 \u043d\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442: \u0434\u0432\u0430 \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u043d\u0430 \u043e\u0434\u0438\u043d \u0441\u0447\u0451\u0442, \u043f\u043b\u0430\u0442\u0451\u0436, \u043f\u043e\u0432\u0442\u043e\u0440\u0451\u043d\u043d\u044b\u0439 \u043f\u043e\u0441\u043b\u0435 \u0442\u0430\u0439\u043c\u0430\u0443\u0442\u0430, \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u0438 \u0435\u0451 \u043f\u043e\u0442\u0440\u0435\u0431\u0438\u0442\u0435\u043b\u044c, \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0430 \u0438 \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u0435 \u043d\u0430 \u043d\u0435\u0439. \u0422\u0430\u043c \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0439 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043d\u043e\u0435, \u0438 \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432 \u0434\u043e\u0441\u0442\u0430\u0451\u0442 \u0438\u0437 \u043d\u0435\u0433\u043e \u0433\u043e\u0440\u0441\u0442\u044c.<\/p>\n<h3>\u0427\u0442\u043e \u044f \u0431\u044b \u043e\u0442\u0441\u044e\u0434\u0430 \u0432\u044b\u043d\u0435\u0441<\/h3>\n<p>\u041f\u043e\u0447\u0442\u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u0438\u0437 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u043d\u0435 \u043d\u043e\u0432\u043e. \u041c\u0443\u0442\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u043c\u0443 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e \u0434\u0435\u0441\u044f\u0442\u043a\u0438 \u043b\u0435\u0442, Jepsen \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u0442\u0441\u044f \u0442\u0435\u043c \u0436\u0435 \u0441\u043d\u0430\u0440\u0443\u0436\u0438 \u043c\u043d\u043e\u0433\u043e \u043b\u0435\u0442, TLC \u0438 SPIN \u2014 model checker\u2019\u044b \u043b\u0443\u0447\u0448\u0435 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u044f \u043a\u043e\u0433\u0434\u0430-\u043b\u0438\u0431\u043e \u043d\u0430\u043f\u0438\u0448\u0443, \u0430 FoundationDB \u0432\u044b\u043a\u0430\u0442\u0438\u043b\u0430 \u0431\u0430\u0437\u0443, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0432\u0441\u044f \u0438\u0441\u0442\u043e\u0440\u0438\u044f \u043f\u0440\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0441\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043a \u00ab\u043c\u044b \u044d\u0442\u043e \u043e\u0442\u0441\u0438\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u043b\u0438\u00bb. \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u0432\u0441\u0435 \u043b\u0435\u0436\u0430\u0442 \u0432 \u043a\u043d\u0438\u0436\u043a\u0430\u0445.<\/p>\n<p>\u041d\u0435\u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u043c \u0434\u043b\u044f \u043c\u0435\u043d\u044f \u0431\u044b\u043b\u043e \u0434\u0440\u0443\u0433\u043e\u0435, \u043c\u0435\u043b\u044c\u0447\u0435 \u0438 \u0441\u043a\u0443\u0447\u043d\u0435\u0435:<\/p>\n<p><strong>\u0417\u0435\u043b\u0451\u043d\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432 \u043d\u0435 \u043d\u0435\u0441\u0451\u0442 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438, \u043f\u043e\u043a\u0430 \u0435\u0433\u043e \u043d\u0435 \u0437\u0430\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u043f\u043e\u043a\u0440\u0430\u0441\u043d\u0435\u0442\u044c \u043d\u0430\u043c\u0435\u0440\u0435\u043d\u043d\u043e.<\/strong><\/p>\n<p>\u041d\u0435 \u043e\u0434\u0438\u043d \u0440\u0430\u0437 \u0432 \u043d\u0430\u0447\u0430\u043b\u0435, \u043d\u0435\u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e. \u041f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u044b\u043c \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442\u043e\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0430\u0434\u0430\u0435\u0442 \u043f\u0440\u0438 \u0432\u044b\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0438 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0439\u043c\u0430\u043d\u043d\u043e\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u043f\u043e \u0438\u043c\u0435\u043d\u0438. \u0418\u043d\u0430\u0447\u0435 \u043e\u0442\u0447\u0451\u0442 \u043d\u0430\u0431\u043e\u0440\u0430 \u043d\u0435\u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043c, \u0430 \u043d\u0435\u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043c\u044b\u0439 \u043e\u0442\u0447\u0451\u0442 \u2014 \u043d\u0435 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e, \u043a\u0430\u043a\u0438\u043c \u0431\u044b \u0446\u0432\u0435\u0442\u043e\u043c \u043e\u043d \u043d\u0438 \u043f\u0435\u0447\u0430\u0442\u0430\u043b\u0441\u044f.<\/p>\n<p>\u0412\u0441\u0451 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u043e\u0435 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u2014 \u044d\u0442\u0430 \u0436\u0435 \u043c\u044b\u0441\u043b\u044c \u043d\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 \u044d\u0442\u0430\u0436\u0430\u0445. \u0421\u043b\u043e\u043c\u0430\u0442\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0438 \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u0447\u0435\u043a\u0435\u0440 \u0437\u0430\u043c\u0435\u0442\u0438\u043b. \u0417\u0430\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0447\u0435\u043a\u0435\u0440 \u0443\u043b\u0438\u0447\u0430\u0442\u044c \u0434\u0432\u0438\u0436\u043e\u043a, \u0430 \u0434\u0432\u0438\u0436\u043e\u043a \u2014 \u043f\u043e\u0437\u043e\u0440\u0438\u0442\u044c \u0447\u0435\u043a\u0435\u0440. \u041d\u0430\u0432\u0435\u0441\u0442\u0438 \u043e\u0431\u0430 \u043d\u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0443, \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e, \u0447\u0442\u043e \u0442\u044b \u0434\u0443\u043c\u0430\u0435\u0448\u044c. \u0414\u0435\u0440\u0436\u0430\u0442\u044c \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043e\u0448\u0438\u0431\u0438\u0442\u044c\u0441\u044f, \u0438 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u043e\u0442 \u0431\u044b\u0441\u0442\u0440\u043e\u0433\u043e \u0441\u043e\u0432\u043f\u0430\u0434\u0435\u043d\u0438\u044f. \u0423\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0442\u044c \u0432 \u0442\u0435\u0441\u0442\u0430\u0445 \u043c\u0435\u0441\u0442\u0430, \u0433\u0434\u0435 \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u044f \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u043d\u0435 \u0434\u0430\u0442\u044c \u043d\u0438\u0447\u0435\u0433\u043e, \u2014 \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0436\u0430\u0434\u043d\u043e\u0441\u0442\u044c \u0438 \u0435\u0441\u0442\u044c \u0442\u043e\u0442 \u043e\u0442\u043a\u0430\u0437, \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043d\u0435 \u0432\u0438\u0434\u043d\u043e.<\/p>\n<p>\u0418 \u0435\u0441\u043b\u0438 \u043f\u043e\u0441\u043b\u0435 \u0432\u0441\u0435\u0433\u043e \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u0447\u0438\u0441\u0442\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u2014 \u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u0442\u044c \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0442\u043e\u0436\u0435, \u0447\u0442\u043e\u0431\u044b \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0447\u0438\u0441\u0442\u044b\u0439 \u0447\u0442\u043e-\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u043b.<\/p>\n<p>\u0412\u043e\u043f\u0440\u043e\u0441 \u043a \u0441\u0432\u043e\u0435\u043c\u0443 \u043d\u0430\u0431\u043e\u0440\u0443 \u0442\u0435\u0441\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u0442\u043e\u0438\u0442 \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c, \u2014 \u043d\u0435 \u00ab\u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u043b\u0438 \u043e\u043d\u00bb. \u0410: \u0447\u0442\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u0441\u043b\u043e\u043c\u0430\u0442\u044c\u0441\u044f, \u0447\u0442\u043e\u0431\u044b \u043e\u043d \u043f\u043e\u043a\u0440\u0430\u0441\u043d\u0435\u043b, \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u043b \u043b\u0438 \u044f \u0445\u043e\u0442\u044c \u0440\u0430\u0437, \u0447\u0442\u043e \u043e\u043d \u043a\u0440\u0430\u0441\u043d\u0435\u0435\u0442.<\/p>\n<h3>\u041a\u043e\u0434<\/h3>\n<p>\u0415\u0441\u043b\u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0435\u0435 \u0447\u0438\u0442\u0430\u0442\u044c \u0435\u0433\u043e, \u0430 \u043d\u0435 \u043c\u043e\u0439 \u043f\u0435\u0440\u0435\u0441\u043a\u0430\u0437. \u0412\u0441\u0451 \u043d\u0430 TypeScript, MIT, \u0431\u0435\u0437 \u0440\u0430\u043d\u0442\u0430\u0439\u043c-\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0435\u0439.<\/p>\n<ul>\n<li>\n<p><a href=\"https:\/\/github.com\/BOTIROFF-D\/unflake\" rel=\"noopener noreferrer nofollow\">unflake<\/a> \u2014 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u044f: \u043e\u0434\u0438\u043d \u0441\u0438\u0434, \u043e\u0434\u0438\u043d \u0438 \u0442\u043e\u0442 \u0436\u0435 \u043f\u0440\u043e\u0433\u043e\u043d \u043f\u043e\u0431\u0430\u0439\u0442\u043e\u0432\u043e<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/BOTIROFF-D\/bulwark\" rel=\"noopener noreferrer nofollow\">bulwark<\/a> \u2014 Raft, \u0441\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u043e\u0442\u043a\u0430\u0437\u044b \u0438 \u043c\u0443\u0437\u0435\u0439 \u0431\u0430\u0433\u043e\u0432<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/BOTIROFF-D\/adya\" rel=\"noopener noreferrer nofollow\">adya<\/a> \u2014 MVCC-\u0434\u0432\u0438\u0436\u043e\u043a, \u043b\u0435\u0441\u0442\u043d\u0438\u0446\u0430 \u0438\u0437\u043e\u043b\u044f\u0446\u0438\u0438 \u0438 \u0447\u0435\u043a\u0435\u0440 \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u0439<\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/github.com\/BOTIROFF-D\/pnueli\" rel=\"noopener noreferrer nofollow\">pnueli<\/a> \u2014 model checker, \u0435\u0433\u043e \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u0438 \u0438 \u043f\u043e\u0438\u0441\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442<\/p>\n<\/li>\n<\/ul>\n<h3>\u041e\u0431 \u0430\u0432\u0442\u043e\u0440\u0435<\/h3>\n<p>\u0414\u043e\u043d\u0438\u0451\u0440 \u0411\u043e\u0442\u0438\u0440\u043e\u0432, \u043e\u0441\u043d\u043e\u0432\u0430\u0442\u0435\u043b\u044c <a href=\"https:\/\/dbit.one\/ru\" rel=\"noopener noreferrer nofollow\">dbit.one<\/a>. \u041f\u044f\u0442\u044b\u0439 \u0433\u043e\u0434 \u0432 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0435, \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0443 \u043f\u0438\u0448\u0443 \u0441\u0430\u043c \u0438 \u043e\u0441\u0442\u0430\u044e\u0441\u044c \u043d\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0435 \u0434\u043e \u0440\u0435\u043b\u0438\u0437\u0430 \u2014 \u043f\u043e \u0441\u043a\u043b\u0430\u0434\u0443 \u0442\u0438\u043c\u043b\u0438\u0434, \u0430 \u043d\u0435 \u043c\u0435\u043d\u0435\u0434\u0436\u0435\u0440.<\/p>\n<p>\u0418\u0437 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0441\u0442\u0440\u043e\u0438\u043b: \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043f\u0430\u0440\u043a\u043e\u043c \u0442\u044f\u0436\u0451\u043b\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u043a\u0438 \u0434\u043b\u044f \u043c\u0438\u0440\u043e\u0432\u043e\u0433\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044f, \u043a\u043e\u043d\u0442\u0443\u0440 \u043d\u0430\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0437\u0434\u0440\u0430\u0432\u043e\u043e\u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f, \u0418\u0418-\u0430\u0441\u0441\u0438\u0441\u0442\u0435\u043d\u0442 \u0432\u0440\u0430\u0447\u0430 \u0434\u043b\u044f \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0441\u043a\u043e\u0433\u043e \u0433\u043e\u0441\u043f\u0438\u0442\u0430\u043b\u044f, \u0430\u043d\u0430\u043b\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043a\u043e\u043d\u0442\u0443\u0440 \u0440\u043e\u0437\u043d\u0438\u0447\u043d\u043e\u0433\u043e \u0431\u0430\u043d\u043a\u0430, CRM \u0441\u0435\u0442\u0438 \u0443\u0447\u0435\u0431\u043d\u044b\u0445 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u0439. \u0417\u0430\u043a\u0430\u0437\u0447\u0438\u043a\u0438 \u043f\u043e\u0434 NDA, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0438\u043c\u0451\u043d \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u2014 \u0437\u0430\u0442\u043e \u0435\u0441\u0442\u044c \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0439 \u043a\u043e\u0434 \u0432\u044b\u0448\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0438 \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u0441\u043e \u0441\u0442\u043e\u0440\u043e\u043d\u044b \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430, \u0430 \u043d\u0435 \u043f\u043e\u0438\u0441\u043a\u0430: <a href=\"https:\/\/dbit.one\/ru\/blog\/proverka-modeley\" rel=\"noopener noreferrer nofollow\">\u0422\u0435\u0441\u0442\u044b \u043d\u0435 \u0434\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0431\u0430\u0433\u0430. \u0427\u0442\u043e \u0434\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442<\/a>.<\/p>\n<\/div>\n<p>\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/1073510\/\">https:\/\/habr.com\/ru\/articles\/1073510\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u0412\u0441\u0435 \u043f\u044f\u0442\u044c safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432 Raft \u043f\u0440\u043e\u0448\u043b\u0438. \u0414\u0432\u0435 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0440\u0430\u0437\u043e\u0448\u043b\u0438\u0441\u044c\u042f \u043f\u0438\u0441\u0430\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e Raft \u043d\u0430 TypeScript \u2014 \u043d\u0435 \u0432 \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u0435\u043d, \u0430 \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0432\u043e\u043a\u0440\u0443\u0433 \u043d\u0435\u0451 \u043e\u0431\u0432\u044f\u0437\u043a\u0443. \u041e\u0431\u0432\u044f\u0437\u043a\u0430 \u0438 \u0431\u044b\u043b\u0430 \u0446\u0435\u043b\u044c\u044e: \u043a\u0430\u0436\u0434\u044b\u0439 \u0442\u0438\u043a, \u043a\u0430\u0436\u0434\u0430\u044f \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u0430 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f, \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u0442\u0435\u0440\u044f\u043d\u043d\u044b\u0439 \u043f\u0430\u043a\u0435\u0442 \u0438 \u043a\u0430\u0436\u0434\u0430\u044f \u043f\u0435\u0440\u0435\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0430 \u0443\u0437\u043b\u0430 \u0431\u0435\u0440\u0443\u0442\u0441\u044f \u0438\u0437 \u0441\u0438\u0434\u0430, \u0447\u0442\u043e\u0431\u044b \u043f\u0430\u0434\u0435\u043d\u0438\u0435 \u0432 \u043a\u043b\u0430\u0441\u0442\u0435\u0440\u0435 \u0438\u0437 \u043f\u044f\u0442\u0438 \u0443\u0437\u043b\u043e\u0432 \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043e\u0442\u0434\u0430\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u043c\u0443 \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0443, \u0430 \u043d\u0435 \u043f\u0435\u0440\u0435\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u0441\u0432\u043e\u0438\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438.\u041d\u0430 \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043f\u044f\u0442\u043e\u043c \u043f\u0440\u043e\u0433\u043e\u043d\u0435 \u0445\u0430\u043e\u0441-\u043d\u0430\u0431\u043e\u0440 \u0443\u043f\u0430\u043b. \u0414\u0432\u0435 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b\u0438 \u0440\u0430\u0437\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f.\u041a \u044d\u0442\u043e\u043c\u0443 \u043c\u043e\u043c\u0435\u043d\u0442\u0443 \u0441\u0435\u0442\u044c \u0443\u0436\u0435 \u0431\u044b\u043b\u0430 \u0441\u043a\u043b\u0435\u0435\u043d\u0430, \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u0430\u0434\u0430\u043b\u043e, \u043b\u043e\u0433\u0438 \u0443 \u0440\u0435\u043f\u043b\u0438\u043a \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u043b\u0438. \u0418 \u0432\u0441\u0435 \u043f\u044f\u0442\u044c safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0438\u0437 Figure 3 \u0441\u0442\u0430\u0442\u044c\u0438 \u041e\u043d\u0433\u0430\u0440\u043e \u0438 \u041e\u0443\u0441\u0442\u0435\u0440\u0445\u0430\u0443\u0442\u0430 \u2014 Election Safety, Leader Append-Only, Log Matching, Leader Completeness, State Machine Safety \u2014 \u0434\u0435\u0440\u0436\u0430\u043b\u0438\u0441\u044c \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u043c \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0432\u043a\u043b\u044e\u0447\u0430\u044f \u0442\u043e\u0442, \u0447\u0442\u043e \u0431\u044b\u043b \u043d\u0435\u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043f\u0435\u0440\u0435\u0434 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u043e\u0439.\u041f\u0440\u0430\u0432\u0438\u043b\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u043b\u0438\u0441\u044c. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0431\u044b\u043b\u0430 \u043d\u0435\u043f\u0440\u0430\u0432\u0430.\u0427\u0442\u043e \u044d\u0442\u043e \u0431\u044b\u043b\u043e\u00a75.4.2. \u041b\u0438\u0434\u0435\u0440 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u043f\u0440\u0430\u0432\u0430 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442\u044c \u0437\u0430\u043f\u0438\u0441\u044c, \u0443\u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u043e\u0442 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430, \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u043f\u043e\u0434\u0441\u0447\u0451\u0442\u043e\u043c \u0440\u0435\u043f\u043b\u0438\u043a: \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e, \u0434\u0435\u0440\u0436\u0430\u0449\u0435\u0435 \u0441\u0442\u0430\u0440\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044c, \u0435\u0449\u0451 \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u0435\u0451 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0439 \u2014 \u0431\u043e\u043b\u0435\u0435 \u043f\u043e\u0437\u0434\u043d\u0438\u0439 \u043b\u0438\u0434\u0435\u0440 \u0432\u0441\u0451 \u0435\u0449\u0451 \u043c\u043e\u0436\u0435\u0442 \u0435\u0451 \u0437\u0430\u0442\u0435\u0440\u0435\u0442\u044c. \u041f\u0440\u0430\u0432\u0438\u043b\u043e \u0442\u0430\u043a\u043e\u0435: \u043b\u0438\u0434\u0435\u0440 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442 \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430, \u0430 \u0443\u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0435\u0434\u0443\u0442 \u0441\u043b\u0435\u0434\u043e\u043c \u0437\u0430 \u043d\u0435\u0439.\u041f\u0440\u0430\u0432\u0438\u043b\u043e \u0432\u0435\u0440\u043d\u043e\u0435. \u0418 \u043e\u043d\u043e \u0442\u0438\u0445\u043e \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0437\u0430\u043f\u0438\u0441\u044c \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u043f\u043e\u044f\u0432\u0438\u0442\u0441\u044f.\u0412 \u043c\u043e\u0451\u043c \u043f\u0440\u043e\u0433\u043e\u043d\u0435 \u043a\u043b\u0438\u0435\u043d\u0442\u044b \u0437\u0430\u043c\u043e\u043b\u0447\u0430\u043b\u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0441\u043b\u0435 \u0441\u043c\u0435\u043d\u044b \u043b\u0438\u0434\u0435\u0440\u0430. \u0422\u0430\u043a\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u043d\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u0430\u0441\u044c. \u0423\u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0437\u0430\u043f\u0438\u0441\u0438 \u043e\u0441\u0442\u0430\u043b\u0438\u0441\u044c \u043d\u0435\u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0447\u0435\u043d\u043d\u044b\u043c\u0438 \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430 \u2014 \u0430 \u0440\u0435\u043f\u043b\u0438\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0443\u0441\u043f\u0435\u043b\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u0438\u0445 \u043f\u0440\u0438 \u043f\u0440\u043e\u0448\u043b\u043e\u043c \u043b\u0438\u0434\u0435\u0440\u0435, \u043e\u0441\u0442\u0430\u043b\u0438\u0441\u044c \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u043f\u0435\u0440\u0435\u0434\u0438 \u0442\u0435\u0445, \u043a\u0442\u043e \u0441\u0438\u0433\u043d\u0430\u043b\u0430 \u043e \u043a\u043e\u043c\u043c\u0438\u0442\u0435 \u0442\u0430\u043a \u0438 \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u043b.\u041b\u0435\u043a\u0430\u0440\u0441\u0442\u0432\u043e \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u0442 \u043e\u0434\u043d\u043e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435, \u00a78: \u043f\u0440\u0438 \u0432\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0438 \u0432 \u0434\u043e\u043b\u0436\u043d\u043e\u0441\u0442\u044c \u043b\u0438\u0434\u0435\u0440 \u0434\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u043f\u0443\u0441\u0442\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430. \u041e\u043d\u0430 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430, \u0437\u043d\u0430\u0447\u0438\u0442 \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442\u044c \u043f\u043e\u0434\u0441\u0447\u0451\u0442\u043e\u043c, \u0438 \u043e\u043d\u0430 \u0442\u044f\u043d\u0435\u0442 \u0437\u0430 \u0441\u043e\u0431\u043e\u0439 \u0432\u0441\u0451, \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0440\u0430\u043d\u044c\u0448\u0435. \u0412\u043e\u0441\u0435\u043c\u044c \u0441\u0442\u0440\u043e\u043a \u0432 node.ts.\u042f \u0431\u044b \u044d\u0442\u043e \u0447\u0442\u0435\u043d\u0438\u0435\u043c \u043d\u0435 \u043d\u0430\u0448\u0451\u043b. \u00a78 \u044f \u0447\u0438\u0442\u0430\u043b. \u041e\u043d\u043e \u0442\u0430\u043c \u043d\u0430 \u043e\u0434\u043d\u043e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435, \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043a\u0430\u043a \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f, \u0438 \u044f \u0435\u0433\u043e \u043d\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b.\u041a\u0430\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u044d\u0442\u043e \u043f\u043e\u0439\u043c\u0430\u043b\u0430\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u0435\u043d \u043d\u0435 \u0431\u0430\u0433. \u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u043a\u0430\u043a\u0430\u044f \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0430.\u041d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0441\u0432\u043e\u0439\u0441\u0442\u0432. \u0412\u0441\u0435 \u043f\u044f\u0442\u044c \u0434\u0435\u0440\u0436\u0430\u043b\u0438\u0441\u044c \u2014 \u044f \u043f\u043e\u0442\u043e\u043c \u043f\u0440\u043e\u0448\u0451\u043b \u0442\u0440\u0435\u0439\u0441 \u0440\u0443\u043a\u0430\u043c\u0438, \u043e\u043d\u0438 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0434\u0435\u0440\u0436\u0430\u0442\u0441\u044f. \u0422\u0435\u0441\u0442, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0449\u0438\u0439 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0441\u0430\u043c\u043e\u0433\u043e Raft, \u043f\u0440\u043e\u0448\u0451\u043b \u0431\u044b. \u0422\u0435\u0441\u0442, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0449\u0438\u0439, \u0447\u0442\u043e \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0435, \u0442\u043e\u0436\u0435 \u043f\u0440\u043e\u0448\u0451\u043b \u0431\u044b: \u043d\u0430 \u0442\u0435\u0445 \u0440\u0435\u043f\u043b\u0438\u043a\u0430\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0445 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438, \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0431\u044b\u043b\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0435.\u0421\u0440\u0430\u0431\u043e\u0442\u0430\u043b\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u044f \u0434\u043e\u043f\u0438\u0441\u0430\u043b \u043f\u043e\u0447\u0442\u0438 \u043c\u0435\u0436\u0434\u0443 \u0434\u0435\u043b\u043e\u043c: \u043a\u043e\u0433\u0434\u0430 \u043e\u0442\u043a\u0430\u0437\u044b \u043f\u0440\u0435\u043a\u0440\u0430\u0442\u0438\u043b\u0438\u0441\u044c \u0438 \u043a\u043b\u0430\u0441\u0442\u0435\u0440\u0443 \u0434\u0430\u043b\u0438 \u0432\u0440\u0435\u043c\u044f \u0443\u0441\u0442\u043e\u044f\u0442\u044c\u0441\u044f \u2014 \u0432\u0441\u0435 \u043b\u0438 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0441\u043e\u0448\u043b\u0438\u0441\u044c. \u042d\u0442\u043e \u043d\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e Raft. \u042d\u0442\u043e \u0442\u043e, \u0440\u0430\u0434\u0438 \u0447\u0435\u0433\u043e Raft \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442, \u0438 \u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u044d\u0442\u043e \u0440\u0430\u0437\u043d\u044b\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f.\u0418 \u043f\u0440\u043e\u0433\u043e\u043d \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043f\u044f\u0442\u044b\u0439. \u041d\u0435 \u0432\u0442\u043e\u0440\u043e\u0439. \u041d\u0435 \u043f\u0435\u0440\u0432\u044b\u0439. \u0414\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043f\u044f\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439 \u0434\u043e\u043b\u0436\u043d\u044b \u0431\u044b\u043b\u0438 \u043f\u0440\u043e\u0439\u0442\u0438 \u043c\u0438\u043c\u043e, \u043f\u0440\u0435\u0436\u0434\u0435 \u0447\u0435\u043c \u043a\u043b\u0438\u0435\u043d\u0442\u044b \u0437\u0430\u043c\u043e\u043b\u0447\u0430\u043b\u0438 \u0440\u043e\u0432\u043d\u043e \u0432 \u0442\u043e\u043c \u043e\u043a\u043d\u0435, \u0433\u0434\u0435 \u044d\u0442\u043e \u0438\u043c\u0435\u043b\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435.\u0414\u0430\u043b\u044c\u0448\u0435 \u0432\u043e\u043f\u0440\u043e\u0441 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b \u0431\u044b\u0442\u044c \u00ab\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u043b\u0438 \u0443 \u043c\u0435\u043d\u044f Raft\u00bb \u0438 \u0441\u0442\u0430\u043b \u0445\u0443\u0436\u0435: \u043e\u0442\u043a\u0443\u0434\u0430 \u044f \u0437\u043d\u0430\u044e, \u0447\u0442\u043e \u0432\u0441\u044f \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u0430\u044f \u043e\u0431\u0432\u044f\u0437\u043a\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0430 \u0447\u0442\u043e-\u0442\u043e \u0441\u043c\u043e\u0442\u0440\u0438\u0442.\u041d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043a\u0440\u0430\u0441\u043d\u0435\u043b, \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0434\u0432\u0435 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438. \u041b\u0438\u0431\u043e \u043a\u043e\u0434 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439, \u043b\u0438\u0431\u043e \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u0441\u043c\u043e\u0442\u0440\u0438\u0442. \u0420\u0430\u0437\u043b\u0438\u0447\u0438\u0442\u044c \u0438\u0445 \u043f\u043e \u0446\u0432\u0435\u0442\u0443 \u043d\u0435\u043b\u044c\u0437\u044f, \u0438 \u0433\u043e\u0434\u0430\u043c\u0438 \u043e\u043d \u0431\u0443\u0434\u0435\u0442 \u0434\u043e\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0442\u044c \u0432\u0442\u043e\u0440\u0443\u044e \u043a\u0430\u043a \u043f\u0435\u0440\u0432\u0443\u044e.\u041f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u0447\u0435\u043a\u0435\u0440, \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0432 \u0435\u0433\u043e \u0438 \u0443\u0432\u0438\u0434\u0435\u0432 \u0437\u0435\u043b\u0451\u043d\u043e\u0435, \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e. \u0417\u0435\u043b\u0451\u043d\u043e\u0435 \u2014 \u0440\u043e\u0432\u043d\u043e \u0442\u043e, \u0447\u0442\u043e \u0432\u044b\u0434\u0430\u0451\u0442 \u0441\u043b\u043e\u043c\u0430\u043d\u043d\u044b\u0439 \u0447\u0435\u043a\u0435\u0440.\u0420\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e: \u0434\u0430\u0442\u044c \u0447\u0435\u043a\u0435\u0440\u0443 \u0442\u043e, \u043f\u0440\u043e \u0447\u0442\u043e \u0437\u0430\u0440\u0430\u043d\u0435\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u0447\u0442\u043e \u043e\u043d\u043e \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0435, \u0438 \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u043e\u043d \u044d\u0442\u043e \u0441\u043a\u0430\u0437\u0430\u043b. \u0418 \u0441\u043a\u0430\u0437\u0430\u043b \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u043c \u0438\u043c\u0435\u043d\u0435\u043c.\u041c\u0443\u0437\u0435\u0439 \u0431\u0430\u0433\u043e\u0432\u0423 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u0442\u0435\u043b\u0438. \u041a\u0430\u0436\u0434\u044b\u0439 \u0432\u044b\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u043d\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430, \u0438 \u043e\u0431\u0432\u044f\u0437\u043a\u0430 \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u043f\u043e\u0439\u043c\u0430\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439:\u043d\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043b\u043e\u0433\u0430 \u2192 Leader Completeness: n2 \u0441\u0442\u0430\u043b \u043b\u0438\u0434\u0435\u0440\u043e\u043c \u0432 \u0442\u0435\u0440\u043c\u0435 4 \u0431\u0435\u0437                                 \u0437\u0430\u043a\u043e\u043c\u043c\u0438\u0447\u0435\u043d\u043d\u043e\u0439 \u0437\u0430\u043f\u0438\u0441\u0438 r6 \u043d\u0430 \u0438\u043d\u0434\u0435\u043a\u0441\u0435 8 (\u0442\u0435\u0440\u043c 1)   (\u043f\u0440\u043e\u0433\u043e\u043d 2)\u043d\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 prevLog           \u2192 Log Matching: \u0438\u043d\u0434\u0435\u043a\u0441 1 \u0442\u0435\u0440\u043c 1 \u0434\u0435\u0440\u0436\u0438\u0442 noop:n1:1 \u0432                                 \u0434\u0440\u0443\u0433\u0438\u0445 \u043c\u0435\u0441\u0442\u0430\u0445, \u043d\u043e r2 \u043d\u0430 n4                      (\u043f\u0440\u043e\u0433\u043e\u043d 1)\u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0443\u044e\u0449\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f  \u2192 State Machine Safety: \u0438\u043d\u0434\u0435\u043a\u0441 8: n5 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b                                 noop:n5:6, n2 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043b r7                       (\u043f\u0440\u043e\u0433\u043e\u043d 4)\u043d\u0435\u0442 no-op \u043b\u0438\u0434\u0435\u0440\u0430               \u2192 \u0440\u0435\u043f\u043b\u0438\u043a\u0438 \u0440\u0430\u0437\u043e\u0448\u043b\u0438\u0441\u044c: n1={&#171;a&#187;:&#187;p1.2&#8243;,&#187;b&#187;:&#187;p0.2&#8243;},                                 n4={&#171;a&#187;:&#187;p1.2&#8243;,&#187;b&#187;:&#187;p1.3&#8243;}                      (\u043f\u0440\u043e\u0433\u043e\u043d 25)\u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u043d\u043e\u0432\u044b\u0439 \u0442\u0435\u0440\u043c    \u2192 \u043a\u043b\u0438\u0435\u043d\u0442 2 \u0441\u0434\u0430\u043b\u0441\u044f \u043d\u0430 cas                          (\u043f\u0440\u043e\u0433\u043e\u043d 1)\u0421\u043e\u043b\u043e\u043c\u0435\u043d\u043d\u044b\u0445 \u0447\u0443\u0447\u0435\u043b \u0437\u0434\u0435\u0441\u044c \u043d\u0435\u0442. \u0423 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u044d\u0442\u0438\u0445 \u043f\u0440\u0430\u0432\u0438\u043b \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0435\u0441\u0442\u044c \u0441\u0432\u043e\u0439 \u043f\u043e\u0434\u0440\u0430\u0437\u0434\u0435\u043b, \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u044e\u0449\u0438\u0439, \u043f\u043e\u0447\u0435\u043c\u0443 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043d\u0435\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430, \u2014 \u0438 \u044d\u0442\u0438\u0445 \u043f\u043e\u0434\u0440\u0430\u0437\u0434\u0435\u043b\u043e\u0432 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e, \u0435\u0441\u043b\u0438 \u0431\u044b \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u0443\u044e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u043d\u0438\u043a\u0442\u043e \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0432\u044b\u043a\u0430\u0442\u0438\u043b.\u0427\u0435\u0442\u0432\u0451\u0440\u0442\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u2014 \u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u0431\u0430\u0433, \u0442\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u0438\u043a\u043e\u043b\u043e\u0442\u044b\u0439 \u043a\u0430\u043a \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u044b\u0439 \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442. \u0415\u0441\u043b\u0438 \u0440\u0435\u0444\u0430\u043a\u0442\u043e\u0440\u0438\u043d\u0433 \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u0441\u043d\u043e\u0432\u0430 \u0443\u0431\u0435\u0440\u0451\u0442 no-op, \u043a\u0440\u0430\u0441\u043d\u043e\u0435 \u0437\u0430\u0433\u043e\u0440\u0438\u0442\u0441\u044f \u043d\u0430\u043c\u0435\u0440\u0435\u043d\u043d\u043e.\u0414\u0430, \u044d\u0442\u043e \u043c\u0443\u0442\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u041f\u0440\u0438\u0442\u0432\u043e\u0440\u044f\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u044f \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u043b \u0447\u0442\u043e-\u0442\u043e \u043d\u043e\u0432\u043e\u0435, \u0431\u044b\u043b\u043e \u0431\u044b \u0433\u043b\u0443\u043f\u043e. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043e\u0434\u043d\u0430 \u0438 \u043e\u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f.\u0418\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u044b \u0432\u0440\u043e\u0434\u0435 Stryker \u043c\u0443\u0442\u0438\u0440\u0443\u044e\u0442 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u044f\u0437\u044b\u043a\u0430: \u043c\u0435\u043d\u044f\u044e\u0442 &gt; \u043d\u0430 &gt;=, \u0432\u044b\u043a\u0438\u0434\u044b\u0432\u0430\u044e\u0442 \u0432\u044b\u0437\u043e\u0432, \u0438\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u044e\u0442 \u0443\u0441\u043b\u043e\u0432\u0438\u0435. \u041c\u043d\u0435 \u043d\u0443\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0432\u044b\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430, \u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043d\u0435 \u0436\u0438\u0432\u0451\u0442 \u0432 \u043e\u0434\u043d\u043e\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435.\u00ab\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043b\u043e\u0433\u0430\u00bb \u2014 \u044d\u0442\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0432 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0435 RequestVote, \u043f\u043b\u044e\u0441 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u043f\u043e\u043b\u0435\u0439, \u043f\u043b\u044e\u0441 \u0442\u043e, \u043a\u0430\u043a \u044d\u0442\u0438 \u043f\u043e\u043b\u044f \u0432\u043e\u043e\u0431\u0449\u0435 \u043f\u043e\u043f\u0430\u0434\u0430\u044e\u0442 \u0432 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435. \u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043c\u0443\u0442\u0430\u043d\u0442, \u043f\u043e\u043c\u0435\u043d\u044f\u0432\u0448\u0438\u0439 \u0442\u0430\u043c \u0437\u043d\u0430\u043a, \u0441 \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043b\u043e\u043c\u0430\u0435\u0442 \u0432\u044b\u0431\u043e\u0440\u044b \u0446\u0435\u043b\u0438\u043a\u043e\u043c, \u0438 \u0442\u0435\u0441\u0442 \u0443\u043f\u0430\u0434\u0451\u0442 \u043f\u043e \u043f\u0440\u0438\u0447\u0438\u043d\u0435, \u043a \u0434\u0435\u043b\u0443 \u043d\u0435 \u043e\u0442\u043d\u043e\u0441\u044f\u0449\u0435\u0439\u0441\u044f. \u0410 \u043d\u0443\u0436\u0435\u043d \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u043e\u0441\u043f\u043e\u0441\u043e\u0431\u043d\u044b\u043c \u0438 \u043d\u0430\u0440\u0443\u0448\u0430\u0435\u0442 \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u043d\u043e \u0441\u0432\u043e\u0451 \u043e\u0431\u0435\u0449\u0430\u043d\u0438\u0435 \u2014 \u0438\u043d\u0430\u0447\u0435 \u043e\u043d \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u043a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u043a\u043b\u0430\u0441\u0442\u0435\u0440 \u0443\u043c\u0435\u0435\u0442 \u043b\u043e\u043c\u0430\u0442\u044c\u0441\u044f.\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u0442\u0435\u043b\u0435\u0439 \u0441\u0435\u043c\u044c, \u043e\u043d\u0438 \u043d\u0430\u0437\u0432\u0430\u043d\u044b \u043f\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c \u0441\u0442\u0430\u0442\u044c\u0438 \u0438 \u043b\u0435\u0436\u0430\u0442 \u0432 node.ts \u0440\u044f\u0434\u043e\u043c \u0441 \u043a\u043e\u0434\u043e\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u043a\u043b\u044e\u0447\u0430\u044e\u0442:upToDateCheck        \/\/ \u00a75.4.1 \u2014 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u043d\u0435 \u043e\u0442\u0441\u0442\u0430\u044e\u0449\u0438\u043cprevLogCheck         \/\/ \u00a75.3  \u2014 \u0441\u043e\u0433\u043b\u0430\u0441\u043e\u0432\u0430\u043d\u0438\u0435 \u043b\u043e\u0433\u043e\u0432 \u043f\u0440\u0438 \u0440\u0435\u043f\u043b\u0438\u043a\u0430\u0446\u0438\u0438truncateConflicting  \/\/ \u00a75.3  \u2014 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0443\u044e\u0449\u0438\u0439 \u0445\u0432\u043e\u0441\u0442 \u0441\u0440\u0435\u0437\u0430\u0435\u0442\u0441\u044fleaderNoop           \/\/ \u00a78    \u2014 \u043f\u0443\u0441\u0442\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430 \u043f\u0440\u0438 \u0432\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0438stepDownOnHigherTerm \/\/ \u00a75.1  \u2014 \u0443\u0432\u0438\u0434\u0435\u043b \u0431\u043e\u043b\u044c\u0448\u0438\u0439 \u0442\u0435\u0440\u043c \u2014 \u0441\u043b\u043e\u0436\u0438\u043b \u043f\u043e\u043b\u043d\u043e\u043c\u043e\u0447\u0438\u044fpersistBeforeReply   \/\/ \u00a75.1  \u2014 \u0433\u043e\u043b\u043e\u0441 \u043d\u0430 \u0434\u0438\u0441\u043a \u0434\u043e \u043e\u0442\u0432\u0435\u0442\u0430currentTermCommitOnly\/\/ \u00a75.4.2 \u2014 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0437\u0430\u043f\u0438\u0441\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0430\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0442\u0430\u043a\u043e\u0435 \u043d\u0435 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0448\u044c. \u0421\u043f\u0438\u0441\u043e\u043a \u2014 \u044d\u0442\u043e, \u043f\u043e \u0441\u0443\u0442\u0438, \u043a\u043e\u043d\u0441\u043f\u0435\u043a\u0442 \u0441\u0442\u0430\u0442\u044c\u0438, \u0437\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0439 \u0442\u0430\u043a, \u0447\u0442\u043e \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u043d\u0438\u0442\u044c.\u0423\u0441\u0442\u0440\u043e\u0435\u043d\u043e \u043e\u043d\u043e \u0441\u043a\u0443\u0447\u043d\u043e: rules \u2014 \u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442, \u043f\u0440\u0438\u0435\u0437\u0436\u0430\u0435\u0442 \u0432 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0443\u0437\u043b\u0430, \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0432\u0441\u0451 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u043e, \u0430 \u0442\u0435\u0441\u0442 \u043c\u0443\u0437\u0435\u044f \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u043a\u043b\u0430\u0441\u0442\u0435\u0440 \u0441 \u043e\u0434\u043d\u0438\u043c \u0432\u044b\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u043c \u0432 false. \u041d\u0438\u043a\u0430\u043a\u043e\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438 \u0431\u0430\u0439\u0442\u043a\u043e\u0434\u0430, \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u043f\u043e\u0434\u043c\u0435\u043d\u044b \u043c\u043e\u0434\u0443\u043b\u0435\u0439. \u0418\u0437-\u0437\u0430 \u044d\u0442\u043e\u0433\u043e, \u043f\u0440\u0430\u0432\u0434\u0430, \u0432\u0435\u0442\u043a\u0438 \u043e\u0441\u0442\u0430\u044e\u0442\u0441\u044f \u0432 \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u0435\u043d-\u043f\u0443\u0442\u0438 \u2014 \u0441\u0435\u043c\u044c if, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432 \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0436\u0438\u0437\u043d\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0434\u0443\u0442 \u0432 \u043e\u0434\u043d\u0443 \u0441\u0442\u043e\u0440\u043e\u043d\u0443. \u041c\u043d\u0435 \u044d\u0442\u043e \u043d\u0435 \u043d\u0440\u0430\u0432\u0438\u0442\u0441\u044f, \u043d\u043e \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u0430 \u2014 \u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0432\u0442\u043e\u0440\u0443\u044e \u043a\u043e\u043f\u0438\u044e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438, \u0430 \u0432\u0442\u043e\u0440\u0430\u044f \u043a\u043e\u043f\u0438\u044f \u0440\u0430\u0437\u044a\u0435\u0437\u0436\u0430\u0435\u0442\u0441\u044f \u0441 \u043f\u0435\u0440\u0432\u043e\u0439 \u043d\u0430 \u0442\u0440\u0435\u0442\u044c\u0435\u043c \u0440\u0435\u0444\u0430\u043a\u0442\u043e\u0440\u0438\u043d\u0433\u0435.\u041b\u043e\u0432\u0438\u0442\u0441\u044f \u2014 \u0440\u0430\u0437\u043d\u043e\u0435, \u0438 \u0432 \u044d\u0442\u043e\u043c \u0432\u0435\u0441\u044c \u0441\u043c\u044b\u0441\u043b\u0422\u0440\u0438 \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442\u0430 \u0438\u0437 \u043f\u044f\u0442\u0438 \u043b\u043e\u043c\u0430\u044e\u0442 \u043d\u0430\u0437\u0432\u0430\u043d\u043d\u043e\u0435 safety-\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e. \u041e\u0434\u0438\u043d \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0432\u0441\u0435 \u043f\u044f\u0442\u044c \u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0446\u0435\u043b\u044b\u043c\u0438 \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u0451\u0442 \u0441\u0432\u043e\u0434\u0438\u0442\u044c \u043a\u043b\u0430\u0441\u0442\u0435\u0440 \u2014 \u044d\u0442\u043e no-op. \u041e\u0434\u0438\u043d \u043d\u0435 \u0441\u0442\u043e\u0438\u0442 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0432\u043e\u043e\u0431\u0449\u0435, \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u043e\u0433\u0440\u0435\u0441\u0441\u0430: \u043a\u043b\u0438\u0435\u043d\u0442 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u043c\u043e\u043c\u0435\u043d\u0442 \u0441\u0434\u0430\u0451\u0442\u0441\u044f.\u0415\u0441\u043b\u0438 \u0441\u043f\u043b\u044e\u0449\u0438\u0442\u044c \u044d\u0442\u043e \u0432 \u00ab\u0442\u0435\u0441\u0442 \u043f\u043e\u043a\u0440\u0430\u0441\u043d\u0435\u043b\u00bb, \u0432\u044b\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u0430\u043c\u043e\u0435 \u043f\u043e\u043b\u0435\u0437\u043d\u043e\u0435, \u0447\u0442\u043e \u0434\u0430\u043b\u043e \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u0435, \u2014 \u043a\u0430\u0440\u0442\u0430 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a\u0430\u044f \u0441\u0442\u0440\u043e\u0447\u043a\u0430 \u0441\u0442\u0430\u0442\u044c\u0438 \u0434\u0435\u0440\u0436\u0438\u0442 \u043a\u0430\u043a\u0443\u044e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u044e.\u0414\u0432\u0430 \u044d\u043a\u0441\u043f\u043e\u043d\u0430\u0442\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u043d\u0435 \u0434\u043e\u0441\u0442\u0430\u043d\u0435\u0442Figure 8 \u2014 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439, \u0440\u0430\u0434\u0438 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u00a75.4.2 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d, \u2014 \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0441\u043c\u0435\u043d \u043b\u0438\u0434\u0435\u0440\u0430 \u0432 \u043f\u0440\u0435\u0434\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u043c \u043f\u043e\u0440\u044f\u0434\u043a\u0435 \u0441 \u043f\u0440\u0435\u0434\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u043c\u0438 \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u0441\u0435\u0442\u0438. \u041d\u0435\u043f\u0435\u0440\u0435\u0436\u0438\u0432\u0448\u0438\u0439 \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0443\u0441\u043a \u0433\u043e\u043b\u043e\u0441 \u0442\u0440\u0435\u0431\u0443\u0435\u0442, \u0447\u0442\u043e\u0431\u044b \u0443\u0437\u0435\u043b \u0443\u043f\u0430\u043b \u0432\u043d\u0443\u0442\u0440\u0438 \u043e\u043a\u043d\u0430 \u0432 \u043e\u0434\u0438\u043d \u0442\u0438\u043a \u043c\u0435\u0436\u0434\u0443 \u00ab\u043f\u0440\u043e\u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043b\u00bb \u0438 \u00ab\u0437\u0430\u043f\u0438\u0441\u0430\u043b \u0433\u043e\u043b\u043e\u0441 \u043d\u0430 \u0434\u0438\u0441\u043a\u00bb.\u041d\u0430\u0434\u0435\u044f\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u0441\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u0442\u0443\u0434\u0430 \u0437\u0430\u0431\u0440\u0435\u0434\u0451\u0442, \u2014 \u043d\u0435 \u043f\u043b\u0430\u043d. \u041e\u0431\u0430 \u0441\u0442\u0440\u043e\u044f\u0442\u0441\u044f \u0440\u0443\u043a\u0430\u043c\u0438, \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u043c \u0444\u0430\u0439\u043b\u043e\u043c.\u0421\u043a\u0430\u0436\u0443 \u043f\u0440\u044f\u043c\u043e, \u0447\u0435\u043c \u044d\u0442\u043e \u043f\u0440\u0438\u0437\u043d\u0430\u043d\u0438\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f. \u0423 \u043c\u043e\u0435\u0433\u043e \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0433\u043e \u043f\u043e\u0438\u0441\u043a\u0430 \u0435\u0441\u0442\u044c \u0441\u043b\u0435\u043f\u044b\u0435 \u0437\u043e\u043d\u044b, \u0438 \u044f \u0437\u043d\u0430\u044e \u0438\u0445 \u0444\u043e\u0440\u043c\u0443. \u042d\u0442\u043e \u0441\u0442\u043e\u0438\u0442 \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c. \u0410\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u0430 \u2014 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0444\u0430\u0437\u0437\u0435\u0440 \u0442\u0430\u043a, \u0431\u0443\u0434\u0442\u043e \u043e\u043d \u043f\u043e\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e, \u2014 \u043a\u043e\u043c\u0444\u043e\u0440\u0442\u043d\u0435\u0435 \u0438 \u0440\u043e\u0432\u043d\u043e \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u043f\u0430\u0441\u043d\u0435\u0435.\u041e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0441\u0442\u043e\u0438\u0442\u0422\u0430 \u0436\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0432 \u0431\u043e\u043b\u0435\u0435 \u0440\u0435\u0437\u043a\u043e\u0439 \u0444\u043e\u0440\u043c\u0435 \u0432\u044b\u043b\u0435\u0437\u043b\u0430 \u0432 \u0441\u043e\u0441\u0435\u0434\u043d\u0435\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0435: MVCC-\u0434\u0432\u0438\u0436\u043e\u043a \u0441 \u0447\u0435\u0442\u044b\u0440\u044c\u043c\u044f \u0443\u0440\u043e\u0432\u043d\u044f\u043c\u0438 \u0438\u0437\u043e\u043b\u044f\u0446\u0438\u0438 \u0438 \u0447\u0435\u043a\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0449\u0435\u0442 \u0446\u0438\u043a\u043b\u044b \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0435\u0439 \u0432 \u043d\u0430\u0431\u043b\u044e\u0434\u0451\u043d\u043d\u044b\u0445 \u0438\u0441\u0442\u043e\u0440\u0438\u044f\u0445 \u2014 G0, G1a, G1b, G1c, G-single, G2-item. \u0418\u043c\u0435\u043d\u0430 \u0432\u0437\u044f\u0442\u044b \u0443 Adya, \u0447\u0442\u043e\u0431\u044b \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044c \u043c\u043e\u0433 \u0441\u0432\u0435\u0440\u0438\u0442\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0441 \u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u0435\u0439, \u0430 \u043d\u0435 \u0441 \u043c\u043e\u0438\u043c \u043f\u0435\u0440\u0435\u0441\u043a\u0430\u0437\u043e\u043c.\u041e\u0447\u0435\u0432\u0438\u0434\u043d\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0437\u0434\u0435\u0441\u044c \u2014 \u043d\u0430 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0443\u0440\u043e\u0432\u043d\u044f: \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 L, \u043d\u0430 \u0441\u043e\u0442\u043d\u044f\u0445 \u0441\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0439, \u0434\u0432\u0438\u0436\u043e\u043a \u043d\u0438 \u0440\u0430\u0437\u0443 \u043d\u0435 \u0432\u044b\u0434\u0430\u0451\u0442 \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0443\u044e L \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u0440\u0435\u0434\u043e\u0442\u0432\u0440\u0430\u0449\u0430\u0442\u044c.\u042d\u0442\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0435 \u0434\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0447\u0442\u0438 \u043d\u0438\u0447\u0435\u0433\u043e.\u0414\u0432\u0438\u0436\u043e\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0430\u0431\u043e\u0440\u0442\u0438\u0301\u0442 \u043a\u0430\u0436\u0434\u0443\u044e \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u044e, \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u0435\u043d \u043d\u0430 \u0432\u0441\u0435\u0445 \u0443\u0440\u043e\u0432\u043d\u044f\u0445 \u0441\u0440\u0430\u0437\u0443. \u0427\u0435\u043a\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442, \u0441 \u043d\u0438\u043c \u0432\u043e\u0441\u0442\u043e\u0440\u0436\u0435\u043d\u043d\u043e \u0441\u043e\u0433\u043b\u0430\u0441\u0438\u0442\u0441\u044f. \u041e\u0431\u0430 \u043f\u0440\u043e\u0439\u0434\u0443\u0442, \u0438 \u0432\u0434\u0432\u043e\u0451\u043c \u043e\u043d\u0438 \u0431\u0443\u0434\u0443\u0442 \u043e\u0447\u0435\u043d\u044c \u0434\u043e\u0440\u043e\u0433\u0438\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c \u043f\u0435\u0447\u0430\u0442\u0430\u0442\u044c \u0441\u043b\u043e\u0432\u043e ok.\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u0442 \u043a\u0430\u0436\u0434\u043e\u0439 \u0441\u0442\u0443\u043f\u0435\u043d\u0438 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0432\u0442\u043e\u0440\u043e\u0435, \u0432 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u043f\u043e\u043b\u043e\u0436\u043d\u0443\u044e \u0441\u0442\u043e\u0440\u043e\u043d\u0443: \u0434\u043e\u043b\u0436\u043d\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0435, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043e\u043d\u0430 \u0432\u044b\u0434\u0430\u0451\u0442 \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u044e, \u0437\u0430\u043f\u0440\u0435\u0449\u0451\u043d\u043d\u0443\u044e \u0443\u0436\u0435 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0442\u0443\u043f\u0435\u043d\u044c\u044e.read-uncommitted     \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 G1b \u043d\u0430 \u0441\u0438\u0434\u0435 0read-committed       \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 G-single \u043d\u0430 \u0441\u0438\u0434\u0435 1snapshot-isolation   \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 G2-item \u043d\u0430 \u0441\u0438\u0434\u0435 25serializable         \u0447\u0438\u0441\u0442\u043e \u043d\u0430 150 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u044f\u0445   \u043d\u0435 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e, \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442 51%Read committed \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c read skew. Snapshot isolation \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c write skew. \u0422\u0435\u043f\u0435\u0440\u044c \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0441\u0442\u043e\u0438\u0442 \u0442\u0430\u043c, \u0433\u0434\u0435 \u0435\u0433\u043e \u0441\u0442\u0430\u0432\u0438\u0442 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u0430 \u043d\u0435 \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0431\u043e\u043b\u0435\u0435 \u0441\u0442\u0440\u043e\u0433\u0438\u043c \u0443\u0440\u043e\u0432\u043d\u0435\u043c \u043f\u043e\u0434 \u0447\u0443\u0436\u0438\u043c \u0438\u043c\u0435\u043d\u0435\u043c.\u041d\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u0435\u0435 \u0434\u0440\u0443\u0433\u043e\u0435: \u044d\u0442\u043e \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0447\u0435\u043a\u0435\u0440. \u0427\u0435\u043a\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u0443\u043c\u0435\u0435\u0442 \u043d\u0430\u0439\u0442\u0438 write skew \u043f\u043e\u0434 snapshot isolation, \u043d\u0438\u0447\u0435\u043c \u043d\u0435 \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u044f\u043b \u0438 \u0441\u0432\u043e\u0451 \u043e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0438\u0435 serializable.\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u043d\u0435\u0441\u0451\u0442 \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443. serializable \u043d\u0435 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u2014 \u0438 \u043a\u043e\u043c\u043c\u0438\u0442\u0438\u0442 51% \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0439 \u043d\u0430 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u0439 \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0435. \u042d\u0442\u043e \u0447\u0438\u0441\u043b\u043e \u043d\u0435 \u043e\u0442\u0447\u0451\u0442, \u0430 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432 \u0442\u0435\u0441\u0442\u0435. \u041e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0438\u0435, \u043a\u0443\u043f\u043b\u0435\u043d\u043d\u043e\u0435 \u043e\u0442\u043c\u0435\u043d\u043e\u0439 \u0432\u0441\u0435\u0445 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0439, \u2014 \u0432\u044b\u0440\u043e\u0436\u0434\u0435\u043d\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u0441\u0432\u0435\u0440\u0445\u0443, \u0438 \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0435\u0433\u043e \u043d\u0435 \u043f\u0443\u0441\u0442\u0438\u0442\u044c \u2014 \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u043d\u0443\u044e \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u0432 \u0441\u0430\u043c\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435.\u041d\u0438 \u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u0435 \u043d\u0435 \u0432\u0435\u0440\u0438\u0448\u044c \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e. \u041a\u0430\u0436\u0434\u0430\u044f \u0443\u043b\u0438\u0447\u0430\u0435\u0442 \u0434\u0440\u0443\u0433\u0443\u044e.\u0421\u043f\u0440\u043e\u0441\u0438\u0442\u044c \u0442\u043e\u0433\u043e, \u043a\u043e\u043c\u0443 \u043d\u0430 \u0442\u0435\u0431\u044f \u043f\u043b\u0435\u0432\u0430\u0442\u044c\u0412\u0441\u0451 \u044d\u0442\u043e \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0437\u0430\u043c\u043a\u043d\u0443\u0442\u043e. \u041c\u043e\u0439 \u0434\u0432\u0438\u0436\u043e\u043a, \u043c\u043e\u0439 \u0447\u0435\u043a\u0435\u0440, \u043c\u043e\u0438 \u0441\u0438\u0434\u044b. \u0415\u0441\u043b\u0438 \u043e\u0431\u0435 \u0441\u0442\u043e\u0440\u043e\u043d\u044b \u0440\u0430\u0437\u0434\u0435\u043b\u044f\u044e\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435 \u0437\u0430\u0431\u043b\u0443\u0436\u0434\u0435\u043d\u0438\u0435 \u2014 \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u043b Adya, \u2014 \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432 \u044d\u0442\u043e\u0433\u043e \u043d\u0435 \u0437\u0430\u043c\u0435\u0442\u0438\u0442. \u0412\u0441\u0435 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0441\u043e\u0433\u043b\u0430\u0441\u044f\u0442\u0441\u044f \u0434\u0440\u0443\u0433 \u0441 \u0434\u0440\u0443\u0433\u043e\u043c, \u0438 \u0441\u043e\u0433\u043b\u0430\u0441\u044f\u0442\u0441\u044f \u043f\u043e \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0439 \u043f\u0440\u0438\u0447\u0438\u043d\u0435.\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0447\u0435\u043a\u0435\u0440 \u043d\u0430\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0430 PostgreSQL 18, \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043e \u043d\u0435 &#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-491903","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/491903","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=491903"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/491903\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=491903"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=491903"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=491903"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}