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

Follow up to #5895 #5901

Merged
merged 1 commit into from
Jan 9, 2024
Merged

Follow up to #5895 #5901

merged 1 commit into from
Jan 9, 2024

Conversation

heidihoward
Copy link
Member

A minor change I forgot to push in #5895. removing MatchIndexLowerBoundNextIndexInv from atomic reconfig configuration file

@heidihoward heidihoward added the tla TLA+ specifications label Jan 9, 2024
@heidihoward heidihoward requested a review from a team January 9, 2024 11:00
@heidihoward heidihoward enabled auto-merge (squash) January 9, 2024 11:01
@ghost
Copy link

ghost commented Jan 9, 2024

followup-5895@80048 aka 20240109.13 vs main ewma over 20 builds from 79795 to 80038

Click to see table

main

build_id build_number pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem Commit latency factor tpcc_sgx_cft^ tpcc_sgx_cft_mem ls_sgx_cft^ ls_sgx_cft_mem pi_ls_sgx_cft^ pi_ls_sgx_cft_mem pi_basic_sgx_cft^ pi_basic_sgx_cft_mem tpcc_virtual_cft^ pi_basic_mt_virtual_cft^ ls_virtual_cft^ pi_ls_virtual_cft^ pi_basic_virtual_cft^ pi_basic_js_virtual_cft^ pi_basic_js_sgx_cft^ pi_basic_js_sgx_cft_mem ls_jwt_virtual_cft^ pi_ls_jwt_virtual_cft^ ls_jwt_sgx_cft^ ls_jwt_sgx_cft_mem ls_js_virtual_cft^ pi_ls_jwt_sgx_cft^ pi_ls_jwt_sgx_cft_mem ls_full_js_virtual_cft^ ls_js_sgx_cft^ ls_js_sgx_cft_mem tlc_3node_fixed_duration_s tlc_3node_fixed_states ls_js_jwt_virtual_cft^ tlc_atomic_reconfig_duration_s tlc_atomic_reconfig_states tlc_reconfig_duration_s tlc_reconfig_states ls_full_js_sgx_cft^ ls_full_js_sgx_cft_mem ls_js_jwt_sgx_cft^ ls_js_jwt_sgx_cft_mem hist_sgx_cft^ RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^ tlc_sim_traces tlc_sim_levelmean
79795 20240101.3 28203.3 2.51822e+07 0.78501 5573.08 8.59996e+07 14058.6 1.88908e+07 14075.3 1.05021e+07 15400.4 1.25993e+07 17464.7 88523 53125.1 57116.7 61313 4568.7 1433.5 1.25993e+07 20746.1 22281.6 6907.22 1.88908e+07 17744.9 6981.9 6.30784e+06 17841.4 5797.99 1.67936e+07 7 86496 11654.5 437 1.2541e+07 244 6.31473e+06 5721.54 1.67936e+07 3992.77 1.67936e+07 45491.3 828138 1.18098e+06 8.16847e+06 3.08021e+07 2254 403
79809 20240102.3 27998 2.51822e+07 0.818907 5582.58 8.59996e+07 14069 1.88908e+07 14207.7 1.05021e+07 15632.9 1.46964e+07 17426.2 89517.2 52688.3 56487.3 62076.8 4588.5 1438 1.25993e+07 20938.1 21383.1 7254.86 1.67936e+07 17806.2 6979.5 6.30784e+06 17373.5 5809.21 1.67936e+07 6 86496 11613.7 427 1.2541e+07 241 6.31473e+06 5725.47 1.88908e+07 4000.63 1.67936e+07 39813.8 838128 1.18558e+06 8.15241e+06 3.07577e+07 2304 403
79821 20240102.7 28223.4 2.30851e+07 0.812237 5591.2 8.59996e+07 14003.1 1.88908e+07 14188.3 1.05021e+07 15498.1 1.46964e+07 17312.2 100850 53352.6 57235.7 62129.2 4590.4 1429.2 1.25993e+07 21078.7 22285.6 7246.07 1.67936e+07 20842.2 6934.2 6.30784e+06 17429 5809.09 1.67936e+07 7 86496 11612.2 446 1.2541e+07 237 6.31473e+06 5478.56 1.67936e+07 4007.06 1.67936e+07 40366 832255 1.17903e+06 8.15355e+06 3.03592e+07 2331 403
79832 20240102.10 27705.2 2.51822e+07 0.780568 5592.62 8.59996e+07 14075.6 1.88908e+07 14247 1.05021e+07 15580.2 1.46964e+07 17247.1 90345.4 52935.7 56910 62683.8 4647.1 1429.8 1.25993e+07 20739.3 20193.9 6842.56 1.67936e+07 20729.9 7079.5 6.30784e+06 17575.8 5781.21 1.67936e+07 6 86496 11690.8 424 1.2541e+07 245 6.31473e+06 5767.74 1.67936e+07 3982.1 1.67936e+07 42743.5 823735 1.18304e+06 8.15511e+06 3.0778e+07 2301 403
79836 20240103.1 28173 2.51822e+07 0.8277 5617.23 8.59996e+07 14088.9 1.88908e+07 14246.2 1.05021e+07 15684.4 1.46964e+07 17163.7 68113.2 52985.4 57238.7 62511.8 4622.6 1430.6 1.25993e+07 20776.5 21693.9 7262.76 1.67936e+07 20385 6980.2 6.30784e+06 17974.8 5814.99 1.67936e+07 6 86496 11889.2 417 1.2541e+07 238 6.31473e+06 5465.89 1.88908e+07 3973.9 1.67936e+07 43365.4 827987 1.18005e+06 8.16857e+06 3.13533e+07 2109 403
79850 20240104.1 28107.5 2.51822e+07 0.774183 5647.78 8.59996e+07 14069.1 1.88908e+07 14203.3 1.05021e+07 15616.9 1.25993e+07 17222.5 88847.3 53076.9 56886.7 62583 4618.3 1430.7 1.25993e+07 20820.4 21956.8 7263.29 1.67936e+07 17246.1 7142 6.30784e+06 17545.1 5808.21 1.67936e+07 6 86496 11727 447 1.2541e+07 239 6.31473e+06 5739.03 1.88908e+07 4019.28 1.67936e+07 45361.8 833007 1.17531e+06 8.1401e+06 3.07056e+07 2277 403
79858 20240104.5 28151.4 2.30851e+07 0.762951 5612.73 8.59996e+07 14105.1 1.88908e+07 14237.6 1.05021e+07 15657.2 1.46964e+07 17237.2 72092.6 53156.1 56700.3 62251.6 4624.7 1437 1.05021e+07 20802.9 22305.5 7259.07 1.88908e+07 17912 6983.6 6.30784e+06 17600.9 5791.47 1.67936e+07 6 86496 12005.6 420 1.2541e+07 238 6.31473e+06 5734.66 1.67936e+07 4001.19 1.67936e+07 46312.7 832473 1.18246e+06 8.14589e+06 3.0464e+07 2357 403
79876 20240104.10 27983.2 2.51822e+07 0.770841 5617.52 8.59996e+07 14034.5 1.67936e+07 14165.8 1.05021e+07 15592.9 1.25993e+07 17196.9 82253.2 53164.5 56410.8 62397 4645.9 1427.3 1.25993e+07 20949.8 22178.9 7241.98 1.67936e+07 17324.7 6915.4 6.30784e+06 17551.5 5771.22 1.67936e+07 6 86496 11659.7 429 1.2541e+07 234 6.31473e+06 5737.28 1.67936e+07 3985.63 1.67936e+07 40222.9 829045 1.18083e+06 8.15014e+06 3.10298e+07 2315 403
79893 20240105.3 28242.6 2.30851e+07 0.770387 5619.63 8.59996e+07 14091.5 1.88908e+07 14247.6 1.05021e+07 15674.3 1.25993e+07 17195.7 79459.2 53109.3 56423.9 61913.6 4637.7 1436.8 1.25993e+07 21053.6 21897.2 7241.21 1.67936e+07 17479.2 7028.1 6.30784e+06 17489.6 5776.46 1.67936e+07 6 86496 11786.3 438 1.2541e+07 234 6.31473e+06 5739.53 1.67936e+07 4001.54 1.67936e+07 41192.1 834184 1.18333e+06 8.13454e+06 3.07928e+07 2312 403
79901 20240105.6 28134.7 2.51822e+07 0.804442 5625.32 8.59996e+07 14099 1.88908e+07 14266.8 1.05021e+07 15657.8 1.46964e+07 17253.5 96416.1 52754.9 54886.9 61431.1 4615.1 1428.6 1.25993e+07 20971.5 21889.5 6896.08 1.67936e+07 17410.2 7033.2 6.30784e+06 17219.9 5807.41 1.67936e+07 6 86496 11532.7 445 1.2541e+07 240 6.31473e+06 5744.67 1.88908e+07 4003.65 1.67936e+07 42166 837682 1.17356e+06 8.14881e+06 3.18111e+07 2258 403
79920 20240105.14 28090.3 2.51822e+07 0.804667 5642.82 8.59996e+07 14097.8 1.88908e+07 14249.7 1.05021e+07 15643 1.46964e+07 17195.4 72389.5 53484.4 56927.5 63034.1 4635.9 1426.1 1.25993e+07 20600.9 21708 6883.92 1.88908e+07 20208.9 6976.3 6.30784e+06 17600.9 5819.57 1.67936e+07 6 86496 11868.5 434 1.2541e+07 235 6.31473e+06 5767.4 1.67936e+07 3983.21 1.67936e+07 42864.9 816929 1.18007e+06 8.14615e+06 3.06564e+07 2325 403
79931 20240105.18 28155.9 2.51822e+07 0.830304 5572.38 8.59996e+07 14067.9 1.67936e+07 14143.9 1.05021e+07 15609.5 1.25993e+07 17203.8 78451.8 53081 57491.7 63657.6 4644.3 1433 1.25993e+07 20979.1 21753.3 6844.24 1.67936e+07 20837.9 6937.8 6.30784e+06 17426.7 5775.62 1.67936e+07 6 86496 11781.2 436 1.2541e+07 236 6.31473e+06 5454.13 1.67936e+07 3990.64 1.67936e+07 41115.6 835630 1.17185e+06 8.15319e+06 3.14385e+07 2224 403
79937 20240105.20 28053.5 2.51822e+07 0.788583 5577.35 8.59996e+07 14052.4 1.88908e+07 14109.9 1.05021e+07 15547.2 1.46964e+07 17208.8 85420.8 56022.5 56925.6 63903.6 4666.7 1435.2 1.25993e+07 20742.8 21552.2 7233.07 1.67936e+07 20961.9 6844.1 6.30784e+06 17614 5802.33 1.67936e+07 6 77678 11908.4 366 1.14441e+07 223 5.86578e+06 5491.67 1.67936e+07 3998.46 1.67936e+07 47083.7 832419 1.18053e+06 8.15387e+06 3.21896e+07 2256 403
79954 20240108.2 28237 2.30851e+07 0.811783 5591.06 8.59996e+07 14064.6 1.88908e+07 14197.4 1.05021e+07 15540.4 1.46964e+07 17316.8 99047.8 53076.6 55248.3 60320.6 4528.2 1431.6 1.25993e+07 20993.9 21334.7 7263.29 1.67936e+07 17858.4 7083.5 6.30784e+06 17621.1 5819.68 1.67936e+07 6 77678 11538.3 393 1.14441e+07 225 5.86578e+06 5772.06 1.67936e+07 4006.27 1.67936e+07 41219.2 823934 1.18456e+06 8.13305e+06 3.08225e+07 2191 403
79961 20240108.5 27925.4 2.51822e+07 0.812651 5643.13 8.59996e+07 14080.8 1.67936e+07 14230.5 1.05021e+07 15627.5 1.25993e+07 17247.2 85416 53409.5 56958 63490.4 4632.7 1428.6 1.25993e+07 20797.7 22702.5 7265.93 1.67936e+07 20869.2 6978.2 6.30784e+06 17815.9 5819.84 1.67936e+07 5 77678 11888.8 377 1.14441e+07 219 5.86578e+06 5491.66 1.88908e+07 3978.52 1.67936e+07 43913.1 834677 1.17721e+06 8.13573e+06 3.1303e+07 2280 403
79989 20240108.17 28271 2.51822e+07 0.812918 5581.25 8.59996e+07 14031.6 1.67936e+07 14136.4 1.05021e+07 15523.6 1.46964e+07 17262.7 78403.9 52887.3 55918.4 62745.3 4610.5 1415.9 1.25993e+07 20923.3 22286.1 7249.22 1.67936e+07 20921.3 6933.6 6.30784e+06 17621.5 5811.81 1.67936e+07 6 77678 11740.7 392 1.14441e+07 220 5.87421e+06 5488.58 1.67936e+07 3984.32 1.67936e+07 45321.3 831008 1.18097e+06 8.15374e+06 3.08415e+07 2380 403
80001 20240108.22 28214.4 2.30851e+07 0.786976 5635.92 8.59996e+07 14107 1.67936e+07 14229 1.05021e+07 15650.3 1.25993e+07 17220.1 82485.2 52740.1 56590.9 62501.5 4637.4 1429.2 1.05021e+07 20710.5 21594.5 7261.71 1.67936e+07 20773 7084.9 6.30784e+06 17397.2 5822.41 1.67936e+07 6 77678 11679.9 147 3.90715e+06 144 3.83177e+06 5738.66 1.67936e+07 3986.1 1.67936e+07 45877 835642 1.18258e+06 8.17072e+06 3.06881e+07 2749 403
80019 20240109.2 27799.4 2.51822e+07 0.779573 5541.95 8.59996e+07 13996.1 1.88908e+07 14114.4 1.05021e+07 15421.9 1.25993e+07 17676.2 92062.2 53244.4 56053.5 61572.3 4586.7 1423.3 1.25993e+07 20734.2 22425.5 6843.67 1.67936e+07 17371.7 6964.2 6.30784e+06 17383.5 5808.73 1.67936e+07 5 77678 11766.6 150 3.90715e+06 149 3.83177e+06 5734.06 1.67936e+07 4019.09 1.67936e+07 40846.9 840733 1.17962e+06 8.12931e+06 3.06812e+07 2587 403
80028 20240109.6 28077.7 2.51822e+07 0.773671 5668.81 8.59996e+07 14080.8 1.88908e+07 14176.2 1.05021e+07 15684.6 1.46964e+07 17211.9 80572.2 53026.8 58109.1 61402.2 4691.4 1435.3 1.25993e+07 20760.8 22245 6914.02 1.88908e+07 20537.9 7048.5 6.30784e+06 17634 5802.22 1.67936e+07 5 77678 11758.4 150 3.90715e+06 146 3.83177e+06 5766.41 1.67936e+07 3999.26 1.67936e+07 43293 830215 1.18604e+06 8.15176e+06 3.07125e+07 2686 403
80038 20240109.10 27757.8 2.30851e+07 0.804995 5590.07 8.59996e+07 14106.5 1.88908e+07 14170.6 1.05021e+07 15627.6 1.25993e+07 17787.8 82244.9 52786.7 56588 62017.1 4618.3 1424.9 1.25993e+07 21127.5 22348.4 6806.45 1.67936e+07 20872.7 7055.6 6.30784e+06 17348.9 5772.08 1.67936e+07 6 77678 11716.9 148 3.90715e+06 149 3.83177e+06 5731.73 1.67936e+07 3997.66 1.67936e+07 46610.2 793924 1.17586e+06 8.15647e+06 3.07947e+07 2762 403

