The Origins of Malloc

 

The 1973 Fourth Edition Unix kernel source code contains two routines, malloc and mfree, that manage the dynamic allocation and release of main memory blocks for in-memory processes and of continuous disk swap area blocks for swapped-out processes. Their implementation and history can teach us many things regarding modern computing.

Amazingly, these routines are used to allocate two very different types of resources: main memory areas and disk blocks. Both allocations use the same underlying data structure, a map. Each of the two maps (coremap and swapmap) is an array of structures containing the position and size of each allocated block. Consequently, one can surmise that the name malloc did not initially stand for “memory allocate”, but for “map allocate”.

The definition of the map structure is also interesting.

struct map {
        char *m_size;
        char *m_addr;
};

The structure is defined to contain two pointers to characters. However, m_size is actually used as an integer and m_addr can be either a memory address or a disk block offset. Playing fast and loose with pointers and integers was common at the time. It took developers more than a decade to shake off the habit with the introduction of more stringent type checking in C and its successort languages. In fact, when John Lions describes the map data structure in the 6th Edition Unix, he writes that character pointers are the same as unsigned integers. (The C programming language did not at the time have an unsigned data type.) Character pointers as unsigned integers

Both data structures survived until the 1979 7th Edition Unix, and swapmap could still be found in the 1980s Berkeley Unix distributions. By that time the swapmap array was being allocated dynamically. Also, through the introduction of memory management hardware, swapping out entire processes to disk was giving way to paging out smaller (virtual) memory pages. The name malloc survives to this day as the function used in the C programming language to dynamically allocate a memory block.

Comments   Toot! Share


Last modified: Thursday, September 14, 2017 11:47 am

Creative Commons Licence BY NC

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.