// 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 <memory>
#include <utility>

#include "gtest/gtest.h"
#include "src/dawn/common/Mutex.h"

namespace dawn {
namespace {

#if defined(DAWN_ENABLE_ASSERTS)
constexpr bool kAssertEnabled = true;
#else
constexpr bool kAssertEnabled = false;
#endif

class MutexTest : public ::testing::Test {
  protected:
    void SetUp() override {
        // IsLockedByCurrentThread() requires DAWN_ENABLE_ASSERTS flag enabled.
        if (!kAssertEnabled) {
            GTEST_SKIP() << "DAWN_ENABLE_ASSERTS is not enabled";
        }
    }

    Mutex mMutex;
};

// Test AutoLock automatically locks the mutex and unlocks it when out of scope.
TEST_F(MutexTest, AutoLock) {
    {
        Mutex::AutoLock autoLock(&mMutex);
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    }
    EXPECT_FALSE(mMutex.IsLockedByCurrentThread());
}

// Test AutoLock move constructor transfers ownership of the lock.
TEST_F(MutexTest, AutoLockMoveConstructor) {
    {
        auto autoLock1 = std::make_unique<Mutex::AutoLock>(&mMutex);
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());

        // Move autoLock1 to autoLock2
        Mutex::AutoLock autoLock2(std::move(*autoLock1));

        // autoLock1 should no longer own the lock, so destroying it shouldn't unlock
        autoLock1.reset();
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    }
    // autoLock2 is destroyed here, mutex should be unlocked
    EXPECT_FALSE(mMutex.IsLockedByCurrentThread());
}

// Test AutoLock move assignment transfers ownership of the lock.
TEST_F(MutexTest, AutoLockMoveAssignment) {
    {
        auto autoLock1 = std::make_unique<Mutex::AutoLock>(&mMutex);
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());

        // Create a default-constructed lock (not holding any mutex)
        Mutex::AutoLock autoLock2;

        // Move assign autoLock1 to autoLock2
        autoLock2 = std::move(*autoLock1);

        // autoLock1 should no longer own the lock, so destroying it shouldn't unlock
        autoLock1.reset();

        // autoLock2 should now own the lock
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    }
    // autoLock2 is destroyed here, mutex should be unlocked
    EXPECT_FALSE(mMutex.IsLockedByCurrentThread());
}

// Test AutoLock move assignment releases the old lock before acquiring the new one.
TEST_F(MutexTest, AutoLockMoveAssignmentReleasesOldLock) {
    Mutex mutex2;
    {
        auto autoLock1 = std::make_unique<Mutex::AutoLock>(&mMutex);
        auto autoLock2 = std::make_unique<Mutex::AutoLock>(&mutex2);

        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
        EXPECT_TRUE(mutex2.IsLockedByCurrentThread());

        // Move assign autoLock1 to autoLock2
        // This should release mutex2 and acquire ownership of mMutex
        *autoLock2 = std::move(*autoLock1);

        // mutex2 should now be unlocked (old lock was released)
        EXPECT_FALSE(mutex2.IsLockedByCurrentThread());

        // mMutex should still be locked (autoLock2 now owns it)
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());

        // Destroy autoLock1 (should be safe, no longer owns anything)
        autoLock1.reset();
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    }
    // autoLock2 is destroyed here, mMutex should be unlocked
    EXPECT_FALSE(mMutex.IsLockedByCurrentThread());
    EXPECT_FALSE(mutex2.IsLockedByCurrentThread());
}

// Test AutoLockAndHoldRef will keep the mutex alive
TEST_F(MutexTest, AutoLockAndHoldRef) {
    auto* mutex = new Mutex();
    EXPECT_EQ(mutex->GetRefCountForTesting(), 1u);
    {
        Mutex::AutoLockAndHoldRef autoLock(mutex);
        EXPECT_TRUE(mutex->IsLockedByCurrentThread());
        EXPECT_EQ(mutex->GetRefCountForTesting(), 2u);

        mutex->Release();
        EXPECT_EQ(mutex->GetRefCountForTesting(), 1u);
    }
}

// Name "*DeathTest" per https://google.github.io/googletest/advanced.html#death-test-naming
using MutexDeathTest = MutexTest;

// Double AutoLock calls should be cause assertion failure.
TEST_F(MutexDeathTest, DoubleLockCalls) {
    Mutex::AutoLock autoLock1(&mMutex);
    EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    ASSERT_DEATH_IF_SUPPORTED({ Mutex::AutoLock autoLock2(&mMutex); }, "");
}

class RecursiveMutexTest : public ::testing::Test {
  protected:
    void SetUp() override {
        // IsLockedByCurrentThread() requires DAWN_ENABLE_ASSERTS flag enabled.
        if (!kAssertEnabled) {
            GTEST_SKIP() << "DAWN_ENABLE_ASSERTS is not enabled";
        }
    }

    RecursiveMutex mMutex;
};

// Test AutoLock automatically locks the mutex and unlocks it when out of scope.
TEST_F(RecursiveMutexTest, AutoLock) {
    {
        RecursiveMutex::AutoLock autoLock(&mMutex);
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    }
    EXPECT_FALSE(mMutex.IsLockedByCurrentThread());
}

// Test that recursive AutoLock in same thread is valid.
TEST_F(RecursiveMutexTest, RecursiveAutoLock) {
    {
        RecursiveMutex::AutoLock autoLock1(&mMutex);
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
        RecursiveMutex::AutoLock autoLock2(&mMutex);
        EXPECT_TRUE(mMutex.IsLockedByCurrentThread());
    }
    EXPECT_FALSE(mMutex.IsLockedByCurrentThread());
}

}  // anonymous namespace
}  // namespace dawn