Refactor hardcoded set of all Servers out of ccfraft.

[lemmy]

nt

[ghost]

mku-NoDeclAllServers@78151 aka 20231031.18 vs main ewma over 20 builds from 77555 to 78146

Click to see table

main

build_id	build_number	Commit latency factor	tpcc_virtual_cft^	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^	hist_sgx_cft^	pi_basic_mt_virtual_cft^	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	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	ls_full_js_sgx_cft^	ls_full_js_sgx_cft_mem	ls_js_jwt_sgx_cft^	ls_js_jwt_sgx_cft_mem	pi_basic_mt_sgx_cft^	pi_basic_mt_sgx_cft_mem	RB put (/s)^	CHAMP put (/s)^	RB get (/s)^	CHAMP get (/s)^
77555	20231023.5	0.816011	17264.2	45924.9	47674	53843.3	4365.2	17152.3	19152.3	17286.3	14910.6	10169.6	43068.6	74767.3	5639.66	8.59996e+07	14029.3	1.88908e+07	14118.1	1.05021e+07	15640.2	1.46964e+07	1432.7	1.25993e+07	7273.33	1.67936e+07	6953.5	6.30784e+06	5781.01	1.67936e+07	5742.5	1.67936e+07	3995.51	1.67936e+07	28238.2	2.51822e+07	829052	1.18151e+06	8.148e+06	3.09408e+07
77584	20231023.15	0.839543	17237.3	43785.4	47940.2	54114.3	4430	17010.7	19396.4	17307.2	14810.6	9823.55	42679.4	63643	5525.06	8.59996e+07	13936	1.88908e+07	13990.4	1.05021e+07	15424.6	1.46964e+07	1427	1.25993e+07	6853.5	1.88908e+07	6881.2	6.30784e+06	5758.93	1.67936e+07	5762.09	1.67936e+07	3983.52	1.67936e+07	27775.2	2.51822e+07	825381	1.18095e+06	8.16893e+06	3.13159e+07
77665	20231024.10	0.782853	17332.4	43627.5	47460.4	55764.1	4480.7	16984.5	19600.5	17210.4	15032.4	9934.79	42277.7	71956.1	5565	8.59996e+07	13918.6	1.88908e+07	14015.8	1.05021e+07	15439.4	1.46964e+07	1417.5	1.25993e+07	6827.52	1.88908e+07	6933.8	6.30784e+06	5759.87	1.67936e+07	5778.73	1.67936e+07	3994.77	1.67936e+07	28077.5	2.30851e+07	837727	1.17659e+06	8.1335e+06	3.08424e+07
77722	20231024.29	0.808583	17482.9	43910	47389.3	55105.8	4422.3	16897.2	19100.4	17082.1	15051.5	9901.25	43837.6	68825.6	5477.83	8.59996e+07	13980.7	1.88908e+07	14011.7	1.05021e+07	15103.3	1.46964e+07	1409.7	1.25993e+07	6842.46	1.88908e+07	6811.8	6.30784e+06	5772.89	1.67936e+07	5489.45	1.67936e+07	4013.18	1.67936e+07	28002.9	2.51822e+07	824014	1.17985e+06	8.16421e+06	3.03628e+07
77856	20231025.44	0.830072	17303.7	45783	47925.3	54083.6	4428.6	17130.6	18998.8	17531.7	14906.9	9965.7	44821	84849.8	5666.89	8.59996e+07	14118.2	1.88908e+07	14176.7	1.05021e+07	15508.7	1.46964e+07	1425.1	1.25993e+07	7259.6	1.67936e+07	6931.4	6.30784e+06	5816.26	1.67936e+07	5714.88	1.67936e+07	3996.87	1.67936e+07	27880.1	2.30851e+07	832615	1.17692e+06	8.17447e+06	3.1229e+07
77900	20231025.59	0.816541	17281.4	45862.6	47692.2	54378.7	4430.3	17128.6	18994.4	17211.3	14724.7	9880.77	42489.7	81852.5	5546.67	8.59996e+07	13948.6	1.88908e+07	14105.4	1.05021e+07	15469.3	1.46964e+07	1430.1	1.25993e+07	6806.65	1.88908e+07	6880.7	6.30784e+06	5770.88	1.67936e+07	5488.27	1.88908e+07	3990.38	1.67936e+07	27968.9	2.30851e+07	839143	1.18218e+06	8.15475e+06	3.09642e+07
77909	20231025.62	0.79592	17614.6	45746.3	48128.1	53844.8	4388	17161.3	19081.4	17522.5	14627.1	10342.4	43740.4	82618.8	5576.25	8.59996e+07	13953.5	1.88908e+07	13887.2	1.05021e+07	15385.2	1.25993e+07	1410.9	1.25993e+07	6741.99	1.88908e+07	6827.9	6.30784e+06	5792.34	1.67936e+07	5446.53	1.67936e+07	3975.81	1.67936e+07	27790.9	2.30851e+07	830943	1.17967e+06	8.14732e+06	3.07715e+07
77921	20231026.3	0.791384	17373	45699.4	48314.8	54188.2	4351.5	17286.9	19246.7	17012.1	14641.1	10204.5	44491.1	72066.7	5619.54	8.80968e+07	14116.6	1.88908e+07	14237.9	1.05021e+07	15679.6	1.25993e+07	1439.5	1.25993e+07	6842.16	1.67936e+07	7086.5	6.30784e+06	5774.21	1.67936e+07	5775.45	1.67936e+07	3999.2	1.67936e+07	27942.2	2.30851e+07	835419	1.1779e+06	8.15017e+06	3.23452e+07
77958	20231026.14	0.772274	17260.9	45673.6	48273.7	54086	4383.2	17108.5	19101.5	17286.3	14984.8	10377.2	43732	68096.1	5566.37	8.59996e+07	14074.9	1.88908e+07	14198.3	1.05021e+07	15598.1	1.46964e+07	1432.2	1.25993e+07	6840.93	1.67936e+07	6965.9	6.30784e+06	5777.94	1.67936e+07	5783.74	1.67936e+07	3984.61	1.67936e+07	27891.3	2.30851e+07	834153	1.18014e+06	8.15037e+06	3.08165e+07
77980	20231026.23	0.799401	17301.4	45630	47959.1	54124.7	4420.8	17150.6	19602.5	17059.4	14690.5	9850.2	42472.7	84229.4	5544.83	8.59996e+07	13945.1	1.88908e+07	14005.8	1.05021e+07	15441	1.25993e+07	1419.8	1.25993e+07	7232.3	1.67936e+07	6917.8	6.30784e+06	5811.09	1.67936e+07	5487	1.67936e+07	4003.14	1.67936e+07	27919.7	2.30851e+07	827669	1.18001e+06	8.13674e+06	3.08104e+07
77994	20231026.29	0.80113	17290	43873.2	47649.7	54065	4441.8	17136.7	19419.7	17733.8	16838	9840.75	44959.6	82095.1	5582.56	8.59996e+07	14017.2	1.88908e+07	14167	1.05021e+07	15610.3	1.25993e+07	1446	1.25993e+07	6841.03	1.88908e+07	6962.5	6.30784e+06	5764.66	1.67936e+07	5729.26	1.67936e+07	4003.36	1.67936e+07	27941.4	2.51822e+07	840437	1.18274e+06	8.15494e+06	3.07517e+07
78007	20231026.34	0.765143	17307	45407.5	47735	54044.5	4441.4	17288.5	18904.7	17015.3	16872.1	9816.73	43179.9	81427	5628.96	8.59996e+07	14025.1	1.88908e+07	14089.7	1.05021e+07	15601.5	1.46964e+07	1432.4	1.25993e+07	6850.52	1.88908e+07	7096.8	6.30784e+06	5773.88	1.67936e+07	5486.07	1.67936e+07	3985.52	1.67936e+07	27449.9	2.51822e+07	826445	1.17834e+06	8.14738e+06	3.19605e+07
78033	20231027.4	0.798824	17273	45862.4	48024.5	53817.4	4439.6	17160.1	19602.8	17044.2	16883.5	9854.32	42046.2	65638.2	5577.93	8.59996e+07	13972.7	1.88908e+07	14096.8	1.05021e+07	15447.2	1.25993e+07	1432.2	1.25993e+07	7250.65	1.67936e+07	6938.4	6.30784e+06	5786.4	1.67936e+07	5743.72	1.67936e+07	4002.74	1.67936e+07	28127.4	2.51822e+07	829984	1.18448e+06	8.13813e+06	3.06775e+07
78035	20231027.5	0.785967	17213.8	45970.2	48037.9	54501.8	4447.9	17062.2	19333.8	16911.6	17015.7	9990.67	47144	83501.4	5573.65	8.59996e+07	14007.5	1.88908e+07	14114.5	1.05021e+07	15503.3	1.46964e+07	1434.7	1.25993e+07	6832.63	1.67936e+07	6983.9	6.30784e+06	5786.59	1.67936e+07	5775.4	1.67936e+07	3982.36	1.67936e+07	27938.3	2.51822e+07	831267	1.18066e+06	8.09742e+06	3.06715e+07
78049	20231027.10	0.781085	17300.2	43575	46933.4	55026	4431	17056.6	19111.7	17359	14869.3	9805.16	41017.4	85552.5	5504.64	8.59996e+07	14023.9	1.88908e+07	14102.3	1.05021e+07	15421.6	1.46964e+07	1424.4	1.25993e+07	6846.42	1.67936e+07	6826.6	6.30784e+06	5791.73	1.67936e+07	5707.49	1.67936e+07	3980.86	1.67936e+07	28049.5	2.51822e+07	840517	1.18098e+06	8.16672e+06	3.06803e+07
78065	20231030.3	0.803529	17287.6	43811.1	46782.1	54407.3	4392.3	17198.2	19724.6	17634.6	14791.7	10345.8	38753.2	80986.2	5645.18	8.59996e+07	14038.5	1.88908e+07	14125	1.05021e+07	15560.2	1.46964e+07	1434	1.25993e+07	7241.2	1.67936e+07	7023.9	6.30784e+06	5804.59	1.67936e+07	5779.74	1.67936e+07	3998.35	1.67936e+07	27850.6	2.30851e+07	831589	1.1757e+06	8.07743e+06	3.07175e+07
78110	20231031.2	0.801968	17706.2	43757.1	47025.6	54021.7	4412.2	17043.4	19501.2	17190	14923.3	10161.5	44321.1	90290.4	5577.82	8.59996e+07	14078.8	1.88908e+07	14211.9	1.05021e+07	15500.2	1.46964e+07	1434.1	1.25993e+07	7246.56	1.67936e+07	7122.3	6.30784e+06	5824.15	1.67936e+07	5724.41	1.67936e+07	3999.43	1.67936e+07	28002.1	2.30851e+07	833541	1.17964e+06	8.15397e+06	3.09702e+07
78115	20231031.5	0.788781	17153.5	45717.6	47743.9	55284.5	4374.5	17204.3	19257.8	17318.7	14893.2	9790.65	44365.6	90398.6	5597.14	8.59996e+07	14046.4	1.88908e+07	14149.3	1.05021e+07	15573.1	1.46964e+07	1438.8	1.25993e+07	6857.73	1.67936e+07	6984.1	6.30784e+06	5786.81	1.67936e+07	5770.07	1.67936e+07	3994.27	1.67936e+07	28096.6	2.51822e+07	818357	1.17717e+06	8.15176e+06	3.07813e+07
78128	20231031.10	0.75716	17076.3	43862	47267.7	55100.9	4371.6	17200.1	19235.2	17122	14762.1	10396.2	42934.8	71982.3	5630.66	8.59996e+07	14058.5	1.88908e+07	14160.9	1.05021e+07	15631.8	1.46964e+07	1441.7	1.25993e+07	7284.99	1.67936e+07	7044.7	6.30784e+06	5805.39	1.67936e+07	5776.39	1.67936e+07	3998.07	1.67936e+07	27738.1	2.51822e+07	837504	1.18196e+06	8.15251e+06	3.15981e+07
78146	20231031.17	0.780638	17229.5	43813	47595.9	55096.1	4355.7	17361	19744.5	17356.3	14955.7	9799.34	43021.9	76464.7	5598.38	8.59996e+07	14060.8	1.88908e+07	14179	1.05021e+07	15535.7	1.46964e+07	1433.1	1.25993e+07	6790.28	1.67936e+07	6889.6	6.30784e+06	5772.45	1.67936e+07	5488.66	1.67936e+07	3966.05	1.67936e+07	27901	2.51822e+07	820080	1.18077e+06	8.15047e+06	3.07762e+07

