ccls/src/threaded_queue.h

246 lines
6.2 KiB
C
Raw Normal View History

2017-03-25 19:18:25 +00:00
#pragma once
2017-12-28 16:55:46 +00:00
#include "utils.h"
2017-09-22 01:14:57 +00:00
#include "work_thread.h"
2017-12-28 16:55:46 +00:00
#include <optional.h>
2017-03-25 19:18:25 +00:00
#include <algorithm>
#include <atomic>
2017-03-25 19:18:25 +00:00
#include <condition_variable>
#include <deque>
2017-09-22 01:14:57 +00:00
#include <mutex>
#include <tuple>
2017-09-22 01:14:57 +00:00
2017-03-25 20:32:44 +00:00
// TODO: cleanup includes.
struct BaseThreadQueue {
virtual bool IsEmpty() = 0;
virtual ~BaseThreadQueue() = default;
};
// TODO Remove after migration to C++14
namespace {
template <size_t... Is>
struct index_sequence {};
template <size_t I, size_t... Is>
struct make_index_sequence {
2018-01-11 02:43:01 +00:00
using type = typename make_index_sequence<I - 1, I - 1, Is...>::type;
};
template <size_t... Is>
struct make_index_sequence<0, Is...> {
using type = index_sequence<Is...>;
};
2018-01-11 02:43:01 +00:00
} // namespace
// std::lock accepts two or more arguments. We define an overload for one
// argument.
namespace std {
template <typename Lockable>
void lock(Lockable& l) {
l.lock();
}
2018-01-11 02:43:01 +00:00
} // namespace std
template <typename... Queue>
struct MultiQueueLock {
2018-01-11 02:43:01 +00:00
MultiQueueLock(Queue... lockable) : tuple_{lockable...} { lock(); }
~MultiQueueLock() { unlock(); }
void lock() {
lock_impl(typename make_index_sequence<sizeof...(Queue)>::type{});
}
void unlock() {
unlock_impl(typename make_index_sequence<sizeof...(Queue)>::type{});
}
private:
template <size_t... Is>
void lock_impl(index_sequence<Is...>) {
std::lock(std::get<Is>(tuple_)->mutex_...);
}
template <size_t... Is>
void unlock_impl(index_sequence<Is...>) {
(void)std::initializer_list<int>{
(std::get<Is>(tuple_)->mutex_.unlock(), 0)...};
}
std::tuple<Queue...> tuple_;
};
struct MultiQueueWaiter {
std::condition_variable_any cv;
static bool HasState(std::initializer_list<BaseThreadQueue*> queues) {
for (BaseThreadQueue* queue : queues) {
if (!queue->IsEmpty())
return true;
}
return false;
}
template <typename... BaseThreadQueue>
void Wait(BaseThreadQueue... queues) {
MultiQueueLock<BaseThreadQueue...> l(queues...);
while (!HasState({queues...}))
cv.wait(l);
}
};
2017-03-25 19:18:25 +00:00
// A threadsafe-queue. http://stackoverflow.com/a/16075550
template <class T>
struct ThreadedQueue : public BaseThreadQueue {
2017-09-22 01:14:57 +00:00
public:
2017-10-31 19:37:52 +00:00
ThreadedQueue() : total_count_(0) {
owned_waiter_ = MakeUnique<MultiQueueWaiter>();
waiter_ = owned_waiter_.get();
owned_waiter1_ = MakeUnique<MultiQueueWaiter>();
waiter1_ = owned_waiter1_.get();
}
// TODO remove waiter1 after split of on_indexed
explicit ThreadedQueue(MultiQueueWaiter* waiter,
MultiQueueWaiter* waiter1 = nullptr)
: total_count_(0), waiter_(waiter), waiter1_(waiter1) {}
2017-10-31 19:37:52 +00:00
// Returns the number of elements in the queue. This is lock-free.
size_t Size() const { return total_count_; }
2017-10-25 07:12:11 +00:00
2018-02-05 03:38:57 +00:00
// Add an element to the queue.
template <void (std::deque<T>::*push)(T&&)>
void Push(T&& t, bool priority) {
std::lock_guard<std::mutex> lock(mutex_);
2018-02-05 03:38:57 +00:00
if (priority)
(priority_.*push)(std::move(t));
2018-02-05 03:38:57 +00:00
else
(queue_.*push)(std::move(t));
++total_count_;
waiter_->cv.notify_one();
if (waiter1_)
waiter1_->cv.notify_one();
}
void PushFront(T&& t, bool priority = false) {
Push<&std::deque<T>::push_front>(std::move(t), priority);
}
void PushBack(T&& t, bool priority = false) {
Push<&std::deque<T>::push_back>(std::move(t), priority);
2017-03-25 19:18:25 +00:00
}
// Add a set of elements to the queue.
2018-02-05 03:38:57 +00:00
void EnqueueAll(std::vector<T>&& elements, bool priority = false) {
2018-01-18 07:59:48 +00:00
if (elements.empty())
return;
std::lock_guard<std::mutex> lock(mutex_);
2017-10-31 19:37:52 +00:00
total_count_ += elements.size();
for (T& element : elements) {
2018-02-05 03:38:57 +00:00
if (priority)
priority_.push_back(std::move(element));
2018-02-05 03:38:57 +00:00
else
queue_.push_back(std::move(element));
}
elements.clear();
2017-10-31 19:37:52 +00:00
waiter_->cv.notify_all();
}
// Return all elements in the queue.
std::vector<T> DequeueAll() {
std::lock_guard<std::mutex> lock(mutex_);
2017-10-31 19:37:52 +00:00
total_count_ = 0;
std::vector<T> result;
result.reserve(priority_.size() + queue_.size());
while (!priority_.empty()) {
result.emplace_back(std::move(priority_.front()));
priority_.pop_front();
}
while (!queue_.empty()) {
result.emplace_back(std::move(queue_.front()));
queue_.pop_front();
}
2017-10-31 19:37:52 +00:00
return result;
}
2017-10-31 19:37:52 +00:00
// Returns true if the queue is empty. This is lock-free.
bool IsEmpty() { return total_count_ == 0; }
// Get the first element from the queue. Blocks until one is available.
T Dequeue() {
2017-03-25 19:18:25 +00:00
std::unique_lock<std::mutex> lock(mutex_);
2017-09-22 01:14:57 +00:00
waiter_->cv.wait(lock,
[&]() { return !priority_.empty() || !queue_.empty(); });
2017-07-29 00:07:27 +00:00
auto execute = [&](std::deque<T>* q) {
2017-10-31 19:37:52 +00:00
auto val = std::move(q->front());
q->pop_front();
--total_count_;
2017-10-31 19:37:52 +00:00
return std::move(val);
};
if (!priority_.empty())
return execute(&priority_);
return execute(&queue_);
2017-03-25 19:18:25 +00:00
}
2017-03-25 20:32:44 +00:00
// Get the first element from the queue without blocking. Returns a null
// value if the queue is empty.
optional<T> TryPopFrontHelper(int which) {
std::lock_guard<std::mutex> lock(mutex_);
auto execute = [&](std::deque<T>* q) {
2017-10-31 19:37:52 +00:00
auto val = std::move(q->front());
q->pop_front();
--total_count_;
2017-10-31 19:37:52 +00:00
return std::move(val);
};
2018-02-05 03:38:57 +00:00
if (which & 2 && priority_.size())
2017-10-31 19:37:52 +00:00
return execute(&priority_);
2018-02-05 03:38:57 +00:00
if (which & 1 && queue_.size())
return execute(&queue_);
return nullopt;
2017-03-25 19:18:25 +00:00
}
2018-02-22 07:34:32 +00:00
optional<T> TryPopFront() { return TryPopFrontHelper(3); }
optional<T> TryPopBack() {
std::lock_guard<std::mutex> lock(mutex_);
auto execute = [&](std::deque<T>* q) {
auto val = std::move(q->back());
q->pop_back();
--total_count_;
return std::move(val);
};
// Reversed
if (queue_.size())
return execute(&queue_);
if (priority_.size())
return execute(&priority_);
return nullopt;
2018-02-05 03:38:57 +00:00
}
2018-02-22 07:34:32 +00:00
optional<T> TryPopFrontLow() { return TryPopFrontHelper(1); }
2018-02-05 03:38:57 +00:00
2018-02-22 07:34:32 +00:00
optional<T> TryPopFrontHigh() { return TryPopFrontHelper(2); }
2017-09-13 03:35:27 +00:00
mutable std::mutex mutex_;
2017-03-25 20:32:44 +00:00
private:
2017-10-31 19:37:52 +00:00
std::atomic<int> total_count_;
std::deque<T> priority_;
std::deque<T> queue_;
MultiQueueWaiter* waiter_;
std::unique_ptr<MultiQueueWaiter> owned_waiter_;
// TODO remove waiter1 after split of on_indexed
MultiQueueWaiter* waiter1_;
std::unique_ptr<MultiQueueWaiter> owned_waiter1_;
2017-03-25 19:18:25 +00:00
};