| // Copyright 2019 The SwiftShader Authors. All Rights Reserved. | |
| // | |
| // Licensed under the Apache License, Version 2.0 (the "License"); | |
| // you may not use this file except in compliance with the License. | |
| // You may obtain a copy of the License at | |
| // | |
| // http://www.apache.org/licenses/LICENSE-2.0 | |
| // | |
| // Unless required by applicable law or agreed to in writing, software | |
| // distributed under the License is distributed on an "AS IS" BASIS, | |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| // See the License for the specific language governing permissions and | |
| // limitations under the License. | |
| // This file contains a number of synchronization primitives for concurrency. | |
| // | |
| // You may be tempted to change this code to unlock the mutex before calling | |
| // std::condition_variable::notify_[one,all]. Please read | |
| // https://issuetracker.google.com/issues/133135427 before making this sort of | |
| // change. | |
| #ifndef sw_Synchronization_hpp | |
| #define sw_Synchronization_hpp | |
| #include "Debug.hpp" | |
| #include <assert.h> | |
| #include <chrono> | |
| #include <condition_variable> | |
| #include <queue> | |
| #include "marl/event.h" | |
| #include "marl/mutex.h" | |
| #include "marl/waitgroup.h" | |
| namespace sw { | |
| // CountedEvent is an event that is signalled when the internal counter is | |
| // decremented and reaches zero. | |
| // The counter is incremented with calls to add() and decremented with calls to | |
| // done(). | |
| class CountedEvent | |
| { | |
| public: | |
| // Constructs the CountedEvent with the initial signalled state set to the | |
| // provided value. | |
| CountedEvent(bool signalled = false) | |
| : ev(marl::Event::Mode::Manual, signalled) | |
| {} | |
| // add() increments the internal counter. | |
| // add() must not be called when the event is already signalled. | |
| void add() const | |
| { | |
| ASSERT(!ev.isSignalled()); | |
| wg.add(); | |
| } | |
| // done() decrements the internal counter, signalling the event if the new | |
| // counter value is zero. | |
| // done() must not be called when the event is already signalled. | |
| void done() const | |
| { | |
| ASSERT(!ev.isSignalled()); | |
| if(wg.done()) | |
| { | |
| ev.signal(); | |
| } | |
| } | |
| // reset() clears the signal state. | |
| // done() must not be called when the internal counter is non-zero. | |
| void reset() const | |
| { | |
| ev.clear(); | |
| } | |
| // signalled() returns the current signal state. | |
| bool signalled() const | |
| { | |
| return ev.isSignalled(); | |
| } | |
| // wait() waits until the event is signalled. | |
| void wait() const | |
| { | |
| ev.wait(); | |
| } | |
| // wait() waits until the event is signalled or the timeout is reached. | |
| // If the timeout was reached, then wait() return false. | |
| template<class CLOCK, class DURATION> | |
| bool wait(const std::chrono::time_point<CLOCK, DURATION> &timeout) const | |
| { | |
| return ev.wait_until(timeout); | |
| } | |
| // event() returns the internal marl event. | |
| const marl::Event &event() { return ev; } | |
| private: | |
| const marl::WaitGroup wg; | |
| const marl::Event ev; | |
| }; | |
| // Chan is a thread-safe FIFO queue of type T. | |
| // Chan takes its name after Golang's chan. | |
| template<typename T> | |
| class Chan | |
| { | |
| public: | |
| Chan(); | |
| // take returns the next item in the chan, blocking until an item is | |
| // available. | |
| T take(); | |
| // tryTake returns a <T, bool> pair. | |
| // If the chan is not empty, then the next item and true are returned. | |
| // If the chan is empty, then a default-initialized T and false are returned. | |
| std::pair<T, bool> tryTake(); | |
| // put places an item into the chan, blocking if the chan is bounded and | |
| // full. | |
| void put(const T &v); | |
| // Returns the number of items in the chan. | |
| // Note: that this may change as soon as the function returns, so should | |
| // only be used for debugging. | |
| size_t count(); | |
| private: | |
| marl::mutex mutex; | |
| std::queue<T> queue GUARDED_BY(mutex); | |
| std::condition_variable added; | |
| }; | |
| template<typename T> | |
| Chan<T>::Chan() | |
| {} | |
| template<typename T> | |
| T Chan<T>::take() | |
| { | |
| marl::lock lock(mutex); | |
| // Wait for item to be added. | |
| lock.wait(added, [this]() REQUIRES(mutex) { return queue.size() > 0; }); | |
| T out = queue.front(); | |
| queue.pop(); | |
| return out; | |
| } | |
| template<typename T> | |
| std::pair<T, bool> Chan<T>::tryTake() | |
| { | |
| marl::lock lock(mutex); | |
| if(queue.size() == 0) | |
| { | |
| return std::make_pair(T{}, false); | |
| } | |
| T out = queue.front(); | |
| queue.pop(); | |
| return std::make_pair(out, true); | |
| } | |
| template<typename T> | |
| void Chan<T>::put(const T &item) | |
| { | |
| marl::lock lock(mutex); | |
| queue.push(item); | |
| added.notify_one(); | |
| } | |
| template<typename T> | |
| size_t Chan<T>::count() | |
| { | |
| marl::lock lock(mutex); | |
| return queue.size(); | |
| } | |
| } // namespace sw | |
| #endif // sw_Synchronization_hpp |