mku-NoDeclAllServers

build_id	build_number	pi_basic_mt_virtual_cft^	pi_basic_mt_sgx_cft^	pi_basic_mt_sgx_cft_mem	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	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)^
78105	20231030.21	82869.1	27895.7	2.51822e+07	0.782751	17341.9	5641.91	8.59996e+07	45506.6	46779.5	54925.6	4466.9	14103.4	1.88908e+07	17321	14222.2	1.05021e+07	19675	15611	1.25993e+07	17110.3	14661.6	9775.38	1435.2	1.25993e+07	6855.84	1.67936e+07	7092.5	6.30784e+06	44027.8	5768.78	1.67936e+07	5775.23	1.67936e+07	3967.95	1.67936e+07	820286	1.16314e+06	8.15293e+06	3.23539e+07
78120	20231031.6	66758.3	28095.4	2.72794e+07	0.80242	17629.2	5615.38	8.59996e+07	43621.6	47256.3	54730.8	4412.3	14082.3	1.88908e+07	17091.3	14196.9	1.05021e+07	18431.8	15558.3	1.46964e+07	15208.4	14997	9922.93	1433.7	1.25993e+07	6855.85	1.67936e+07	7054.5	6.30784e+06	44000.2	5815.7	1.67936e+07	5741.01	1.67936e+07	3990.87	1.67936e+07	835314	1.18269e+06	8.14891e+06	3.06899e+07
78143	20231031.15	75859.2	27956.1	2.30851e+07	0.805497	17436.1	5643.89	8.59996e+07	43806.7	47254.7	55152.7	4399.1	14103.7	1.67936e+07	17540.5	14184.2	1.05021e+07	19952.9	15646.2	1.46964e+07	14945.7	14929.2	9899.45	1435.3	1.25993e+07	6801.35	1.67936e+07	6981.5	6.30784e+06	41464.9	5770.56	1.67936e+07	5778.44	1.67936e+07	3978.56	1.67936e+07	833050	1.17963e+06	8.154e+06	3.07558e+07
78151	20231031.18	85797	28006.9	2.51822e+07	0.782865	17127.3	5645.15	8.59996e+07	43730.1	47239.6	54452.6	4358.5	14084.5	1.67936e+07	17060.7	14207.8	1.05021e+07	19451.5	15634	1.25993e+07	17640	15033.5	9768.91	1433.2	1.25993e+07	6861.98	1.67936e+07	6936.9	6.30784e+06	40614.8	5812.62	1.67936e+07	5779.79	1.67936e+07	3981.59	1.67936e+07	822975	1.17871e+06	8.15072e+06	3.07046e+07

[achamayou]

We need one more change on

CCF/tla/consensus/Traceccfraft.tla

Line 79 in 6fe397f

TraceServers ==

[lemmy]

Done