followup-5895

build_id build_number tlc_3node_fixed_duration_s tlc_3node_fixed_states tlc_atomic_reconfig_duration_s tlc_atomic_reconfig_states tlc_reconfig_duration_s tlc_reconfig_states Commit latency factor tpcc_sgx_cft^ tpcc_sgx_cft_mem pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem ls_sgx_cft^ ls_sgx_cft_mem pi_ls_sgx_cft^ pi_ls_sgx_cft_mem pi_basic_sgx_cft^ pi_basic_sgx_cft_mem 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 ls_js_sgx_cft^ ls_js_sgx_cft_mem pi_basic_mt_virtual_cft^ ls_full_js_sgx_cft^ ls_full_js_sgx_cft_mem ls_js_jwt_sgx_cft^ ls_js_jwt_sgx_cft_mem hist_sgx_cft^ tpcc_virtual_cft^ RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^ ls_virtual_cft^ 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_full_js_virtual_cft^ ls_js_jwt_virtual_cft^ tlc_sim_traces tlc_sim_levelmean
80048 20240109.13 6 77678 147 3.90715e+06 143 3.83177e+06 0.787521 5629.07 8.59996e+07 28082.4 2.51822e+07 14108.8 1.88908e+07 14195.3 1.05021e+07 15728.5 1.25993e+07 1442.3 1.05021e+07 7267.51 1.67936e+07 7118.2 6.30784e+06 5802.45 1.67936e+07 74211.3 5744.99 1.67936e+07 3995.97 1.67936e+07 44341.4 17190.8 822616 1.17295e+06 8.13396e+06 3.323e+07 52740.3 56947 62305.4 4667.7 20764.9 21573.1 17450.1 17197.5 11702.1 2643 403

images

@heidihoward heidihoward merged commit ffdb3fd into main Jan 9, 2024
30 checks passed
@heidihoward heidihoward deleted the followup-5895 branch January 9, 2024 11:40
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