Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 1 | /** |
| 2 | * \file threading.h |
| 3 | * |
| 4 | * \brief Threading abstraction layer |
Darryl Green | a40a101 | 2018-01-05 15:33:17 +0000 | [diff] [blame] | 5 | */ |
| 6 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 7 | * Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 8 | * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 9 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 10 | #ifndef MBEDTLS_THREADING_H |
| 11 | #define MBEDTLS_THREADING_H |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 12 | #include "mbedtls/private_access.h" |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 13 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 14 | #include "mbedtls/build_info.h" |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 15 | |
| 16 | #include <stdlib.h> |
| 17 | |
| 18 | #ifdef __cplusplus |
| 19 | extern "C" { |
| 20 | #endif |
| 21 | |
Gilles Peskine | d297157 | 2021-07-26 18:48:10 +0200 | [diff] [blame] | 22 | /** Bad input parameters to function. */ |
| 23 | #define MBEDTLS_ERR_THREADING_BAD_INPUT_DATA -0x001C |
| 24 | /** Locking / unlocking / free failed with error code. */ |
| 25 | #define MBEDTLS_ERR_THREADING_MUTEX_ERROR -0x001E |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 26 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 27 | #if defined(MBEDTLS_THREADING_PTHREAD) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 28 | #include <pthread.h> |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 29 | typedef struct mbedtls_threading_mutex_t { |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 30 | pthread_mutex_t MBEDTLS_PRIVATE(mutex); |
Paul Elliott | 5fa986c | 2023-11-10 14:05:09 +0000 | [diff] [blame] | 31 | |
Paul Elliott | 9e25936 | 2023-11-15 11:33:32 +0000 | [diff] [blame] | 32 | /* WARNING - state should only be accessed when holding the mutex lock in |
David Horstmann | dcf42a0 | 2024-11-08 14:40:12 +0000 | [diff] [blame] | 33 | * framework/tests/src/threading_helpers.c, otherwise corruption can occur. |
Paul Elliott | 9e25936 | 2023-11-15 11:33:32 +0000 | [diff] [blame] | 34 | * state will be 0 after a failed init or a free, and nonzero after a |
Paul Elliott | 3774637 | 2023-11-12 19:05:57 +0000 | [diff] [blame] | 35 | * successful init. This field is for testing only and thus not considered |
| 36 | * part of the public API of Mbed TLS and may change without notice.*/ |
Paul Elliott | 9e25936 | 2023-11-15 11:33:32 +0000 | [diff] [blame] | 37 | char MBEDTLS_PRIVATE(state); |
Paul Elliott | 5fa986c | 2023-11-10 14:05:09 +0000 | [diff] [blame] | 38 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 39 | } mbedtls_threading_mutex_t; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 40 | #endif |
| 41 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 42 | #if defined(MBEDTLS_THREADING_ALT) |
| 43 | /* You should define the mbedtls_threading_mutex_t type in your header */ |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 44 | #include "threading_alt.h" |
| 45 | |
| 46 | /** |
| 47 | * \brief Set your alternate threading implementation function |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 48 | * pointers and initialize global mutexes. If used, this |
| 49 | * function must be called once in the main thread before any |
Gilles Peskine | e820c0a | 2023-08-03 17:45:20 +0200 | [diff] [blame] | 50 | * other Mbed TLS function is called, and |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 51 | * mbedtls_threading_free_alt() must be called once in the main |
Gilles Peskine | e820c0a | 2023-08-03 17:45:20 +0200 | [diff] [blame] | 52 | * thread after all other Mbed TLS functions. |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 53 | * |
Gilles Peskine | fe00817 | 2025-09-07 14:42:54 +0200 | [diff] [blame] | 54 | * \warning \p mutex_init and \p mutex_free don't return a status code. |
| 55 | * If \p mutex_init fails, it should leave the mutex in |
| 56 | * a state such that \p mutex_lock will reliably return |
| 57 | * #MBEDTLS_ERR_THREADING_MUTEX_ERROR called on this mutex, |
| 58 | * and \p mutex_free will do nothing. |
Manuel Pégourié-Gonnard | 8f5fd31 | 2015-04-24 14:42:34 +0200 | [diff] [blame] | 59 | * |
Gilles Peskine | fe00817 | 2025-09-07 14:42:54 +0200 | [diff] [blame] | 60 | * \param mutex_init The init function implementation. <br> |
| 61 | * The behavior is undefined if the mutex is already |
| 62 | * initialized and has not been destroyed. |
| 63 | * On platforms where mutex initialization can fail, |
| 64 | * since this function does not return a status code, |
| 65 | * it must leave the mutex object in a safe state where |
| 66 | * subsequent function calls will not cause undefined |
| 67 | * behavior: after a call to \p mutex_init, the |
| 68 | * function \p mutex_lock must either succeed or |
| 69 | * fail with a nonzero status code, and the function |
| 70 | * \p mutex_free must free any resources associated |
| 71 | * with the mutex.. |
| 72 | * \param mutex_free The destroy function implementation. <br> |
| 73 | * This function must free any resources associated |
| 74 | * with the mutex object. <br> |
| 75 | * This function must work reliably if \p mutex_init |
| 76 | * has been called on the mutex and \p mutex_free |
| 77 | * has not yet been called. <br> |
| 78 | * The behavior is undefined if the mutex was not |
| 79 | * initialized, if it has already been destroyed, |
| 80 | * if it is currently locked, or if this function |
| 81 | * is called concurrently from multiple threads. |
| 82 | * \param mutex_lock The lock function implementation. <br> |
| 83 | * This function must work reliably on any mutex |
| 84 | * which is not currently locked and on which |
| 85 | * \p mutex_init has already been called but |
| 86 | * \p mutex_free has not been called yet. <br> |
| 87 | * The behavior is undefined if the mutex was not |
| 88 | * initialized, if it has already been destroyed, or if |
| 89 | * it is currently locked by the calling thread. |
| 90 | * \param mutex_unlock The unlock function implementation. <br> |
| 91 | * The behavior is undefined if the mutex is not |
| 92 | * currently locked by the calling thread. |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 93 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 94 | void mbedtls_threading_set_alt(void (*mutex_init)(mbedtls_threading_mutex_t *), |
| 95 | void (*mutex_free)(mbedtls_threading_mutex_t *), |
| 96 | int (*mutex_lock)(mbedtls_threading_mutex_t *), |
| 97 | int (*mutex_unlock)(mbedtls_threading_mutex_t *)); |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 98 | |
| 99 | /** |
| 100 | * \brief Free global mutexes. |
| 101 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 102 | void mbedtls_threading_free_alt(void); |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 103 | #endif /* MBEDTLS_THREADING_ALT */ |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 104 | |
Embedthis Software | 17ddff5 | 2015-09-10 11:45:13 -0700 | [diff] [blame] | 105 | #if defined(MBEDTLS_THREADING_C) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 106 | /* |
| 107 | * The function pointers for mutex_init, mutex_free, mutex_ and mutex_unlock |
Paul Bakker | 6838bd1 | 2013-09-30 13:56:38 +0200 | [diff] [blame] | 108 | * |
| 109 | * All these functions are expected to work or the result will be undefined. |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 110 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 111 | extern void (*mbedtls_mutex_init)(mbedtls_threading_mutex_t *mutex); |
| 112 | extern void (*mbedtls_mutex_free)(mbedtls_threading_mutex_t *mutex); |
| 113 | extern int (*mbedtls_mutex_lock)(mbedtls_threading_mutex_t *mutex); |
| 114 | extern int (*mbedtls_mutex_unlock)(mbedtls_threading_mutex_t *mutex); |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 115 | |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 116 | /* |
| 117 | * Global mutexes |
| 118 | */ |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 119 | #if defined(MBEDTLS_FS_IO) |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 120 | extern mbedtls_threading_mutex_t mbedtls_threading_readdir_mutex; |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 121 | #endif |
Hanno Becker | d2ef254 | 2018-09-06 14:53:25 +0100 | [diff] [blame] | 122 | |
Hanno Becker | 6a73978 | 2018-09-05 15:06:19 +0100 | [diff] [blame] | 123 | #if defined(MBEDTLS_HAVE_TIME_DATE) && !defined(MBEDTLS_PLATFORM_GMTIME_R_ALT) |
Hanno Becker | d2ef254 | 2018-09-06 14:53:25 +0100 | [diff] [blame] | 124 | /* This mutex may or may not be used in the default definition of |
| 125 | * mbedtls_platform_gmtime_r(), but in order to determine that, |
| 126 | * we need to check POSIX features, hence modify _POSIX_C_SOURCE. |
| 127 | * With the current approach, this declaration is orphaned, lacking |
| 128 | * an accompanying definition, in case mbedtls_platform_gmtime_r() |
| 129 | * doesn't need it, but that's not a problem. */ |
Andres Amaya Garcia | ce6eebb | 2018-08-07 20:26:55 +0100 | [diff] [blame] | 130 | extern mbedtls_threading_mutex_t mbedtls_threading_gmtime_mutex; |
Hanno Becker | 6a73978 | 2018-09-05 15:06:19 +0100 | [diff] [blame] | 131 | #endif /* MBEDTLS_HAVE_TIME_DATE && !MBEDTLS_PLATFORM_GMTIME_R_ALT */ |
Hanno Becker | d2ef254 | 2018-09-06 14:53:25 +0100 | [diff] [blame] | 132 | |
Ryan Everett | 558da2f | 2024-01-19 12:59:28 +0000 | [diff] [blame] | 133 | #if defined(MBEDTLS_PSA_CRYPTO_C) |
| 134 | /* |
| 135 | * A mutex used to make the PSA subsystem thread safe. |
| 136 | * |
| 137 | * key_slot_mutex protects the registered_readers and |
| 138 | * state variable for all key slots in &global_data.key_slots. |
| 139 | * |
| 140 | * This mutex must be held when any read from or write to a state or |
| 141 | * registered_readers field is performed, i.e. when calling functions: |
| 142 | * psa_key_slot_state_transition(), psa_register_read(), psa_unregister_read(), |
| 143 | * psa_key_slot_has_readers() and psa_wipe_key_slot(). */ |
| 144 | extern mbedtls_threading_mutex_t mbedtls_threading_key_slot_mutex; |
Paul Elliott | 077fd87 | 2024-02-22 16:55:03 +0000 | [diff] [blame] | 145 | |
| 146 | /* |
Paul Elliott | b8e38e0 | 2024-03-11 12:09:49 +0000 | [diff] [blame] | 147 | * A mutex used to make the non-rng PSA global_data struct members thread safe. |
Paul Elliott | 077fd87 | 2024-02-22 16:55:03 +0000 | [diff] [blame] | 148 | * |
Paul Elliott | b8e38e0 | 2024-03-11 12:09:49 +0000 | [diff] [blame] | 149 | * This mutex must be held when reading or writing to any of the PSA global_data |
| 150 | * structure members, other than the rng_state or rng struct. */ |
Paul Elliott | 077fd87 | 2024-02-22 16:55:03 +0000 | [diff] [blame] | 151 | extern mbedtls_threading_mutex_t mbedtls_threading_psa_globaldata_mutex; |
Paul Elliott | b8e38e0 | 2024-03-11 12:09:49 +0000 | [diff] [blame] | 152 | |
| 153 | /* |
| 154 | * A mutex used to make the PSA global_data rng data thread safe. |
| 155 | * |
| 156 | * This mutex must be held when reading or writing to the PSA |
| 157 | * global_data rng_state or rng struct members. */ |
| 158 | extern mbedtls_threading_mutex_t mbedtls_threading_psa_rngdata_mutex; |
Ryan Everett | 558da2f | 2024-01-19 12:59:28 +0000 | [diff] [blame] | 159 | #endif |
| 160 | |
Paul Bakker | e049ccd | 2016-05-10 16:17:27 +0100 | [diff] [blame] | 161 | #endif /* MBEDTLS_THREADING_C */ |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 162 | |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 163 | #ifdef __cplusplus |
| 164 | } |
| 165 | #endif |
| 166 | |
| 167 | #endif /* threading.h */ |