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.

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

Refactor DropResponseWhenNotInState into arity-3 operator. #5661

Merged
merged 3 commits into from
Sep 19, 2023
Merged

Conversation

lemmy
Copy link
Contributor

@lemmy lemmy commented Sep 18, 2023

Can deduce (Leader or Candidate) expected_state parameter from the message parameter.

@lemmy lemmy requested a review from a team September 18, 2023 18:28
@lemmy lemmy added the tla TLA+ specifications label Sep 18, 2023
@ghost
Copy link

ghost commented Sep 18, 2023

mku-dropparam@76029 aka 20230919.24 vs main ewma over 20 builds from 75633 to 76015

Click to see table

main

build_id build_number Commit latency factor ls_virtual_cft^ pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem pi_ls_virtual_cft^ pi_basic_virtual_cft^ ls_sgx_cft^ ls_sgx_cft_mem pi_ls_sgx_cft^ pi_ls_sgx_cft_mem pi_basic_js_virtual_cft^ pi_basic_sgx_cft^ pi_basic_sgx_cft_mem ls_jwt_virtual_cft^ pi_ls_jwt_virtual_cft^ ls_js_virtual_cft^ pi_basic_mt_virtual_cft^ ls_full_js_virtual_cft^ pi_basic_js_sgx_cft^ pi_basic_js_sgx_cft_mem ls_js_jwt_virtual_cft^ ls_jwt_sgx_cft^ ls_jwt_sgx_cft_mem 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 hist_sgx_cft^ ls_js_jwt_sgx_cft^ ls_js_jwt_sgx_cft_mem RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^ tpcc_virtual_cft^ tpcc_sgx_cft^ tpcc_sgx_cft_mem
75633 20230908.19 0.814514 43679.4 26426.9 2.30851e+07 47559.5 53848.3 13841.4 1.88908e+07 13952.4 1.05021e+07 4427.3 15293 1.46964e+07 17198.8 19457.1 17581.4 87196.1 14768.9 1426.1 1.25993e+07 10298.4 6803.4 1.67936e+07 6796.8 6.30784e+06 5780.48 1.67936e+07 5455.24 1.67936e+07 40163.3 3984.61 1.67936e+07 833682 1.18594e+06 8.13551e+06 3.05845e+07 nan nan nan
75639 20230908.21 0.780733 45714.2 27149.3 2.51822e+07 47797.3 54112.7 13880 1.88908e+07 13884.3 1.05021e+07 4489.1 15315.7 1.46964e+07 17346.3 19833.8 17596.5 86236.2 14765.9 1435.7 1.25993e+07 9895.98 7182.95 1.67936e+07 6940.1 6.30784e+06 5791.25 1.67936e+07 5708.59 1.67936e+07 46797.6 3967.22 1.67936e+07 836115 1.1819e+06 8.14551e+06 3.06335e+07 nan nan nan
75654 20230908.26 0.800096 43869.4 27195 2.51822e+07 47485.2 54275.4 13871.4 1.67936e+07 13956.2 1.05021e+07 4469.5 15367 1.46964e+07 17192.2 19753.5 17307.3 89588.7 15019.4 1435.2 1.25993e+07 9817.01 6841.62 1.88908e+07 6895.5 6.30784e+06 5790.81 1.67936e+07 5688.99 1.67936e+07 43470.8 3967.13 1.67936e+07 831294 1.18063e+06 8.16519e+06 3.08276e+07 nan nan nan
75662 20230911.2 0.808688 45601.5 27181.8 2.51822e+07 47690.4 53934.4 13935.4 1.88908e+07 13957 1.05021e+07 4406 15499.6 1.46964e+07 17267 18849.8 17581 83834.8 14898.7 1440.2 1.25993e+07 9856.76 6826.9 1.67936e+07 7172.6 6.30784e+06 5746.37 1.67936e+07 5756.56 1.67936e+07 44575.1 3997.11 1.67936e+07 836042 1.18753e+06 8.15413e+06 3.15135e+07 nan nan nan
75672 20230911.6 0.819773 43845.5 26990.3 2.30851e+07 47682.4 54141 13880 1.67936e+07 13947.8 1.05021e+07 4457.3 15361.7 1.46964e+07 17348 19305 15082.7 75501.5 14637.5 1436.3 1.25993e+07 10070.8 6809.97 1.88908e+07 6953.1 6.30784e+06 5793.21 1.67936e+07 5761.62 1.67936e+07 43290.9 3995.63 1.67936e+07 837710 1.17811e+06 8.15426e+06 3.07175e+07 nan nan nan
75689 20230911.11 0.823735 44179.5 27924.5 2.51822e+07 48569.2 55054.6 14021.1 1.67936e+07 14105.4 1.05021e+07 4427.2 15658.3 1.25993e+07 16956.5 19235.2 16861.3 71344 14888.8 1439.1 1.25993e+07 10027.2 6789.15 1.88908e+07 6886.5 6.30784e+06 5751.1 1.67936e+07 5791.93 1.67936e+07 44569.5 3990.84 1.67936e+07 828507 1.1814e+06 8.15254e+06 3.08067e+07 nan nan nan
75737 20230912.2 0.799989 45828 28245.3 2.30851e+07 48672.7 55157 14029.7 1.67936e+07 14130 1.05021e+07 4401.2 15650.9 1.46964e+07 17455.8 19046.9 17397.5 66593.6 14976.6 1439.4 1.25993e+07 9848.82 6851.6 1.67936e+07 6952.3 6.30784e+06 5810.95 1.67936e+07 5776.87 1.67936e+07 45150.1 4003.93 1.67936e+07 829130 1.18145e+06 8.15413e+06 3.08165e+07 nan nan nan
75772 20230913.11 0.788811 45669.9 28279.8 2.30851e+07 48638.1 54661.6 14062.8 1.67936e+07 14175.1 1.05021e+07 4470.9 15715.1 1.25993e+07 17245.1 19200.5 17151.2 88377.3 16866.9 1442.1 1.25993e+07 9889.62 6915.48 1.67936e+07 7083 6.30784e+06 5767.63 1.67936e+07 5777.31 1.67936e+07 44998.8 3997.95 1.67936e+07 832119 1.18482e+06 8.15241e+06 3.12433e+07 nan nan nan
75799 20230914.3 0.806205 45522.9 28106.1 2.30851e+07 47807.1 54260.2 14099.3 1.88908e+07 14222.8 1.05021e+07 4440.7 15712.5 1.25993e+07 17055.8 19494.3 17556.9 87358.3 15082 1443.8 1.25993e+07 10417.4 6861.85 1.67936e+07 7063 6.30784e+06 5764.98 1.67936e+07 5779.31 1.67936e+07 39042 4011.33 1.67936e+07 835858 1.18377e+06 8.15563e+06 3.10359e+07 nan nan nan
75807 20230914.6 0.78551 45657.1 27691.2 2.72794e+07 42493.5 55173.4 14039.5 1.67936e+07 14143.9 1.05021e+07 4485.6 15706.6 1.46964e+07 17097 19237.8 17069 67424.6 14955.4 1444.6 1.25993e+07 9815.92 6835.29 1.67936e+07 7167.6 6.30784e+06 5814.42 1.67936e+07 5740.11 1.67936e+07 47030.4 4006.15 1.67936e+07 832713 1.1827e+06 8.15501e+06 3.08587e+07 17283.2 5625.94 8.59996e+07
75836 20230915.2 0.806175 45882.2 28225.2 2.51822e+07 48155.9 55533.3 14058.9 1.67936e+07 14137 1.05021e+07 4509.5 15692.2 1.46964e+07 17429.7 19296.8 17117.5 71131.7 14633.5 1446.3 1.25993e+07 9896.12 6865.75 1.88908e+07 6927.4 6.30784e+06 5761.62 1.67936e+07 5745.27 1.67936e+07 41678 4006.31 1.67936e+07 833529 1.17526e+06 8.15209e+06 3.07549e+07 17210.5 5618.1 8.59996e+07
75842 20230915.5 0.812338 45522.7 27975.1 2.51822e+07 47870.5 54521.4 14057.6 1.67936e+07 14097.1 1.05021e+07 4429.9 15647 1.46964e+07 17019.5 19290.9 17063.7 66045.1 14987.3 1438.9 1.25993e+07 10237.6 6863.63 1.67936e+07 6939.8 6.30784e+06 5785.28 1.67936e+07 5782.56 1.67936e+07 41341.1 4007.85 1.67936e+07 830832 1.18103e+06 8.1391e+06 3.03488e+07 17070.3 5598.47 8.59996e+07
75882 20230915.14 0.79396 45745 27598.1 2.51822e+07 47701.7 54950.9 14070.2 1.88908e+07 14174.4 1.05021e+07 4451.4 15653.1 1.46964e+07 17193.1 19974.4 17175.9 82541.5 14859.4 1446.3 1.05021e+07 10059.6 6863.13 1.88908e+07 7074 6.30784e+06 5781.81 1.67936e+07 5780.46 1.67936e+07 41264.9 4000.23 1.67936e+07 831777 1.18327e+06 8.17288e+06 3.10618e+07 17347.4 5657.84 8.59996e+07
75891 20230915.17 0.812985 45795.3 27847.3 2.30851e+07 48452.4 54635 13993.8 1.67936e+07 14041.4 1.05021e+07 4439.8 15427.5 1.46964e+07 17018.8 19367.8 17619.6 81063.5 14952.2 1429.7 1.25993e+07 9842.66 6863.77 1.88908e+07 7026.7 6.30784e+06 5820.89 1.67936e+07 5489.42 1.67936e+07 40064.4 3992.44 1.67936e+07 839722 1.17713e+06 8.17392e+06 3.07494e+07 17178.3 5497.14 8.59996e+07
75905 20230915.21 0.794597 46018.7 28013 2.51822e+07 47955.2 55480.7 13971 1.88908e+07 14089.9 1.05021e+07 4446.8 15562.1 1.46964e+07 17077.2 19101.1 17045.6 84235.8 16704.8 1430.6 1.25993e+07 10411.6 6840 1.88908e+07 6841 6.30784e+06 5780.32 1.67936e+07 5754.13 1.67936e+07 39534.4 3966.24 1.67936e+07 838322 1.18234e+06 8.14897e+06 3.10045e+07 17245 5560.01 8.59996e+07
75919 20230918.1 0.807726 45705.8 28037.7 2.51822e+07 48106.5 54799.3 14069.4 1.88908e+07 14100.3 1.05021e+07 4473.2 15624.7 1.46964e+07 17309.5 19191.3 17711.8 80251.8 15013 1447.6 1.25993e+07 9870.13 7246.59 1.67936e+07 6938.6 6.30784e+06 5817.38 1.67936e+07 5750.83 1.88908e+07 45085.8 4001.82 1.67936e+07 836473 1.18406e+06 8.15462e+06 3.0718e+07 17123.9 5617.99 8.59996e+07
75972 20230919.3 0.797908 45907.5 28013.6 2.51822e+07 48087.1 54724 13979.5 1.88908e+07 14131.3 1.05021e+07 4440.1 15590.4 1.46964e+07 17023.5 19581.7 17397.5 89712 14717.5 1440.2 1.25993e+07 10069 6847.99 1.88908e+07 7025.4 6.30784e+06 5812.09 1.67936e+07 5786.4 1.67936e+07 46322.7 3974.68 1.67936e+07 826226 1.18058e+06 8.15186e+06 3.07355e+07 17443 5600.61 8.59996e+07
75984 20230919.8 0.791942 45556.3 27995.4 2.51822e+07 48588.5 54594.9 14054.7 1.88908e+07 14107 1.05021e+07 4378.8 15616.2 1.46964e+07 17238.5 19201.2 14682.5 73482.4 15000.4 1440.3 1.25993e+07 9880.77 6841.78 1.67936e+07 7001.6 6.30784e+06 5811.6 1.67936e+07 5785.63 1.67936e+07 43684.1 3995.74 1.67936e+07 821876 1.17893e+06 8.13315e+06 3.27115e+07 17353.2 5656.14 8.59996e+07
76003 20230919.15 0.823869 45430.7 28110.3 2.51822e+07 48253.5 54962.6 14103.4 1.88908e+07 14168.3 1.05021e+07 4451 15708.5 1.46964e+07 17315.5 19169.9 17304 78893.3 15065.9 1456 1.25993e+07 9861.45 6930.48 1.88908e+07 7095.2 6.30784e+06 5821.17 1.67936e+07 5749.41 1.67936e+07 45003 3996.53 1.67936e+07 836289 1.18821e+06 8.14084e+06 3.21795e+07 17296.1 5596.5 8.59996e+07
76015 20230919.19 0.780865 45884.9 28252.3 2.30851e+07 48693.3 55353.3 13933.9 1.67936e+07 14063 1.05021e+07 4451.1 15454.5 1.25993e+07 17089.2 19693.2 17055.5 68481.1 14594.9 1445.3 1.25993e+07 9802.74 6833.42 1.88908e+07 6956.1 6.30784e+06 5764.29 1.67936e+07 5741.3 1.67936e+07 43090.7 3973.09 1.67936e+07 828277 1.17503e+06 8.16854e+06 3.05736e+07 17179.4 5582.98 8.80968e+07

