2018-12-31 20:04:05 +01:00
|
|
|
//
|
2020-01-01 02:23:48 +01:00
|
|
|
// Copyright Aliaksei Levin (levlam@telegram.org), Arseny Smirnov (arseny30@gmail.com) 2014-2020
|
2018-12-31 20:04:05 +01:00
|
|
|
//
|
|
|
|
// Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
//
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "td/utils/common.h"
|
2020-06-24 13:47:36 +02:00
|
|
|
#include "td/utils/logging.h"
|
2019-07-21 20:07:07 +02:00
|
|
|
#include "td/utils/port/thread.h"
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2020-06-24 13:47:36 +02:00
|
|
|
#include <algorithm>
|
2020-06-26 01:24:13 +02:00
|
|
|
#include <atomic>
|
2018-12-31 20:04:05 +01:00
|
|
|
#include <condition_variable>
|
|
|
|
#include <mutex>
|
|
|
|
|
|
|
|
namespace td {
|
2018-02-12 09:40:52 +01:00
|
|
|
|
2020-06-24 13:47:36 +02:00
|
|
|
class MpmcEagerWaiter {
|
2018-12-31 20:04:05 +01:00
|
|
|
public:
|
2020-06-24 13:47:36 +02:00
|
|
|
struct Slot {
|
|
|
|
private:
|
|
|
|
friend class MpmcEagerWaiter;
|
|
|
|
int yields;
|
|
|
|
uint32 worker_id;
|
|
|
|
};
|
|
|
|
void init_slot(Slot &slot, uint32 worker_id) {
|
|
|
|
slot.yields = 0;
|
|
|
|
slot.worker_id = worker_id;
|
|
|
|
}
|
|
|
|
void wait(Slot &slot) {
|
|
|
|
if (slot.yields < RoundsTillSleepy) {
|
2018-12-31 20:04:05 +01:00
|
|
|
td::this_thread::yield();
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields++;
|
|
|
|
return;
|
|
|
|
} else if (slot.yields == RoundsTillSleepy) {
|
2018-12-31 20:04:05 +01:00
|
|
|
auto state = state_.load(std::memory_order_relaxed);
|
|
|
|
if (!State::has_worker(state)) {
|
2020-06-24 13:47:36 +02:00
|
|
|
auto new_state = State::with_worker(state, slot.worker_id);
|
2019-07-06 13:29:15 +02:00
|
|
|
if (state_.compare_exchange_strong(state, new_state, std::memory_order_acq_rel)) {
|
2018-12-31 20:04:05 +01:00
|
|
|
td::this_thread::yield();
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields++;
|
|
|
|
return;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
if (state == State::awake()) {
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields = 0;
|
|
|
|
return;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
td::this_thread::yield();
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields = 0;
|
|
|
|
return;
|
|
|
|
} else if (slot.yields < RoundsTillAsleep) {
|
2018-12-31 20:04:05 +01:00
|
|
|
auto state = state_.load(std::memory_order_acquire);
|
2020-06-24 13:47:36 +02:00
|
|
|
if (State::still_sleepy(state, slot.worker_id)) {
|
2018-12-31 20:04:05 +01:00
|
|
|
td::this_thread::yield();
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields++;
|
|
|
|
return;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields = 0;
|
|
|
|
return;
|
2018-12-31 20:04:05 +01:00
|
|
|
} else {
|
|
|
|
auto state = state_.load(std::memory_order_acquire);
|
2020-06-24 13:47:36 +02:00
|
|
|
if (State::still_sleepy(state, slot.worker_id)) {
|
2018-12-31 20:04:05 +01:00
|
|
|
std::unique_lock<std::mutex> lock(mutex_);
|
|
|
|
if (state_.compare_exchange_strong(state, State::asleep(), std::memory_order_acq_rel)) {
|
|
|
|
condition_variable_.wait(lock);
|
|
|
|
}
|
|
|
|
}
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields = 0;
|
|
|
|
return;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-06-24 13:47:36 +02:00
|
|
|
void stop_wait(Slot &slot) {
|
|
|
|
if (slot.yields > RoundsTillSleepy) {
|
2018-12-31 20:04:05 +01:00
|
|
|
notify_cold();
|
|
|
|
}
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.yields = 0;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
void close() {
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void notify() {
|
2019-07-06 13:29:15 +02:00
|
|
|
std::atomic_thread_fence(std::memory_order_seq_cst);
|
2018-12-31 20:04:05 +01:00
|
|
|
if (state_.load(std::memory_order_acquire) == State::awake()) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
notify_cold();
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
struct State {
|
|
|
|
static constexpr uint32 awake() {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
static constexpr uint32 asleep() {
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
static bool is_asleep(uint32 state) {
|
|
|
|
return (state & 1) != 0;
|
|
|
|
}
|
|
|
|
static bool has_worker(uint32 state) {
|
|
|
|
return (state >> 1) != 0;
|
|
|
|
}
|
|
|
|
static int32 with_worker(uint32 state, uint32 worker) {
|
|
|
|
return state | ((worker + 1) << 1);
|
|
|
|
}
|
|
|
|
static bool still_sleepy(uint32 state, uint32 worker) {
|
|
|
|
return (state >> 1) == (worker + 1);
|
|
|
|
}
|
|
|
|
};
|
2020-06-24 13:47:36 +02:00
|
|
|
enum { RoundsTillSleepy = 32, RoundsTillAsleep = 64 };
|
|
|
|
// enum { RoundsTillSleepy = 1, RoundsTillAsleep = 2 };
|
2018-12-31 20:04:05 +01:00
|
|
|
std::atomic<uint32> state_{State::awake()};
|
|
|
|
std::mutex mutex_;
|
|
|
|
std::condition_variable condition_variable_;
|
|
|
|
|
|
|
|
void notify_cold() {
|
|
|
|
auto old_state = state_.exchange(State::awake(), std::memory_order_release);
|
|
|
|
if (State::is_asleep(old_state)) {
|
|
|
|
std::lock_guard<std::mutex> guard(mutex_);
|
|
|
|
condition_variable_.notify_all();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
2018-02-12 09:40:52 +01:00
|
|
|
|
2020-06-24 13:47:36 +02:00
|
|
|
class MpmcSleepyWaiter {
|
|
|
|
public:
|
|
|
|
struct Slot {
|
|
|
|
private:
|
|
|
|
friend class MpmcSleepyWaiter;
|
|
|
|
|
|
|
|
enum State { Search, Work, Sleep } state_{Work};
|
|
|
|
|
|
|
|
void park() {
|
|
|
|
std::unique_lock<std::mutex> guard(mutex_);
|
|
|
|
condition_variable_.wait(guard, [&] { return unpark_flag_; });
|
|
|
|
unpark_flag_ = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool cancel_park() {
|
|
|
|
auto res = unpark_flag_;
|
|
|
|
unpark_flag_ = false;
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
void unpark() {
|
2020-06-26 01:24:13 +02:00
|
|
|
//TODO: try to unlock guard before notify_all
|
2020-06-24 13:47:36 +02:00
|
|
|
std::unique_lock<std::mutex> guard(mutex_);
|
|
|
|
unpark_flag_ = true;
|
|
|
|
condition_variable_.notify_all();
|
|
|
|
}
|
|
|
|
|
|
|
|
std::mutex mutex_;
|
|
|
|
std::condition_variable condition_variable_;
|
|
|
|
bool unpark_flag_{false}; // TODO: move out of lock
|
|
|
|
int yield_cnt{0};
|
|
|
|
int32 worker_id{0};
|
2020-07-23 20:47:34 +02:00
|
|
|
|
|
|
|
public:
|
|
|
|
char padding[TD_CONCURRENCY_PAD];
|
2020-06-24 13:47:36 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
// There are a lot of workers
|
|
|
|
// Each has a slot
|
|
|
|
//
|
|
|
|
// States of a worker:
|
|
|
|
// - searching for work | Search
|
|
|
|
// - processing work | Work
|
|
|
|
// - sleeping | Sleep
|
|
|
|
//
|
|
|
|
// When somebody adds a work it calls notify
|
|
|
|
//
|
|
|
|
// notify
|
|
|
|
// if there are workers in search phase do nothing.
|
|
|
|
// if all workers are awake do nothing
|
|
|
|
// otherwise wake some random worker
|
|
|
|
//
|
|
|
|
// Initially all workers are in Search mode.
|
|
|
|
//
|
|
|
|
// When worker found nothing it may try to call wait.
|
|
|
|
// This may put it in a Sleep for some time.
|
2020-06-26 01:24:13 +02:00
|
|
|
// After wait returns worker will be in Search state again.
|
2020-06-24 13:47:36 +02:00
|
|
|
//
|
|
|
|
// Suppose worker found a work and ready to process it.
|
2020-06-26 01:24:13 +02:00
|
|
|
// Then it may call stop_wait. This will cause transition from
|
2020-06-24 13:47:36 +02:00
|
|
|
// Search to Work state.
|
|
|
|
//
|
|
|
|
// Main invariant:
|
|
|
|
// After notify is called there should be at least on worker in Search or Work state.
|
|
|
|
// If possible - in Search state
|
|
|
|
//
|
|
|
|
|
|
|
|
void init_slot(Slot &slot, int32 worker_id) {
|
|
|
|
slot.state_ = Slot::State::Work;
|
|
|
|
slot.unpark_flag_ = false;
|
|
|
|
slot.worker_id = worker_id;
|
|
|
|
VLOG(waiter) << "Init slot " << worker_id;
|
|
|
|
}
|
|
|
|
|
2020-06-26 01:24:13 +02:00
|
|
|
static constexpr int VERBOSITY_NAME(waiter) = VERBOSITY_NAME(DEBUG) + 10;
|
2020-06-24 13:47:36 +02:00
|
|
|
void wait(Slot &slot) {
|
|
|
|
if (slot.state_ == Slot::State::Work) {
|
|
|
|
VLOG(waiter) << "Work -> Search";
|
|
|
|
state_++;
|
|
|
|
slot.state_ = Slot::State::Search;
|
|
|
|
slot.yield_cnt = 0;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (slot.state_ == Slot::Search) {
|
|
|
|
if (slot.yield_cnt++ < 10 && false) {
|
|
|
|
td::this_thread::yield();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
slot.state_ = Slot::State::Sleep;
|
|
|
|
std::unique_lock<std::mutex> guard(sleepers_mutex_);
|
|
|
|
auto state_view = StateView(state_.fetch_add((1 << PARKING_SHIFT) - 1));
|
|
|
|
CHECK(state_view.searching_count != 0);
|
|
|
|
bool should_search = state_view.searching_count == 1;
|
|
|
|
if (closed_) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
sleepers_.push_back(&slot);
|
|
|
|
LOG_CHECK(slot.unpark_flag_ == false) << slot.worker_id;
|
2020-06-26 01:24:13 +02:00
|
|
|
VLOG(waiter) << "Add to sleepers " << slot.worker_id;
|
2020-06-24 13:47:36 +02:00
|
|
|
//guard.unlock();
|
|
|
|
if (should_search) {
|
2020-06-26 01:24:13 +02:00
|
|
|
VLOG(waiter) << "Search -> Search once, then Sleep ";
|
2020-06-24 13:47:36 +02:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
VLOG(waiter) << "Search -> Sleep " << state_view.searching_count << " " << state_view.parked_count;
|
|
|
|
}
|
|
|
|
|
|
|
|
CHECK(slot.state_ == Slot::State::Sleep);
|
|
|
|
VLOG(waiter) << "Park " << slot.worker_id;
|
|
|
|
slot.park();
|
|
|
|
VLOG(waiter) << "Resume " << slot.worker_id;
|
|
|
|
slot.state_ = Slot::State::Search;
|
|
|
|
slot.yield_cnt = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void stop_wait(Slot &slot) {
|
|
|
|
if (slot.state_ == Slot::State::Work) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (slot.state_ == Slot::State::Sleep) {
|
2020-06-26 01:24:13 +02:00
|
|
|
VLOG(waiter) << "Search once, then Sleep -> Work/Search " << slot.worker_id;
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.state_ = Slot::State::Work;
|
|
|
|
std::unique_lock<std::mutex> guard(sleepers_mutex_);
|
|
|
|
auto it = std::find(sleepers_.begin(), sleepers_.end(), &slot);
|
|
|
|
if (it != sleepers_.end()) {
|
|
|
|
sleepers_.erase(it);
|
2020-06-26 01:24:13 +02:00
|
|
|
VLOG(waiter) << "Remove from sleepers " << slot.worker_id;
|
2020-06-24 13:47:36 +02:00
|
|
|
state_.fetch_sub((1 << PARKING_SHIFT) - 1);
|
|
|
|
guard.unlock();
|
|
|
|
} else {
|
|
|
|
guard.unlock();
|
2020-06-26 01:24:13 +02:00
|
|
|
VLOG(waiter) << "Not in sleepers" << slot.worker_id;
|
2020-06-24 13:47:36 +02:00
|
|
|
CHECK(slot.cancel_park());
|
|
|
|
}
|
|
|
|
}
|
2020-06-26 01:24:13 +02:00
|
|
|
VLOG(waiter) << "Search once, then Sleep -> Work " << slot.worker_id;
|
2020-06-24 13:47:36 +02:00
|
|
|
slot.state_ = Slot::State::Search;
|
|
|
|
auto state_view = StateView(state_.fetch_sub(1));
|
|
|
|
CHECK(state_view.searching_count != 0);
|
|
|
|
CHECK(state_view.searching_count < 1000);
|
|
|
|
bool should_notify = state_view.searching_count == 1;
|
|
|
|
if (should_notify) {
|
|
|
|
VLOG(waiter) << "Notify others";
|
|
|
|
notify();
|
|
|
|
}
|
|
|
|
VLOG(waiter) << "Search -> Work ";
|
|
|
|
slot.state_ = Slot::State::Work;
|
|
|
|
}
|
|
|
|
|
|
|
|
void notify() {
|
|
|
|
auto view = StateView(state_.load());
|
|
|
|
//LOG(ERROR) << view.parked_count;
|
|
|
|
if (view.searching_count > 0 || view.parked_count == 0) {
|
|
|
|
VLOG(waiter) << "Ingore notify: " << view.searching_count << " " << view.parked_count;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
VLOG(waiter) << "Notify: " << view.searching_count << " " << view.parked_count;
|
|
|
|
std::unique_lock<std::mutex> guard(sleepers_mutex_);
|
|
|
|
|
|
|
|
view = StateView(state_.load());
|
|
|
|
if (view.searching_count > 0) {
|
|
|
|
VLOG(waiter) << "Skip notify: got searching";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
CHECK(view.parked_count == static_cast<int>(sleepers_.size()));
|
|
|
|
if (sleepers_.empty()) {
|
|
|
|
VLOG(waiter) << "Skip notify: no sleepers";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto sleeper = sleepers_.back();
|
|
|
|
sleepers_.pop_back();
|
|
|
|
state_.fetch_sub((1 << PARKING_SHIFT) - 1);
|
|
|
|
VLOG(waiter) << "Unpark " << sleeper->worker_id;
|
|
|
|
sleeper->unpark();
|
|
|
|
}
|
|
|
|
|
|
|
|
void close() {
|
|
|
|
StateView state(state_.load());
|
|
|
|
LOG_CHECK(state.parked_count == 0) << state.parked_count;
|
|
|
|
LOG_CHECK(state.searching_count == 0) << state.searching_count;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2020-06-26 01:24:13 +02:00
|
|
|
static constexpr int32 PARKING_SHIFT = 16;
|
2020-06-24 13:47:36 +02:00
|
|
|
struct StateView {
|
2020-06-26 01:24:13 +02:00
|
|
|
int32 parked_count;
|
|
|
|
int32 searching_count;
|
2020-06-24 13:47:36 +02:00
|
|
|
explicit StateView(int32 x) {
|
|
|
|
parked_count = x >> PARKING_SHIFT;
|
|
|
|
searching_count = x & ((1 << PARKING_SHIFT) - 1);
|
|
|
|
}
|
|
|
|
};
|
2020-06-26 01:24:13 +02:00
|
|
|
std::atomic<int32> state_{0};
|
2020-06-24 13:47:36 +02:00
|
|
|
|
|
|
|
std::mutex sleepers_mutex_;
|
2020-06-26 01:24:13 +02:00
|
|
|
vector<Slot *> sleepers_;
|
2020-06-24 13:47:36 +02:00
|
|
|
|
|
|
|
bool closed_ = false;
|
|
|
|
};
|
|
|
|
|
|
|
|
using MpmcWaiter = MpmcSleepyWaiter;
|
|
|
|
|
2018-12-31 20:04:05 +01:00
|
|
|
} // namespace td
|