mallo und free

[Mr. Schmitt (Gast)]

Hallo Zusammen,

int *i = (int*) malloc(sizeof(int) * 5);
...
...
...
free(i);

Meine Frage ist.
Woher weisst free() wie viel Speicher malloc() allokiert hat, das free() 
frei gibt?

[Karl H. (kbuchegg)]

Mr. Schmitt schrieb:
> Hallo Zusammen,
>
>

> int *i = (int*) malloc(sizeof(int) * 5);
> ...
> ...
> ...
> free(i);
>

> Meine Frage ist.
> Woher weisst free() wie viel Speicher malloc() allokiert hat, das free()
> frei gibt?

Aus der Speicherverwaltung.
malloc gibt ja nicht einfach nur einen Pointer raus, sondern es muss 
selbstverständlich auch darüber Buch führen welchen Speicher es 
rausgegeben hat und wie groß der war. Das muss es schon alleine 
deswegen, weil es ja keine überlappenden Speicherbereiche rausrücken 
darf wenn du 5 mal malloc ohne einen free dazwischen aufrufst.

Hinter malloc und free steckt noch ein ganzer Rattenschwanz an 
Funktionalität. Einer der Gründe warum man malloc auf den kleinen µC 
nicht so gerne einsetzt.

[Emperor_L0ser (Gast)]

Zum Angefordertem Speicher wird noch irgendwo zusätzlich Speicher 
reserviert.

Ein Beispiel wäre hier die avr-libc, dort ist das ganze sehr einfach und 
effizient Implementiert. Die Zwei Bytes vor dem Pointer geben die Größe 
des Speicherbereiches an:

http://www.nongnu.org/avr-libc/user-manual/malloc.html

Absatz: Implementation details

[Jörg W. (dl8dtl) (Moderator)]

Karl Heinz Buchegger schrieb:
> Hinter malloc und free steckt noch ein ganzer Rattenschwanz an
> Funktionalität. Einer der Gründe warum man malloc auf den kleinen µC
> nicht so gerne einsetzt.

Naja, der "Rattenschwanz" in der avr-libc ist gerade mal ein
vorangestelltes Feld mit der Länge.  Der Implementierungsaufwand
hält sich in erträglichen Grenzen, es werden keine weiteren
Optimierungsversuche (wie Allokation in ganzen 2^N-Blöcken oder
dergleichen) gemacht.  War auch einer der Gründe, warum ich das
damals für die avr-libc von Grund auf neu geschrieben habe, statt
eine existierende Implementierung zu nehmen (die zu dieser Zeit
dann alle schon an creeping featurism gelitten haben).