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

envision: autopatchelf after build #359156

Merged
merged 3 commits into from
Dec 16, 2024

envision: autopatchelf after build

cb45ad8
Select commit
Loading
Failed to load commit list.
Merged

envision: autopatchelf after build #359156

envision: autopatchelf after build
cb45ad8
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 15, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 803.09 909.56 ↗ 106.47 13.26%
envs-bytes 24,370,731,880 24,370,839,896 ↗ 108,016 0.00%
envs-elements 1,292,774,579 1,292,779,777 ↗ 5,198 0.00%
envs-number 876,783,453 876,787,605 ↗ 4,152 0.00%
gc-heapSize 74,411,184,128 74,360,852,480 ↘ 50,331,648 -0.07%
gc-totalBytes 151,839,440,352 151,840,195,712 ↗ 755,360 0.00%
list-bytes 3,697,158,176 3,697,196,288 ↗ 38,112 0.00%
list-concats 92,196,477 92,196,693 ↗ 216 0.00%
list-elements 462,144,772 462,149,536 ↗ 4,764 0.00%
nrAvoided 1,013,027,332 1,013,029,713 ↗ 2,381 0.00%
nrFunctionCalls 806,112,084 806,116,048 ↗ 3,964 0.00%
nrLookups 424,659,126 424,661,320 ↗ 2,194 0.00%
nrOpUpdateValuesCopied 2,180,381,613 2,180,384,465 ↗ 2,852 0.00%
nrOpUpdates 101,995,836 101,996,044 ↗ 208 0.00%
nrPrimOpCalls 418,395,527 418,396,513 ↗ 986 0.00%
nrThunks 1,267,029,042 1,267,032,054 ↗ 3,012 0.00%
sets-bytes 49,809,766,432 49,809,835,344 ↗ 68,912 0.00%
sets-elements 2,923,023,361 2,923,027,310 ↗ 3,949 0.00%
sets-number 190,087,041 190,087,399 ↗ 358 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,423,792 3,423,817 ↗ 25 0.00%
symbols-number 188,846 188,848 ↗ 2 0.00%
values-bytes 40,002,145,368 40,002,257,496 ↗ 112,128 0.00%
values-number 1,666,756,057 1,666,760,729 ↗ 4,672 0.00%