blob: 9694d2458ed805e81282cc7da91318387127ca1d [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/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02007 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02008 * 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 Bakkerdefc0ca2014-02-04 17:30:24 +010021 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#ifndef MBEDTLS_MEMORY_BUFFER_ALLOC_H
23#define MBEDTLS_MEMORY_BUFFER_ALLOC_H
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010024
Bence Szépkútic662b362021-05-27 11:25:03 +020025#include "mbedtls/build_info.h"
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010026
Rich Evans00ab4702015-02-06 13:43:58 +000027#include <stddef.h>
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010028
Paul Bakker088c5c52014-04-25 11:11:10 +020029/**
30 * \name SECTION: Module settings
31 *
32 * The configuration options you can set for this module are in this section.
Bence Szépkútibb0cfeb2021-05-28 09:42:25 +020033 * Either change them in mbedtls_config.h or define them on the compiler command line.
Paul Bakker088c5c52014-04-25 11:11:10 +020034 * \{
35 */
36
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if !defined(MBEDTLS_MEMORY_ALIGN_MULTIPLE)
38#define MBEDTLS_MEMORY_ALIGN_MULTIPLE 4 /**< Align on multiples of this value */
Paul Bakker088c5c52014-04-25 11:11:10 +020039#endif
40
Andrzej Kurek38d4fdd2021-12-28 16:22:52 +010041/** \} name SECTION: Module settings */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010042
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043#define MBEDTLS_MEMORY_VERIFY_NONE 0
44#define MBEDTLS_MEMORY_VERIFY_ALLOC (1 << 0)
45#define MBEDTLS_MEMORY_VERIFY_FREE (1 << 1)
Gilles Peskine449bd832023-01-11 14:50:10 +010046#define MBEDTLS_MEMORY_VERIFY_ALWAYS (MBEDTLS_MEMORY_VERIFY_ALLOC | \
47 MBEDTLS_MEMORY_VERIFY_FREE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010048
49#ifdef __cplusplus
50extern "C" {
51#endif
52
53/**
54 * \brief Initialize use of stack-based memory allocator.
55 * The stack-based allocator does memory management inside the
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020056 * presented buffer and does not call calloc() and free().
57 * It sets the global mbedtls_calloc() and mbedtls_free() pointers
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010058 * to its own functions.
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020059 * (Provided mbedtls_calloc() and mbedtls_free() are thread-safe if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060 * MBEDTLS_THREADING_C is defined)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010061 *
62 * \note This code is not optimized and provides a straight-forward
63 * implementation of a stack-based memory allocator.
64 *
65 * \param buf buffer to use as heap
66 * \param len size of the buffer
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010067 */
Gilles Peskine449bd832023-01-11 14:50:10 +010068void mbedtls_memory_buffer_alloc_init(unsigned char *buf, size_t len);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010069
70/**
71 * \brief Free the mutex for thread-safety and clear remaining memory
72 */
Gilles Peskine449bd832023-01-11 14:50:10 +010073void mbedtls_memory_buffer_alloc_free(void);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010074
75/**
76 * \brief Determine when the allocator should automatically verify the state
77 * of the entire chain of headers / meta-data.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078 * (Default: MBEDTLS_MEMORY_VERIFY_NONE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010079 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080 * \param verify One of MBEDTLS_MEMORY_VERIFY_NONE, MBEDTLS_MEMORY_VERIFY_ALLOC,
81 * MBEDTLS_MEMORY_VERIFY_FREE or MBEDTLS_MEMORY_VERIFY_ALWAYS
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010082 */
Gilles Peskine449bd832023-01-11 14:50:10 +010083void mbedtls_memory_buffer_set_verify(int verify);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010084
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020085#if defined(MBEDTLS_MEMORY_DEBUG)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010086/**
87 * \brief Print out the status of the allocated memory (primarily for use
88 * after a program should have de-allocated all memory)
89 * Prints out a list of 'still allocated' blocks and their stack
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020090 * trace if MBEDTLS_MEMORY_BACKTRACE is defined.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010091 */
Gilles Peskine449bd832023-01-11 14:50:10 +010092void mbedtls_memory_buffer_alloc_status(void);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010093
94/**
Manuel Pégourié-Gonnard35415a02022-01-04 10:23:34 +010095 * \brief Get the number of alloc/free so far.
96 *
97 * \param alloc_count Number of allocations.
98 * \param free_count Number of frees.
99 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100100void mbedtls_memory_buffer_alloc_count_get(size_t *alloc_count, size_t *free_count);
Manuel Pégourié-Gonnard35415a02022-01-04 10:23:34 +0100101
102/**
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100103 * \brief Get the peak heap usage so far
104 *
SimonB5be3a252016-05-02 22:15:42 +0100105 * \param max_used Peak number of bytes in use or committed. This
106 * includes bytes in allocated blocks too small to split
107 * into smaller blocks but larger than the requested size.
108 * \param max_blocks Peak number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100109 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100110void mbedtls_memory_buffer_alloc_max_get(size_t *max_used, size_t *max_blocks);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100111
112/**
113 * \brief Reset peak statistics
114 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100115void mbedtls_memory_buffer_alloc_max_reset(void);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100116
117/**
118 * \brief Get the current heap usage
119 *
SimonB5be3a252016-05-02 22:15:42 +0100120 * \param cur_used Current number of bytes in use or committed. This
121 * includes bytes in allocated blocks too small to split
122 * into smaller blocks but larger than the requested size.
123 * \param cur_blocks Current number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100124 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100125void mbedtls_memory_buffer_alloc_cur_get(size_t *cur_used, size_t *cur_blocks);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126#endif /* MBEDTLS_MEMORY_DEBUG */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100127
128/**
129 * \brief Verifies that all headers in the memory buffer are correct
130 * and contain sane values. Helps debug buffer-overflow errors.
131 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 * Prints out first failure if MBEDTLS_MEMORY_DEBUG is defined.
133 * Prints out full header information if MBEDTLS_MEMORY_DEBUG
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100134 * is defined. (Includes stack trace information for each block if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135 * MBEDTLS_MEMORY_BACKTRACE is defined as well).
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100136 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +0200137 * \return 0 if verified, 1 otherwise
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100138 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100139int mbedtls_memory_buffer_alloc_verify(void);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100140
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100142/**
143 * \brief Checkup routine
144 *
145 * \return 0 if successful, or 1 if a test failed
146 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100147int mbedtls_memory_buffer_alloc_self_test(int verbose);
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100148#endif
149
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100150#ifdef __cplusplus
151}
152#endif
153
154#endif /* memory_buffer_alloc.h */