1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
#pragma once
#include "defaults.h"
extern "C" { // sanitizers API
#if defined(_asan_enabled_)
void __lsan_ignore_object(const void* p);
#endif
#if defined(_msan_enabled_)
void __msan_unpoison(const volatile void* a, size_t size);
void __msan_poison(const volatile void* a, size_t size);
void __msan_check_mem_is_initialized(const volatile void* x, size_t size);
#endif
}; // sanitizers API
namespace NSan {
class TFiberContext {
public:
TFiberContext() noexcept;
TFiberContext(const void* stack, size_t len, const char* contName) noexcept;
~TFiberContext() noexcept;
void BeforeFinish() noexcept;
void BeforeSwitch(TFiberContext* old) noexcept;
void AfterSwitch() noexcept;
static void AfterStart() noexcept;
private:
void* Token_;
const void* Stack_;
size_t Len_;
const bool IsMainFiber_;
#if defined(_tsan_enabled_)
void* const CurrentTSanFiberContext_;
#endif
};
// Returns plain if no sanitizer enabled or sanitized otherwise
// Ment to be used in test code for constants (timeouts, etc)
template <typename T>
inline constexpr static T PlainOrUnderSanitizer(T plain, T sanitized) noexcept {
#if defined(_tsan_enabled_) || defined(_msan_enabled_) || defined(_asan_enabled_)
Y_UNUSED(plain);
return sanitized;
#else
Y_UNUSED(sanitized);
return plain;
#endif
}
// Determines if asan present
inline constexpr static bool ASanIsOn() noexcept {
#if defined(_asan_enabled_)
return true;
#else
return false;
#endif
}
// Determines if tsan present
inline constexpr static bool TSanIsOn() noexcept {
#if defined(_tsan_enabled_)
return true;
#else
return false;
#endif
}
// Determines if msan present
inline constexpr static bool MSanIsOn() noexcept {
#if defined(_msan_enabled_)
return true;
#else
return false;
#endif
}
// Make memory region fully initialized (without changing its contents).
inline static void Unpoison(const volatile void* a, size_t size) noexcept {
#if defined(_msan_enabled_)
__msan_unpoison(a, size);
#else
Y_UNUSED(a);
Y_UNUSED(size);
#endif
}
// Make memory region fully uninitialized (without changing its contents).
// This is a legacy interface that does not update origin information. Use __msan_allocated_memory() instead.
inline static void Poison(const volatile void* a, size_t size) noexcept {
#if defined(_msan_enabled_)
__msan_poison(a, size);
#else
Y_UNUSED(a);
Y_UNUSED(size);
#endif
}
// Checks that memory range is fully initialized, and reports an error if it is not.
inline static void CheckMemIsInitialized(const volatile void* a, size_t size) noexcept {
#if defined(_msan_enabled_)
__msan_check_mem_is_initialized(a, size);
#else
Y_UNUSED(a);
Y_UNUSED(size);
#endif
}
inline static void MarkAsIntentionallyLeaked(const void* ptr) noexcept {
#if defined(_asan_enabled_)
__lsan_ignore_object(ptr);
#else
Y_UNUSED(ptr);
#endif
}
#if defined(_tsan_enabled_)
// defined in .cpp to avoid exposing problematic C-linkage version of AnnotateBenignRaceSized(...)
void AnnotateBenignRaceSized(const char* file, int line,
const volatile void* address,
size_t size,
const char* description) noexcept;
#else
inline static void AnnotateBenignRaceSized(const char* file, int line,
const volatile void* address,
size_t size,
const char* description) noexcept {
Y_UNUSED(file);
Y_UNUSED(line);
Y_UNUSED(address);
Y_UNUSED(size);
Y_UNUSED(description);
}
#endif
}
|
