Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 1 | /** |
| 2 | * \file memory_buffer_alloc.h |
| 3 | * |
| 4 | * \brief Buffer-based memory allocator |
Darryl Green | a40a101 | 2018-01-05 15:33:17 +0000 | [diff] [blame] | 5 | */ |
| 6 | /* |
Manuel Pégourié-Gonnard | 6fb8187 | 2015-07-27 11:11:48 +0200 | [diff] [blame] | 7 | * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved |
Manuel Pégourié-Gonnard | 37ff140 | 2015-09-04 14:21:07 +0200 | [diff] [blame] | 8 | * SPDX-License-Identifier: Apache-2.0 |
| 9 | * |
| 10 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 11 | * not use this file except in compliance with the License. |
| 12 | * You may obtain a copy of the License at |
| 13 | * |
| 14 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 15 | * |
| 16 | * Unless required by applicable law or agreed to in writing, software |
| 17 | * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 18 | * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 19 | * See the License for the specific language governing permissions and |
| 20 | * limitations under the License. |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 21 | * |
Manuel Pégourié-Gonnard | fe44643 | 2015-03-06 13:17:10 +0000 | [diff] [blame] | 22 | * This file is part of mbed TLS (https://tls.mbed.org) |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 23 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 24 | #ifndef MBEDTLS_MEMORY_BUFFER_ALLOC_H |
| 25 | #define MBEDTLS_MEMORY_BUFFER_ALLOC_H |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 26 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 27 | #if !defined(MBEDTLS_CONFIG_FILE) |
Jaeden Amero | 203fdf7 | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 28 | #include "mbedtls/config.h" |
Manuel Pégourié-Gonnard | cef4ad2 | 2014-04-29 12:39:06 +0200 | [diff] [blame] | 29 | #else |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 30 | #include MBEDTLS_CONFIG_FILE |
Manuel Pégourié-Gonnard | cef4ad2 | 2014-04-29 12:39:06 +0200 | [diff] [blame] | 31 | #endif |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 32 | |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 33 | #include "mbedtls/platform_util.h" |
Rich Evans | 00ab470 | 2015-02-06 13:43:58 +0000 | [diff] [blame] | 34 | #include <stddef.h> |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 35 | |
Paul Bakker | 088c5c5 | 2014-04-25 11:11:10 +0200 | [diff] [blame] | 36 | /** |
| 37 | * \name SECTION: Module settings |
| 38 | * |
| 39 | * The configuration options you can set for this module are in this section. |
| 40 | * Either change them in config.h or define them on the compiler command line. |
| 41 | * \{ |
| 42 | */ |
| 43 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 44 | #if !defined(MBEDTLS_MEMORY_ALIGN_MULTIPLE) |
| 45 | #define MBEDTLS_MEMORY_ALIGN_MULTIPLE 4 /**< Align on multiples of this value */ |
Paul Bakker | 088c5c5 | 2014-04-25 11:11:10 +0200 | [diff] [blame] | 46 | #endif |
| 47 | |
| 48 | /* \} name SECTION: Module settings */ |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 49 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 50 | #define MBEDTLS_MEMORY_VERIFY_NONE 0 |
| 51 | #define MBEDTLS_MEMORY_VERIFY_ALLOC (1 << 0) |
| 52 | #define MBEDTLS_MEMORY_VERIFY_FREE (1 << 1) |
| 53 | #define MBEDTLS_MEMORY_VERIFY_ALWAYS (MBEDTLS_MEMORY_VERIFY_ALLOC | MBEDTLS_MEMORY_VERIFY_FREE) |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 54 | |
| 55 | #ifdef __cplusplus |
| 56 | extern "C" { |
| 57 | #endif |
| 58 | |
| 59 | /** |
| 60 | * \brief Initialize use of stack-based memory allocator. |
| 61 | * The stack-based allocator does memory management inside the |
Manuel Pégourié-Gonnard | 200e731 | 2015-05-26 17:42:13 +0200 | [diff] [blame] | 62 | * presented buffer and does not call calloc() and free(). |
| 63 | * It sets the global mbedtls_calloc() and mbedtls_free() pointers |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 64 | * to its own functions. |
Manuel Pégourié-Gonnard | 200e731 | 2015-05-26 17:42:13 +0200 | [diff] [blame] | 65 | * (Provided mbedtls_calloc() and mbedtls_free() are thread-safe if |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 66 | * MBEDTLS_THREADING_C is defined) |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 67 | * |
| 68 | * \note This code is not optimized and provides a straight-forward |
| 69 | * implementation of a stack-based memory allocator. |
| 70 | * |
| 71 | * \param buf buffer to use as heap |
| 72 | * \param len size of the buffer |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 73 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 74 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 69a69cc | 2015-04-29 01:05:19 +0200 | [diff] [blame] | 75 | void mbedtls_memory_buffer_alloc_init( unsigned char *buf, size_t len ); |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 76 | |
| 77 | /** |
| 78 | * \brief Free the mutex for thread-safety and clear remaining memory |
| 79 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 80 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 81 | void mbedtls_memory_buffer_alloc_free( void ); |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 82 | |
| 83 | /** |
| 84 | * \brief Determine when the allocator should automatically verify the state |
| 85 | * of the entire chain of headers / meta-data. |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 86 | * (Default: MBEDTLS_MEMORY_VERIFY_NONE) |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 87 | * |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 88 | * \param verify One of MBEDTLS_MEMORY_VERIFY_NONE, MBEDTLS_MEMORY_VERIFY_ALLOC, |
| 89 | * MBEDTLS_MEMORY_VERIFY_FREE or MBEDTLS_MEMORY_VERIFY_ALWAYS |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 90 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 91 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 92 | void mbedtls_memory_buffer_set_verify( int verify ); |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 93 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 94 | #if defined(MBEDTLS_MEMORY_DEBUG) |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 95 | /** |
| 96 | * \brief Print out the status of the allocated memory (primarily for use |
| 97 | * after a program should have de-allocated all memory) |
| 98 | * Prints out a list of 'still allocated' blocks and their stack |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 99 | * trace if MBEDTLS_MEMORY_BACKTRACE is defined. |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 100 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 101 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 102 | void mbedtls_memory_buffer_alloc_status( void ); |
Manuel Pégourié-Gonnard | 50da048 | 2014-12-19 12:10:37 +0100 | [diff] [blame] | 103 | |
| 104 | /** |
| 105 | * \brief Get the peak heap usage so far |
| 106 | * |
SimonB | 5be3a25 | 2016-05-02 22:15:42 +0100 | [diff] [blame] | 107 | * \param max_used Peak number of bytes in use or committed. This |
| 108 | * includes bytes in allocated blocks too small to split |
| 109 | * into smaller blocks but larger than the requested size. |
| 110 | * \param max_blocks Peak number of blocks in use, including free and used |
Manuel Pégourié-Gonnard | 50da048 | 2014-12-19 12:10:37 +0100 | [diff] [blame] | 111 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 112 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 113 | void mbedtls_memory_buffer_alloc_max_get( size_t *max_used, size_t *max_blocks ); |
Manuel Pégourié-Gonnard | 50da048 | 2014-12-19 12:10:37 +0100 | [diff] [blame] | 114 | |
| 115 | /** |
| 116 | * \brief Reset peak statistics |
| 117 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 118 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 119 | void mbedtls_memory_buffer_alloc_max_reset( void ); |
Manuel Pégourié-Gonnard | 50da048 | 2014-12-19 12:10:37 +0100 | [diff] [blame] | 120 | |
| 121 | /** |
| 122 | * \brief Get the current heap usage |
| 123 | * |
SimonB | 5be3a25 | 2016-05-02 22:15:42 +0100 | [diff] [blame] | 124 | * \param cur_used Current number of bytes in use or committed. This |
| 125 | * includes bytes in allocated blocks too small to split |
| 126 | * into smaller blocks but larger than the requested size. |
| 127 | * \param cur_blocks Current number of blocks in use, including free and used |
Manuel Pégourié-Gonnard | 50da048 | 2014-12-19 12:10:37 +0100 | [diff] [blame] | 128 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 129 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 130 | void mbedtls_memory_buffer_alloc_cur_get( size_t *cur_used, size_t *cur_blocks ); |
| 131 | #endif /* MBEDTLS_MEMORY_DEBUG */ |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 132 | |
| 133 | /** |
| 134 | * \brief Verifies that all headers in the memory buffer are correct |
| 135 | * and contain sane values. Helps debug buffer-overflow errors. |
| 136 | * |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 137 | * Prints out first failure if MBEDTLS_MEMORY_DEBUG is defined. |
| 138 | * Prints out full header information if MBEDTLS_MEMORY_DEBUG |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 139 | * is defined. (Includes stack trace information for each block if |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 140 | * MBEDTLS_MEMORY_BACKTRACE is defined as well). |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 141 | * |
Manuel Pégourié-Gonnard | 81abefd | 2015-05-29 12:53:47 +0200 | [diff] [blame] | 142 | * \return 0 if verified, 1 otherwise |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 143 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 144 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 145 | int mbedtls_memory_buffer_alloc_verify( void ); |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 146 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 147 | #if defined(MBEDTLS_SELF_TEST) |
Manuel Pégourié-Gonnard | 5ba1d52 | 2014-11-27 11:33:55 +0100 | [diff] [blame] | 148 | /** |
| 149 | * \brief Checkup routine |
| 150 | * |
| 151 | * \return 0 if successful, or 1 if a test failed |
| 152 | */ |
Jaeden Amero | dfc7f4a | 2019-07-10 11:33:37 +0100 | [diff] [blame^] | 153 | MBEDTLS_DEPRECATED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 154 | int mbedtls_memory_buffer_alloc_self_test( int verbose ); |
Manuel Pégourié-Gonnard | 5ba1d52 | 2014-11-27 11:33:55 +0100 | [diff] [blame] | 155 | #endif |
| 156 | |
Paul Bakker | defc0ca | 2014-02-04 17:30:24 +0100 | [diff] [blame] | 157 | #ifdef __cplusplus |
| 158 | } |
| 159 | #endif |
| 160 | |
| 161 | #endif /* memory_buffer_alloc.h */ |