mku-dropparam

build_id build_number pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem Commit latency factor tpcc_virtual_cft^ tpcc_sgx_cft^ tpcc_sgx_cft_mem pi_basic_mt_virtual_cft^ ls_virtual_cft^ pi_ls_virtual_cft^ pi_basic_virtual_cft^ pi_basic_js_virtual_cft^ ls_sgx_cft^ ls_sgx_cft_mem ls_jwt_virtual_cft^ pi_ls_sgx_cft^ pi_ls_sgx_cft_mem 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)^
75965 20230918.19 27754.9 2.51822e+07 0.7836 17351.1 5609.57 8.59996e+07 88790 45681.3 44850.7 55223.5 4407.9 14024.8 1.88908e+07 17640.8 14076.4 1.05021e+07 19861.8 15663.9 1.25993e+07 17078.7 16929.2 9855.41 1445.5 1.25993e+07 6854.27 1.88908e+07 6988.3 6.30784e+06 45932.9 5781.8 1.67936e+07 5784.31 1.67936e+07 3981.68 1.67936e+07 831675 1.18001e+06 8.15543e+06 3.10812e+07
75967 20230918.20 28093.2 2.51822e+07 0.823738 17493.2 5632.34 8.59996e+07 69047.5 45925.2 49252.1 55574.8 4507.5 14032.1 1.88908e+07 17297.6 14145.9 1.05021e+07 19795.7 15614.9 1.46964e+07 16947.4 14887 10393.4 1435.3 1.05021e+07 6855.02 1.67936e+07 6953.8 6.30784e+06 47532.6 5820.16 1.67936e+07 5745.08 1.67936e+07 4000.85 1.67936e+07 836760 1.1813e+06 8.12876e+06 3.13548e+07
75994 20230919.11 28190.8 2.30851e+07 0.793442 17287.5 5613.01 8.59996e+07 91970.7 43973.9 48024.5 54926.8 4434 14053.9 1.88908e+07 17272.2 14137.3 1.05021e+07 19379.8 15688.6 1.25993e+07 17210 14610.9 10273 1449.5 1.25993e+07 6877.88 1.67936e+07 6936.8 6.30784e+06 40188.3 5763.38 1.67936e+07 5770.29 1.67936e+07 3984.9 1.67936e+07 826696 1.18183e+06 8.14081e+06 3.06945e+07
76029 20230919.24 28226.7 2.51822e+07 0.824765 17308 5600 8.59996e+07 84283.8 45835.4 48442.8 54894.9 4462.8 13928 1.88908e+07 17199.6 14025.9 1.05021e+07 19805.9 15419.6 1.46964e+07 17494.8 14794 9861.31 1427.7 1.05021e+07 7169.04 1.88908e+07 6943.6 6.30784e+06 40027.9 5797 1.67936e+07 5475.73 1.67936e+07 3986.71 1.67936e+07 816775 1.15108e+06 8.13528e+06 3.21038e+07

images

@lemmy lemmy enabled auto-merge (squash) September 19, 2023 14:48
@lemmy lemmy merged commit 5e9a1d0 into main Sep 19, 2023
@lemmy lemmy deleted the mku-dropparam branch September 19, 2023 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tla TLA+ specifications
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants