Блог

Есть ли таблица для суммирования разницы в порядке памяти? например, в какой ситуации использовать каждый порядок памяти

кроме того, в чем разница между порядком памяти и (data_cond и future)?

 is it 
1. memory order is for waiting
2. data_cond is for waiting 
3. future is for doing other thing while waiting
  

Порядок памяти используется для указания порядка памяти в атомарных операциях. Самый простой порядок памяти memory_order_seq_cst — это тот, который обеспечивает последовательную согласованность. Другие модели памяти дают упрощенные упорядочения momory.

Если вы хотите получить порядок получения и выпуска, вы должны объединить: memory_order_consume , memory_order_acquire , memory_order_release , и memory_order_acq_rel .

Если вы хотите получить упрощенный порядок, который вы должны использовать memory_order_relaxed .

Вот простой пример использования упорядочения памяти для реализации спин-блокировки мьютекса:

 class spinlock_mutex {
private:
  std::atomic_flag f;
public:
  spinlock_mutex() : f(ATOMIC_FLAG_INIT) {}

  void lock() {
    while (f.test_and_set(std::memory_order_acquire)) {}
  }

  void unlock() {
   flag.clear(std::memory_order_release());
  }
};
  

В C 11 есть тип data_cond. Я полагаю, вы можете ссылаться на std::condition_variable то, какая переменная условия должна быть связана с мьютексом.

 std::mutex m;
std::queue<request> q;
std::condition_variable cv;

void producer() {
  while (more_data()) {
    request r = generate_request();
    std::lock_guard<std::mutex> l(m);
    q.push(r);
    cv.notify_one();
  }
}

void consumer() {
  for (;;) {
    std::unique_lock<std::mutex> l(m);
    cv.wait(l, []{ return !q.empty();});
    request r = q.front();
    l.unlock();
    process_request(r);
    if (is_last(r)) break;
  }
}
  

Наконец, будущее позволяет потоку возвращать значение в раздел кода, который произвел вызов.

 int main() {
  std::future<int> r = std::async(do_something, 1, 10);
  do_something_else();
  std::cout << “Result= “ << r.get() << std::endl;
  return 0;
}