hardened_malloc/calculate_waste.py

75 lines
1.8 KiB
Python
Raw Normal View History

2018-08-21 21:23:22 +02:00
#!/usr/bin/env python3
from sys import argv
2018-08-21 21:23:22 +02:00
size_classes = [
16, 32, 48, 64, 80, 96, 112, 128,
160, 192, 224, 256,
320, 384, 448, 512,
640, 768, 896, 1024,
1280, 1536, 1792, 2048,
2560, 3072, 3584, 4096,
5120, 6144, 7168, 8192,
10240, 12288, 14336, 16384
]
size_class_slots = [
256, 128, 85, 64, 51, 42, 36, 64,
51, 64, 54, 64,
64, 64, 64, 64,
64, 64, 64, 64,
16, 16, 16, 16,
8, 8, 8, 8,
8, 8, 8, 8,
6, 6, 4, 4
]
print("size class", "worst case internal fragmentation", sep=", ")
print(16, "100%", sep=", ")
for i in range(len(size_classes) - 1):
size_class = size_classes[i + 1]
worst_case = size_classes[i] + 1
used = worst_case / size_class
print(size_class, str(100 - used * 100) + "%", sep=", ")
2018-08-21 21:23:22 +02:00
def page_align(size):
return (size + 4095) & ~4095
print()
print("size class", "slab slots", "slab size", "worst case internal fragmentation for slabs", sep=", ")
for size, slots in zip(size_classes, size_class_slots):
used = size * slots
real = page_align(used)
print(size, slots, real, str(100 - used / real * 100) + "%", sep=", ")
if len(argv) < 2:
exit()
2018-08-21 21:23:22 +02:00
max_bits = 256
max_page_span = 16
print()
2018-08-21 21:23:22 +02:00
print("maximum bitmap size is {}-bit".format(max_bits))
print("maximum page span size is {} ({})".format(max_page_span, max_page_span * 4096))
for size_class in size_classes:
choices = []
for bits in range(1, max_bits + 1):
used = size_class * bits
real = page_align(used)
if real > 65536:
continue
pages = real / 4096
efficiency = used / real * 100
choices.append((bits, used, real, pages, efficiency))
choices.sort(key=lambda x: x[4], reverse=True)
print()
print("size_class:", size_class)
for choice in choices[:10]:
print(choice)