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

Ignoring states dump from TLC #5811

Merged
merged 4 commits into from
Nov 3, 2023
Merged

Conversation

heidihoward
Copy link
Member

No description provided.

@heidihoward heidihoward added the tla TLA+ specifications label Nov 2, 2023
@heidihoward heidihoward requested a review from a team November 2, 2023 20:38
@ghost
Copy link

ghost commented Nov 2, 2023

tla-dump@78377 aka 20231103.9 vs main ewma over 20 builds from 78035 to 78372

Click to see table

main

build_id build_number pi_basic_mt_virtual_cft^ 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^ pi_basic_mt_sgx_cft^ pi_basic_mt_sgx_cft_mem hist_sgx_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 RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^
78035 20231027.5 83501.4 0.785967 17213.8 45970.2 48037.9 54501.8 4447.9 17062.2 19333.8 16911.6 17015.7 9990.67 27938.3 2.51822e+07 47144 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 831267 1.18066e+06 8.09742e+06 3.06715e+07
78049 20231027.10 85552.5 0.781085 17300.2 43575 46933.4 55026 4431 17056.6 19111.7 17359 14869.3 9805.16 28049.5 2.51822e+07 41017.4 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 840517 1.18098e+06 8.16672e+06 3.06803e+07
78065 20231030.3 80986.2 0.803529 17287.6 43811.1 46782.1 54407.3 4392.3 17198.2 19724.6 17634.6 14791.7 10345.8 27850.6 2.30851e+07 38753.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 831589 1.1757e+06 8.07743e+06 3.07175e+07
78110 20231031.2 90290.4 0.801968 17706.2 43757.1 47025.6 54021.7 4412.2 17043.4 19501.2 17190 14923.3 10161.5 28002.1 2.30851e+07 44321.1 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 833541 1.17964e+06 8.15397e+06 3.09702e+07
78115 20231031.5 90398.6 0.788781 17153.5 45717.6 47743.9 55284.5 4374.5 17204.3 19257.8 17318.7 14893.2 9790.65 28096.6 2.51822e+07 44365.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 818357 1.17717e+06 8.15176e+06 3.07813e+07
78128 20231031.10 71982.3 0.75716 17076.3 43862 47267.7 55100.9 4371.6 17200.1 19235.2 17122 14762.1 10396.2 27738.1 2.51822e+07 42934.8 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 837504 1.18196e+06 8.15251e+06 3.15981e+07
78146 20231031.17 76464.7 0.780638 17229.5 43813 47595.9 55096.1 4355.7 17361 19744.5 17356.3 14955.7 9799.34 27901 2.51822e+07 43021.9 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 820080 1.18077e+06 8.15047e+06 3.07762e+07
78161 20231031.23 62893.4 0.782488 17341.2 43725.6 47396.3 54809.3 4373.5 17176.1 19492.8 17576.4 14802.5 9795.27 28091.4 2.51822e+07 46424.3 5605.13 8.59996e+07 14058.7 1.88908e+07 14092.9 1.05021e+07 15472.1 1.46964e+07 1434.3 1.25993e+07 6855.37 1.67936e+07 7006.3 6.30784e+06 5771.02 1.67936e+07 5735.27 1.67936e+07 3972.38 1.67936e+07 831500 1.17237e+06 8.17199e+06 3.13663e+07
78188 20231031.34 69302.6 0.777414 17118.8 43790 47386.9 54591.4 4355.1 17093.8 17419.8 17431.3 14898.7 9859.67 27969.8 2.30851e+07 39990.1 5602.33 8.59996e+07 14059.1 1.88908e+07 14173.3 1.05021e+07 15545.1 1.46964e+07 1434.6 1.05021e+07 7223.17 1.67936e+07 6938.2 6.30784e+06 5775.87 1.67936e+07 5491.97 1.67936e+07 3979.22 1.67936e+07 830634 1.18149e+06 8.13241e+06 3.07346e+07
78196 20231101.2 88490.7 0.832989 17212.9 43839.1 47046.4 50979.6 4393 17147.3 19277.1 17624.4 14959.6 10005.4 28088.2 2.30851e+07 44220.3 5623.15 8.59996e+07 14070.4 1.88908e+07 14239.9 1.05021e+07 15638 1.46964e+07 1437.9 1.25993e+07 6871.58 1.88908e+07 7054.3 6.30784e+06 5818.22 1.67936e+07 5735.09 1.67936e+07 3977.77 1.67936e+07 834004 1.18027e+06 8.15222e+06 3.09693e+07
78218 20231101.11 83063.2 0.794466 17267 43523.4 39919.2 54609.1 4338.1 17157.6 18949.1 17376.4 14871.1 10180.4 27482.4 2.30851e+07 45431.3 5594.46 8.59996e+07 14033 1.88908e+07 14051.8 1.05021e+07 15531.3 1.46964e+07 1428.2 1.25993e+07 6867.98 1.67936e+07 6933.2 6.30784e+06 5807.77 1.67936e+07 5469.02 1.67936e+07 3994.19 1.67936e+07 833473 1.18618e+06 8.15072e+06 3.08689e+07
78226 20231101.13 73492.7 0.798772 17229.8 43650.8 46528.9 47448.2 4341.1 17155.8 18953.8 14940.7 14721.7 10072.6 27521.2 2.51822e+07 46340.6 5625.43 8.59996e+07 14043.1 1.88908e+07 14097.8 1.05021e+07 15604.3 1.46964e+07 1414.9 1.25993e+07 7241.73 1.67936e+07 6889 6.30784e+06 5756.54 1.67936e+07 5445.43 1.67936e+07 3965.05 1.67936e+07 835263 1.18362e+06 8.1689e+06 3.06211e+07
78246 20231101.20 70500.2 0.784451 17123.7 45792.5 46974.8 53423.6 4408.4 17022.2 19427.7 15054.6 14945.9 10275.3 27565 2.30851e+07 45075.5 5643.71 8.59996e+07 14099.1 1.88908e+07 14165.3 1.05021e+07 15684.7 1.46964e+07 1423.7 1.25993e+07 7247.5 1.67936e+07 6996.2 6.30784e+06 5794.78 1.67936e+07 5485.63 1.67936e+07 3992.72 1.67936e+07 837584 1.17997e+06 8.17199e+06 3.10982e+07
78261 20231101.25 69365.6 0.81842 17440.2 45894.6 47638.6 53299.1 4380.3 17042 19569.5 17247.3 14729.7 10279.9 28224.5 2.51822e+07 43354.3 5612.19 8.59996e+07 14117.8 1.88908e+07 14186 1.05021e+07 15647.1 1.25993e+07 1436.8 1.25993e+07 7264.49 1.67936e+07 7000.4 6.30784e+06 5797.39 1.67936e+07 5486.18 1.67936e+07 3994.48 1.67936e+07 835866 1.1715e+06 8.14353e+06 3.07998e+07
78284 20231102.4 74128.5 0.775601 17090 43810.2 47171.4 53039.6 4380.6 16902.4 19632.5 14945.6 14982 10242.7 27902.1 2.30851e+07 40950.5 5607 8.59996e+07 14039.4 1.88908e+07 14144.7 1.05021e+07 15534.3 1.46964e+07 1433.6 1.25993e+07 6870.67 1.88908e+07 7007.8 6.30784e+06 5753.55 1.67936e+07 5431.34 1.67936e+07 3982.9 1.67936e+07 830357 1.18333e+06 8.13473e+06 3.08373e+07
78305 20231102.12 88216.8 0.78799 17322.6 45645.4 48989.3 53847.3 4386.2 17291.3 19701.3 17082.4 14871.8 10051.9 27661.5 2.30851e+07 40964.4 5520.15 8.59996e+07 14034 1.88908e+07 14105 1.05021e+07 15532.4 1.25993e+07 1421.1 1.25993e+07 6844.95 1.88908e+07 7082.4 6.30784e+06 5797.56 1.67936e+07 5725.47 1.88908e+07 4001.42 1.67936e+07 822024 1.17786e+06 8.15592e+06 3.10807e+07
78319 20231102.17 83397.2 0.793434 17142.8 45692.3 48014.1 53896.9 4359.7 17057.3 19245.9 17127.5 14800.7 10296.3 27989.4 2.30851e+07 45008.6 5616.9 8.59996e+07 13956 1.88908e+07 14087.7 1.05021e+07 15500.2 1.46964e+07 1432 1.25993e+07 6839.82 1.67936e+07 6924.1 6.30784e+06 5801.1 1.67936e+07 5739.65 1.67936e+07 3972.71 1.67936e+07 834976 1.18569e+06 8.12273e+06 3.07789e+07
78358 20231103.3 73888.9 0.80868 17311.7 43799.2 48061.9 53988.3 4395.8 17328 19780 17379.4 14648.9 10273.9 27874.4 2.51822e+07 45285.7 5613.85 8.59996e+07 14024 1.88908e+07 14173.7 1.05021e+07 15658 1.46964e+07 1431 1.25993e+07 6848.6 1.88908e+07 6936 6.30784e+06 5795.98 1.67936e+07 5450.88 1.67936e+07 3999.15 1.67936e+07 829705 1.18299e+06 8.14787e+06 3.0569e+07
78365 20231103.6 72764.7 0.787105 17440.6 45729.3 48139.6 54762.3 4342.9 17317.7 19576 15085.7 14683.7 9954.18 28034 2.30851e+07 43491.4 5629.97 8.59996e+07 14078.6 1.88908e+07 14064.8 1.05021e+07 15659.9 1.25993e+07 1424 1.25993e+07 6812 1.67936e+07 6988 6.30784e+06 5761.67 1.67936e+07 5755.45 1.67936e+07 3977.18 1.67936e+07 829913 1.18447e+06 8.14194e+06 3.07286e+07
78372 20231103.8 90924.9 0.811727 17281.7 45628 48368.5 53990.3 4355.3 17137.4 19422.4 14922.2 14674.6 10171.6 27795.9 2.30851e+07 44113 5578.73 8.59996e+07 13977.9 1.88908e+07 14087 1.05021e+07 15549.8 1.25993e+07 1424.7 1.25993e+07 6788.55 1.88908e+07 6925.3 6.30784e+06 5793.13 1.67936e+07 5490.55 1.88908e+07 3975.67 1.67936e+07 838885 1.18174e+06 8.15439e+06 3.16504e+07

