Блог

В случае общего счетчика, который можно ожидать (с condition_variable) Интересно, что лучше в отношении средства получения количества между использованием атомарного типа для подсчета (mt_counter_B impl) или блокировкой (mt_counter_A impl)? Кроме того, являются ли memory_orders, которые я использовал, правильными? Я намерен использовать count_relaxed() для пользовательского интерфейса без состояния, поэтому мне не нужно, чтобы он был безопасным для порядка.

 class mt_counter_A
{
protected:
    std::condition_variable cv;
    std::mutex cv_m;
    uint64_t cnt;

public:
    mt_counter_Aamp; operator  () {
        {
            std::lock_guard<std::mutex> lk(cv_m);
              cnt;
        }
        cv.notify_all();
    }

    uint64_t count() {
        std::lock_guard<std::mutex> lk(cv_m);
        return cnt;
    }

    void wait_until(uint64_t count) {
        std::unique_lock<std::mutex> lk(cv_m);
        cv.wait(lk, [amp;] { return cnt >= count; });
    }
};

class mt_counter_B
{
protected:
    std::condition_variable cv;
    std::mutex cv_m;
    std::atomic_uint_fast64_t cnt;

public:
    mt_counter_Bamp; operator  () {
        {
            std::lock_guard<std::mutex> lk(cv_m);
            cnt.fetch_add(std::memory_order_relaxed);
        }
        cv.notify_all();
    }

    uint64_t count(std::memory_order order = std::memory_order_seq_cst) {
        return cnt.load(order);
    }

    uint64_t count_relaxed() {
        return cnt.load(std::memory_order_relaxed);
    }

    void wait_until(uint64_t count) {
        std::unique_lock<std::mutex> lk(cv_m);
        cv.wait(lk, [amp;]{ return cnt.load(std::memory_order_relaxed) >= count; });
    }
};