d7c5dfb233
Historically, OpenSSL has used callbacks for anything thread related, but we don't actually have that many threading libraries to worry about: just pthreads and Windows (I hope). That suggests that it's quite reasonable to handle threading ourselves, and eliminate the need for users to remember to install the thread callbacks. The first user of this would be ERR, which currently simulates thread-local storage using a lock around a hash table keyed by the TID. (Although I suspect that change will need some CMake work in order that libpthread is automatically included with libcrypto when linking tests etc, but not on Windows and without lots of ifs.) Change-Id: I4dd088e3794506747f875c1f3e92b9bc6700fad2 Reviewed-on: https://boringssl-review.googlesource.com/4010 Reviewed-by: Adam Langley <agl@google.com>
363 lines
14 KiB
C
363 lines
14 KiB
C
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
|
||
* All rights reserved.
|
||
*
|
||
* This package is an SSL implementation written
|
||
* by Eric Young (eay@cryptsoft.com).
|
||
* The implementation was written so as to conform with Netscapes SSL.
|
||
*
|
||
* This library is free for commercial and non-commercial use as long as
|
||
* the following conditions are aheared to. The following conditions
|
||
* apply to all code found in this distribution, be it the RC4, RSA,
|
||
* lhash, DES, etc., code; not just the SSL code. The SSL documentation
|
||
* included with this distribution is covered by the same copyright terms
|
||
* except that the holder is Tim Hudson (tjh@cryptsoft.com).
|
||
*
|
||
* Copyright remains Eric Young's, and as such any Copyright notices in
|
||
* the code are not to be removed.
|
||
* If this package is used in a product, Eric Young should be given attribution
|
||
* as the author of the parts of the library used.
|
||
* This can be in the form of a textual message at program startup or
|
||
* in documentation (online or textual) provided with the package.
|
||
*
|
||
* Redistribution and use in source and binary forms, with or without
|
||
* modification, are permitted provided that the following conditions
|
||
* are met:
|
||
* 1. Redistributions of source code must retain the copyright
|
||
* notice, this list of conditions and the following disclaimer.
|
||
* 2. Redistributions in binary form must reproduce the above copyright
|
||
* notice, this list of conditions and the following disclaimer in the
|
||
* documentation and/or other materials provided with the distribution.
|
||
* 3. All advertising materials mentioning features or use of this software
|
||
* must display the following acknowledgement:
|
||
* "This product includes cryptographic software written by
|
||
* Eric Young (eay@cryptsoft.com)"
|
||
* The word 'cryptographic' can be left out if the rouines from the library
|
||
* being used are not cryptographic related :-).
|
||
* 4. If you include any Windows specific code (or a derivative thereof) from
|
||
* the apps directory (application code) you must include an acknowledgement:
|
||
* "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
|
||
*
|
||
* THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
|
||
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
||
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
||
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
||
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
||
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
||
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
||
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
||
* SUCH DAMAGE.
|
||
*
|
||
* The licence and distribution terms for any publically available version or
|
||
* derivative of this code cannot be changed. i.e. this code cannot simply be
|
||
* copied and put under another distribution licence
|
||
* [including the GNU Public Licence.]
|
||
*/
|
||
/* ====================================================================
|
||
* Copyright (c) 1998-2001 The OpenSSL Project. All rights reserved.
|
||
*
|
||
* Redistribution and use in source and binary forms, with or without
|
||
* modification, are permitted provided that the following conditions
|
||
* are met:
|
||
*
|
||
* 1. Redistributions of source code must retain the above copyright
|
||
* notice, this list of conditions and the following disclaimer.
|
||
*
|
||
* 2. Redistributions in binary form must reproduce the above copyright
|
||
* notice, this list of conditions and the following disclaimer in
|
||
* the documentation and/or other materials provided with the
|
||
* distribution.
|
||
*
|
||
* 3. All advertising materials mentioning features or use of this
|
||
* software must display the following acknowledgment:
|
||
* "This product includes software developed by the OpenSSL Project
|
||
* for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
|
||
*
|
||
* 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
|
||
* endorse or promote products derived from this software without
|
||
* prior written permission. For written permission, please contact
|
||
* openssl-core@openssl.org.
|
||
*
|
||
* 5. Products derived from this software may not be called "OpenSSL"
|
||
* nor may "OpenSSL" appear in their names without prior written
|
||
* permission of the OpenSSL Project.
|
||
*
|
||
* 6. Redistributions of any form whatsoever must retain the following
|
||
* acknowledgment:
|
||
* "This product includes software developed by the OpenSSL Project
|
||
* for use in the OpenSSL Toolkit (http://www.openssl.org/)"
|
||
*
|
||
* THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
|
||
* EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
|
||
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
|
||
* ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
||
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
||
* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
||
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
||
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
||
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
|
||
* OF THE POSSIBILITY OF SUCH DAMAGE.
|
||
* ====================================================================
|
||
*
|
||
* This product includes cryptographic software written by Eric Young
|
||
* (eay@cryptsoft.com). This product includes software written by Tim
|
||
* Hudson (tjh@cryptsoft.com). */
|
||
|
||
#ifndef OPENSSL_HEADER_CRYPTO_INTERNAL_H
|
||
#define OPENSSL_HEADER_CRYPTO_INTERNAL_H
|
||
|
||
#include <openssl/ex_data.h>
|
||
|
||
#if !defined(OPENSSL_WINDOWS)
|
||
#include <pthread.h>
|
||
#endif
|
||
|
||
#if defined(__cplusplus)
|
||
extern "C" {
|
||
#endif
|
||
|
||
|
||
/* st_CRYPTO_EX_DATA_IMPL contains an ex_data implementation. See the comments
|
||
* in ex_data.h for details of the behaviour of each of the functions. */
|
||
struct st_CRYPTO_EX_DATA_IMPL {
|
||
int (*new_class)(void);
|
||
void (*cleanup)(void);
|
||
|
||
int (*get_new_index)(int class_value, long argl, void *argp,
|
||
CRYPTO_EX_new *new_func, CRYPTO_EX_dup *dup_func,
|
||
CRYPTO_EX_free *free_func);
|
||
int (*new_ex_data)(int class_value, void *obj, CRYPTO_EX_DATA *ad);
|
||
int (*dup_ex_data)(int class_value, CRYPTO_EX_DATA *to,
|
||
const CRYPTO_EX_DATA *from);
|
||
void (*free_ex_data)(int class_value, void *obj, CRYPTO_EX_DATA *ad);
|
||
};
|
||
|
||
|
||
#if defined(_MSC_VER)
|
||
#define OPENSSL_U64(x) x##UI64
|
||
#else
|
||
|
||
#if defined(OPENSSL_64_BIT)
|
||
#define OPENSSL_U64(x) x##UL
|
||
#else
|
||
#define OPENSSL_U64(x) x##ULL
|
||
#endif
|
||
|
||
#endif /* defined(_MSC_VER) */
|
||
|
||
#if defined(OPENSSL_X86) || defined(OPENSSL_X86_64) || defined(OPENSSL_ARM) || \
|
||
defined(OPENSSL_AARCH64)
|
||
/* OPENSSL_cpuid_setup initializes OPENSSL_ia32cap_P. */
|
||
void OPENSSL_cpuid_setup(void);
|
||
#endif
|
||
|
||
#if !defined(inline)
|
||
#define inline __inline
|
||
#endif
|
||
|
||
|
||
/* Constant-time utility functions.
|
||
*
|
||
* The following methods return a bitmask of all ones (0xff...f) for true and 0
|
||
* for false. This is useful for choosing a value based on the result of a
|
||
* conditional in constant time. For example,
|
||
*
|
||
* if (a < b) {
|
||
* c = a;
|
||
* } else {
|
||
* c = b;
|
||
* }
|
||
*
|
||
* can be written as
|
||
*
|
||
* unsigned int lt = constant_time_lt(a, b);
|
||
* c = constant_time_select(lt, a, b); */
|
||
|
||
/* constant_time_msb returns the given value with the MSB copied to all the
|
||
* other bits. */
|
||
static inline unsigned int constant_time_msb(unsigned int a) {
|
||
return (unsigned int)((int)(a) >> (sizeof(int) * 8 - 1));
|
||
}
|
||
|
||
/* constant_time_lt returns 0xff..f if a < b and 0 otherwise. */
|
||
static inline unsigned int constant_time_lt(unsigned int a, unsigned int b) {
|
||
/* Consider the two cases of the problem:
|
||
* msb(a) == msb(b): a < b iff the MSB of a - b is set.
|
||
* msb(a) != msb(b): a < b iff the MSB of b is set.
|
||
*
|
||
* If msb(a) == msb(b) then the following evaluates as:
|
||
* msb(a^((a^b)|((a-b)^a))) ==
|
||
* msb(a^((a-b) ^ a)) == (because msb(a^b) == 0)
|
||
* msb(a^a^(a-b)) == (rearranging)
|
||
* msb(a-b) (because ∀x. x^x == 0)
|
||
*
|
||
* Else, if msb(a) != msb(b) then the following evaluates as:
|
||
* msb(a^((a^b)|((a-b)^a))) ==
|
||
* msb(a^(𝟙 | ((a-b)^a))) == (because msb(a^b) == 1 and 𝟙
|
||
* represents a value s.t. msb(𝟙) = 1)
|
||
* msb(a^𝟙) == (because ORing with 1 results in 1)
|
||
* msb(b)
|
||
*
|
||
*
|
||
* Here is an SMT-LIB verification of this formula:
|
||
*
|
||
* (define-fun lt ((a (_ BitVec 32)) (b (_ BitVec 32))) (_ BitVec 32)
|
||
* (bvxor a (bvor (bvxor a b) (bvxor (bvsub a b) a)))
|
||
* )
|
||
*
|
||
* (declare-fun a () (_ BitVec 32))
|
||
* (declare-fun b () (_ BitVec 32))
|
||
*
|
||
* (assert (not (= (= #x00000001 (bvlshr (lt a b) #x0000001f)) (bvult a b))))
|
||
* (check-sat)
|
||
* (get-model)
|
||
*/
|
||
return constant_time_msb(a^((a^b)|((a-b)^a)));
|
||
}
|
||
|
||
/* constant_time_lt_8 acts like |constant_time_lt| but returns an 8-bit mask. */
|
||
static inline uint8_t constant_time_lt_8(unsigned int a, unsigned int b) {
|
||
return (uint8_t)(constant_time_lt(a, b));
|
||
}
|
||
|
||
/* constant_time_gt returns 0xff..f if a >= b and 0 otherwise. */
|
||
static inline unsigned int constant_time_ge(unsigned int a, unsigned int b) {
|
||
return ~constant_time_lt(a, b);
|
||
}
|
||
|
||
/* constant_time_ge_8 acts like |constant_time_ge| but returns an 8-bit mask. */
|
||
static inline uint8_t constant_time_ge_8(unsigned int a, unsigned int b) {
|
||
return (uint8_t)(constant_time_ge(a, b));
|
||
}
|
||
|
||
/* constant_time_is_zero returns 0xff..f if a == 0 and 0 otherwise. */
|
||
static inline unsigned int constant_time_is_zero(unsigned int a) {
|
||
/* Here is an SMT-LIB verification of this formula:
|
||
*
|
||
* (define-fun is_zero ((a (_ BitVec 32))) (_ BitVec 32)
|
||
* (bvand (bvnot a) (bvsub a #x00000001))
|
||
* )
|
||
*
|
||
* (declare-fun a () (_ BitVec 32))
|
||
*
|
||
* (assert (not (= (= #x00000001 (bvlshr (is_zero a) #x0000001f)) (= a #x00000000))))
|
||
* (check-sat)
|
||
* (get-model)
|
||
*/
|
||
return constant_time_msb(~a & (a - 1));
|
||
}
|
||
|
||
/* constant_time_is_zero_8 acts like constant_time_is_zero but returns an 8-bit
|
||
* mask. */
|
||
static inline uint8_t constant_time_is_zero_8(unsigned int a) {
|
||
return (uint8_t)(constant_time_is_zero(a));
|
||
}
|
||
|
||
/* constant_time_eq returns 0xff..f if a == b and 0 otherwise. */
|
||
static inline unsigned int constant_time_eq(unsigned int a, unsigned int b) {
|
||
return constant_time_is_zero(a ^ b);
|
||
}
|
||
|
||
/* constant_time_eq_8 acts like |constant_time_eq| but returns an 8-bit mask. */
|
||
static inline uint8_t constant_time_eq_8(unsigned int a, unsigned int b) {
|
||
return (uint8_t)(constant_time_eq(a, b));
|
||
}
|
||
|
||
/* constant_time_eq_int acts like |constant_time_eq| but works on int values. */
|
||
static inline unsigned int constant_time_eq_int(int a, int b) {
|
||
return constant_time_eq((unsigned)(a), (unsigned)(b));
|
||
}
|
||
|
||
/* constant_time_eq_int_8 acts like |constant_time_eq_int| but returns an 8-bit
|
||
* mask. */
|
||
static inline uint8_t constant_time_eq_int_8(int a, int b) {
|
||
return constant_time_eq_8((unsigned)(a), (unsigned)(b));
|
||
}
|
||
|
||
/* constant_time_select returns (mask & a) | (~mask & b). When |mask| is all 1s
|
||
* or all 0s (as returned by the methods above), the select methods return
|
||
* either |a| (if |mask| is nonzero) or |b| (if |mask| is zero). */
|
||
static inline unsigned int constant_time_select(unsigned int mask,
|
||
unsigned int a, unsigned int b) {
|
||
return (mask & a) | (~mask & b);
|
||
}
|
||
|
||
/* constant_time_select_8 acts like |constant_time_select| but operates on
|
||
* 8-bit values. */
|
||
static inline uint8_t constant_time_select_8(uint8_t mask, uint8_t a,
|
||
uint8_t b) {
|
||
return (uint8_t)(constant_time_select(mask, a, b));
|
||
}
|
||
|
||
/* constant_time_select_int acts like |constant_time_select| but operates on
|
||
* ints. */
|
||
static inline int constant_time_select_int(unsigned int mask, int a, int b) {
|
||
return (int)(constant_time_select(mask, (unsigned)(a), (unsigned)(b)));
|
||
}
|
||
|
||
|
||
/* Thread-safe initialisation. */
|
||
|
||
#if !defined(OPENSSL_WINDOWS)
|
||
typedef pthread_once_t CRYPTO_once_t;
|
||
#define CRYPTO_ONCE_INIT PTHREAD_ONCE_INIT
|
||
#else
|
||
typedef int32_t CRYPTO_once_t;
|
||
#define CRYPTO_ONCE_INIT 0
|
||
#endif
|
||
|
||
/* CRYPTO_once calls |init| exactly once per process. This is thread-safe: if
|
||
* concurrent threads call |CRYPTO_once| with the same |CRYPTO_once_t| argument
|
||
* then they will block until |init| completes, but |init| will have only been
|
||
* called once.
|
||
*
|
||
* The |once| argument must be a |CRYPTO_once_t| that has been initialised with
|
||
* the value |CRYPTO_ONCE_INIT|. */
|
||
void CRYPTO_once(CRYPTO_once_t *once, void (*init)(void));
|
||
|
||
|
||
/* Thread local storage. */
|
||
|
||
/* thread_local_data_t enumerates the types of thread-local data that can be
|
||
* stored. */
|
||
typedef enum {
|
||
OPENSSL_THREAD_LOCAL_ERR = 0,
|
||
OPENSSL_THREAD_LOCAL_TEST,
|
||
NUM_OPENSSL_THREAD_LOCALS,
|
||
} thread_local_data_t;
|
||
|
||
/* thread_local_destructor_t is the type of a destructor function that will be
|
||
* called when a thread exits and its thread-local storage needs to be freed. */
|
||
typedef void (*thread_local_destructor_t)(void *);
|
||
|
||
/* CRYPTO_get_thread_local gets the pointer value that is stored for the
|
||
* current thread for the given index, or NULL if none has been set. */
|
||
void *CRYPTO_get_thread_local(thread_local_data_t value);
|
||
|
||
/* CRYPTO_set_thread_local sets a pointer value for the current thread at the
|
||
* given index. This function should only be called once per thread for a given
|
||
* |index|: rather than update the pointer value itself, update the data that
|
||
* is pointed to.
|
||
*
|
||
* The destructor function will be called when a thread exits to free this
|
||
* thread-local data. All calls to |CRYPTO_set_thread_local| with the same
|
||
* |index| should have the same |destructor| argument. The destructor may be
|
||
* called with a NULL argument if a thread that never set a thread-local
|
||
* pointer for |index|, exits. The destructor may be called concurrently with
|
||
* different arguments.
|
||
*
|
||
* This function returns one on success or zero on error. If it returns zero
|
||
* then |destructor| has been called with |value| already. */
|
||
int CRYPTO_set_thread_local(thread_local_data_t index, void *value,
|
||
thread_local_destructor_t destructor);
|
||
|
||
|
||
#if defined(__cplusplus)
|
||
} /* extern C */
|
||
#endif
|
||
|
||
#endif /* OPENSSL_HEADER_CRYPTO_INTERNAL_H */
|