NexusForce 1.0.0
A Modern C++ Library with extended functionality, web components, and utility libraries
载入中...
搜索中...
未找到
atomic_wait.hpp
浏览该文件的文档.
1#ifndef NEFORCE_CORE_ASYNC_ATOMIC_WAIT_HPP__
2#define NEFORCE_CORE_ASYNC_ATOMIC_WAIT_HPP__
3
10
14NEFORCE_BEGIN_NAMESPACE__
15
21
27
35 bool operator()() const noexcept { return false; }
36};
37
52template <typename Pred, typename Spin = default_spin_policy>
53bool atomic_spin(Pred& pred, Spin spin = Spin{}) noexcept {
54 constexpr auto atomic_spin_count = 16;
55 constexpr auto atomic_spin_count_relax = 12;
56 for (auto idx = 0; idx < atomic_spin_count; ++idx) {
57 if (pred()) {
58 return true;
59 }
60 if (idx < atomic_spin_count_relax) {
61 this_thread::relax();
62 } else {
63 this_thread::yield();
64 }
65 }
66
67 while (spin()) {
68 if (pred()) {
69 return true;
70 }
71 }
72 return false;
73}
74
76NEFORCE_BEGIN_INNER__
77
85struct waiter_pool_base {
86 static constexpr auto align_inner = 64;
87
88 alignas(align_inner) platform_wait_t wait = 0;
89 alignas(align_inner) platform_wait_t value = 0;
90
91 waiter_pool_base() = default;
92
98 void waiter_enter_wait() noexcept {
99#ifdef NEFORCE_PLATFORM_WINDOWS
100 ::_InterlockedIncrement(&wait);
101#else
102 __atomic_fetch_add(&wait, 1, __ATOMIC_SEQ_CST);
103#endif
104 }
105
111 void waiter_leave_wait() noexcept {
112#ifdef NEFORCE_PLATFORM_WINDOWS
113 ::_InterlockedDecrement(&wait);
114#else
115 __atomic_fetch_sub(&wait, 1, __ATOMIC_RELEASE);
116#endif
117 }
118
123 NEFORCE_NODISCARD bool waiter_waiting() const noexcept {
124#ifdef NEFORCE_PLATFORM_WINDOWS
125 platform_wait_t res = ::_InterlockedExchangeAdd(const_cast<volatile platform_wait_t*>(&wait), 0);
126#else
127 platform_wait_t res = 0;
128 __atomic_load(&wait, &res, __ATOMIC_SEQ_CST);
129#endif
130 return res != 0;
131 }
132
139 void waiter_notify(platform_wait_t* addr, bool all, const bool bare) const noexcept {
140 if (addr == &value) {
141#ifdef NEFORCE_PLATFORM_WINDOWS
142 ::_InterlockedIncrement(addr);
143#else
144 __atomic_fetch_add(addr, 1, __ATOMIC_SEQ_CST);
145#endif
146 all = true;
147 }
148 if (bare || waiter_waiting()) {
149 futex_notify(addr, all);
150 }
151 }
152
160 static waiter_pool_base& waiter_for(const void* addr) noexcept {
161 constexpr uintptr_t pool_size = 16;
162 static waiter_pool_base waiter[pool_size];
163 const auto key = (reinterpret_cast<uintptr_t>(addr) >> 2) % pool_size;
164 return waiter[key];
165 }
166};
167
174struct waiter_pool : waiter_pool_base {
180 NEFORCE_ALWAYS_INLINE void waiter_do_wait(platform_wait_t* addr, const platform_wait_t old) const noexcept {
181 _NEFORCE futex_wait(addr, old);
182 }
183};
184
185
193template <typename T>
194struct waiter_base {
195private:
205 template <typename U>
206 static constexpr bool platform_wait_valid_v =
207 is_scalar_v<U> && sizeof(U) == sizeof(platform_wait_t) && alignof(U*) >= alignof(platform_wait_t);
208
209 template <typename U, enable_if_t<platform_wait_valid_v<U>, int> = 0>
210 NEFORCE_ALWAYS_INLINE static void waiter_do_spin_v_impl(platform_wait_t* /*unused*/, const U& old,
211 platform_wait_t& value) {
212 _NEFORCE memory_copy(&value, &old, sizeof(value));
213 }
214 template <typename U, enable_if_t<!platform_wait_valid_v<U>, int> = 0>
215 NEFORCE_ALWAYS_INLINE static void waiter_do_spin_v_impl(platform_wait_t* addr, const U& /*unused*/,
216 platform_wait_t& value) {
217#ifdef NEFORCE_PLATFORM_WINDOWS
218 value = ::_InterlockedExchangeAdd(addr, 0);
219#else
220 __atomic_load(addr, &value, __ATOMIC_ACQUIRE);
221#endif
222 }
223
224public:
225 using waiter_type = T;
226
227 waiter_type& waiter_;
228 platform_wait_t* addr_;
229
233 template <typename U>
234 static enable_if_t<platform_wait_valid_v<U>, platform_wait_t*> waiter_wait_addr(const U* addr,
235 platform_wait_t* /*unused*/) {
236 return reinterpret_cast<platform_wait_t*>(const_cast<U*>(addr));
237 }
238
242 template <typename U>
243 static enable_if_t<!platform_wait_valid_v<U>, platform_wait_t*> waiter_wait_addr(const U* /*unused*/,
245 return wait;
246 }
247
251 static waiter_type& waiter_for(const void* addr) noexcept {
252 static_assert(sizeof(waiter_type) == sizeof(waiter_pool_base),
253 "waiter_for should be same size with waiter_pool_base");
254 auto& res = waiter_pool_base::waiter_for(addr);
255 return reinterpret_cast<waiter_type&>(res);
256 }
257
263 template <typename U>
264 explicit waiter_base(const U* addr) noexcept :
265 waiter_(waiter_base::waiter_for(addr)),
266 addr_(waiter_base::waiter_wait_addr(addr, &waiter_.value)) {}
267
273 void waiter_notify(bool all, bool bare = false) noexcept { waiter_.waiter_notify(addr_, all, bare); }
274
278 template <typename U, typename Func, typename Spin = default_spin_policy>
279 static bool waiter_do_spin_v(platform_wait_t* addr, const U& old, Func f, platform_wait_t& value,
280 Spin spin = Spin{}) {
281 auto const pred = [=] { return _NEFORCE memory_compare<U>(old, f()) != 0; };
282 waiter_base::waiter_do_spin_v_impl(addr, old, value);
283 return _NEFORCE atomic_spin(pred, spin);
284 }
285
289 template <typename U, typename Func, typename Spin = default_spin_policy>
290 bool waiter_do_spin_v(const U& old, Func f, platform_wait_t& value, Spin spin = Spin{}) {
291 return waiter_base::waiter_do_spin_v(addr_, old, f, value, spin);
292 }
293
297 template <typename Pred, typename Spin = default_spin_policy>
298 static bool waiter_do_spin(const platform_wait_t* addr, Pred pred, platform_wait_t& value, Spin spin = Spin{}) {
299#ifdef NEFORCE_PLATFORM_WINDOWS
300 value = ::_InterlockedExchangeAdd(const_cast<volatile LONG*>(addr), 0);
301#else
302 __atomic_load(addr, &value, __ATOMIC_ACQUIRE);
303#endif
304 return _NEFORCE atomic_spin(pred, spin);
305 }
306
310 template <typename Pred, typename Spin = default_spin_policy>
311 bool waiter_do_spin(Pred pred, platform_wait_t& value, Spin spin = Spin{}) {
312 return waiter_base::waiter_do_spin(addr_, pred, value, spin);
313 }
314};
315
316
324template <typename EntersWait>
325struct waiter : waiter_base<waiter_pool> {
326public:
327 using base_type = waiter_base<waiter_pool>;
328
329private:
330 template <bool Wait = EntersWait::value, enable_if_t<Wait, int> = 0>
331 NEFORCE_ALWAYS_INLINE void enter() const noexcept {
332 waiter_.waiter_enter_wait();
333 }
334 template <bool Wait = EntersWait::value, enable_if_t<!Wait, int> = 0>
335 NEFORCE_ALWAYS_INLINE void enter() const noexcept {}
336
337 template <bool Wait = EntersWait::value, enable_if_t<Wait, int> = 0>
338 NEFORCE_ALWAYS_INLINE void leave() const noexcept {
339 waiter_.waiter_leave_wait();
340 }
341 template <bool Wait = EntersWait::value, enable_if_t<!Wait, int> = 0>
342 NEFORCE_ALWAYS_INLINE void leave() const noexcept {}
343
344public:
350 template <typename T>
351 explicit waiter(const T* addr) noexcept :
352 base_type(addr) {
353 enter();
354 }
355
359 ~waiter() { leave(); }
360
370 template <typename T, typename Func>
371 void waiter_do_wait_v(T old, Func f) {
372 do {
373 platform_wait_t value = 0;
374 if (base_type::waiter_do_spin_v(old, f, value)) {
375 return;
376 }
377 waiter_.waiter_do_wait(base_type::addr_, value);
378 } while (_NEFORCE memory_compare<T>(old, f()) == 0);
379 }
380
386 template <typename Pred>
387 void waiter_do_wait(Pred pred) noexcept {
388 do {
389 platform_wait_t value = 0;
390 if (base_type::waiter_do_spin(pred, value)) {
391 return;
392 }
393 waiter_.waiter_do_wait(base_type::addr_, value);
394 } while (!pred());
395 }
396};
397
399using enters_wait = waiter<true_type>;
400
402using bare_wait = waiter<false_type>;
403
404NEFORCE_END_INNER__
406
417template <typename T, typename Func>
418void atomic_wait_address_v(const T* addr, T old, Func f) noexcept {
419 inner::enters_wait waiter(addr);
420 waiter.waiter_do_wait_v(old, f);
421}
422
432template <typename T, typename Pred>
433void atomic_wait_address(const T* addr, Pred pred) noexcept {
434 inner::enters_wait waiter(addr);
435 waiter.waiter_do_wait(pred);
436}
437
447template <typename T>
448void atomic_notify_address(const T* addr, const bool all) noexcept {
449 inner::bare_wait waiter(addr);
450 waiter.waiter_notify(all);
451}
452 // AtomicOperations
454 // AsyncComponents
456
457NEFORCE_END_NAMESPACE__
458#endif // NEFORCE_CORE_ASYNC_ATOMIC_WAIT_HPP__
快速用户空间互斥锁
void atomic_wait_address(const T *addr, Pred pred) noexcept
基于谓词的原子等待
bool atomic_spin(Pred &pred, Spin spin=Spin{}) noexcept
原子自旋等待
void atomic_wait_address_v(const T *addr, T old, Func f) noexcept
基于值的原子等待
void atomic_notify_address(const T *addr, const bool all) noexcept
原子通知
constexpr bool is_scalar_v
is_scalar的便捷变量模板
void futex_wait(void *addr, platform_wait_t value) noexcept
无限期等待FUTEX
long platform_wait_t
平台等待类型别名
void futex_notify(void *addr, bool all) noexcept
通知等待的线程
@ wait
等待操作
constexpr int memory_compare(const void *lhs, const void *rhs, size_t count) noexcept
比较两个内存区域的内容
constexpr void * memory_copy(void *NEFORCE_RESTRICT dest, const void *NEFORCE_RESTRICT src, size_t count) noexcept
从源内存复制到目标内存
uint64_t uintptr_t
可容纳指针的无符号整数类型
typename enable_if< Test, T >::type enable_if_t
enable_if的便捷别名
内存操作函数
默认自旋策略
当前线程操作