2016-06-01 11:32:05 +03:00
|
|
|
.\" $NetBSD: malloc.3,v 1.48 2016/06/01 08:32:05 wiz Exp $
|
2009-05-14 03:02:11 +04:00
|
|
|
.\"
|
1998-01-31 02:37:40 +03:00
|
|
|
.\" Copyright (c) 1980, 1991, 1993
|
|
|
|
.\" The Regents of the University of California. All rights reserved.
|
1993-03-21 12:45:37 +03:00
|
|
|
.\"
|
|
|
|
.\" This code is derived from software contributed to Berkeley by
|
|
|
|
.\" the American National Standards Committee X3, on Information
|
|
|
|
.\" Processing Systems.
|
|
|
|
.\"
|
|
|
|
.\" Redistribution and use in source and binary forms, with or without
|
|
|
|
.\" modification, are permitted provided that the following conditions
|
|
|
|
.\" are met:
|
|
|
|
.\" 1. Redistributions of source code must retain the above copyright
|
|
|
|
.\" notice, this list of conditions and the following disclaimer.
|
|
|
|
.\" 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
.\" notice, this list of conditions and the following disclaimer in the
|
|
|
|
.\" documentation and/or other materials provided with the distribution.
|
2003-08-07 20:42:00 +04:00
|
|
|
.\" 3. Neither the name of the University nor the names of its contributors
|
1993-03-21 12:45:37 +03:00
|
|
|
.\" may be used to endorse or promote products derived from this software
|
|
|
|
.\" without specific prior written permission.
|
|
|
|
.\"
|
|
|
|
.\" THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
.\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
.\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
.\" ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
|
|
|
.\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
.\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
.\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
.\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
.\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
.\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
.\" SUCH DAMAGE.
|
|
|
|
.\"
|
1999-08-02 07:18:46 +04:00
|
|
|
.\" @(#)malloc.3 8.1 (Berkeley) 6/4/93
|
2007-10-06 05:09:48 +04:00
|
|
|
.\" $FreeBSD: src/lib/libc/stdlib/malloc.3,v 1.73 2007/06/15 22:32:33 jasone Exp $
|
1993-03-21 12:45:37 +03:00
|
|
|
.\"
|
2016-06-01 08:40:26 +03:00
|
|
|
.Dd June 1, 2016
|
1993-03-21 12:45:37 +03:00
|
|
|
.Dt MALLOC 3
|
1999-03-22 22:44:33 +03:00
|
|
|
.Os
|
1993-03-21 12:45:37 +03:00
|
|
|
.Sh NAME
|
2015-02-05 23:02:28 +03:00
|
|
|
.Nm malloc , calloc , realloc , free
|
1999-08-02 07:18:46 +04:00
|
|
|
.Nd general purpose memory allocation functions
|
1998-02-05 21:45:17 +03:00
|
|
|
.Sh LIBRARY
|
|
|
|
.Lb libc
|
1993-03-21 12:45:37 +03:00
|
|
|
.Sh SYNOPSIS
|
2003-04-16 17:34:34 +04:00
|
|
|
.In stdlib.h
|
1993-03-21 12:45:37 +03:00
|
|
|
.Ft void *
|
|
|
|
.Fn malloc "size_t size"
|
1999-08-02 07:18:46 +04:00
|
|
|
.Ft void *
|
|
|
|
.Fn calloc "size_t number" "size_t size"
|
|
|
|
.Ft void *
|
|
|
|
.Fn realloc "void *ptr" "size_t size"
|
|
|
|
.Ft void
|
|
|
|
.Fn free "void *ptr"
|
1993-03-21 12:45:37 +03:00
|
|
|
.Sh DESCRIPTION
|
|
|
|
The
|
|
|
|
.Fn malloc
|
1999-08-02 07:18:46 +04:00
|
|
|
function allocates
|
|
|
|
.Fa size
|
2007-10-06 05:09:48 +04:00
|
|
|
bytes of uninitialized memory.
|
1999-08-02 07:18:46 +04:00
|
|
|
The allocated space is suitably aligned (after possible pointer coercion)
|
|
|
|
for storage of any type of object.
|
|
|
|
.Pp
|
|
|
|
The
|
|
|
|
.Fn calloc
|
|
|
|
function allocates space for
|
|
|
|
.Fa number
|
|
|
|
objects,
|
|
|
|
each
|
|
|
|
.Fa size
|
|
|
|
bytes in length.
|
|
|
|
The result is identical to calling
|
|
|
|
.Fn malloc
|
|
|
|
with an argument of
|
|
|
|
.Dq "number * size" ,
|
2007-10-06 05:09:48 +04:00
|
|
|
with the exception that the allocated memory is explicitly initialized
|
2015-02-05 23:02:28 +03:00
|
|
|
to zero bytes.
|
1999-08-02 07:18:46 +04:00
|
|
|
.Pp
|
1993-03-21 12:45:37 +03:00
|
|
|
The
|
1999-08-02 07:18:46 +04:00
|
|
|
.Fn realloc
|
|
|
|
function changes the size of the previously allocated memory referenced by
|
|
|
|
.Fa ptr
|
|
|
|
to
|
|
|
|
.Fa size
|
2007-10-06 05:09:48 +04:00
|
|
|
bytes.
|
1999-08-02 07:18:46 +04:00
|
|
|
The contents of the memory are unchanged up to the lesser of the new and
|
|
|
|
old sizes.
|
|
|
|
If the new size is larger,
|
|
|
|
the value of the newly allocated portion of the memory is undefined.
|
2007-10-06 05:09:48 +04:00
|
|
|
Upon success, the memory referenced by
|
1999-08-02 07:18:46 +04:00
|
|
|
.Fa ptr
|
2007-10-06 05:09:48 +04:00
|
|
|
is freed and a pointer to the newly allocated memory is returned.
|
2015-02-05 19:04:35 +03:00
|
|
|
.Pp
|
2007-10-06 05:09:48 +04:00
|
|
|
Note that
|
|
|
|
.Fn realloc
|
|
|
|
may move the memory allocation, resulting in a different return value than
|
|
|
|
.Fa ptr .
|
1999-08-02 07:18:46 +04:00
|
|
|
If
|
|
|
|
.Fa ptr
|
2002-08-20 20:15:38 +04:00
|
|
|
is
|
|
|
|
.Dv NULL ,
|
|
|
|
the
|
1999-08-02 07:18:46 +04:00
|
|
|
.Fn realloc
|
|
|
|
function behaves identically to
|
1993-03-21 12:45:37 +03:00
|
|
|
.Fn malloc
|
1999-08-02 07:18:46 +04:00
|
|
|
for the specified size.
|
2002-08-11 10:12:45 +04:00
|
|
|
.Pp
|
1999-08-02 07:18:46 +04:00
|
|
|
The
|
|
|
|
.Fn free
|
|
|
|
function causes the allocated memory referenced by
|
|
|
|
.Fa ptr
|
|
|
|
to be made available for future allocations.
|
|
|
|
If
|
|
|
|
.Fa ptr
|
2002-08-20 20:15:38 +04:00
|
|
|
is
|
|
|
|
.Dv NULL ,
|
|
|
|
no action occurs.
|
2007-10-06 05:09:48 +04:00
|
|
|
.Sh RETURN VALUES
|
|
|
|
The
|
1999-08-02 07:18:46 +04:00
|
|
|
.Fn malloc
|
2007-10-06 05:09:48 +04:00
|
|
|
and
|
1999-08-02 07:18:46 +04:00
|
|
|
.Fn calloc
|
2007-10-06 05:09:48 +04:00
|
|
|
functions return a pointer to the allocated memory if successful; otherwise
|
|
|
|
a
|
|
|
|
.Dv NULL
|
|
|
|
pointer is returned and
|
|
|
|
.Va errno
|
|
|
|
is set to
|
|
|
|
.Er ENOMEM .
|
|
|
|
.Pp
|
1999-08-02 07:18:46 +04:00
|
|
|
The
|
2007-10-06 05:09:48 +04:00
|
|
|
.Fn realloc
|
2015-02-05 23:02:28 +03:00
|
|
|
function returns a pointer, possibly identical to
|
2007-10-06 05:09:48 +04:00
|
|
|
.Fa ptr ,
|
|
|
|
to the allocated memory
|
|
|
|
if successful; otherwise a
|
|
|
|
.Dv NULL
|
|
|
|
pointer is returned, and
|
|
|
|
.Va errno
|
|
|
|
is set to
|
|
|
|
.Er ENOMEM
|
|
|
|
if the error was the result of an allocation failure.
|
|
|
|
The
|
|
|
|
.Fn realloc
|
2015-02-05 23:02:28 +03:00
|
|
|
function always leaves the original buffer intact
|
2007-10-15 15:18:44 +04:00
|
|
|
when an error occurs.
|
2016-06-01 11:32:05 +03:00
|
|
|
If
|
|
|
|
.Ar size
|
|
|
|
is 0, either
|
|
|
|
.Dv NULL
|
|
|
|
or a pointer that can be safely passed to
|
|
|
|
.Xr free 3
|
|
|
|
is returned.
|
2007-10-06 05:09:48 +04:00
|
|
|
.Pp
|
|
|
|
The
|
|
|
|
.Fn free
|
|
|
|
function returns no value.
|
2010-05-03 09:11:34 +04:00
|
|
|
.Sh EXAMPLES
|
|
|
|
When using
|
|
|
|
.Fn malloc ,
|
|
|
|
be careful to avoid the following idiom:
|
|
|
|
.Bd -literal -offset indent
|
|
|
|
if ((p = malloc(number * size)) == NULL)
|
|
|
|
err(EXIT_FAILURE, "malloc");
|
|
|
|
.Ed
|
|
|
|
.Pp
|
|
|
|
The multiplication may lead to an integer overflow.
|
|
|
|
To avoid this,
|
2015-02-05 23:02:28 +03:00
|
|
|
.Xr reallocarr 3
|
2010-05-03 09:11:34 +04:00
|
|
|
is recommended.
|
|
|
|
.Pp
|
|
|
|
If
|
|
|
|
.Fn malloc
|
|
|
|
must be used, be sure to test for overflow:
|
|
|
|
.Bd -literal -offset indent
|
|
|
|
if (size && number > SIZE_MAX / size) {
|
|
|
|
errno = EOVERFLOW;
|
|
|
|
err(EXIT_FAILURE, "allocation");
|
|
|
|
}
|
|
|
|
.Ed
|
|
|
|
.Pp
|
2015-02-05 19:04:35 +03:00
|
|
|
The above test is not sufficient in all cases.
|
|
|
|
For example, multiplying ints requires a different set of checks:
|
|
|
|
.Bd -literal -offset indent
|
2015-02-06 11:37:39 +03:00
|
|
|
int num, size;
|
|
|
|
\&.\&.\&.
|
|
|
|
|
|
|
|
/* Avoid invalid requests */
|
|
|
|
if (size < 0 || num < 0)
|
|
|
|
errc(1, EOVERFLOW, "overflow");
|
|
|
|
|
|
|
|
/* Check for signed int overflow */
|
|
|
|
if (size && num > INT_MAX / size)
|
|
|
|
errc(1, EOVERFLOW, "overflow");
|
|
|
|
|
|
|
|
if ((p = malloc(size * num)) == NULL)
|
2015-02-05 19:04:35 +03:00
|
|
|
err(1, "malloc");
|
|
|
|
.Ed
|
|
|
|
.Pp
|
|
|
|
Assuming the implementation checks for integer overflow as
|
|
|
|
.Nx
|
|
|
|
does, it is much easier to use
|
|
|
|
.Fn calloc
|
2015-02-06 11:37:39 +03:00
|
|
|
or
|
2015-02-05 23:02:28 +03:00
|
|
|
.Xr reallocarr 3 .
|
2015-02-05 19:04:35 +03:00
|
|
|
.Pp
|
|
|
|
The above examples could be simplified to:
|
|
|
|
.Bd -literal -offset indent
|
2015-02-05 23:02:28 +03:00
|
|
|
ptr = NULL;
|
2015-02-06 11:37:39 +03:00
|
|
|
if ((e = reallocarr(&ptr, num, size)))
|
2015-02-05 23:02:28 +03:00
|
|
|
errx(1, "reallocarr", strerror(e));
|
2015-02-05 19:04:35 +03:00
|
|
|
.Ed
|
|
|
|
.Bd -literal -offset indent
|
|
|
|
or at the cost of initialization:
|
2015-02-06 11:37:39 +03:00
|
|
|
if ((p = calloc(num, size)) == NULL)
|
2015-02-05 19:04:35 +03:00
|
|
|
err(1, "calloc");
|
|
|
|
.Ed
|
|
|
|
.Pp
|
2010-05-03 09:11:34 +04:00
|
|
|
When using
|
|
|
|
.Fn realloc ,
|
|
|
|
one must be careful to avoid the following idiom:
|
|
|
|
.Bd -literal -offset indent
|
|
|
|
nsize += 50;
|
|
|
|
|
|
|
|
if ((p = realloc(p, nsize)) == NULL)
|
|
|
|
return NULL;
|
|
|
|
.Ed
|
|
|
|
.Pp
|
|
|
|
Do not adjust the variable describing how much memory has been allocated
|
|
|
|
until it is known that the allocation has been successful.
|
|
|
|
This can cause aberrant program behavior if the incorrect size value is used.
|
|
|
|
In most cases, the above example will also leak memory.
|
|
|
|
As stated earlier, a return value of
|
|
|
|
.Dv NULL
|
|
|
|
indicates that the old object still remains allocated.
|
|
|
|
Better code looks like this:
|
|
|
|
.Bd -literal -offset indent
|
|
|
|
newsize = size + 50;
|
|
|
|
|
|
|
|
if ((p2 = realloc(p, newsize)) == NULL) {
|
|
|
|
|
|
|
|
if (p != NULL)
|
|
|
|
free(p);
|
|
|
|
|
|
|
|
p = NULL;
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
p = p2;
|
|
|
|
size = newsize;
|
|
|
|
.Ed
|
1993-03-21 12:45:37 +03:00
|
|
|
.Sh SEE ALSO
|
2009-05-14 03:02:11 +04:00
|
|
|
.\" .Xr limits 1 ,
|
2007-10-06 05:09:48 +04:00
|
|
|
.Xr madvise 2 ,
|
|
|
|
.Xr mmap 2 ,
|
|
|
|
.Xr sbrk 2 ,
|
2015-11-07 21:46:37 +03:00
|
|
|
.Xr aligned_alloc 3 ,
|
1993-03-21 12:45:37 +03:00
|
|
|
.Xr alloca 3 ,
|
2007-10-06 05:09:48 +04:00
|
|
|
.Xr atexit 3 ,
|
1997-07-15 11:05:31 +04:00
|
|
|
.Xr getpagesize 3 ,
|
2007-10-06 05:09:48 +04:00
|
|
|
.Xr memory 3 ,
|
2015-02-05 23:02:28 +03:00
|
|
|
.Xr posix_memalign 3 ,
|
2015-11-07 21:46:37 +03:00
|
|
|
.Xr reallocarr 3
|
2010-05-03 09:01:53 +04:00
|
|
|
.Pp
|
|
|
|
For the implementation details, see
|
|
|
|
.Xr jemalloc 3 .
|
1993-03-21 12:45:37 +03:00
|
|
|
.Sh STANDARDS
|
|
|
|
The
|
1999-08-02 07:18:46 +04:00
|
|
|
.Fn malloc ,
|
|
|
|
.Fn calloc ,
|
|
|
|
.Fn realloc
|
|
|
|
and
|
|
|
|
.Fn free
|
|
|
|
functions conform to
|
2007-10-06 05:09:48 +04:00
|
|
|
.St -isoC .
|
2015-07-26 20:09:29 +03:00
|
|
|
.Sh HISTORY
|
|
|
|
A
|
|
|
|
.Fn free
|
|
|
|
internal kernel function and a predecessor to
|
|
|
|
.Fn malloc ,
|
|
|
|
.Fn alloc ,
|
|
|
|
first appeared in
|
|
|
|
.At v1 .
|
|
|
|
The C Library functions
|
|
|
|
.Fn alloc
|
|
|
|
and
|
|
|
|
.Fn free
|
|
|
|
appeared in
|
|
|
|
.At v6 .
|
|
|
|
The functions
|
|
|
|
.Fn malloc ,
|
|
|
|
.Fn calloc ,
|
|
|
|
and
|
|
|
|
.Fn realloc
|
|
|
|
first appeared in
|
|
|
|
.At v7 .
|
|
|
|
.Pp
|
|
|
|
A new implementation by Chris Kingsley was introduced in
|
|
|
|
.Bx 4.2 ,
|
2015-07-27 01:32:03 +03:00
|
|
|
followed by a complete rewrite by Poul-Henning Kamp
|
|
|
|
.Dq ( phk's malloc
|
2015-07-26 20:09:29 +03:00
|
|
|
or
|
|
|
|
.Dq new malloc )
|
|
|
|
which appeared in
|
|
|
|
.Fx 2.2
|
|
|
|
and was included in
|
2015-07-27 01:32:03 +03:00
|
|
|
.Nx 1.5
|
2015-07-26 20:09:29 +03:00
|
|
|
and
|
|
|
|
.Ox 2.0 .
|
|
|
|
These implementations were all
|
|
|
|
.Xr sbrk 2
|
|
|
|
based.
|
|
|
|
.Pp
|
|
|
|
The
|
2015-07-27 01:32:03 +03:00
|
|
|
.Xr jemalloc 3
|
2015-07-26 20:09:29 +03:00
|
|
|
allocator became the default system allocator first in
|
|
|
|
.Fx 7.0
|
|
|
|
and then in
|
|
|
|
.Nx 5.0 .
|