Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Raft Paper section 5.4.2: "[A leader] never commits log entries from previous terms...". #5748

Merged
merged 1 commit into from
Oct 20, 2023
Merged

Raft Paper section 5.4.2: "[A leader] never commits log entries from previous terms...". #5748

merged 1 commit into from
Oct 20, 2023

Conversation

lemmy
Copy link
Contributor

@lemmy lemmy commented Oct 20, 2023

Related: #3950

@lemmy lemmy added the tla TLA+ specifications label Oct 20, 2023
@lemmy lemmy added this to the TLA+ Trace Validation milestone Oct 20, 2023
@lemmy lemmy requested a review from a team October 20, 2023 00:23
@lemmy lemmy enabled auto-merge (squash) October 20, 2023 00:23
@lemmy
Copy link
Contributor Author

lemmy commented Oct 20, 2023

related: #5674 (comment)

@lemmy lemmy mentioned this pull request Oct 20, 2023
Closed
@ghost
Copy link

ghost commented Oct 20, 2023

mku-nevercommitolder@77451 aka 20231020.1 vs main ewma over 20 builds from 76933 to 77410

Click to see table

main

build_id build_number pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem pi_basic_mt_virtual_cft^ Commit latency factor tpcc_virtual_cft^ ls_virtual_cft^ tpcc_sgx_cft^ tpcc_sgx_cft_mem pi_ls_virtual_cft^ pi_basic_virtual_cft^ pi_basic_js_virtual_cft^ ls_jwt_virtual_cft^ pi_ls_jwt_virtual_cft^ ls_js_virtual_cft^ ls_sgx_cft^ ls_sgx_cft_mem pi_ls_sgx_cft^ pi_ls_sgx_cft_mem ls_full_js_virtual_cft^ pi_basic_sgx_cft^ pi_basic_sgx_cft_mem ls_js_jwt_virtual_cft^ pi_basic_js_sgx_cft^ pi_basic_js_sgx_cft_mem ls_jwt_sgx_cft^ ls_jwt_sgx_cft_mem hist_sgx_cft^ pi_ls_jwt_sgx_cft^ pi_ls_jwt_sgx_cft_mem ls_js_sgx_cft^ ls_js_sgx_cft_mem ls_full_js_sgx_cft^ ls_full_js_sgx_cft_mem ls_js_jwt_sgx_cft^ ls_js_jwt_sgx_cft_mem RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^
76933 20231005.5 27882.8 2.30851e+07 81465 0.805698 17274.6 45946.3 5569.11 8.59996e+07 48589.4 54166.2 4463.6 17329.5 19980 17094.5 14005.2 1.88908e+07 14146.2 1.05021e+07 16949.3 15512.2 1.46964e+07 9763.9 1432.2 1.25993e+07 6865.95 1.88908e+07 39270.6 6977.1 6.30784e+06 5765.37 1.67936e+07 5766.41 1.67936e+07 3994.82 1.67936e+07 837034 1.18428e+06 8.10377e+06 3.25923e+07
76941 20231006.1 28097.1 2.30851e+07 65485.1 0.799935 17296.4 45618.5 5581.89 8.59996e+07 48175.1 53457.3 4479 17334.7 19718.8 17075.6 14055.4 1.88908e+07 14129.3 1.05021e+07 14603.4 15654.4 1.25993e+07 9842.12 1434.8 1.25993e+07 6890.62 1.67936e+07 39294.9 6976.6 6.30784e+06 5781.49 1.67936e+07 5744.04 1.67936e+07 4009.45 1.67936e+07 839192 1.18477e+06 8.15264e+06 3.23033e+07
76953 20231006.6 27710.2 2.51822e+07 78324.4 0.797479 16945.5 43917.9 5610.73 8.59996e+07 48958.9 53263.2 4423.9 17245.1 18721.7 17292 14024 1.88908e+07 14122.5 1.05021e+07 14773.2 15585.3 1.25993e+07 9748.83 1444.6 1.25993e+07 7252.76 1.67936e+07 45657 7058.2 6.30784e+06 5820.86 1.67936e+07 5773.73 1.67936e+07 4008.93 1.67936e+07 835912 1.17953e+06 8.07625e+06 2.6895e+07
76967 20231006.11 28032.2 2.30851e+07 64719 0.799426 17341.4 45691.3 5542.39 8.59996e+07 48875.1 54004.5 4469.9 17300.7 19158.2 16934.3 13951.2 1.88908e+07 14077.9 1.05021e+07 14583.1 15519.1 1.25993e+07 9795.4 1421.7 1.25993e+07 6820.04 1.88908e+07 47130.7 6884.1 6.30784e+06 5770.08 1.67936e+07 5760.09 1.88908e+07 4004.62 1.67936e+07 835081 1.17659e+06 8.17304e+06 3.09852e+07
76976 20231007.2 27833 2.51822e+07 69696.2 0.797827 17276.4 45702.6 5640.74 8.59996e+07 48619 53436.8 4409.7 17184.3 19733.2 17169.5 14032.5 1.88908e+07 14190 1.05021e+07 14871.6 15631.1 1.46964e+07 9779.02 1433.9 1.25993e+07 7287.64 1.67936e+07 45049.2 7044.3 6.30784e+06 5786.37 1.67936e+07 5747.56 1.67936e+07 4006.09 1.67936e+07 830418 1.18267e+06 8.17291e+06 3.07891e+07
76982 20231009.2 27935.7 2.51822e+07 81026 0.792855 17231.2 45523.7 5580.01 8.59996e+07 48581 54131 4253.1 17397.5 19156 17135.7 13963.1 1.88908e+07 14141.8 1.05021e+07 16869.3 15380.7 1.25993e+07 9793.25 1439.9 1.25993e+07 7196.39 1.67936e+07 46259.3 7023.9 6.30784e+06 5773.77 1.67936e+07 5474.35 1.67936e+07 3981.48 1.67936e+07 832879 1.18218e+06 8.14943e+06 3.15184e+07
76994 20231009.5 27792.2 2.30851e+07 88389.5 0.799524 17106.4 45848 5591.29 8.59996e+07 48779.1 53666.3 4397.6 17242 19596.7 16914.5 13986.8 1.88908e+07 14144 1.05021e+07 16715.5 15585.3 1.25993e+07 9855.69 1431.3 1.25993e+07 6852.61 1.67936e+07 44311.9 6940.5 6.30784e+06 5808.48 1.67936e+07 5783.34 1.67936e+07 3987.05 1.67936e+07 831717 1.18619e+06 8.15293e+06 3.07093e+07
77015 20231010.4 27777.8 2.30851e+07 62049.7 0.83228 17372.9 45785.1 5592.78 8.59996e+07 48171.9 53651.8 4441.2 17407.2 19739.4 17105.5 14023.3 1.88908e+07 14107 1.05021e+07 16857.9 15597.5 1.25993e+07 9954.93 1436 1.25993e+07 6898.77 1.88908e+07 41221.6 7117.8 6.30784e+06 5804.14 1.67936e+07 5786.43 1.67936e+07 4016.78 1.67936e+07 825345 1.18742e+06 8.12844e+06 3.06711e+07
77052 20231010.17 27851.7 2.51822e+07 87071.8 0.805827 17123.9 45707.2 5614.03 8.59996e+07 48521.1 53548.8 4435.4 17238.9 19725.4 17064.9 14004.1 1.88908e+07 14072.2 1.05021e+07 16932.1 15532.7 1.25993e+07 9900.42 1434.8 1.25993e+07 6879.16 1.88908e+07 39661.9 6931.4 6.30784e+06 5811.67 1.67936e+07 5725.25 1.88908e+07 3978.87 1.67936e+07 835356 1.17508e+06 8.12795e+06 3.02453e+07
77065 20231010.21 27866.2 2.51822e+07 76791.9 0.805254 17453.5 45981.3 5593.79 8.59996e+07 47639.7 53782.5 4471.3 17159.7 19727 17221.9 13984.2 1.88908e+07 14076.6 1.05021e+07 16835.2 15457.8 1.46964e+07 9888.21 1431.7 1.25993e+07 6839.77 1.67936e+07 47354.4 6882.8 6.30784e+06 5802.59 1.67936e+07 5713.9 1.67936e+07 3982.91 1.67936e+07 831464 1.17023e+06 8.14609e+06 3.06028e+07
77080 20231011.6 28231.3 2.30851e+07 77100.4 0.805739 17356.8 45541.3 5614.98 8.59996e+07 47443.3 53459.3 4480.6 17192.9 19626.7 16932.3 14016.4 1.67936e+07 14058.7 1.05021e+07 16704.5 15607.1 1.25993e+07 9841.59 1435.6 1.25993e+07 6865.39 1.88908e+07 44338.6 6917 6.30784e+06 5768.86 1.67936e+07 5749.11 1.67936e+07 3974.5 1.67936e+07 839572 1.1863e+06 8.14557e+06 3.07489e+07
77087 20231011.8 27891.2 2.51822e+07 83135 0.821071 17648.9 45716.6 5620.28 8.59996e+07 48214.1 53475.5 4431.6 17316.9 19004.2 17758.2 14043.4 1.88908e+07 14129.4 1.05021e+07 16880.7 15619 1.46964e+07 9849.81 1427.7 1.25993e+07 6872.29 1.67936e+07 40652.5 7079.7 6.30784e+06 5780.82 1.67936e+07 5765.08 1.67936e+07 3974.44 1.67936e+07 827510 1.16961e+06 8.14036e+06 3.30899e+07
77124 20231011.20 27859.9 2.51822e+07 81677.3 0.810686 17272.2 45763.1 5576.3 8.59996e+07 48479 54961.6 4431 17497.2 19917.1 17216.9 13934.9 1.88908e+07 14029.2 1.05021e+07 16806.9 15421.8 1.25993e+07 9875.23 1419.9 1.25993e+07 6782.48 1.67936e+07 42920 7028.9 6.30784e+06 5759.88 1.67936e+07 5495.58 1.88908e+07 3980.45 1.67936e+07 829281 1.17704e+06 8.02253e+06 3.09324e+07
77138 20231011.24 27788.7 2.51822e+07 79701.7 0.817166 17450.2 43714.5 5505.15 8.59996e+07 47439 54645.3 4386.8 16999.7 19561.8 17388.6 13944.3 1.88908e+07 14007.9 1.05021e+07 14746.3 15414.3 1.46964e+07 9915 1420.9 1.25993e+07 6826.31 1.88908e+07 39122 6933.7 6.30784e+06 5805.03 1.67936e+07 5491.25 1.67936e+07 3992.65 1.67936e+07 838714 1.18152e+06 8.09934e+06 3.09754e+07
77148 20231012.2 28066.3 2.51822e+07 88890.3 0.806977 17218.1 46048.4 5622.22 8.59996e+07 48655.6 55217 4449.2 17077.4 19720.8 17064.5 14012.7 1.88908e+07 14136.8 1.05021e+07 15135.1 15607.9 1.25993e+07 9799.03 1437.4 1.25993e+07 6885.22 1.88908e+07 45326.3 6981.9 6.30784e+06 5813.57 1.67936e+07 5723.57 1.88908e+07 4000.45 1.67936e+07 828634 1.17897e+06 8.14758e+06 3.07383e+07
77236 20231016.5 27858.7 2.51822e+07 59377 0.79596 17148.6 45783.9 5620.83 8.59996e+07 48719.4 54902.8 4441 17077.1 18804.1 17198.3 13995.4 1.88908e+07 14108.1 1.05021e+07 15291.6 15609.7 1.46964e+07 9993.77 1442 1.25993e+07 6827.74 1.67936e+07 44154.4 7065.1 6.30784e+06 5817.83 1.67936e+07 5743.02 1.67936e+07 4006.32 1.67936e+07 838342 1.17813e+06 8.15154e+06 3.18804e+07
77284 20231016.20 27801.1 2.30851e+07 76928.2 0.800376 17222.7 45566.9 5523.42 8.59996e+07 48808.1 54701.8 4442.5 17018.1 19157.5 17650.8 13858.5 1.88908e+07 14093.4 1.05021e+07 14639.8 15419 1.46964e+07 9852.83 1423.4 1.05021e+07 6815.4 1.88908e+07 43502.1 6872.8 6.30784e+06 5802.5 1.67936e+07 5472.72 1.67936e+07 3973.37 1.67936e+07 833609 1.17767e+06 8.15537e+06 3.06513e+07
77294 20231016.23 27413.6 2.51822e+07 84572 0.822085 17297.3 45995.1 5504.43 8.59996e+07 48594.2 53897 4439.9 17262.3 19125.2 17406.6 14028.1 1.88908e+07 14087.6 1.05021e+07 14896.4 15527 1.46964e+07 9812.12 1420.2 1.05021e+07 6819.85 1.88908e+07 41300 6931.4 6.30784e+06 5754.38 1.67936e+07 5710.32 1.67936e+07 3992.44 1.67936e+07 823461 1.17985e+06 8.1493e+06 3.05375e+07
77306 20231017.4 27907.4 2.30851e+07 60982.9 0.806546 17275.1 46102.1 5649.91 8.59996e+07 47686.9 53983.1 4424.7 17066.2 19713 14599.9 13997.7 1.88908e+07 14120.3 1.05021e+07 14833.6 15513.7 1.46964e+07 9890.99 1427.4 1.25993e+07 6895.99 1.67936e+07 45776.1 6972.2 6.30784e+06 5811.89 1.67936e+07 5778.4 1.67936e+07 4010.44 1.67936e+07 832093 1.181e+06 8.15615e+06 3.10764e+07
77410 20231019.5 27911.2 2.30851e+07 89839.8 0.79845 17335.1 43709 5633.52 8.59996e+07 47970.1 54598 4449.7 17103.2 19628.2 14821.2 14034.4 1.88908e+07 14172.6 1.05021e+07 14920.8 15641.4 1.25993e+07 9802.6 1439.9 1.25993e+07 6838.11 1.67936e+07 42755.2 7046.5 6.30784e+06 5772.37 1.67936e+07 5751.39 1.67936e+07 4007.97 1.67936e+07 840034 1.18128e+06 8.17441e+06 3.06839e+07

