多线程编程2. 多线程数据共享


简介
在多个线程中共享数据时,如果多个线程同时访问同一个变量,并且其中至少有一个线程对该变量进行了写操作,那么就会出现数据竞争问题。数据竞争可能会导致程序崩溃、产生未定义的结果,或者得到错误的结果。

常见的同步机制包括互斥量、条件变量、原子操作

1. 互斥量

1.1 基本概念

互斥量(mutex)是一种用于实现多线程同步的机制,用于确保多个线程之间对共享资源的访问互斥。
互斥量提供了两个基本操作:lock() 和 unlock()。如果互斥量当前已经被其他线程占用,则调用 lock() 函数的线程会被阻塞,直到该互斥量被释放为止。
类比理解:
mutex 相当于一把锁,
lock() 相当于线程把这个把锁拿走了
unlock() 相当于线程把这个把锁还回去
一个线程调用lock()时,相当于把这把锁拿走了,此时如果另一个线程调用lock(), 拿不到锁,就会等在lock() 的位置,直到原来的显示把锁释放

示例代码:

int a = 0;
std::mutex  mtx;

void increase() {
	for (int k = 0; k < 10000; k++) {
		mtx.lock();
		a = a + 1;
		mtx.unlock();
	}
}

int main()
{
	int b = 0;
	std::thread  th(increase);
	std::thread  th2(increase);
	th.join();
	th2.join();

	cout << a;
	return 0;
}

1.2 互斥量的死锁问题

死锁:一般是两个或两个以上的互斥量,在两个或多个地方上锁的顺序不一致导致的互相等待的情况

例如:

  • T1 先获取 mtx1 的所有权,再获取 mtx2 的所有权。
  • T2 先获取 mtx2 的所有权,再获取 mtx1 的所有权。

解决方法
保证每个地方,互斥量上锁的顺序一致 (解锁顺序没有要求)

2. 几种锁的介绍

2.1 std::lock

  1. 解决死锁的方法,保证上锁的顺序一致,也可以用std::lock() 来对多个锁进行加锁
  2. std::lock() 可以同时锁住两个或两个以上的互斥量,它不存在在多线程中,因为锁的顺序问题,而导致的死锁问题
  3. 要么其中的互斥量都锁住,要么都没锁住,不会锁住其中一个,而去等另外一个,也就是说,如果其中有一个锁已经被锁住了,它需要等所有的锁都能上锁的状态,才能加锁,继续往下执行
std::lock(m_mutex1, m_mutex2)  // 上锁一起上
m_mutex1.unlock();   // 解锁还是需要自己解锁
m_mutex2.unlock();

2.2 std::lock_guard

  1. 当构造函数被调用时,该互斥量会被自动锁定。
  2. 当析构函数被调用时,该互斥量会被自动解锁。
  3. std::lock_guard 对象不能复制或移动,因此它只能在局部作用域中使用。
// 注意其写法,是一个模板类,构造函数需要传递互斥量作为参数
std::lock_guard<std::mutex> guard(mtx);

// std::adopt_lock 表示只构造不加锁,使用场景并不多
std::lock_guard<std::mutex> myLockGuard(mtx, std::adopt_lock);

2.3 std::unique_lock

具有 std::lock_guard 的功能,同时具有更加灵活的管理,包括延迟加锁、条件变量、超时等。
(1) 构造函数介绍:

  • unique_lock() noexcept = default:默认构造函数,创建一个未关联任何互斥量的 std::unique_lock 对象。
  • explicit unique_lock(mutex_type& m):构造函数,使用给定的互斥量 m 进行初始化,并对该互斥量进行加锁操作。
  • unique_lock(mutex_type& m, defer_lock_t) noexcept:构造函数,使用给定的互斥量 m 进行初始化,但不对该互斥量进行加锁操作。
  • unique_lock(mutex_type& m, try_to_lock_t) noexcept:构造函数,使用给定的互斥量 m 进行初始化,并尝试对该互斥量进行加锁操作。如果加锁失败,则创建的 std::unique_lock 对象不与任何互斥量关联。
  • unique_lock(mutex_type& m, adopt_lock_t) noexcept:构造函数,使用给定的互斥量 m 进行初始化,并假设该互斥量已经被当前线程成功加锁。

(2) 成员函数介绍:

  • lock():尝试对互斥量进行加锁操作,如果当前互斥量已经被其他线程持有,则当前线程会被阻塞,直到互斥量被成功加锁。
  • try_lock():尝试对互斥量进行加锁操作,如果当前互斥量已经被其他线程持有,则函数立即返回 false,否则返回 true。
  • try_lock_for(const std::chrono::duration<Rep, Period>& rel_time):尝试对互斥量进行加锁操作,如果当前互斥量已经被其他线程持有,则当前线程会被阻塞,直到互斥量被成功加锁,或者超过了指定的时间。
std::unique_lock<std::mutex> uni_lock(mutex);
uni_lock.try_lock_for(std::chrono::seconds(5)); // 只等待5s,如果超时直接返回false
  • try_lock_until(const std::chrono::time_point<Clock, Duration>& abs_time):尝试对互斥量进行加锁操作,如果当前互斥量已经被其他线程持有,则当前线程会被阻塞,直到互斥量被成功加锁,或者超过了指定的时间点。
  • unlock():对互斥量进行解锁操作。
  • release(): 返回它所管理的mutex对象指针,并释放所有权

(3) unique_lock 所有权转移:
一个 unique_lock 对象,可以将其对 mutex 的所有权转移给其他unique_lock 对象。对 mutex 的所有权,可以转移,不能复制。

  • 28
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值