Mercurial > hg > Papers > 2019 > aka-thesis

comparison final_pre/images/paxos2.svg @ 13:117794d50054

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update
author akahori
date Tue, 19 Feb 2019 21:49:55 +0900
parents
children
comparison
equal deleted inserted replaced
12:2e843f65ac5f 13:117794d50054
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentScriptType="application/ecmascript" contentStyleType="text/css" height="1316px" preserveAspectRatio="none" style="width:872px;height:1316px;" version="1.1" viewBox="0 0 872 1316" width="872px" zoomAndPan="magnify"><defs><filter height="300%" id="f1ronj4dwj7ktb" width="300%" x="-1" y="-1"><feGaussianBlur result="blurOut" stdDeviation="2.0"/><feColorMatrix in="blurOut" result="blurOut2" type="matrix" values="0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .4 0"/><feOffset dx="4.0" dy="4.0" in="blurOut2" result="blurOut3"/><feBlend in="SourceGraphic" in2="blurOut3" mode="normal"/></filter></defs><g><text fill="#000000" font-family="sans-serif" font-size="14" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="56" x="409.5" y="23.5352">Paxos 2</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="68" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="208" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="346" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="482" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="618" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="749" y="78.9766"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="73" x2="73" y1="68.9766" y2="1275.709"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="213" x2="213" y1="68.9766" y2="1275.709"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="351" x2="351" y1="68.9766" y2="1275.709"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="487" x2="487" y1="68.9766" y2="1275.709"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="623" x2="623" y1="68.9766" y2="1275.709"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="754" x2="754" y1="68.9766" y2="1275.709"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="86" x="28" y="33.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="72" x="35" y="54.0234">proposer1</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="86" x="28" y="1274.709"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="72" x="35" y="1295.2441">proposer1</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="86" x="168" y="33.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="72" x="175" y="54.0234">proposer2</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="86" x="168" y="1274.709"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="72" x="175" y="1295.2441">proposer2</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="82" x="308" y="33.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="68" x="315" y="54.0234">acceptor1</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="82" x="308" y="1274.709"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="68" x="315" y="1295.2441">acceptor1</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="82" x="444" y="33.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="68" x="451" y="54.0234">acceptor2</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="82" x="444" y="1274.709"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="68" x="451" y="1295.2441">acceptor2</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="82" x="580" y="33.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="68" x="587" y="54.0234">acceptor3</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="82" x="580" y="1274.709"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="68" x="587" y="1295.2441">acceptor3</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="72" x="716" y="33.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="58" x="723" y="54.0234">learner1</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="30.4883" style="stroke: #000000; stroke-width: 1.5;" width="72" x="716" y="1274.709"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="58" x="723" y="1295.2441">learner1</text><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="68" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="208" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="346" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="482" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="618" y="78.9766"/><rect fill="#FFFFFF" filter="url(#f1ronj4dwj7ktb)" height="1187.7324" style="stroke: #000000; stroke-width: 1.0;" width="10" x="749" y="78.9766"/><polygon fill="#000000" points="334,111.5977,344,115.5977,334,119.5977,338,115.5977" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="340" y1="115.5977" y2="115.5977"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="97" x="85" y="95.5449">Prepare request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="85" y="110.8555">Proposal(7, 1)</text><polygon fill="#000000" points="470,125.5977,480,129.5977,470,133.5977,474,129.5977" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="476" y1="129.5977" y2="129.5977"/><polygon fill="#000000" points="606,139.5977,616,143.5977,606,147.5977,610,143.5977" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="612" y1="143.5977" y2="143.5977"/><polygon fill="#000000" points="89,184.2188,79,188.2188,89,192.2188,85,188.2188" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="345" y1="188.2188" y2="188.2188"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="104" x="95" y="168.166">Promise Success</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="95" y="183.4766">Proposal(7, 1)</text><polygon fill="#000000" points="89,198.2188,79,202.2188,89,206.2188,85,202.2188" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="481" y1="202.2188" y2="202.2188"/><polygon fill="#000000" points="89,212.2188,79,216.2188,89,220.2188,85,216.2188" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="617" y1="216.2188" y2="216.2188"/><polygon fill="#000000" points="334,256.8398,344,260.8398,334,264.8398,338,260.8398" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="218" x2="340" y1="260.8398" y2="260.8398"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="97" x="225" y="240.7871">Prepare request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="225" y="256.0977">Proposal(8, 2)</text><polygon fill="#000000" points="470,270.8398,480,274.8398,470,278.8398,474,274.8398" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="218" x2="476" y1="274.8398" y2="274.8398"/><polygon fill="#000000" points="606,284.8398,616,288.8398,606,292.8398,610,288.8398" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="218" x2="612" y1="288.8398" y2="288.8398"/><polygon fill="#000000" points="229,329.4609,219,333.4609,229,337.4609,225,333.4609" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="345" y1="333.4609" y2="333.4609"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="104" x="235" y="313.4082">Promise Success</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="235" y="328.7188">Proposal(8, 2)</text><polygon fill="#000000" points="229,343.4609,219,347.4609,229,351.4609,225,347.4609" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="481" y1="347.4609" y2="347.4609"/><polygon fill="#000000" points="229,357.4609,219,361.4609,229,365.4609,225,361.4609" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="617" y1="361.4609" y2="361.4609"/><polygon fill="#000000" points="334,402.082,344,406.082,334,410.082,338,406.082" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="340" y1="406.082" y2="406.082"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="85" y="386.0293">Accept request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="85" y="401.3398">Proposal(7, 1)</text><polygon fill="#000000" points="470,416.082,480,420.082,470,424.082,474,420.082" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="476" y1="420.082" y2="420.082"/><polygon fill="#000000" points="606,430.082,616,434.082,606,438.082,610,434.082" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="612" y1="434.082" y2="434.082"/><polygon fill="#000000" points="89,474.7031,79,478.7031,89,482.7031,85,478.7031" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="345" y1="478.7031" y2="478.7031"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="69" x="95" y="458.6504">Accept Fail</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="95" y="473.9609">Proposal(8, 2)</text><polygon fill="#000000" points="89,488.7031,79,492.7031,89,496.7031,85,492.7031" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="481" y1="492.7031" y2="492.7031"/><polygon fill="#000000" points="89,502.7031,79,506.7031,89,510.7031,85,506.7031" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="617" y1="506.7031" y2="506.7031"/><polygon fill="#000000" points="470,547.3242,480,551.3242,470,555.3242,474,551.3242" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="218" x2="476" y1="551.3242" y2="551.3242"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="225" y="531.2715">Accept request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="225" y="546.582">Proposal(8, 2)</text><polygon fill="#000000" points="229,591.9453,219,595.9453,229,599.9453,225,595.9453" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="481" y1="595.9453" y2="595.9453"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="43" x="235" y="575.8926">Accept</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="235" y="591.2031">Proposal(8, 2)</text><polygon fill="#000000" points="737,636.5664,747,640.5664,737,644.5664,741,640.5664" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="492" x2="743" y1="640.5664" y2="640.5664"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="43" x="499" y="620.5137">Accept</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="499" y="635.8242">Proposal(8, 2)</text><polygon fill="#000000" points="334,681.1875,344,685.1875,334,689.1875,338,685.1875" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="340" y1="685.1875" y2="685.1875"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="97" x="85" y="665.1348">Prepare request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="85" y="680.4453">Proposal(13, 1)</text><polygon fill="#000000" points="470,695.1875,480,699.1875,470,703.1875,474,699.1875" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="476" y1="699.1875" y2="699.1875"/><polygon fill="#000000" points="606,709.1875,616,713.1875,606,717.1875,610,713.1875" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="612" y1="713.1875" y2="713.1875"/><polygon fill="#000000" points="89,769.1191,79,773.1191,89,777.1191,85,773.1191" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="481" y1="773.1191" y2="773.1191"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="104" x="95" y="737.7559">Promise Success</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="82" x="95" y="753.0664">But Accepted</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="95" y="768.377">Proposal(8, 2)</text><polygon fill="#000000" points="89,813.7402,79,817.7402,89,821.7402,85,817.7402" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="345" y1="817.7402" y2="817.7402"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="104" x="95" y="797.6875">Promise Success</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="95" y="812.998">Proposal(13, 1)</text><polygon fill="#000000" points="89,827.7402,79,831.7402,89,835.7402,85,831.7402" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="83" x2="617" y1="831.7402" y2="831.7402"/><polygon fill="#000000" points="334,872.3613,344,876.3613,334,880.3613,338,876.3613" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="218" x2="340" y1="876.3613" y2="876.3613"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="225" y="856.3086">Accept request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="225" y="871.6191">Proposal(8, 2)</text><polygon fill="#000000" points="606,886.3613,616,890.3613,606,894.3613,610,890.3613" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="218" x2="612" y1="890.3613" y2="890.3613"/><polygon fill="#000000" points="229,930.9824,219,934.9824,229,938.9824,225,934.9824" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="345" y1="934.9824" y2="934.9824"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="69" x="235" y="914.9297">Accept Fail</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="86" x="235" y="930.2402">Proposal(8, 2)</text><polygon fill="#000000" points="229,944.9824,219,948.9824,229,952.9824,225,948.9824" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="617" y1="948.9824" y2="948.9824"/><polygon fill="#000000" points="334,989.6035,344,993.6035,334,997.6035,338,993.6035" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="340" y1="993.6035" y2="993.6035"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="85" y="973.5508">Accept request</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="85" y="988.8613">Proposal(13, 2)</text><polygon fill="#000000" points="470,1003.6035,480,1007.6035,470,1011.6035,474,1007.6035" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="476" y1="1007.6035" y2="1007.6035"/><polygon fill="#000000" points="606,1017.6035,616,1021.6035,606,1025.6035,610,1021.6035" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="78" x2="612" y1="1021.6035" y2="1021.6035"/><polygon fill="#000000" points="229,1062.2246,219,1066.2246,229,1070.2246,225,1066.2246" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="345" y1="1066.2246" y2="1066.2246"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="43" x="235" y="1046.1719">Accept</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="235" y="1061.4824">Proposal(13, 2)</text><polygon fill="#000000" points="737,1106.8457,747,1110.8457,737,1114.8457,741,1110.8457" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="356" x2="743" y1="1110.8457" y2="1110.8457"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="43" x="363" y="1090.793">Accept</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="363" y="1106.1035">Proposal(13, 2)</text><polygon fill="#000000" points="229,1151.4668,219,1155.4668,229,1159.4668,225,1155.4668" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="223" x2="481" y1="1155.4668" y2="1155.4668"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="43" x="235" y="1135.4141">Accept</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="235" y="1150.7246">Proposal(13, 2)</text><polygon fill="#000000" points="737,1196.0879,747,1200.0879,737,1204.0879,741,1200.0879" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 1.0;" x1="492" x2="743" y1="1200.0879" y2="1200.0879"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="43" x="499" y="1180.0352">Accept</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="499" y="1195.3457">Proposal(13, 2)</text><line style="stroke: #000000; stroke-width: 1.0;" x1="759" x2="801" y1="1244.709" y2="1244.709"/><line style="stroke: #000000; stroke-width: 1.0;" x1="801" x2="801" y1="1244.709" y2="1257.709"/><line style="stroke: #000000; stroke-width: 1.0;" x1="760" x2="801" y1="1257.709" y2="1257.709"/><polygon fill="#000000" points="770,1253.709,760,1257.709,770,1261.709,766,1257.709" style="stroke: #000000; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="45" x="766" y="1224.6563">chosen</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="94" x="766" y="1239.9668">Proposal(13, 2)</text><!--
2 @startuml
3 title Paxos 2
4
5 skinparam sequence {
6 ArrowColor black
7 LifeLineBorderColor black
8
9 ParticipantBorderColor black
10 ParticipantBackgroundColor white
11 ParticipantPadding 20
12 }
13
14
15 participant proposer1
16 activate proposer1
17 participant proposer2
18 activate proposer2
19
20 participant acceptor1
21 activate acceptor1
22 participant acceptor2
23 activate acceptor2
24 participant acceptor3
25 activate acceptor3
26
27 participant learner1
28 activate learner1
29
30
31 proposer1 -> acceptor1:Prepare request \nProposal(7, 1)
32 proposer1 -> acceptor2
33 proposer1 -> acceptor3
34
35 acceptor1 - -> proposer1:Promise Success\nProposal(7, 1)
36 acceptor2 - -> proposer1
37 acceptor3 - -> proposer1
38
39 proposer2 -> acceptor1:Prepare request \nProposal(8, 2)
40 proposer2 -> acceptor2
41 proposer2 -> acceptor3
42
43 acceptor1 - -> proposer2:Promise Success\nProposal(8, 2)
44 acceptor2 - -> proposer2
45 acceptor3 - -> proposer2
46
47 proposer1 -> acceptor1:Accept request \nProposal(7, 1)
48 proposer1 -> acceptor2
49 proposer1 -> acceptor3
50
51
52
53 acceptor1 - -> proposer1:Accept Fail\nProposal(8, 2)
54 acceptor2 - -> proposer1
55 acceptor3 - -> proposer1
56
57
58 proposer2 -> acceptor2:Accept request \nProposal(8, 2)
59
60 acceptor2 - -> proposer2:Accept \nProposal(8, 2)
61 acceptor2 -> learner1:Accept \nProposal(8, 2)
62
63 proposer1 -> acceptor1:Prepare request \nProposal(13, 1)
64 proposer1 -> acceptor2
65 proposer1 -> acceptor3
66
67 acceptor2 - -> proposer1:Promise Success\nBut Accepted \nProposal(8, 2)
68 acceptor1 - -> proposer1:Promise Success\nProposal(13, 1)
69 acceptor3 - -> proposer1
70
71 proposer2 -> acceptor1:Accept request \nProposal(8, 2)
72 proposer2 -> acceptor3
73
74 acceptor1 - -> proposer2:Accept Fail\nProposal(8, 2)
75 acceptor3 - -> proposer2
76
77 proposer1 -> acceptor1:Accept request \nProposal(13, 2)
78 proposer1 -> acceptor2
79 proposer1 -> acceptor3
80
81 acceptor1 - -> proposer2:Accept \nProposal(13, 2)
82 acceptor1 -> learner1:Accept \nProposal(13, 2)
83
84
85 acceptor2 - -> proposer2:Accept \nProposal(13, 2)
86 acceptor2 -> learner1:Accept \nProposal(13, 2)
87
88 learner1 -> learner1:chosen \nProposal(13, 2)
89
90 @enduml
91
92 PlantUML version 1.2019.01(Sun Feb 10 00:32:04 JST 2019)
93 (GPL source distribution)
94 Java Runtime: OpenJDK Runtime Environment
95 JVM: OpenJDK 64-Bit Server VM
96 Java Version: 11.0.1+13
97 Operating System: Mac OS X
98 OS Version: 10.13.6
99 Default Encoding: UTF-8
100 Language: ja
101 Country: JP
102 --></g></svg>