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

[Backport release-24.11] utpm: init at 0-unstable-2024-12-17 #369238

Merged
merged 1 commit into from
Dec 31, 2024

utpm: init at 0-unstable-2024-12-17 (#353341)

131bb62
Select commit
Loading
Failed to load commit list.
Merged

[Backport release-24.11] utpm: init at 0-unstable-2024-12-17 #369238

utpm: init at 0-unstable-2024-12-17 (#353341)
131bb62
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 30, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 771.79 1019.01 ↗ 247.22 32.03%
envs-bytes 24,515,631,440 24,515,783,512 ↗ 152,072 0.00%
envs-elements 1,302,190,246 1,302,198,193 ↗ 7,947 0.00%
envs-number 881,131,842 881,137,373 ↗ 5,531 0.00%
gc-heapSize 65,737,306,112 65,754,079,232 ↗ 16,773,120 0.03%
gc-totalBytes 151,820,059,536 151,821,295,088 ↗ 1,235,552 0.00%
list-bytes 3,480,380,080 3,480,397,440 ↗ 17,360 0.00%
list-concats 91,118,808 91,119,345 ↗ 537 0.00%
list-elements 435,047,510 435,049,680 ↗ 2,170 0.00%
nrAvoided 1,022,278,665 1,022,285,745 ↗ 7,080 0.00%
nrFunctionCalls 809,240,132 809,245,276 ↗ 5,144 0.00%
nrLookups 423,220,409 423,222,729 ↗ 2,320 0.00%
nrOpUpdateValuesCopied 2,162,139,501 2,162,166,984 ↗ 27,483 0.00%
nrOpUpdates 103,043,238 103,043,858 ↗ 620 0.00%
nrPrimOpCalls 423,763,215 423,766,188 ↗ 2,973 0.00%
nrThunks 1,283,379,168 1,283,386,460 ↗ 7,292 0.00%
sets-bytes 49,490,510,080 49,491,056,784 ↗ 546,704 0.00%
sets-elements 2,902,433,688 2,902,466,716 ↗ 33,028 0.00%
sets-number 190,723,192 190,724,333 ↗ 1,141 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,353,741 3,353,745 ↗ 4 0.00%
symbols-number 187,578 187,579 ↗ 1 0.00%
values-bytes 40,162,537,872 40,162,823,640 ↗ 285,768 0.00%
values-number 1,673,439,078 1,673,450,985 ↗ 11,907 0.00%