blob: d5df316fdd7445aef49e7c96b5ed3ec53782bfa4 [file] [log] [blame]
Paul Bakkerdefc0ca2014-02-04 17:30:24 +01001/**
2 * \file memory_buffer_alloc.h
3 *
4 * \brief Buffer-based memory allocator
5 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02006 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02007 * SPDX-License-Identifier: Apache-2.0
8 *
9 * Licensed under the Apache License, Version 2.0 (the "License"); you may
10 * not use this file except in compliance with the License.
11 * You may obtain a copy of the License at
12 *
13 * http://www.apache.org/licenses/LICENSE-2.0
14 *
15 * Unless required by applicable law or agreed to in writing, software
16 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
17 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
18 * See the License for the specific language governing permissions and
19 * limitations under the License.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010020 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000021 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010022 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#ifndef MBEDTLS_MEMORY_BUFFER_ALLOC_H
24#define MBEDTLS_MEMORY_BUFFER_ALLOC_H
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010025
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#if !defined(MBEDTLS_CONFIG_FILE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010027#include "config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020028#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020030#endif
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010031
Rich Evans00ab4702015-02-06 13:43:58 +000032#include <stddef.h>
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010033
Paul Bakker088c5c52014-04-25 11:11:10 +020034/**
35 * \name SECTION: Module settings
36 *
37 * The configuration options you can set for this module are in this section.
38 * Either change them in config.h or define them on the compiler command line.
39 * \{
40 */
41
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#if !defined(MBEDTLS_MEMORY_ALIGN_MULTIPLE)
43#define MBEDTLS_MEMORY_ALIGN_MULTIPLE 4 /**< Align on multiples of this value */
Paul Bakker088c5c52014-04-25 11:11:10 +020044#endif
45
46/* \} name SECTION: Module settings */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010047
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048#define MBEDTLS_MEMORY_VERIFY_NONE 0
49#define MBEDTLS_MEMORY_VERIFY_ALLOC (1 << 0)
50#define MBEDTLS_MEMORY_VERIFY_FREE (1 << 1)
51#define MBEDTLS_MEMORY_VERIFY_ALWAYS (MBEDTLS_MEMORY_VERIFY_ALLOC | MBEDTLS_MEMORY_VERIFY_FREE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010052
53#ifdef __cplusplus
54extern "C" {
55#endif
56
57/**
58 * \brief Initialize use of stack-based memory allocator.
59 * The stack-based allocator does memory management inside the
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020060 * presented buffer and does not call calloc() and free().
61 * It sets the global mbedtls_calloc() and mbedtls_free() pointers
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010062 * to its own functions.
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020063 * (Provided mbedtls_calloc() and mbedtls_free() are thread-safe if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064 * MBEDTLS_THREADING_C is defined)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010065 *
66 * \note This code is not optimized and provides a straight-forward
67 * implementation of a stack-based memory allocator.
68 *
69 * \param buf buffer to use as heap
70 * \param len size of the buffer
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010071 */
Manuel Pégourié-Gonnard69a69cc2015-04-29 01:05:19 +020072void mbedtls_memory_buffer_alloc_init( unsigned char *buf, size_t len );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010073
74/**
75 * \brief Free the mutex for thread-safety and clear remaining memory
76 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077void mbedtls_memory_buffer_alloc_free( void );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010078
79/**
80 * \brief Determine when the allocator should automatically verify the state
81 * of the entire chain of headers / meta-data.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082 * (Default: MBEDTLS_MEMORY_VERIFY_NONE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010083 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084 * \param verify One of MBEDTLS_MEMORY_VERIFY_NONE, MBEDTLS_MEMORY_VERIFY_ALLOC,
85 * MBEDTLS_MEMORY_VERIFY_FREE or MBEDTLS_MEMORY_VERIFY_ALWAYS
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010086 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087void mbedtls_memory_buffer_set_verify( int verify );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010088
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089#if defined(MBEDTLS_MEMORY_DEBUG)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010090/**
91 * \brief Print out the status of the allocated memory (primarily for use
92 * after a program should have de-allocated all memory)
93 * Prints out a list of 'still allocated' blocks and their stack
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094 * trace if MBEDTLS_MEMORY_BACKTRACE is defined.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010095 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096void mbedtls_memory_buffer_alloc_status( void );
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010097
98/**
99 * \brief Get the peak heap usage so far
100 *
SimonB5be3a252016-05-02 22:15:42 +0100101 * \param max_used Peak number of bytes in use or committed. This
102 * includes bytes in allocated blocks too small to split
103 * into smaller blocks but larger than the requested size.
104 * \param max_blocks Peak number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100105 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106void mbedtls_memory_buffer_alloc_max_get( size_t *max_used, size_t *max_blocks );
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100107
108/**
109 * \brief Reset peak statistics
110 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200111void mbedtls_memory_buffer_alloc_max_reset( void );
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100112
113/**
114 * \brief Get the current heap usage
115 *
SimonB5be3a252016-05-02 22:15:42 +0100116 * \param cur_used Current number of bytes in use or committed. This
117 * includes bytes in allocated blocks too small to split
118 * into smaller blocks but larger than the requested size.
119 * \param cur_blocks Current number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100120 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200121void mbedtls_memory_buffer_alloc_cur_get( size_t *cur_used, size_t *cur_blocks );
122#endif /* MBEDTLS_MEMORY_DEBUG */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100123
124/**
125 * \brief Verifies that all headers in the memory buffer are correct
126 * and contain sane values. Helps debug buffer-overflow errors.
127 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128 * Prints out first failure if MBEDTLS_MEMORY_DEBUG is defined.
129 * Prints out full header information if MBEDTLS_MEMORY_DEBUG
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100130 * is defined. (Includes stack trace information for each block if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131 * MBEDTLS_MEMORY_BACKTRACE is defined as well).
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100132 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +0200133 * \return 0 if verified, 1 otherwise
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100134 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135int mbedtls_memory_buffer_alloc_verify( void );
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100136
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200137#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100138/**
139 * \brief Checkup routine
140 *
141 * \return 0 if successful, or 1 if a test failed
142 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200143int mbedtls_memory_buffer_alloc_self_test( int verbose );
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100144#endif
145
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100146#ifdef __cplusplus
147}
148#endif
149
150#endif /* memory_buffer_alloc.h */