| 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 | 
| Andres Amaya Garcia | e9b10b2 | 2018-09-05 11:25:30 +0100 | [diff] [blame] | 22 | * config.h, which pulls in glibc's features.h. Harmless on other platforms. | 
|  | 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 */ |