xref: /oneTBB/src/tbbmalloc/Synchronize.h (revision 3b378356)
151c0b2f7Stbbdev /*
2b40b034fSKrzysztof Filipek     Copyright (c) 2005-2023 Intel Corporation
351c0b2f7Stbbdev 
451c0b2f7Stbbdev     Licensed under the Apache License, Version 2.0 (the "License");
551c0b2f7Stbbdev     you may not use this file except in compliance with the License.
651c0b2f7Stbbdev     You may obtain a copy of the License at
751c0b2f7Stbbdev 
851c0b2f7Stbbdev         http://www.apache.org/licenses/LICENSE-2.0
951c0b2f7Stbbdev 
1051c0b2f7Stbbdev     Unless required by applicable law or agreed to in writing, software
1151c0b2f7Stbbdev     distributed under the License is distributed on an "AS IS" BASIS,
1251c0b2f7Stbbdev     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
1351c0b2f7Stbbdev     See the License for the specific language governing permissions and
1451c0b2f7Stbbdev     limitations under the License.
1551c0b2f7Stbbdev */
1651c0b2f7Stbbdev 
1751c0b2f7Stbbdev #ifndef __TBB_malloc_Synchronize_H_
1851c0b2f7Stbbdev #define __TBB_malloc_Synchronize_H_
1951c0b2f7Stbbdev 
2049e08aacStbbdev #include "oneapi/tbb/detail/_utils.h"
2151c0b2f7Stbbdev 
2251c0b2f7Stbbdev #include <atomic>
2351c0b2f7Stbbdev 
2451c0b2f7Stbbdev //! Stripped down version of spin_mutex.
2551c0b2f7Stbbdev /** Instances of MallocMutex must be declared in memory that is zero-initialized.
2651c0b2f7Stbbdev     There are no constructors.  This is a feature that lets it be
2751c0b2f7Stbbdev     used in situations where the mutex might be used while file-scope constructors
2851c0b2f7Stbbdev     are running.
2951c0b2f7Stbbdev 
3051c0b2f7Stbbdev     There are no methods "acquire" or "release".  The scoped_lock must be used
3151c0b2f7Stbbdev     in a strict block-scoped locking pattern.  Omitting these methods permitted
3251c0b2f7Stbbdev     further simplification. */
3351c0b2f7Stbbdev class MallocMutex : tbb::detail::no_copy {
3451c0b2f7Stbbdev     std::atomic_flag m_flag = ATOMIC_FLAG_INIT;
3551c0b2f7Stbbdev 
lock()3651c0b2f7Stbbdev     void lock() {
3751c0b2f7Stbbdev         tbb::detail::atomic_backoff backoff;
3851c0b2f7Stbbdev         while (m_flag.test_and_set()) backoff.pause();
3951c0b2f7Stbbdev     }
try_lock()4051c0b2f7Stbbdev     bool try_lock() {
4151c0b2f7Stbbdev         return !m_flag.test_and_set();
4251c0b2f7Stbbdev     }
unlock()4351c0b2f7Stbbdev     void unlock() {
4451c0b2f7Stbbdev         m_flag.clear(std::memory_order_release);
4551c0b2f7Stbbdev     }
4651c0b2f7Stbbdev 
4751c0b2f7Stbbdev public:
4851c0b2f7Stbbdev     class scoped_lock : tbb::detail::no_copy {
4951c0b2f7Stbbdev         MallocMutex& m_mutex;
5051c0b2f7Stbbdev         bool m_taken;
5151c0b2f7Stbbdev 
5251c0b2f7Stbbdev     public:
scoped_lock(MallocMutex & m)5351c0b2f7Stbbdev         scoped_lock(MallocMutex& m) : m_mutex(m), m_taken(true) {
5451c0b2f7Stbbdev             m.lock();
5551c0b2f7Stbbdev         }
scoped_lock(MallocMutex & m,bool block,bool * locked)5651c0b2f7Stbbdev         scoped_lock(MallocMutex& m, bool block, bool *locked) : m_mutex(m), m_taken(false) {
5751c0b2f7Stbbdev             if (block) {
5851c0b2f7Stbbdev                 m.lock();
5951c0b2f7Stbbdev                 m_taken = true;
6051c0b2f7Stbbdev             } else {
6151c0b2f7Stbbdev                 m_taken = m.try_lock();
6251c0b2f7Stbbdev             }
6351c0b2f7Stbbdev             if (locked) *locked = m_taken;
6451c0b2f7Stbbdev         }
65*3b378356SKrzysztof Filipek 
66*3b378356SKrzysztof Filipek         scoped_lock(scoped_lock& other) = delete;
67*3b378356SKrzysztof Filipek         scoped_lock& operator=(scoped_lock&) = delete;
68*3b378356SKrzysztof Filipek 
~scoped_lock()6951c0b2f7Stbbdev         ~scoped_lock() {
7051c0b2f7Stbbdev             if (m_taken) {
7151c0b2f7Stbbdev                 m_mutex.unlock();
7251c0b2f7Stbbdev             }
7351c0b2f7Stbbdev         }
7451c0b2f7Stbbdev     };
7551c0b2f7Stbbdev     friend class scoped_lock;
7651c0b2f7Stbbdev };
7751c0b2f7Stbbdev 
SpinWaitWhileEq(const std::atomic<intptr_t> & location,const intptr_t value)7851c0b2f7Stbbdev inline void SpinWaitWhileEq(const std::atomic<intptr_t>& location, const intptr_t value) {
7951c0b2f7Stbbdev     tbb::detail::spin_wait_while_eq(location, value);
8051c0b2f7Stbbdev }
8151c0b2f7Stbbdev 
82112076d0SIlya Isaev #if USE_PTHREAD && __TBB_SOURCE_DIRECTLY_INCLUDED
83478de5b1Stbbdev 
SpinWaitUntilEq(const std::atomic<intptr_t> & location,const intptr_t value)8451c0b2f7Stbbdev inline void SpinWaitUntilEq(const std::atomic<intptr_t>& location, const intptr_t value) {
8551c0b2f7Stbbdev     tbb::detail::spin_wait_until_eq(location, value);
8651c0b2f7Stbbdev }
8751c0b2f7Stbbdev 
88478de5b1Stbbdev #endif
89478de5b1Stbbdev 
9051c0b2f7Stbbdev class AtomicBackoff {
9151c0b2f7Stbbdev     tbb::detail::atomic_backoff backoff;
9251c0b2f7Stbbdev public:
AtomicBackoff()9351c0b2f7Stbbdev     AtomicBackoff() {}
pause()9451c0b2f7Stbbdev     void pause() { backoff.pause(); }
9551c0b2f7Stbbdev };
9651c0b2f7Stbbdev 
9751c0b2f7Stbbdev #endif /* __TBB_malloc_Synchronize_H_ */
98