blob: c1e0926b13fd5519763c76a843fe7f7811a4fc28 [file] [log] [blame]
Paul Bakkerdefc0ca2014-02-04 17:30:24 +01001/**
2 * \file memory_buffer_alloc.h
3 *
4 * \brief Buffer-based memory allocator
Darryl Greena40a1012018-01-05 15:33:17 +00005 */
6/*
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02007 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Bence Szépkútif744bd72020-06-05 13:02:18 +02008 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
9 *
10 * This file is provided under the Apache License 2.0, or the
11 * GNU General Public License v2.0 or later.
12 *
13 * **********
14 * Apache License 2.0:
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020015 *
16 * Licensed under the Apache License, Version 2.0 (the "License"); you may
17 * not use this file except in compliance with the License.
18 * You may obtain a copy of the License at
19 *
20 * http://www.apache.org/licenses/LICENSE-2.0
21 *
22 * Unless required by applicable law or agreed to in writing, software
23 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
24 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
25 * See the License for the specific language governing permissions and
26 * limitations under the License.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010027 *
Bence Szépkútif744bd72020-06-05 13:02:18 +020028 * **********
29 *
30 * **********
31 * GNU General Public License v2.0 or later:
32 *
33 * This program is free software; you can redistribute it and/or modify
34 * it under the terms of the GNU General Public License as published by
35 * the Free Software Foundation; either version 2 of the License, or
36 * (at your option) any later version.
37 *
38 * This program is distributed in the hope that it will be useful,
39 * but WITHOUT ANY WARRANTY; without even the implied warranty of
40 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
41 * GNU General Public License for more details.
42 *
43 * You should have received a copy of the GNU General Public License along
44 * with this program; if not, write to the Free Software Foundation, Inc.,
45 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
46 *
47 * **********
48 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000049 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010050 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020051#ifndef MBEDTLS_MEMORY_BUFFER_ALLOC_H
52#define MBEDTLS_MEMORY_BUFFER_ALLOC_H
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#if !defined(MBEDTLS_CONFIG_FILE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010055#include "config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020056#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020058#endif
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010059
Rich Evans00ab4702015-02-06 13:43:58 +000060#include <stddef.h>
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010061
Paul Bakker088c5c52014-04-25 11:11:10 +020062/**
63 * \name SECTION: Module settings
64 *
65 * The configuration options you can set for this module are in this section.
66 * Either change them in config.h or define them on the compiler command line.
67 * \{
68 */
69
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070#if !defined(MBEDTLS_MEMORY_ALIGN_MULTIPLE)
71#define MBEDTLS_MEMORY_ALIGN_MULTIPLE 4 /**< Align on multiples of this value */
Paul Bakker088c5c52014-04-25 11:11:10 +020072#endif
73
74/* \} name SECTION: Module settings */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010075
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020076#define MBEDTLS_MEMORY_VERIFY_NONE 0
77#define MBEDTLS_MEMORY_VERIFY_ALLOC (1 << 0)
78#define MBEDTLS_MEMORY_VERIFY_FREE (1 << 1)
79#define MBEDTLS_MEMORY_VERIFY_ALWAYS (MBEDTLS_MEMORY_VERIFY_ALLOC | MBEDTLS_MEMORY_VERIFY_FREE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010080
81#ifdef __cplusplus
82extern "C" {
83#endif
84
85/**
86 * \brief Initialize use of stack-based memory allocator.
87 * The stack-based allocator does memory management inside the
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020088 * presented buffer and does not call calloc() and free().
89 * It sets the global mbedtls_calloc() and mbedtls_free() pointers
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010090 * to its own functions.
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020091 * (Provided mbedtls_calloc() and mbedtls_free() are thread-safe if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020092 * MBEDTLS_THREADING_C is defined)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010093 *
94 * \note This code is not optimized and provides a straight-forward
95 * implementation of a stack-based memory allocator.
96 *
97 * \param buf buffer to use as heap
98 * \param len size of the buffer
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010099 */
Manuel Pégourié-Gonnard69a69cc2015-04-29 01:05:19 +0200100void mbedtls_memory_buffer_alloc_init( unsigned char *buf, size_t len );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100101
102/**
103 * \brief Free the mutex for thread-safety and clear remaining memory
104 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200105void mbedtls_memory_buffer_alloc_free( void );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100106
107/**
108 * \brief Determine when the allocator should automatically verify the state
109 * of the entire chain of headers / meta-data.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110 * (Default: MBEDTLS_MEMORY_VERIFY_NONE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100111 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112 * \param verify One of MBEDTLS_MEMORY_VERIFY_NONE, MBEDTLS_MEMORY_VERIFY_ALLOC,
113 * MBEDTLS_MEMORY_VERIFY_FREE or MBEDTLS_MEMORY_VERIFY_ALWAYS
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100114 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115void mbedtls_memory_buffer_set_verify( int verify );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100116
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117#if defined(MBEDTLS_MEMORY_DEBUG)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100118/**
119 * \brief Print out the status of the allocated memory (primarily for use
120 * after a program should have de-allocated all memory)
121 * Prints out a list of 'still allocated' blocks and their stack
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122 * trace if MBEDTLS_MEMORY_BACKTRACE is defined.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100123 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124void mbedtls_memory_buffer_alloc_status( void );
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100125
126/**
127 * \brief Get the peak heap usage so far
128 *
SimonB5be3a252016-05-02 22:15:42 +0100129 * \param max_used Peak number of bytes in use or committed. This
130 * includes bytes in allocated blocks too small to split
131 * into smaller blocks but larger than the requested size.
132 * \param max_blocks Peak number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100133 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134void mbedtls_memory_buffer_alloc_max_get( size_t *max_used, size_t *max_blocks );
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100135
136/**
137 * \brief Reset peak statistics
138 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139void mbedtls_memory_buffer_alloc_max_reset( void );
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100140
141/**
142 * \brief Get the current heap usage
143 *
SimonB5be3a252016-05-02 22:15:42 +0100144 * \param cur_used Current number of bytes in use or committed. This
145 * includes bytes in allocated blocks too small to split
146 * into smaller blocks but larger than the requested size.
147 * \param cur_blocks Current number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100148 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200149void mbedtls_memory_buffer_alloc_cur_get( size_t *cur_used, size_t *cur_blocks );
150#endif /* MBEDTLS_MEMORY_DEBUG */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100151
152/**
153 * \brief Verifies that all headers in the memory buffer are correct
154 * and contain sane values. Helps debug buffer-overflow errors.
155 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200156 * Prints out first failure if MBEDTLS_MEMORY_DEBUG is defined.
157 * Prints out full header information if MBEDTLS_MEMORY_DEBUG
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100158 * is defined. (Includes stack trace information for each block if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 * MBEDTLS_MEMORY_BACKTRACE is defined as well).
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100160 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +0200161 * \return 0 if verified, 1 otherwise
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100162 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200163int mbedtls_memory_buffer_alloc_verify( void );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100164
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200165#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100166/**
167 * \brief Checkup routine
168 *
169 * \return 0 if successful, or 1 if a test failed
170 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171int mbedtls_memory_buffer_alloc_self_test( int verbose );
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100172#endif
173
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100174#ifdef __cplusplus
175}
176#endif
177
178#endif /* memory_buffer_alloc.h */