/* Memory allocator `malloc'.
|
/* Memory allocator `malloc'.
|
Copyright 1990, 1991, 1992 Free Software Foundation
|
Copyright 1990, 1991, 1992 Free Software Foundation
|
|
|
Written May 1989 by Mike Haertel.
|
Written May 1989 by Mike Haertel.
|
Heavily modified Mar 1992 by Fred Fish for mmap'd version.
|
Heavily modified Mar 1992 by Fred Fish for mmap'd version.
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
The GNU C Library is free software; you can redistribute it and/or
|
modify it under the terms of the GNU Library General Public License as
|
modify it under the terms of the GNU Library General Public License as
|
published by the Free Software Foundation; either version 2 of the
|
published by the Free Software Foundation; either version 2 of the
|
License, or (at your option) any later version.
|
License, or (at your option) any later version.
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
The GNU C Library is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
Library General Public License for more details.
|
Library General Public License for more details.
|
|
|
You should have received a copy of the GNU Library General Public
|
You should have received a copy of the GNU Library General Public
|
License along with the GNU C Library; see the file COPYING.LIB. If
|
License along with the GNU C Library; see the file COPYING.LIB. If
|
not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
Boston, MA 02111-1307, USA.
|
Boston, MA 02111-1307, USA.
|
|
|
The author may be reached (Email) at the address mike@ai.mit.edu,
|
The author may be reached (Email) at the address mike@ai.mit.edu,
|
or (US mail) as Mike Haertel c/o Free Software Foundation. */
|
or (US mail) as Mike Haertel c/o Free Software Foundation. */
|
|
|
#include <string.h> /* Prototypes for memcpy, memmove, memset, etc */
|
#include <string.h> /* Prototypes for memcpy, memmove, memset, etc */
|
|
|
#include "mmprivate.h"
|
#include "mmprivate.h"
|
|
|
/* Prototypes for local functions */
|
/* Prototypes for local functions */
|
|
|
static int initialize PARAMS ((struct mdesc *));
|
static int initialize PARAMS ((struct mdesc *));
|
static PTR morecore PARAMS ((struct mdesc *, size_t));
|
static PTR morecore PARAMS ((struct mdesc *, size_t));
|
static PTR align PARAMS ((struct mdesc *, size_t));
|
static PTR align PARAMS ((struct mdesc *, size_t));
|
|
|
/* Aligned allocation. */
|
/* Aligned allocation. */
|
|
|
static PTR
|
static PTR
|
align (mdp, size)
|
align (mdp, size)
|
struct mdesc *mdp;
|
struct mdesc *mdp;
|
size_t size;
|
size_t size;
|
{
|
{
|
PTR result;
|
PTR result;
|
unsigned long int adj;
|
unsigned long int adj;
|
|
|
result = mdp -> morecore (mdp, size);
|
result = mdp -> morecore (mdp, size);
|
adj = RESIDUAL (result, BLOCKSIZE);
|
adj = RESIDUAL (result, BLOCKSIZE);
|
if (adj != 0)
|
if (adj != 0)
|
{
|
{
|
adj = BLOCKSIZE - adj;
|
adj = BLOCKSIZE - adj;
|
mdp -> morecore (mdp, adj);
|
mdp -> morecore (mdp, adj);
|
result = (char *) result + adj;
|
result = (char *) result + adj;
|
}
|
}
|
return (result);
|
return (result);
|
}
|
}
|
|
|
/* Set everything up and remember that we have. */
|
/* Set everything up and remember that we have. */
|
|
|
static int
|
static int
|
initialize (mdp)
|
initialize (mdp)
|
struct mdesc *mdp;
|
struct mdesc *mdp;
|
{
|
{
|
mdp -> heapsize = HEAP / BLOCKSIZE;
|
mdp -> heapsize = HEAP / BLOCKSIZE;
|
mdp -> heapinfo = (malloc_info *)
|
mdp -> heapinfo = (malloc_info *)
|
align (mdp, mdp -> heapsize * sizeof (malloc_info));
|
align (mdp, mdp -> heapsize * sizeof (malloc_info));
|
if (mdp -> heapinfo == NULL)
|
if (mdp -> heapinfo == NULL)
|
{
|
{
|
return (0);
|
return (0);
|
}
|
}
|
memset ((PTR)mdp -> heapinfo, 0, mdp -> heapsize * sizeof (malloc_info));
|
memset ((PTR)mdp -> heapinfo, 0, mdp -> heapsize * sizeof (malloc_info));
|
mdp -> heapinfo[0].free.size = 0;
|
mdp -> heapinfo[0].free.size = 0;
|
mdp -> heapinfo[0].free.next = mdp -> heapinfo[0].free.prev = 0;
|
mdp -> heapinfo[0].free.next = mdp -> heapinfo[0].free.prev = 0;
|
mdp -> heapindex = 0;
|
mdp -> heapindex = 0;
|
mdp -> heapbase = (char *) mdp -> heapinfo;
|
mdp -> heapbase = (char *) mdp -> heapinfo;
|
mdp -> flags |= MMALLOC_INITIALIZED;
|
mdp -> flags |= MMALLOC_INITIALIZED;
|
return (1);
|
return (1);
|
}
|
}
|
|
|
/* Get neatly aligned memory, initializing or
|
/* Get neatly aligned memory, initializing or
|
growing the heap info table as necessary. */
|
growing the heap info table as necessary. */
|
|
|
static PTR
|
static PTR
|
morecore (mdp, size)
|
morecore (mdp, size)
|
struct mdesc *mdp;
|
struct mdesc *mdp;
|
size_t size;
|
size_t size;
|
{
|
{
|
PTR result;
|
PTR result;
|
malloc_info *newinfo, *oldinfo;
|
malloc_info *newinfo, *oldinfo;
|
size_t newsize;
|
size_t newsize;
|
|
|
result = align (mdp, size);
|
result = align (mdp, size);
|
if (result == NULL)
|
if (result == NULL)
|
{
|
{
|
return (NULL);
|
return (NULL);
|
}
|
}
|
|
|
/* Check if we need to grow the info table. */
|
/* Check if we need to grow the info table. */
|
if ((size_t) BLOCK ((char *) result + size) > mdp -> heapsize)
|
if ((size_t) BLOCK ((char *) result + size) > mdp -> heapsize)
|
{
|
{
|
newsize = mdp -> heapsize;
|
newsize = mdp -> heapsize;
|
while ((size_t) BLOCK ((char *) result + size) > newsize)
|
while ((size_t) BLOCK ((char *) result + size) > newsize)
|
{
|
{
|
newsize *= 2;
|
newsize *= 2;
|
}
|
}
|
newinfo = (malloc_info *) align (mdp, newsize * sizeof (malloc_info));
|
newinfo = (malloc_info *) align (mdp, newsize * sizeof (malloc_info));
|
if (newinfo == NULL)
|
if (newinfo == NULL)
|
{
|
{
|
mdp -> morecore (mdp, -size);
|
mdp -> morecore (mdp, -size);
|
return (NULL);
|
return (NULL);
|
}
|
}
|
memset ((PTR) newinfo, 0, newsize * sizeof (malloc_info));
|
memset ((PTR) newinfo, 0, newsize * sizeof (malloc_info));
|
memcpy ((PTR) newinfo, (PTR) mdp -> heapinfo,
|
memcpy ((PTR) newinfo, (PTR) mdp -> heapinfo,
|
mdp -> heapsize * sizeof (malloc_info));
|
mdp -> heapsize * sizeof (malloc_info));
|
oldinfo = mdp -> heapinfo;
|
oldinfo = mdp -> heapinfo;
|
newinfo[BLOCK (oldinfo)].busy.type = 0;
|
newinfo[BLOCK (oldinfo)].busy.type = 0;
|
newinfo[BLOCK (oldinfo)].busy.info.size
|
newinfo[BLOCK (oldinfo)].busy.info.size
|
= BLOCKIFY (mdp -> heapsize * sizeof (malloc_info));
|
= BLOCKIFY (mdp -> heapsize * sizeof (malloc_info));
|
mdp -> heapinfo = newinfo;
|
mdp -> heapinfo = newinfo;
|
__mmalloc_free (mdp, (PTR)oldinfo);
|
__mmalloc_free (mdp, (PTR)oldinfo);
|
mdp -> heapsize = newsize;
|
mdp -> heapsize = newsize;
|
}
|
}
|
|
|
mdp -> heaplimit = BLOCK ((char *) result + size);
|
mdp -> heaplimit = BLOCK ((char *) result + size);
|
return (result);
|
return (result);
|
}
|
}
|
|
|
/* Allocate memory from the heap. */
|
/* Allocate memory from the heap. */
|
|
|
PTR
|
PTR
|
mmalloc (md, size)
|
mmalloc (md, size)
|
PTR md;
|
PTR md;
|
size_t size;
|
size_t size;
|
{
|
{
|
struct mdesc *mdp;
|
struct mdesc *mdp;
|
PTR result;
|
PTR result;
|
size_t block, blocks, lastblocks, start;
|
size_t block, blocks, lastblocks, start;
|
register size_t i;
|
register size_t i;
|
struct list *next;
|
struct list *next;
|
register size_t log;
|
register size_t log;
|
|
|
if (size == 0)
|
if (size == 0)
|
{
|
{
|
return (NULL);
|
return (NULL);
|
}
|
}
|
|
|
mdp = MD_TO_MDP (md);
|
mdp = MD_TO_MDP (md);
|
|
|
if (mdp -> mmalloc_hook != NULL)
|
if (mdp -> mmalloc_hook != NULL)
|
{
|
{
|
return ((*mdp -> mmalloc_hook) (md, size));
|
return ((*mdp -> mmalloc_hook) (md, size));
|
}
|
}
|
|
|
if (!(mdp -> flags & MMALLOC_INITIALIZED))
|
if (!(mdp -> flags & MMALLOC_INITIALIZED))
|
{
|
{
|
if (!initialize (mdp))
|
if (!initialize (mdp))
|
{
|
{
|
return (NULL);
|
return (NULL);
|
}
|
}
|
}
|
}
|
|
|
if (size < sizeof (struct list))
|
if (size < sizeof (struct list))
|
{
|
{
|
size = sizeof (struct list);
|
size = sizeof (struct list);
|
}
|
}
|
|
|
/* Determine the allocation policy based on the request size. */
|
/* Determine the allocation policy based on the request size. */
|
if (size <= BLOCKSIZE / 2)
|
if (size <= BLOCKSIZE / 2)
|
{
|
{
|
/* Small allocation to receive a fragment of a block.
|
/* Small allocation to receive a fragment of a block.
|
Determine the logarithm to base two of the fragment size. */
|
Determine the logarithm to base two of the fragment size. */
|
log = 1;
|
log = 1;
|
--size;
|
--size;
|
while ((size /= 2) != 0)
|
while ((size /= 2) != 0)
|
{
|
{
|
++log;
|
++log;
|
}
|
}
|
|
|
/* Look in the fragment lists for a
|
/* Look in the fragment lists for a
|
free fragment of the desired size. */
|
free fragment of the desired size. */
|
next = mdp -> fraghead[log].next;
|
next = mdp -> fraghead[log].next;
|
if (next != NULL)
|
if (next != NULL)
|
{
|
{
|
/* There are free fragments of this size.
|
/* There are free fragments of this size.
|
Pop a fragment out of the fragment list and return it.
|
Pop a fragment out of the fragment list and return it.
|
Update the block's nfree and first counters. */
|
Update the block's nfree and first counters. */
|
result = (PTR) next;
|
result = (PTR) next;
|
next -> prev -> next = next -> next;
|
next -> prev -> next = next -> next;
|
if (next -> next != NULL)
|
if (next -> next != NULL)
|
{
|
{
|
next -> next -> prev = next -> prev;
|
next -> next -> prev = next -> prev;
|
}
|
}
|
block = BLOCK (result);
|
block = BLOCK (result);
|
if (--mdp -> heapinfo[block].busy.info.frag.nfree != 0)
|
if (--mdp -> heapinfo[block].busy.info.frag.nfree != 0)
|
{
|
{
|
mdp -> heapinfo[block].busy.info.frag.first =
|
mdp -> heapinfo[block].busy.info.frag.first =
|
RESIDUAL (next -> next, BLOCKSIZE) >> log;
|
RESIDUAL (next -> next, BLOCKSIZE) >> log;
|
}
|
}
|
|
|
/* Update the statistics. */
|
/* Update the statistics. */
|
mdp -> heapstats.chunks_used++;
|
mdp -> heapstats.chunks_used++;
|
mdp -> heapstats.bytes_used += 1 << log;
|
mdp -> heapstats.bytes_used += 1 << log;
|
mdp -> heapstats.chunks_free--;
|
mdp -> heapstats.chunks_free--;
|
mdp -> heapstats.bytes_free -= 1 << log;
|
mdp -> heapstats.bytes_free -= 1 << log;
|
}
|
}
|
else
|
else
|
{
|
{
|
/* No free fragments of the desired size, so get a new block
|
/* No free fragments of the desired size, so get a new block
|
and break it into fragments, returning the first. */
|
and break it into fragments, returning the first. */
|
result = mmalloc (md, BLOCKSIZE);
|
result = mmalloc (md, BLOCKSIZE);
|
if (result == NULL)
|
if (result == NULL)
|
{
|
{
|
return (NULL);
|
return (NULL);
|
}
|
}
|
|
|
/* Link all fragments but the first into the free list. */
|
/* Link all fragments but the first into the free list. */
|
for (i = 1; i < (size_t) (BLOCKSIZE >> log); ++i)
|
for (i = 1; i < (size_t) (BLOCKSIZE >> log); ++i)
|
{
|
{
|
next = (struct list *) ((char *) result + (i << log));
|
next = (struct list *) ((char *) result + (i << log));
|
next -> next = mdp -> fraghead[log].next;
|
next -> next = mdp -> fraghead[log].next;
|
next -> prev = &mdp -> fraghead[log];
|
next -> prev = &mdp -> fraghead[log];
|
next -> prev -> next = next;
|
next -> prev -> next = next;
|
if (next -> next != NULL)
|
if (next -> next != NULL)
|
{
|
{
|
next -> next -> prev = next;
|
next -> next -> prev = next;
|
}
|
}
|
}
|
}
|
|
|
/* Initialize the nfree and first counters for this block. */
|
/* Initialize the nfree and first counters for this block. */
|
block = BLOCK (result);
|
block = BLOCK (result);
|
mdp -> heapinfo[block].busy.type = log;
|
mdp -> heapinfo[block].busy.type = log;
|
mdp -> heapinfo[block].busy.info.frag.nfree = i - 1;
|
mdp -> heapinfo[block].busy.info.frag.nfree = i - 1;
|
mdp -> heapinfo[block].busy.info.frag.first = i - 1;
|
mdp -> heapinfo[block].busy.info.frag.first = i - 1;
|
|
|
mdp -> heapstats.chunks_free += (BLOCKSIZE >> log) - 1;
|
mdp -> heapstats.chunks_free += (BLOCKSIZE >> log) - 1;
|
mdp -> heapstats.bytes_free += BLOCKSIZE - (1 << log);
|
mdp -> heapstats.bytes_free += BLOCKSIZE - (1 << log);
|
mdp -> heapstats.bytes_used -= BLOCKSIZE - (1 << log);
|
mdp -> heapstats.bytes_used -= BLOCKSIZE - (1 << log);
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
/* Large allocation to receive one or more blocks.
|
/* Large allocation to receive one or more blocks.
|
Search the free list in a circle starting at the last place visited.
|
Search the free list in a circle starting at the last place visited.
|
If we loop completely around without finding a large enough
|
If we loop completely around without finding a large enough
|
space we will have to get more memory from the system. */
|
space we will have to get more memory from the system. */
|
blocks = BLOCKIFY(size);
|
blocks = BLOCKIFY(size);
|
start = block = MALLOC_SEARCH_START;
|
start = block = MALLOC_SEARCH_START;
|
while (mdp -> heapinfo[block].free.size < blocks)
|
while (mdp -> heapinfo[block].free.size < blocks)
|
{
|
{
|
block = mdp -> heapinfo[block].free.next;
|
block = mdp -> heapinfo[block].free.next;
|
if (block == start)
|
if (block == start)
|
{
|
{
|
/* Need to get more from the system. Check to see if
|
/* Need to get more from the system. Check to see if
|
the new core will be contiguous with the final free
|
the new core will be contiguous with the final free
|
block; if so we don't need to get as much. */
|
block; if so we don't need to get as much. */
|
block = mdp -> heapinfo[0].free.prev;
|
block = mdp -> heapinfo[0].free.prev;
|
lastblocks = mdp -> heapinfo[block].free.size;
|
lastblocks = mdp -> heapinfo[block].free.size;
|
if (mdp -> heaplimit != 0 &&
|
if (mdp -> heaplimit != 0 &&
|
block + lastblocks == mdp -> heaplimit &&
|
block + lastblocks == mdp -> heaplimit &&
|
mdp -> morecore (mdp, 0) == ADDRESS(block + lastblocks) &&
|
mdp -> morecore (mdp, 0) == ADDRESS(block + lastblocks) &&
|
(morecore (mdp, (blocks - lastblocks) * BLOCKSIZE)) != NULL)
|
(morecore (mdp, (blocks - lastblocks) * BLOCKSIZE)) != NULL)
|
{
|
{
|
/* Which block we are extending (the `final free
|
/* Which block we are extending (the `final free
|
block' referred to above) might have changed, if
|
block' referred to above) might have changed, if
|
it got combined with a freed info table. */
|
it got combined with a freed info table. */
|
block = mdp -> heapinfo[0].free.prev;
|
block = mdp -> heapinfo[0].free.prev;
|
|
|
mdp -> heapinfo[block].free.size += (blocks - lastblocks);
|
mdp -> heapinfo[block].free.size += (blocks - lastblocks);
|
mdp -> heapstats.bytes_free +=
|
mdp -> heapstats.bytes_free +=
|
(blocks - lastblocks) * BLOCKSIZE;
|
(blocks - lastblocks) * BLOCKSIZE;
|
continue;
|
continue;
|
}
|
}
|
result = morecore(mdp, blocks * BLOCKSIZE);
|
result = morecore(mdp, blocks * BLOCKSIZE);
|
if (result == NULL)
|
if (result == NULL)
|
{
|
{
|
return (NULL);
|
return (NULL);
|
}
|
}
|
block = BLOCK (result);
|
block = BLOCK (result);
|
mdp -> heapinfo[block].busy.type = 0;
|
mdp -> heapinfo[block].busy.type = 0;
|
mdp -> heapinfo[block].busy.info.size = blocks;
|
mdp -> heapinfo[block].busy.info.size = blocks;
|
mdp -> heapstats.chunks_used++;
|
mdp -> heapstats.chunks_used++;
|
mdp -> heapstats.bytes_used += blocks * BLOCKSIZE;
|
mdp -> heapstats.bytes_used += blocks * BLOCKSIZE;
|
return (result);
|
return (result);
|
}
|
}
|
}
|
}
|
|
|
/* At this point we have found a suitable free list entry.
|
/* At this point we have found a suitable free list entry.
|
Figure out how to remove what we need from the list. */
|
Figure out how to remove what we need from the list. */
|
result = ADDRESS(block);
|
result = ADDRESS(block);
|
if (mdp -> heapinfo[block].free.size > blocks)
|
if (mdp -> heapinfo[block].free.size > blocks)
|
{
|
{
|
/* The block we found has a bit left over,
|
/* The block we found has a bit left over,
|
so relink the tail end back into the free list. */
|
so relink the tail end back into the free list. */
|
mdp -> heapinfo[block + blocks].free.size
|
mdp -> heapinfo[block + blocks].free.size
|
= mdp -> heapinfo[block].free.size - blocks;
|
= mdp -> heapinfo[block].free.size - blocks;
|
mdp -> heapinfo[block + blocks].free.next
|
mdp -> heapinfo[block + blocks].free.next
|
= mdp -> heapinfo[block].free.next;
|
= mdp -> heapinfo[block].free.next;
|
mdp -> heapinfo[block + blocks].free.prev
|
mdp -> heapinfo[block + blocks].free.prev
|
= mdp -> heapinfo[block].free.prev;
|
= mdp -> heapinfo[block].free.prev;
|
mdp -> heapinfo[mdp -> heapinfo[block].free.prev].free.next
|
mdp -> heapinfo[mdp -> heapinfo[block].free.prev].free.next
|
= mdp -> heapinfo[mdp -> heapinfo[block].free.next].free.prev
|
= mdp -> heapinfo[mdp -> heapinfo[block].free.next].free.prev
|
= mdp -> heapindex = block + blocks;
|
= mdp -> heapindex = block + blocks;
|
}
|
}
|
else
|
else
|
{
|
{
|
/* The block exactly matches our requirements,
|
/* The block exactly matches our requirements,
|
so just remove it from the list. */
|
so just remove it from the list. */
|
mdp -> heapinfo[mdp -> heapinfo[block].free.next].free.prev
|
mdp -> heapinfo[mdp -> heapinfo[block].free.next].free.prev
|
= mdp -> heapinfo[block].free.prev;
|
= mdp -> heapinfo[block].free.prev;
|
mdp -> heapinfo[mdp -> heapinfo[block].free.prev].free.next
|
mdp -> heapinfo[mdp -> heapinfo[block].free.prev].free.next
|
= mdp -> heapindex = mdp -> heapinfo[block].free.next;
|
= mdp -> heapindex = mdp -> heapinfo[block].free.next;
|
mdp -> heapstats.chunks_free--;
|
mdp -> heapstats.chunks_free--;
|
}
|
}
|
|
|
mdp -> heapinfo[block].busy.type = 0;
|
mdp -> heapinfo[block].busy.type = 0;
|
mdp -> heapinfo[block].busy.info.size = blocks;
|
mdp -> heapinfo[block].busy.info.size = blocks;
|
mdp -> heapstats.chunks_used++;
|
mdp -> heapstats.chunks_used++;
|
mdp -> heapstats.bytes_used += blocks * BLOCKSIZE;
|
mdp -> heapstats.bytes_used += blocks * BLOCKSIZE;
|
mdp -> heapstats.bytes_free -= blocks * BLOCKSIZE;
|
mdp -> heapstats.bytes_free -= blocks * BLOCKSIZE;
|
}
|
}
|
|
|
return (result);
|
return (result);
|
}
|
}
|
|
|
/* When using this package, provide a version of malloc/realloc/free built
|
/* When using this package, provide a version of malloc/realloc/free built
|
on top of it, so that if we use the default sbrk() region we will not
|
on top of it, so that if we use the default sbrk() region we will not
|
collide with another malloc package trying to do the same thing, if
|
collide with another malloc package trying to do the same thing, if
|
the application contains any "hidden" calls to malloc/realloc/free (such
|
the application contains any "hidden" calls to malloc/realloc/free (such
|
as inside a system library). */
|
as inside a system library). */
|
|
|
PTR
|
PTR
|
malloc (size)
|
malloc (size)
|
size_t size;
|
size_t size;
|
{
|
{
|
PTR result;
|
PTR result;
|
|
|
result = mmalloc ((PTR) NULL, size);
|
result = mmalloc ((PTR) NULL, size);
|
return (result);
|
return (result);
|
}
|
}
|
|
|
