Absolute File Name: | /home/opencoverage/opencoverage/guest-scripts/openssl/src/include/internal/refcount.h |
Source code | Switch to Preprocessed file |
Line | Source | Count | ||||||
---|---|---|---|---|---|---|---|---|
1 | /* | - | ||||||
2 | * Copyright 2016-2018 The OpenSSL Project Authors. All Rights Reserved. | - | ||||||
3 | * | - | ||||||
4 | * Licensed under the OpenSSL license (the "License"). You may not use | - | ||||||
5 | * this file except in compliance with the License. You can obtain a copy | - | ||||||
6 | * in the file LICENSE in the source distribution or at | - | ||||||
7 | * https://www.openssl.org/source/license.html | - | ||||||
8 | */ | - | ||||||
9 | #ifndef HEADER_INTERNAL_REFCOUNT_H | - | ||||||
10 | # define HEADER_INTERNAL_REFCOUNT_H | - | ||||||
11 | - | |||||||
12 | /* Used to checking reference counts, most while doing perl5 stuff :-) */ | - | ||||||
13 | # if defined(OPENSSL_NO_STDIO) | - | ||||||
14 | # if defined(REF_PRINT) | - | ||||||
15 | # error "REF_PRINT requires stdio" | - | ||||||
16 | # endif | - | ||||||
17 | # endif | - | ||||||
18 | - | |||||||
19 | # if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L \ | - | ||||||
20 | && !defined(__STDC_NO_ATOMICS__) | - | ||||||
21 | # include <stdatomic.h> | - | ||||||
22 | # define HAVE_C11_ATOMICS | - | ||||||
23 | # endif | - | ||||||
24 | - | |||||||
25 | # if defined(HAVE_C11_ATOMICS) && defined(ATOMIC_INT_LOCK_FREE) \ | - | ||||||
26 | && ATOMIC_INT_LOCK_FREE > 0 | - | ||||||
27 | - | |||||||
28 | # define HAVE_ATOMICS 1 | - | ||||||
29 | - | |||||||
30 | typedef _Atomic int CRYPTO_REF_COUNT; | - | ||||||
31 | - | |||||||
32 | static inline int CRYPTO_UP_REF(_Atomic int *val, int *ret, void *lock) | - | ||||||
33 | { | - | ||||||
34 | *ret = atomic_fetch_add_explicit(val, 1, memory_order_relaxed) + 1; | - | ||||||
35 | return 1; executed 313408 times by 3 tests: return 1; Executed by:
| 313408 | ||||||
36 | } | - | ||||||
37 | - | |||||||
38 | /* | - | ||||||
39 | * Changes to shared structure other than reference counter have to be | - | ||||||
40 | * serialized. And any kind of serialization implies a release fence. This | - | ||||||
41 | * means that by the time reference counter is decremented all other | - | ||||||
42 | * changes are visible on all processors. Hence decrement itself can be | - | ||||||
43 | * relaxed. In case it hits zero, object will be destructed. Since it's | - | ||||||
44 | * last use of the object, destructor programmer might reason that access | - | ||||||
45 | * to mutable members doesn't have to be serialized anymore, which would | - | ||||||
46 | * otherwise imply an acquire fence. Hence conditional acquire fence... | - | ||||||
47 | */ | - | ||||||
48 | static inline int CRYPTO_DOWN_REF(_Atomic int *val, int *ret, void *lock) | - | ||||||
49 | { | - | ||||||
50 | *ret = atomic_fetch_sub_explicit(val, 1, memory_order_relaxed) - 1; | - | ||||||
51 | if (*ret == 0)
| 320003-528821 | ||||||
52 | atomic_thread_fence(memory_order_acquire); executed 528821 times by 14 tests: __atomic_thread_fence ( memory_order_acquire ) ; Executed by:
| 528821 | ||||||
53 | return 1; executed 848824 times by 14 tests: return 1; Executed by:
| 848824 | ||||||
54 | } | - | ||||||
55 | - | |||||||
56 | # elif defined(__GNUC__) && defined(__ATOMIC_RELAXED) && __GCC_ATOMIC_INT_LOCK_FREE > 0 | - | ||||||
57 | - | |||||||
58 | # define HAVE_ATOMICS 1 | - | ||||||
59 | - | |||||||
60 | typedef int CRYPTO_REF_COUNT; | - | ||||||
61 | - | |||||||
62 | static __inline__ int CRYPTO_UP_REF(int *val, int *ret, void *lock) | - | ||||||
63 | { | - | ||||||
64 | *ret = __atomic_fetch_add(val, 1, __ATOMIC_RELAXED) + 1; | - | ||||||
65 | return 1; | - | ||||||
66 | } | - | ||||||
67 | - | |||||||
68 | static __inline__ int CRYPTO_DOWN_REF(int *val, int *ret, void *lock) | - | ||||||
69 | { | - | ||||||
70 | *ret = __atomic_fetch_sub(val, 1, __ATOMIC_RELAXED) - 1; | - | ||||||
71 | if (*ret == 0) | - | ||||||
72 | __atomic_thread_fence(__ATOMIC_ACQUIRE); | - | ||||||
73 | return 1; | - | ||||||
74 | } | - | ||||||
75 | - | |||||||
76 | # elif defined(_MSC_VER) && _MSC_VER>=1200 | - | ||||||
77 | - | |||||||
78 | # define HAVE_ATOMICS 1 | - | ||||||
79 | - | |||||||
80 | typedef volatile int CRYPTO_REF_COUNT; | - | ||||||
81 | - | |||||||
82 | # if (defined(_M_ARM) && _M_ARM>=7) || defined(_M_ARM64) | - | ||||||
83 | # include <intrin.h> | - | ||||||
84 | # if defined(_M_ARM64) && !defined(_ARM_BARRIER_ISH) | - | ||||||
85 | # define _ARM_BARRIER_ISH _ARM64_BARRIER_ISH | - | ||||||
86 | # endif | - | ||||||
87 | - | |||||||
88 | static __inline int CRYPTO_UP_REF(volatile int *val, int *ret, void *lock) | - | ||||||
89 | { | - | ||||||
90 | *ret = _InterlockedExchangeAdd_nf(val, 1) + 1; | - | ||||||
91 | return 1; | - | ||||||
92 | } | - | ||||||
93 | - | |||||||
94 | static __inline int CRYPTO_DOWN_REF(volatile int *val, int *ret, void *lock) | - | ||||||
95 | { | - | ||||||
96 | *ret = _InterlockedExchangeAdd_nf(val, -1) - 1; | - | ||||||
97 | if (*ret == 0) | - | ||||||
98 | __dmb(_ARM_BARRIER_ISH); | - | ||||||
99 | return 1; | - | ||||||
100 | } | - | ||||||
101 | # else | - | ||||||
102 | # pragma intrinsic(_InterlockedExchangeAdd) | - | ||||||
103 | - | |||||||
104 | static __inline int CRYPTO_UP_REF(volatile int *val, int *ret, void *lock) | - | ||||||
105 | { | - | ||||||
106 | *ret = _InterlockedExchangeAdd(val, 1) + 1; | - | ||||||
107 | return 1; | - | ||||||
108 | } | - | ||||||
109 | - | |||||||
110 | static __inline int CRYPTO_DOWN_REF(volatile int *val, int *ret, void *lock) | - | ||||||
111 | { | - | ||||||
112 | *ret = _InterlockedExchangeAdd(val, -1) - 1; | - | ||||||
113 | return 1; | - | ||||||
114 | } | - | ||||||
115 | # endif | - | ||||||
116 | - | |||||||
117 | # else | - | ||||||
118 | - | |||||||
119 | typedef int CRYPTO_REF_COUNT; | - | ||||||
120 | - | |||||||
121 | # define CRYPTO_UP_REF(val, ret, lock) CRYPTO_atomic_add(val, 1, ret, lock) | - | ||||||
122 | # define CRYPTO_DOWN_REF(val, ret, lock) CRYPTO_atomic_add(val, -1, ret, lock) | - | ||||||
123 | - | |||||||
124 | # endif | - | ||||||
125 | - | |||||||
126 | # if !defined(NDEBUG) && !defined(OPENSSL_NO_STDIO) | - | ||||||
127 | # define REF_ASSERT_ISNT(test) \ | - | ||||||
128 | (void)((test) ? (OPENSSL_die("refcount error", __FILE__, __LINE__), 1) : 0) | - | ||||||
129 | # else | - | ||||||
130 | # define REF_ASSERT_ISNT(i) | - | ||||||
131 | # endif | - | ||||||
132 | - | |||||||
133 | # ifdef REF_PRINT | - | ||||||
134 | # define REF_PRINT_COUNT(a, b) \ | - | ||||||
135 | fprintf(stderr, "%p:%4d:%s\n", b, b->references, a) | - | ||||||
136 | # else | - | ||||||
137 | # define REF_PRINT_COUNT(a, b) | - | ||||||
138 | # endif | - | ||||||
139 | - | |||||||
140 | #endif | - | ||||||
Source code | Switch to Preprocessed file |