ELEMENTARY (elem)
Die Implementationen
Die Implementationen
Einen entscheidenden Einfluß auf die Performance hat die
zugrundeliegende
Speicherallokationsstrategie der auf
Pointern basierenden Implementationen (die sehr oft verwendet werden). Sie
können sie mit dem Implementationsparameter ,,ALLOC`` festlegen. Hier eine
kurze Übersicht der vorhandenen Möglichkeiten:
- freelist : Freispeicherliste; wenn sie überläuft,
wird automatisch die Strategie ,,malloc`` verwendet. Der Parameter ,,MAXLEN``
legt die maximale Größe fest.
- malloc : Verwaltung des Speichers mit den
Standard-C-Funktionen malloc und free. Der Parameter
,,SAVE`` schaltet die Prüfung auf die Verwendung von legalen Pointern ein
(sinnvoll nur während des Programmtests).
- vmalloc : Verwaltung des Speichers in Einheiten
variabler Länge (in Zweierpotenzen) auf Basis von malloc und free.
Der Parameter ,,SAVE`` schaltet die Prüfung auf die Verwendung von legalen
Pointern ein (sinnvoll nur während des Programmtests).
Alle drei Strategien kennen
den Parameter ,,PROFILE``, der die Anzahl der Aufrufe der malloc- und
free-Funktionen zählt und eine zusätzliche Operation profile
bereitstellt, die diese Informationen ausgibt.
VDM Class Library