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

[24.05] Backport kernel changes from #350757 #351145

Merged
merged 3 commits into from
Oct 27, 2024

linux_hardened: hacky build fix

d697b56
Select commit
Loading
Failed to load commit list.
Merged

[24.05] Backport kernel changes from #350757 #351145

linux_hardened: hacky build fix
d697b56
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Oct 25, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 678.93 673.82 ↘ 5.12 -0.75%
envs-bytes 21,237,416,000 21,206,953,288 ↘ 30,462,712 -0.14%
envs-elements 1,118,945,782 1,117,426,935 ↘ 1,518,847 -0.14%
envs-number 767,865,609 766,721,113 ↘ 1,144,496 -0.15%
gc-heapSize 60,184,039,424 59,949,158,400 ↘ 234,881,024 -0.39%
gc-totalBytes 131,623,275,632 131,487,379,664 ↘ 135,895,968 -0.10%
list-bytes 3,666,128,832 3,663,272,616 ↘ 2,856,216 -0.08%
list-concats 84,862,884 84,803,171 ↘ 59,713 -0.07%
list-elements 458,266,104 457,909,077 ↘ 357,027 -0.08%
nrAvoided 892,463,122 891,340,427 ↘ 1,122,695 -0.13%
nrFunctionCalls 706,101,132 705,078,461 ↘ 1,022,671 -0.14%
nrLookups 367,473,442 366,766,728 ↘ 706,714 -0.19%
nrOpUpdateValuesCopied 1,920,488,893 1,919,802,731 ↘ 686,162 -0.04%
nrOpUpdates 87,719,713 87,655,051 ↘ 64,662 -0.07%
nrPrimOpCalls 369,328,970 368,839,099 ↘ 489,871 -0.13%
nrThunks 1,097,780,260 1,096,348,931 ↘ 1,431,329 -0.13%
sets-bytes 43,511,532,944 43,483,951,520 ↘ 27,581,424 -0.06%
sets-elements 2,555,935,813 2,554,490,127 ↘ 1,445,686 -0.06%
sets-number 163,534,996 163,256,843 ↘ 278,153 -0.17%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,472,603 2,472,612 ↗ 9 0.00%
symbols-number 172,698 172,696 ↘ 2 -0.00%
values-bytes 33,736,023,144 33,690,010,032 ↘ 46,013,112 -0.14%
values-number 1,405,667,631 1,403,750,418 ↘ 1,917,213 -0.14%