mku-nevercommitolder

build_id build_number pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem pi_basic_mt_virtual_cft^ Commit latency factor tpcc_virtual_cft^ tpcc_sgx_cft^ tpcc_sgx_cft_mem ls_virtual_cft^ pi_ls_virtual_cft^ pi_basic_virtual_cft^ pi_basic_js_virtual_cft^ ls_sgx_cft^ ls_sgx_cft_mem pi_ls_sgx_cft^ pi_ls_sgx_cft_mem ls_jwt_virtual_cft^ pi_ls_jwt_virtual_cft^ pi_basic_sgx_cft^ pi_basic_sgx_cft_mem ls_js_virtual_cft^ ls_full_js_virtual_cft^ ls_js_jwt_virtual_cft^ pi_basic_js_sgx_cft^ pi_basic_js_sgx_cft_mem ls_jwt_sgx_cft^ ls_jwt_sgx_cft_mem pi_ls_jwt_sgx_cft^ pi_ls_jwt_sgx_cft_mem hist_sgx_cft^ ls_js_sgx_cft^ ls_js_sgx_cft_mem ls_full_js_sgx_cft^ ls_full_js_sgx_cft_mem ls_js_jwt_sgx_cft^ ls_js_jwt_sgx_cft_mem RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^
77451 20231020.1 27916.5 2.51822e+07 78104.5 0.811575 17293.5 5636.27 8.59996e+07 45830.7 47676.5 53631 4440 14047 1.88908e+07 14135.2 1.05021e+07 17039 19090.9 15651.7 1.25993e+07 17346.2 14649.2 9861.88 1425.8 1.25993e+07 6847.48 1.67936e+07 6970.9 6.30784e+06 44473.3 5762.1 1.67936e+07 5786.76 1.67936e+07 3997.33 1.67936e+07 823636 1.18039e+06 8.13502e+06 3.08346e+07

images

@lemmy lemmy merged commit 166386e into main Oct 20, 2023
@lemmy lemmy deleted the mku-nevercommitolder branch October 20, 2023 08:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@achamayou achamayou achamayou approved these changes

Assignees
No one assigned
Labels
tla TLA+ specifications
Projects
None yet
Milestone
TLA+ Trace Validation (Consensus)
Development

Successfully merging this pull request may close these issues.
2 participants
@lemmy @achamayou