Static Allocation, Constant Work
L'auteur explique que l'erreur use-after-free se manifeste différemment selon que la mémoire soit recyclée dans un pool ou réallouée librement, la première causant un aliasing déterministe sans confusion de type sauf en présence d'enums en ligne. Il propose d'éviter les confusions de type en utilisant des allocateurs typés ou des pools segmentés par type, ce qui réduit la réutilisation inter-types au prix d'une légère inefficacité mémoire. Comme alternative aux allocations dynamiques, la stratégie de l'allocation statique consiste à fixer dès l'initialisation le nombre maximal d'ordres et à refuser les demandes excédentaires pour garantir une dégradation contrôlée et éviter des échecs catastrophiques. Le principe de travail constant consiste à représenter les emplacements libres par un ordre neutre préinitialisé et à faire circuler les ordres sans créer ni détruire d'objets, ce qui simplifie la logique d'états et facilite les assertions exhaustives. Ces techniques améliorent la prévisibilité des performances et la vectorisation possible du code, mais elles exigent des compromis en mémoire et en conception et ne conviennent pas à tous les cas.