C++多线程同步的几种方式

最新推荐文章于 2024-10-04 12:05:14 发布

Dufre.WC

最新推荐文章于 2024-10-04 12:05:14 发布

阅读量9k

点赞数 3

分类专栏： C/C++

本文链接：https://blog.csdn.net/u011391629/article/details/103720381

版权

本文介绍了C++11中的多线程同步方式，包括mutex、lock_guard、unique_lock、condition_variable、future及其相关概念如promise和packaged_task。通过示例展示了它们的使用方法和场景，帮助理解如何在多线程环境中确保数据安全。

摘要由CSDN通过智能技术生成

Overview

C++的多线程同步方式有这么几种：

mutex
- lock_guard
- unique_lock
condition_variable
future
- promise
- packaged_task
- async

C++11并没有提供semaphore的API，信号量太容易出错了（too error prone），通过组合互斥锁（mutex）和条件变量（condition variable）可以达到相同的效果，且更加安全。

mutex

官网介绍：mutex
它包含以下三个部分：

Mutex type
Locks：lock_guard， unique_lock
Functions：try_lock，lock

example：
mutex的实现也很简单，在进入临界区之前调用该变量（mtx）的lock函数，出临界区之前调用该变量的（mtx）的unlock函数。所以程序会连续输出50个'*'或者连续输出50个'$'，而不会'*' '$'交替输出。

但是考虑这样一个问题，std::cout << '\n'，这里发生异常会发生什么？抛出异常后，意味着mtx.unlock()不会被执行，即锁没有被释放，整个程序进入不了临界区，该程序往往会挂死。

// mutex example
#include <iostream>       // std::cout
#include <thread>         // std::thread
#include <mutex>          // std::mutex

std::mutex mtx;           // mutex for critical section

void print_block (int n, char c) {
   
  // critical section (exclusive access to std::cout signaled by locking mtx):
  mtx.lock();
  for (int i=0; i<n; ++i) {
    std::cout << c; }
  std::cout << '\n';
  mtx.unlock();
}

int main ()
{
   
  std::thread th1 (print_block,50,'*');
  std::thread th2 (print_block,50,'$');

  th1.join();
  th2.join();

  return 0;
}

Possible output (order of lines may vary, but characters are never mixed):

**************************************************
$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$

lock_guard

在构造时，互斥对象被调用线程锁定，而在销毁时，互斥对象被解锁。它是最简单的锁，作为具有自动持续时间的对象特别有用，该持续时间一直持续到其上下文结束。这样，可以保证在抛出异常的情况下互斥对象已正确解锁。

example

// lock_guard example
#include <iostream>       // std::cout
#include <thread>         // std::thread
#include <mutex>          // std::mutex, std::lock_guard
#include <stdexcept>      // std::logic_error

std::mutex mtx;

void print_even (int x) {
   
  if (x%2==0) std::cout << x << " is even\n";
  else throw (std::logic_error("not even"));
}

void print_thread_id (int id)