tla-dump

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 tpcc_virtual_cft^ ls_virtual_cft^ pi_ls_virtual_cft^ pi_basic_virtual_cft^ ls_sgx_cft^ ls_sgx_cft_mem pi_basic_js_virtual_cft^ pi_ls_sgx_cft^ pi_ls_sgx_cft_mem ls_jwt_virtual_cft^ pi_basic_sgx_cft^ pi_basic_sgx_cft_mem pi_ls_jwt_virtual_cft^ 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 ls_js_sgx_cft^ ls_js_sgx_cft_mem hist_sgx_cft^ ls_full_js_sgx_cft^ ls_full_js_sgx_cft_mem pi_basic_mt_virtual_cft^ ls_js_jwt_sgx_cft^ ls_js_jwt_sgx_cft_mem RB put (/s)^ CHAMP put (/s)^ RB get (/s)^ CHAMP get (/s)^
78352 20231102.29 27962.5 2.51822e+07 0.77541 5539.17 8.59996e+07 17399.7 45772.5 48057.1 54022.3 13967.8 1.88908e+07 4346.8 14147.5 1.05021e+07 17115.7 15615.1 1.25993e+07 19884.3 14989.6 14663 10264.9 1437.8 1.25993e+07 6886.62 1.67936e+07 7096.4 6.30784e+06 5754.57 1.67936e+07 44842.2 5455.52 1.67936e+07 61868.3 3993.85 1.67936e+07 827233 1.1883e+06 8.14372e+06 3.08243e+07
78377 20231103.9 28348 2.51822e+07 0.818306 5578.02 8.59996e+07 17680.6 45606.2 47718.3 53858.7 14048.2 1.88908e+07 4312 14128.6 1.05021e+07 17202.4 15590.5 1.25993e+07 19547.7 17313.2 14526.5 10332.7 1428.5 1.25993e+07 7225.37 1.67936e+07 7038.4 6.30784e+06 5804.78 1.67936e+07 44195.6 5490.99 1.67936e+07 84845.7 3995.39 1.67936e+07 835082 1.18548e+06 8.1306e+06 3.11298e+07

images

@heidihoward heidihoward enabled auto-merge (squash) November 3, 2023 11:06
@achamayou achamayou disabled auto-merge November 3, 2023 13:59
@achamayou achamayou merged commit 1d52533 into microsoft:main Nov 3, 2023
7 checks passed
@heidihoward heidihoward deleted the tla-dump branch November 7, 2023 11:49
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