| // Copyright 2023 The Dawn & Tint Authors | |
| // | |
| // Redistribution and use in source and binary forms, with or without | |
| // modification, are permitted provided that the following conditions are met: | |
| // | |
| // 1. Redistributions of source code must retain the above copyright notice, this | |
| // list of conditions and the following disclaimer. | |
| // | |
| // 2. Redistributions in binary form must reproduce the above copyright notice, | |
| // this list of conditions and the following disclaimer in the documentation | |
| // and/or other materials provided with the distribution. | |
| // | |
| // 3. Neither the name of the copyright holder nor the names of its | |
| // contributors may be used to endorse or promote products derived from | |
| // this software without specific prior written permission. | |
| // | |
| // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" | |
| // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |
| // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | |
| // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE | |
| // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | |
| // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR | |
| // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER | |
| // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, | |
| // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
| // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
| #include <string> | |
| #include <thread> | |
| #include <type_traits> | |
| #include <utility> | |
| #include "dawn/common/MutexProtected.h" | |
| #include "dawn/common/Ref.h" | |
| #include "dawn/common/RefCounted.h" | |
| #include "gtest/gtest.h" | |
| namespace dawn { | |
| namespace { | |
| using ::testing::Test; | |
| using ::testing::Types; | |
| // Simple thread-unsafe counter class. | |
| class CounterT : public RefCounted { | |
| public: | |
| CounterT() = default; | |
| explicit CounterT(int count) : mCount(count) {} | |
| int Get() const { return mCount; } | |
| void Increment() { mCount++; } | |
| void Decrement() { mCount--; } | |
| private: | |
| int mCount = 0; | |
| }; | |
| template <typename T> | |
| MutexProtected<T> CreateDefault() { | |
| if constexpr (IsRef<T>::value) { | |
| return MutexProtected<T>(AcquireRef(new typename UnwrapRef<T>::type())); | |
| } else { | |
| return MutexProtected<T>(); | |
| } | |
| } | |
| template <typename T, typename... Args> | |
| MutexProtected<T> CreateCustom(Args&&... args) { | |
| if constexpr (IsRef<T>::value) { | |
| return MutexProtected<T>( | |
| AcquireRef(new typename UnwrapRef<T>::type(std::forward<Args>(args)...))); | |
| } else { | |
| return MutexProtected<T>(std::forward<Args>(args)...); | |
| } | |
| } | |
| template <typename T> | |
| class MutexProtectedTest : public Test {}; | |
| class MutexProtectedTestTypeNames { | |
| public: | |
| template <typename T> | |
| static std::string GetName(int) { | |
| if (std::is_same<T, CounterT>()) { | |
| return "CounterT"; | |
| } | |
| if (std::is_same<T, Ref<CounterT>>()) { | |
| return "Ref<CounterT>"; | |
| } | |
| } | |
| }; | |
| using MutexProtectedTestTypes = Types<CounterT, Ref<CounterT>>; | |
| TYPED_TEST_SUITE(MutexProtectedTest, MutexProtectedTestTypes, MutexProtectedTestTypeNames); | |
| TYPED_TEST(MutexProtectedTest, DefaultCtor) { | |
| static constexpr int kIncrementCount = 100; | |
| static constexpr int kDecrementCount = 50; | |
| MutexProtected<TypeParam> counter = CreateDefault<TypeParam>(); | |
| auto increment = [&] { | |
| for (uint32_t i = 0; i < kIncrementCount; i++) { | |
| counter->Increment(); | |
| } | |
| }; | |
| auto useIncrement = [&] { | |
| for (uint32_t i = 0; i < kIncrementCount; i++) { | |
| counter.Use([](auto c) { c->Increment(); }); | |
| } | |
| }; | |
| auto decrement = [&] { | |
| for (uint32_t i = 0; i < kDecrementCount; i++) { | |
| counter->Decrement(); | |
| } | |
| }; | |
| auto useDecrement = [&] { | |
| for (uint32_t i = 0; i < kDecrementCount; i++) { | |
| counter.Use([](auto c) { c->Decrement(); }); | |
| } | |
| }; | |
| std::thread incrementThread(increment); | |
| std::thread useIncrementThread(useIncrement); | |
| std::thread decrementThread(decrement); | |
| std::thread useDecrementThread(useDecrement); | |
| incrementThread.join(); | |
| useIncrementThread.join(); | |
| decrementThread.join(); | |
| useDecrementThread.join(); | |
| EXPECT_EQ(counter->Get(), 2 * (kIncrementCount - kDecrementCount)); | |
| } | |
| TYPED_TEST(MutexProtectedTest, CustomCtor) { | |
| static constexpr int kIncrementCount = 100; | |
| static constexpr int kDecrementCount = 50; | |
| static constexpr int kStartingcount = -100; | |
| MutexProtected<TypeParam> counter = CreateCustom<TypeParam>(kStartingcount); | |
| auto increment = [&] { | |
| for (uint32_t i = 0; i < kIncrementCount; i++) { | |
| counter->Increment(); | |
| } | |
| }; | |
| auto useIncrement = [&] { | |
| for (uint32_t i = 0; i < kIncrementCount; i++) { | |
| counter.Use([](auto c) { c->Increment(); }); | |
| } | |
| }; | |
| auto decrement = [&] { | |
| for (uint32_t i = 0; i < kDecrementCount; i++) { | |
| counter->Decrement(); | |
| } | |
| }; | |
| auto useDecrement = [&] { | |
| for (uint32_t i = 0; i < kDecrementCount; i++) { | |
| counter.Use([](auto c) { c->Decrement(); }); | |
| } | |
| }; | |
| std::thread incrementThread(increment); | |
| std::thread useIncrementThread(useIncrement); | |
| std::thread decrementThread(decrement); | |
| std::thread useDecrementThread(useDecrement); | |
| incrementThread.join(); | |
| useIncrementThread.join(); | |
| decrementThread.join(); | |
| useDecrementThread.join(); | |
| EXPECT_EQ(counter->Get(), kStartingcount + 2 * (kIncrementCount - kDecrementCount)); | |
| } | |
| TYPED_TEST(MutexProtectedTest, MultipleProtected) { | |
| static constexpr int kIncrementCount = 100; | |
| MutexProtected<TypeParam> c1 = CreateDefault<TypeParam>(); | |
| MutexProtected<TypeParam> c2 = CreateDefault<TypeParam>(); | |
| auto increment = [&] { | |
| for (uint32_t i = 0; i < kIncrementCount; i++) { | |
| c1.Use([&](auto x1) { | |
| c2.Use([&](auto x2) { | |
| x1->Increment(); | |
| x2->Increment(); | |
| }); | |
| }); | |
| } | |
| }; | |
| auto validate = [&] { | |
| for (uint32_t i = 0; i < kIncrementCount; i++) { | |
| c1.Use([&](auto x1) { c2.Use([&](auto x2) { EXPECT_EQ(x1->Get(), x2->Get()); }); }); | |
| } | |
| }; | |
| std::thread incrementThread(increment); | |
| std::thread validateThread(validate); | |
| incrementThread.join(); | |
| validateThread.join(); | |
| } | |
| } // anonymous namespace | |
| } // namespace dawn | |
| // Special compilation tests that are only enabled when experimental headers are available. | |
| #if __has_include(<experimental/type_traits>) | |
| #include <experimental/type_traits> | |
| namespace dawn { | |
| namespace { | |
| // MutexProtected types are only copyable when they are wrapping a Ref type. | |
| template <typename T> | |
| using mutexprotected_copyable_t = | |
| decltype(std::declval<MutexProtected<T>&>() = std::declval<const MutexProtected<T>&>()); | |
| TYPED_TEST(MutexProtectedTest, Copyable) { | |
| static_assert(IsRef<TypeParam>::value == | |
| std::experimental::is_detected_v<mutexprotected_copyable_t, TypeParam>, | |
| "Copy assignment is only allowed when the wrapping type is a Ref."); | |
| } | |
| } // anonymous namespace | |
| } // namespace dawn | |
| #endif |