2016-02-10 00:12:00 +01:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
2017-07-16 01:03:42 +02:00
|
|
|
// This source code is licensed under both the GPLv2 (found in the
|
|
|
|
// COPYING file in the root directory) and Apache 2.0 License
|
|
|
|
// (found in the LICENSE.Apache file in the root directory).
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
#ifndef ROCKSDB_LITE
|
|
|
|
|
|
|
|
#include "utilities/transactions/transaction_db_mutex_impl.h"
|
|
|
|
|
|
|
|
#include <chrono>
|
|
|
|
#include <condition_variable>
|
|
|
|
#include <functional>
|
|
|
|
#include <mutex>
|
|
|
|
|
|
|
|
#include "rocksdb/utilities/transaction_db_mutex.h"
|
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
namespace ROCKSDB_NAMESPACE {
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
class TransactionDBMutexImpl : public TransactionDBMutex {
|
|
|
|
public:
|
2016-02-10 03:24:41 +01:00
|
|
|
TransactionDBMutexImpl() {}
|
2019-02-14 22:52:47 +01:00
|
|
|
~TransactionDBMutexImpl() override {}
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
Status Lock() override;
|
|
|
|
|
|
|
|
Status TryLockFor(int64_t timeout_time) override;
|
|
|
|
|
2016-02-10 03:24:41 +01:00
|
|
|
void UnLock() override { mutex_.unlock(); }
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
friend class TransactionDBCondVarImpl;
|
|
|
|
|
|
|
|
private:
|
2016-02-10 03:24:41 +01:00
|
|
|
std::mutex mutex_;
|
2015-09-08 21:36:48 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
class TransactionDBCondVarImpl : public TransactionDBCondVar {
|
|
|
|
public:
|
|
|
|
TransactionDBCondVarImpl() {}
|
2019-02-14 22:52:47 +01:00
|
|
|
~TransactionDBCondVarImpl() override {}
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
Status Wait(std::shared_ptr<TransactionDBMutex> mutex) override;
|
|
|
|
|
|
|
|
Status WaitFor(std::shared_ptr<TransactionDBMutex> mutex,
|
|
|
|
int64_t timeout_time) override;
|
|
|
|
|
|
|
|
void Notify() override { cv_.notify_one(); }
|
|
|
|
|
|
|
|
void NotifyAll() override { cv_.notify_all(); }
|
|
|
|
|
|
|
|
private:
|
2015-12-19 02:08:47 +01:00
|
|
|
std::condition_variable cv_;
|
2015-09-08 21:36:48 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
std::shared_ptr<TransactionDBMutex>
|
|
|
|
TransactionDBMutexFactoryImpl::AllocateMutex() {
|
|
|
|
return std::shared_ptr<TransactionDBMutex>(new TransactionDBMutexImpl());
|
|
|
|
}
|
|
|
|
|
|
|
|
std::shared_ptr<TransactionDBCondVar>
|
|
|
|
TransactionDBMutexFactoryImpl::AllocateCondVar() {
|
|
|
|
return std::shared_ptr<TransactionDBCondVar>(new TransactionDBCondVarImpl());
|
|
|
|
}
|
|
|
|
|
|
|
|
Status TransactionDBMutexImpl::Lock() {
|
2016-02-10 03:24:41 +01:00
|
|
|
mutex_.lock();
|
2015-09-08 21:36:48 +02:00
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
|
|
|
|
Status TransactionDBMutexImpl::TryLockFor(int64_t timeout_time) {
|
|
|
|
bool locked = true;
|
|
|
|
|
2015-12-19 02:08:47 +01:00
|
|
|
if (timeout_time == 0) {
|
2016-02-10 03:24:41 +01:00
|
|
|
locked = mutex_.try_lock();
|
2015-09-08 21:36:48 +02:00
|
|
|
} else {
|
2015-12-19 02:08:47 +01:00
|
|
|
// Previously, this code used a std::timed_mutex. However, this was changed
|
|
|
|
// due to known bugs in gcc versions < 4.9.
|
|
|
|
// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54562
|
|
|
|
//
|
|
|
|
// Since this mutex isn't held for long and only a single mutex is ever
|
|
|
|
// held at a time, it is reasonable to ignore the lock timeout_time here
|
|
|
|
// and only check it when waiting on the condition_variable.
|
2016-02-10 03:24:41 +01:00
|
|
|
mutex_.lock();
|
2015-09-08 21:36:48 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
if (!locked) {
|
|
|
|
// timeout acquiring mutex
|
|
|
|
return Status::TimedOut(Status::SubCode::kMutexTimeout);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
|
|
|
|
Status TransactionDBCondVarImpl::Wait(
|
|
|
|
std::shared_ptr<TransactionDBMutex> mutex) {
|
|
|
|
auto mutex_impl = reinterpret_cast<TransactionDBMutexImpl*>(mutex.get());
|
2015-12-19 02:08:47 +01:00
|
|
|
|
2016-02-10 03:24:41 +01:00
|
|
|
std::unique_lock<std::mutex> lock(mutex_impl->mutex_, std::adopt_lock);
|
|
|
|
cv_.wait(lock);
|
|
|
|
|
|
|
|
// Make sure unique_lock doesn't unlock mutex when it destructs
|
|
|
|
lock.release();
|
2015-12-19 02:08:47 +01:00
|
|
|
|
2015-09-08 21:36:48 +02:00
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
|
|
|
|
Status TransactionDBCondVarImpl::WaitFor(
|
|
|
|
std::shared_ptr<TransactionDBMutex> mutex, int64_t timeout_time) {
|
2016-02-10 03:24:41 +01:00
|
|
|
Status s;
|
|
|
|
|
2015-09-08 21:36:48 +02:00
|
|
|
auto mutex_impl = reinterpret_cast<TransactionDBMutexImpl*>(mutex.get());
|
2016-02-10 03:24:41 +01:00
|
|
|
std::unique_lock<std::mutex> lock(mutex_impl->mutex_, std::adopt_lock);
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
if (timeout_time < 0) {
|
|
|
|
// If timeout is negative, do not use a timeout
|
2016-02-10 03:24:41 +01:00
|
|
|
cv_.wait(lock);
|
2015-09-08 21:36:48 +02:00
|
|
|
} else {
|
|
|
|
auto duration = std::chrono::microseconds(timeout_time);
|
2016-02-10 03:24:41 +01:00
|
|
|
auto cv_status = cv_.wait_for(lock, duration);
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
// Check if the wait stopped due to timing out.
|
|
|
|
if (cv_status == std::cv_status::timeout) {
|
2016-02-10 03:24:41 +01:00
|
|
|
s = Status::TimedOut(Status::SubCode::kMutexTimeout);
|
2015-09-08 21:36:48 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-02-10 03:24:41 +01:00
|
|
|
// Make sure unique_lock doesn't unlock mutex when it destructs
|
|
|
|
lock.release();
|
|
|
|
|
2015-09-08 21:36:48 +02:00
|
|
|
// CV was signaled, or we spuriously woke up (but didn't time out)
|
2016-02-10 03:24:41 +01:00
|
|
|
return s;
|
2015-09-08 21:36:48 +02:00
|
|
|
}
|
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
} // namespace ROCKSDB_NAMESPACE
|
2015-09-08 21:36:48 +02:00
|
|
|
|
|
|
|
#endif // ROCKSDB_LITE
|