Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Threading abstraction layer |
| 3 | * |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 4 | * Copyright The Mbed TLS Contributors |
Manuel Pégourié-Gonnard | 37ff140 | 2015-09-04 14:21:07 +0200 | [diff] [blame] | 5 | * SPDX-License-Identifier: Apache-2.0 |
| 6 | * |
| 7 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 8 | * not use this file except in compliance with the License. |
| 9 | * You may obtain a copy of the License at |
| 10 | * |
| 11 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 12 | * |
| 13 | * Unless required by applicable law or agreed to in writing, software |
| 14 | * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 15 | * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 16 | * See the License for the specific language governing permissions and |
| 17 | * limitations under the License. |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 18 | */ |
| 19 | |
Andres Amaya Garcia | e9b10b2 | 2018-09-05 11:25:30 +0100 | [diff] [blame] | 20 | /* |
Hanno Becker | 48a816f | 2018-09-05 15:22:22 +0100 | [diff] [blame] | 21 | * Ensure gmtime_r is available even with -std=c99; must be defined before |
Bence Szépkúti | bb0cfeb | 2021-05-28 09:42:25 +0200 | [diff] [blame] | 22 | * mbedtls_config.h, which pulls in glibc's features.h. Harmless on other platforms. |
Andres Amaya Garcia | e9b10b2 | 2018-09-05 11:25:30 +0100 | [diff] [blame] | 23 | */ |
Andres Amaya Garcia | 94b540a | 2018-09-05 12:27:32 +0100 | [diff] [blame] | 24 | #if !defined(_POSIX_C_SOURCE) |
Andres Amaya Garcia | e9b10b2 | 2018-09-05 11:25:30 +0100 | [diff] [blame] | 25 | #define _POSIX_C_SOURCE 200112L |
Andres Amaya Garcia | 94b540a | 2018-09-05 12:27:32 +0100 | [diff] [blame] | 26 | #endif |
Andres Amaya Garcia | e9b10b2 | 2018-09-05 11:25:30 +0100 | [diff] [blame] | 27 | |
Gilles Peskine | db09ef6 | 2020-06-03 01:43:33 +0200 | [diff] [blame] | 28 | #include "common.h" |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 29 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 30 | #if defined(MBEDTLS_THREADING_C) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 31 | |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 32 | #include "mbedtls/threading.h" |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 33 | |
Hanno Becker | 6a73978 | 2018-09-05 15:06:19 +0100 | [diff] [blame] | 34 | #if defined(MBEDTLS_HAVE_TIME_DATE) && !defined(MBEDTLS_PLATFORM_GMTIME_R_ALT) |
Hanno Becker | 323d801 | 2018-09-06 11:30:57 +0100 | [diff] [blame] | 35 | |
Hanno Becker | cfeb70c | 2018-09-05 13:50:22 +0100 | [diff] [blame] | 36 | #if !defined(_WIN32) && (defined(unix) || \ |
Andres Amaya Garcia | 433f911 | 2018-09-05 12:01:57 +0100 | [diff] [blame] | 37 | defined(__unix) || defined(__unix__) || (defined(__APPLE__) && \ |
| 38 | defined(__MACH__))) |
Andres Amaya Garcia | ce6eebb | 2018-08-07 20:26:55 +0100 | [diff] [blame] | 39 | #include <unistd.h> |
Hanno Becker | 323d801 | 2018-09-06 11:30:57 +0100 | [diff] [blame] | 40 | #endif /* !_WIN32 && (unix || __unix || __unix__ || |
| 41 | * (__APPLE__ && __MACH__)) */ |
| 42 | |
Hanno Becker | 6f70581 | 2018-09-06 09:06:33 +0100 | [diff] [blame] | 43 | #if !( ( defined(_POSIX_VERSION) && _POSIX_VERSION >= 200809L ) || \ |
| 44 | ( defined(_POSIX_THREAD_SAFE_FUNCTIONS ) && \ |
Chris Jones | d460323 | 2020-11-12 17:10:36 +0000 | [diff] [blame] | 45 | _POSIX_THREAD_SAFE_FUNCTIONS >= 200112L ) ) |
Andres Amaya Garcia | ca04a01 | 2018-09-05 11:43:57 +0100 | [diff] [blame] | 46 | /* |
| 47 | * This is a convenience shorthand macro to avoid checking the long |
| 48 | * preprocessor conditions above. Ideally, we could expose this macro in |
Hanno Becker | 7dd82b4 | 2018-09-05 16:25:50 +0100 | [diff] [blame] | 49 | * platform_util.h and simply use it in platform_util.c, threading.c and |
Andres Amaya Garcia | ca04a01 | 2018-09-05 11:43:57 +0100 | [diff] [blame] | 50 | * threading.h. However, this macro is not part of the Mbed TLS public API, so |
Andres Amaya Garcia | 3c9733a | 2018-09-05 11:52:07 +0100 | [diff] [blame] | 51 | * we keep it private by only defining it in this file |
Andres Amaya Garcia | ca04a01 | 2018-09-05 11:43:57 +0100 | [diff] [blame] | 52 | */ |
Hanno Becker | f5106d5 | 2018-09-06 12:09:56 +0100 | [diff] [blame] | 53 | |
| 54 | #if ! ( defined(_WIN32) && !defined(EFIX64) && !defined(EFI32) ) |
Andres Amaya Garcia | d717743 | 2018-08-08 09:41:17 +0100 | [diff] [blame] | 55 | #define THREADING_USE_GMTIME |
Hanno Becker | f5106d5 | 2018-09-06 12:09:56 +0100 | [diff] [blame] | 56 | #endif /* ! ( defined(_WIN32) && !defined(EFIX64) && !defined(EFI32) ) */ |
| 57 | |
Hanno Becker | 6f70581 | 2018-09-06 09:06:33 +0100 | [diff] [blame] | 58 | #endif /* !( ( defined(_POSIX_VERSION) && _POSIX_VERSION >= 200809L ) || \ |
| 59 | ( defined(_POSIX_THREAD_SAFE_FUNCTIONS ) && \ |
Chris Jones | d460323 | 2020-11-12 17:10:36 +0000 | [diff] [blame] | 60 | _POSIX_THREAD_SAFE_FUNCTIONS >= 200112L ) ) */ |
Hanno Becker | 323d801 | 2018-09-06 11:30:57 +0100 | [diff] [blame] | 61 | |
Hanno Becker | 6a73978 | 2018-09-05 15:06:19 +0100 | [diff] [blame] | 62 | #endif /* MBEDTLS_HAVE_TIME_DATE && !MBEDTLS_PLATFORM_GMTIME_R_ALT */ |
Andres Amaya Garcia | ce6eebb | 2018-08-07 20:26:55 +0100 | [diff] [blame] | 63 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 64 | #if defined(MBEDTLS_THREADING_PTHREAD) |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 65 | static void threading_mutex_init_pthread( mbedtls_threading_mutex_t *mutex ) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 66 | { |
Janos Follath | 6e87698 | 2016-10-28 14:59:12 +0100 | [diff] [blame] | 67 | if( mutex == NULL ) |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 68 | return; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 69 | |
Gilles Peskine | 39a1a26 | 2021-02-09 15:35:29 +0100 | [diff] [blame] | 70 | /* A nonzero value of is_valid indicates a successfully initialized |
| 71 | * mutex. This is a workaround for not being able to return an error |
| 72 | * code for this function. The lock/unlock functions return an error |
| 73 | * if is_valid is nonzero. The Mbed TLS unit test code uses this field |
| 74 | * to distinguish more states of the mutex; see |
| 75 | * tests/src/threading_helpers for details. */ |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 76 | mutex->is_valid = pthread_mutex_init( &mutex->mutex, NULL ) == 0; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 77 | } |
| 78 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 79 | static void threading_mutex_free_pthread( mbedtls_threading_mutex_t *mutex ) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 80 | { |
Janos Follath | 5437a75 | 2016-09-26 09:15:44 +0100 | [diff] [blame] | 81 | if( mutex == NULL || !mutex->is_valid ) |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 82 | return; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 83 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 84 | (void) pthread_mutex_destroy( &mutex->mutex ); |
Janos Follath | 5437a75 | 2016-09-26 09:15:44 +0100 | [diff] [blame] | 85 | mutex->is_valid = 0; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 86 | } |
| 87 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 88 | static int threading_mutex_lock_pthread( mbedtls_threading_mutex_t *mutex ) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 89 | { |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 90 | if( mutex == NULL || ! mutex->is_valid ) |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 91 | return( MBEDTLS_ERR_THREADING_BAD_INPUT_DATA ); |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 92 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 93 | if( pthread_mutex_lock( &mutex->mutex ) != 0 ) |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 94 | return( MBEDTLS_ERR_THREADING_MUTEX_ERROR ); |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 95 | |
| 96 | return( 0 ); |
| 97 | } |
| 98 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 99 | static int threading_mutex_unlock_pthread( mbedtls_threading_mutex_t *mutex ) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 100 | { |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 101 | if( mutex == NULL || ! mutex->is_valid ) |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 102 | return( MBEDTLS_ERR_THREADING_BAD_INPUT_DATA ); |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 103 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 104 | if( pthread_mutex_unlock( &mutex->mutex ) != 0 ) |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 105 | return( MBEDTLS_ERR_THREADING_MUTEX_ERROR ); |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 106 | |
| 107 | return( 0 ); |
| 108 | } |
| 109 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 110 | void (*mbedtls_mutex_init)( mbedtls_threading_mutex_t * ) = threading_mutex_init_pthread; |
| 111 | void (*mbedtls_mutex_free)( mbedtls_threading_mutex_t * ) = threading_mutex_free_pthread; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 112 | int (*mbedtls_mutex_lock)( mbedtls_threading_mutex_t * ) = threading_mutex_lock_pthread; |
| 113 | int (*mbedtls_mutex_unlock)( mbedtls_threading_mutex_t * ) = threading_mutex_unlock_pthread; |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 114 | |
| 115 | /* |
| 116 | * With phtreads we can statically initialize mutexes |
| 117 | */ |
| 118 | #define MUTEX_INIT = { PTHREAD_MUTEX_INITIALIZER, 1 } |
| 119 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 120 | #endif /* MBEDTLS_THREADING_PTHREAD */ |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 121 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 122 | #if defined(MBEDTLS_THREADING_ALT) |
| 123 | static int threading_mutex_fail( mbedtls_threading_mutex_t *mutex ) |
Paul Bakker | c78c842 | 2013-12-31 11:55:27 +0100 | [diff] [blame] | 124 | { |
| 125 | ((void) mutex ); |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 126 | return( MBEDTLS_ERR_THREADING_BAD_INPUT_DATA ); |
Paul Bakker | c78c842 | 2013-12-31 11:55:27 +0100 | [diff] [blame] | 127 | } |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 128 | static void threading_mutex_dummy( mbedtls_threading_mutex_t *mutex ) |
| 129 | { |
| 130 | ((void) mutex ); |
| 131 | return; |
| 132 | } |
Paul Bakker | c78c842 | 2013-12-31 11:55:27 +0100 | [diff] [blame] | 133 | |
Manuel Pégourié-Gonnard | 1e2eae0 | 2015-04-29 01:26:03 +0200 | [diff] [blame] | 134 | void (*mbedtls_mutex_init)( mbedtls_threading_mutex_t * ) = threading_mutex_dummy; |
| 135 | void (*mbedtls_mutex_free)( mbedtls_threading_mutex_t * ) = threading_mutex_dummy; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 136 | int (*mbedtls_mutex_lock)( mbedtls_threading_mutex_t * ) = threading_mutex_fail; |
| 137 | int (*mbedtls_mutex_unlock)( mbedtls_threading_mutex_t * ) = threading_mutex_fail; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 138 | |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 139 | /* |
| 140 | * Set functions pointers and initialize global mutexes |
| 141 | */ |
| 142 | void mbedtls_threading_set_alt( void (*mutex_init)( mbedtls_threading_mutex_t * ), |
| 143 | void (*mutex_free)( mbedtls_threading_mutex_t * ), |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 144 | int (*mutex_lock)( mbedtls_threading_mutex_t * ), |
| 145 | int (*mutex_unlock)( mbedtls_threading_mutex_t * ) ) |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 146 | { |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 147 | mbedtls_mutex_init = mutex_init; |
| 148 | mbedtls_mutex_free = mutex_free; |
| 149 | mbedtls_mutex_lock = mutex_lock; |
| 150 | mbedtls_mutex_unlock = mutex_unlock; |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 151 | |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 152 | #if defined(MBEDTLS_FS_IO) |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 153 | mbedtls_mutex_init( &mbedtls_threading_readdir_mutex ); |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 154 | #endif |
Andres Amaya Garcia | d717743 | 2018-08-08 09:41:17 +0100 | [diff] [blame] | 155 | #if defined(THREADING_USE_GMTIME) |
Andres Amaya Garcia | ce6eebb | 2018-08-07 20:26:55 +0100 | [diff] [blame] | 156 | mbedtls_mutex_init( &mbedtls_threading_gmtime_mutex ); |
| 157 | #endif |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | /* |
| 161 | * Free global mutexes |
| 162 | */ |
| 163 | void mbedtls_threading_free_alt( void ) |
| 164 | { |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 165 | #if defined(MBEDTLS_FS_IO) |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 166 | mbedtls_mutex_free( &mbedtls_threading_readdir_mutex ); |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 167 | #endif |
Andres Amaya Garcia | d717743 | 2018-08-08 09:41:17 +0100 | [diff] [blame] | 168 | #if defined(THREADING_USE_GMTIME) |
Andres Amaya Garcia | ce6eebb | 2018-08-07 20:26:55 +0100 | [diff] [blame] | 169 | mbedtls_mutex_free( &mbedtls_threading_gmtime_mutex ); |
| 170 | #endif |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 171 | } |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 172 | #endif /* MBEDTLS_THREADING_ALT */ |
Paul Bakker | 2466d93 | 2013-09-28 14:40:38 +0200 | [diff] [blame] | 173 | |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 174 | /* |
| 175 | * Define global mutexes |
| 176 | */ |
| 177 | #ifndef MUTEX_INIT |
| 178 | #define MUTEX_INIT |
| 179 | #endif |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 180 | #if defined(MBEDTLS_FS_IO) |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 181 | mbedtls_threading_mutex_t mbedtls_threading_readdir_mutex MUTEX_INIT; |
Gergely Budai | 13f7fb3 | 2017-08-23 14:23:58 +0200 | [diff] [blame] | 182 | #endif |
Andres Amaya Garcia | d717743 | 2018-08-08 09:41:17 +0100 | [diff] [blame] | 183 | #if defined(THREADING_USE_GMTIME) |
Andres Amaya Garcia | ce6eebb | 2018-08-07 20:26:55 +0100 | [diff] [blame] | 184 | mbedtls_threading_mutex_t mbedtls_threading_gmtime_mutex MUTEX_INIT; |
| 185 | #endif |
Manuel Pégourié-Gonnard | 944cfe8 | 2015-05-27 20:07:18 +0200 | [diff] [blame] | 186 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 187 | #endif /* MBEDTLS_THREADING_C */ |