互斥与死锁

简介

本文介绍如何使用互斥量保证共享数据的安全,并讲述死锁的相关处理方案。

锁的使用

我们可以通过mutex对共享数据进行夹所,防止多线程访问共享区造成数据不一致问题。如下,我们初始化一个共享变量shared_data,然后定义了一个互斥量std::mutex,接下来启动了两个线程,分别执行use_lock增加数据,和一个lambda表达式减少数据。
结果可以看到两个线程对于共享数据的访问是独占的,单位时间片只有一个线程访问并输出日志。

  1. std::mutex mtx1;
  2. int shared_data = 100;
  3. void use_lock() {
  4. while (true) {
  5. mtx1.lock();
  6. shared_data++;
  7. std::cout << "current thread is " << std::this_thread::get_id() << std::endl;
  8. std::cout << "sharad data is " << shared_data << std::endl;
  9. mtx1.unlock();
  10. std::this_thread::sleep_for(std::chrono::microseconds(10));
  11. }
  12. }
  13. void test_lock() {
  14. std::thread t1(use_lock);
  15. std::thread t2([]() {
  16. while (true) {
  17. mtx1.lock();
  18. shared_data--;
  19. std::cout << "current thread is " << std::this_thread::get_id() << std::endl;
  20. std::cout << "sharad data is " << shared_data << std::endl;
  21. mtx1.unlock();
  22. std::this_thread::sleep_for(std::chrono::microseconds(10));
  23. }
  24. });
  25. t1.join();
  26. t2.join();
  27. }

lock_guard的使用

当然我们可以用lock_guard自动加锁和解锁,比如上面的函数可以等价简化为

  1. void use_lock() {
  2. while (true) {
  3. std::lock_guard<std::mutex> lock(mtx1);
  4. shared_data++;
  5. std::cout << "current thread is " << std::this_thread::get_id() << std::endl;
  6. std::cout << "sharad data is " << shared_data << std::endl;
  7. std::this_thread::sleep_for(std::chrono::microseconds(10));
  8. }
  9. }

lock_guard在作用域结束时自动调用其析构函数解锁,这么做的一个好处是简化了一些特殊情况从函数中返回的写法,比如异常或者条件不满足时,函数内部直接return,锁也会自动解开。

如何保证数据安全

有时候我们可以将对共享数据的访问和修改聚合到一个函数,在函数内加锁保证数据的安全性。但是对于读取类型的操作,即使读取函数是线程安全的,但是返回值抛给外边使用,存在不安全性。比如一个栈对象,我们要保证其在多线程访问的时候是安全的,可以在判断栈是否为空,判断操作内部我们可以加锁,但是判断结束后返回值就不在加锁了,就会存在线程安全问题。

比如我定义了如下栈, 对于多线程访问时判断栈是否为空,此后两个线程同时出栈,可能会造成崩溃。

  1. template<typename T>
  2. class threadsafe_stack1
  3. {
  4. private:
  5. std::stack<T> data;
  6. mutable std::mutex m;
  7. public:
  8. threadsafe_stack1() {}
  9. threadsafe_stack1(const threadsafe_stack1& other)
  10. {
  11. std::lock_guard<std::mutex> lock(other.m);
  12. //①在构造函数的函数体(constructor body)内进行复制操作
  13. data = other.data;
  14. }
  15. threadsafe_stack1& operator=(const threadsafe_stack1&) = delete;
  16. void push(T new_value)
  17. {
  18. std::lock_guard<std::mutex> lock(m);
  19. data.push(std::move(new_value));
  20. }
  21. //问题代码
  22. T pop()
  23. {
  24. std::lock_guard<std::mutex> lock(m);
  25. auto element = data.top();
  26. data.pop();
  27. return element;
  28. }
  29. bool empty() const
  30. {
  31. std::lock_guard<std::mutex> lock(m);
  32. return data.empty();
  33. }
  34. };

如下, 线程1和线程2先后判断栈都不为空,之后执行出战操作,会造成崩溃。

  1. void test_threadsafe_stack1() {
  2. threadsafe_stack1<int> safe_stack;
  3. safe_stack.push(1);
  4. std::thread t1([&safe_stack]() {
  5. if (!safe_stack.empty()) {
  6. std::this_thread::sleep_for(std::chrono::seconds(1));
  7. safe_stack.pop();
  8. }
  9. });
  10. std::thread t2([&safe_stack]() {
  11. if (!safe_stack.empty()) {
  12. std::this_thread::sleep_for(std::chrono::seconds(1));
  13. safe_stack.pop();
  14. }
  15. });
  16. t1.join();
  17. t2.join();
  18. }

解决这个问题我们可以用抛出异常的方式,比如定义一个空栈的异常

  1. struct empty_stack : std::exception
  2. {
  3. const char* what() const throw();
  4. };

然后实现我们的出栈函数

  1. T pop()
  2. {
  3. std::lock_guard<std::mutex> lock(m);
  4. if (data.empty()) throw empty_stack();
  5. auto element = data.top();
  6. data.pop();
  7. return element;
  8. }

这么做就需要在外层使用的时候捕获异常。这是C++ 并发编程中提及的建议。但是我觉得可以在函数pop内部再次判断栈是否为空,若为空则返回一个非法数据,这样比抛出异常好一些。但是如果T是一个复杂类型,我们很难定义一个非法值给外界知晓,这一点可以通过智能指针进行优化。之后我们再介绍更优化的方案,因为现在这个pop函数仍存在问题,比如T是一个vector<int>类型,那么在pop函数内部element就是vector<int>类型,开始element存储了一些int值,程序没问题,函数执行pop操作, 假设此时程序内存暴增,导致当程序使用的内存足够大时,可用的有效空间不够, 函数返回element时,就会就会存在vector做拷贝赋值时造成失败。即使我们捕获异常,释放部分空间但也会导致栈元素已经出栈,数据丢失了。这其实是内存管理不当造成的,但是C++ 并发编程一书中给出了优化方案。

  1. struct empty_stack : std::exception
  2. {
  3. const char* what() const throw();
  4. };
  5. template<typename T>
  6. class threadsafe_stack
  7. {
  8. private:
  9. std::stack<T> data;
  10. mutable std::mutex m;
  11. public:
  12. threadsafe_stack() {}
  13. threadsafe_stack(const threadsafe_stack& other)
  14. {
  15. std::lock_guard<std::mutex> lock(other.m);
  16. //①在构造函数的函数体(constructor body)内进行复制操作
  17. data = other.data;
  18. }
  19. threadsafe_stack& operator=(const threadsafe_stack&) = delete;
  20. void push(T new_value)
  21. {
  22. std::lock_guard<std::mutex> lock(m);
  23. data.push(std::move(new_value));
  24. }
  25. std::shared_ptr<T> pop()
  26. {
  27. std::lock_guard<std::mutex> lock(m);
  28. //②试图弹出前检查是否为空栈
  29. if (data.empty()) throw empty_stack();
  30. //③改动栈容器前设置返回值
  31. std::shared_ptr<T> const res(std::make_shared<T>(data.top()));
  32. data.pop();
  33. return res;
  34. }
  35. void pop(T& value)
  36. {
  37. std::lock_guard<std::mutex> lock(m);
  38. if (data.empty()) throw empty_stack();
  39. value = data.top();
  40. data.pop();
  41. }
  42. bool empty() const
  43. {
  44. std::lock_guard<std::mutex> lock(m);
  45. return data.empty();
  46. }
  47. };

我们提供了两个版本的pop操作,一个是带引用类型的参数的,一个是直接pop出智能指针类型,这样在pop函数内部减少了数据的拷贝,防止内存溢出,其实这两种做法确实是相比之前直接pop固定类型的值更节省内存,运行效率也好很多。我们也完全可以基于之前的思想,在pop时如果队列为空则返回空指针,这样比抛出异常更有好一些

  1. std::shared_ptr<T> pop()
  2. {
  3. std::lock_guard<std::mutex> lock(m);
  4. //②试图弹出前检查是否为空栈
  5. if (data.empty()) return nullptr;
  6. //③改动栈容器前设置返回值
  7. std::shared_ptr<T> const res(std::make_shared<T>(data.top()));
  8. data.pop();
  9. return res;
  10. }

死锁怎么造成的

死锁一般是由于调运顺序不一致导致的,比如两个线程循环调用。当线程1先加锁A,再加锁B,而线程2先加锁B,再加锁A。那么在某一时刻就可能造成死锁。比如线程1对A已经加锁,线程2对B已经加锁,那么他们都希望彼此占有对方的锁,又不释放自己占有的锁导致了死锁。
举个例子

  1. std::mutex t_lock1;
  2. std::mutex t_lock2;
  3. int m_1 = 0;
  4. int m_2 = 1;
  5. void dead_lock1() {
  6. while (true) {
  7. std::cout << "dead_lock1 begin " << std::endl;
  8. t_lock1.lock();
  9. m_1 = 1024;
  10. t_lock2.lock();
  11. m_2 = 2048;
  12. t_lock2.unlock();
  13. t_lock1.unlock();
  14. std::this_thread::sleep_for(std::chrono::milliseconds(5));
  15. std::cout << "dead_lock2 end " << std::endl;
  16. }
  17. }
  18. void dead_lock2() {
  19. while (true) {
  20. std::cout << "dead_lock2 begin " << std::endl;
  21. t_lock2.lock();
  22. m_2 = 2048;
  23. t_lock1.lock();
  24. m_1 = 1024;
  25. t_lock1.unlock();
  26. t_lock2.unlock();
  27. std::this_thread::sleep_for(std::chrono::milliseconds(5));
  28. std::cout << "dead_lock2 end " << std::endl;
  29. }
  30. }

然后我们启动两个线程

  1. void test_dead_lock() {
  2. std::thread t1(dead_lock1);
  3. std::thread t2(dead_lock2);
  4. t1.join();
  5. t2.join();
  6. }

这样运行之后在某一个时刻一定会导致死锁。
实际工作中避免死锁的一个方式就是将加锁和解锁的功能封装为独立的函数,
这样能保证在独立的函数里执行完操作后就解锁,不会导致一个函数里使用多个锁的情况

  1. //加锁和解锁作为原子操作解耦合,各自只管理自己的功能
  2. void atomic_lock1() {
  3. std::cout << "lock1 begin lock" << std::endl;
  4. t_lock1.lock();
  5. m_1 = 1024;
  6. t_lock1.unlock();
  7. std::cout << "lock1 end lock" << std::endl;
  8. }
  9. void atomic_lock2() {
  10. std::cout << "lock2 begin lock" << std::endl;
  11. t_lock2.lock();
  12. m_2 = 2048;
  13. t_lock2.unlock();
  14. std::cout << "lock2 end lock" << std::endl;
  15. }
  16. void safe_lock1() {
  17. while (true) {
  18. atomic_lock1();
  19. atomic_lock2();
  20. std::this_thread::sleep_for(std::chrono::milliseconds(5));
  21. }
  22. }
  23. void safe_lock2() {
  24. while (true) {
  25. atomic_lock2();
  26. atomic_lock1();
  27. std::this_thread::sleep_for(std::chrono::milliseconds(5));
  28. }
  29. }
  30. void test_safe_lock() {
  31. std::thread t1(safe_lock1);
  32. std::thread t2(safe_lock2);
  33. t1.join();
  34. t2.join();
  35. }

同时加锁

当我们无法避免在一个函数内部使用两个互斥量,并且都要解锁的情况,那我们可以采取同时加锁的方式。我们先定义一个类,假设这个类不推荐拷贝构造,但我们也提供了这个类的拷贝构造和移动构造

  1. class som_big_object {
  2. public:
  3. som_big_object(int data) :_data(data) {}
  4. //拷贝构造
  5. som_big_object(const som_big_object& b2) :_data(b2._data) {
  6. _data = b2._data;
  7. }
  8. //移动构造
  9. som_big_object(som_big_object&& b2) :_data(std::move(b2._data)) {
  10. }
  11. //重载输出运算符
  12. friend std::ostream& operator << (std::ostream& os, const som_big_object& big_obj) {
  13. os << big_obj._data;
  14. return os;
  15. }
  16. //重载赋值运算符
  17. som_big_object& operator = (const som_big_object& b2) {
  18. if (this == &b2) {
  19. return *this;
  20. }
  21. _data = b2._data;
  22. return *this;
  23. }
  24. //交换数据
  25. friend void swap(som_big_object& b1, som_big_object& b2) {
  26. som_big_object temp = std::move(b1);
  27. b1 = std::move(b2);
  28. b2 = std::move(temp);
  29. }
  30. private:
  31. int _data;
  32. };

接下来我们定义一个类对上面的类做管理,为防止多线程情况下数据混乱, 包含了一个互斥量。

  1. class big_object_mgr {
  2. public:
  3. big_object_mgr(int data = 0) :_obj(data) {}
  4. void printinfo() {
  5. std::cout << "current obj data is " << _obj << std::endl;
  6. }
  7. friend void danger_swap(big_object_mgr& objm1, big_object_mgr& objm2);
  8. friend void safe_swap(big_object_mgr& objm1, big_object_mgr& objm2);
  9. friend void safe_swap_scope(big_object_mgr& objm1, big_object_mgr& objm2);
  10. private:
  11. std::mutex _mtx;
  12. som_big_object _obj;
  13. };

为了方便演示哪些交换是安全的,哪些是危险的,所以写了三个函数。

  1. void danger_swap(big_object_mgr& objm1, big_object_mgr& objm2) {
  2. std::cout << "thread [ " << std::this_thread::get_id() << " ] begin" << std::endl;
  3. if (&objm1 == &objm2) {
  4. return;
  5. }
  6. std::lock_guard <std::mutex> gurad1(objm1._mtx);
  7. //此处为了故意制造死锁,我们让线程小睡一会
  8. std::this_thread::sleep_for(std::chrono::seconds(1));
  9. std::lock_guard<std::mutex> guard2(objm2._mtx);
  10. swap(objm1._obj, objm2._obj);
  11. std::cout << "thread [ " << std::this_thread::get_id() << " ] end" << std::endl;
  12. }

danger_swap是危险的交换方式。比如如下调用

  1. void test_danger_swap() {
  2. big_object_mgr objm1(5);
  3. big_object_mgr objm2(100);
  4. std::thread t1(danger_swap, std::ref(objm1), std::ref(objm2));
  5. std::thread t2(danger_swap, std::ref(objm2), std::ref(objm1));
  6. t1.join();
  7. t2.join();
  8. objm1.printinfo();
  9. objm2.printinfo();
  10. }

这种调用方式存在隐患,因为danger_swap函数在两个线程中使用会造成互相竞争加锁的情况。
那就需要用锁同时锁住两个锁。

  1. void safe_swap(big_object_mgr& objm1, big_object_mgr& objm2) {
  2. std::cout << "thread [ " << std::this_thread::get_id() << " ] begin" << std::endl;
  3. if (&objm1 == &objm2) {
  4. return;
  5. }
  6. std::lock(objm1._mtx, objm2._mtx);
  7. //领养锁管理它自动释放
  8. std::lock_guard <std::mutex> gurad1(objm1._mtx, std::adopt_lock);
  9. //此处为了故意制造死锁,我们让线程小睡一会
  10. std::this_thread::sleep_for(std::chrono::seconds(1));
  11. std::lock_guard <std::mutex> gurad2(objm2._mtx, std::adopt_lock);
  12. swap(objm1._obj, objm2._obj);
  13. std::cout << "thread [ " << std::this_thread::get_id() << " ] end" << std::endl;
  14. }

比如下面的调用就是合理的

  1. void test_safe_swap() {
  2. big_object_mgr objm1(5);
  3. big_object_mgr objm2(100);
  4. std::thread t1(safe_swap, std::ref(objm1), std::ref(objm2));
  5. std::thread t2(safe_swap, std::ref(objm2), std::ref(objm1));
  6. t1.join();
  7. t2.join();
  8. objm1.printinfo();
  9. objm2.printinfo();
  10. }

当然上面加锁的方式可以简化,C++17 scope_lock可以对多个互斥量同时加锁,并且自动释放

  1. //上述代码可以简化为以下方式
  2. void safe_swap_scope(big_object_mgr& objm1, big_object_mgr& objm2) {
  3. std::cout << "thread [ " << std::this_thread::get_id() << " ] begin" << std::endl;
  4. if (&objm1 == &objm2) {
  5. return;
  6. }
  7. std::scoped_lock guard(objm1._mtx, objm2._mtx);
  8. //等价于
  9. //std::scoped_lock<std::mutex, std::mutex> guard(objm1._mtx, objm2._mtx);
  10. swap(objm1._obj, objm2._obj);
  11. std::cout << "thread [ " << std::this_thread::get_id() << " ] end" << std::endl;
  12. }

层级锁

现实开发中常常很难规避同一个函数内部加多个锁的情况,我们要尽可能避免循环加锁,所以可以自定义一个层级锁,保证实际项目中对多个互斥量加锁时是有序的。

  1. //层级锁
  2. class hierarchical_mutex {
  3. public:
  4. explicit hierarchical_mutex(unsigned long value) :_hierarchy_value(value),
  5. _previous_hierarchy_value(0) {}
  6. hierarchical_mutex(const hierarchical_mutex&) = delete;
  7. hierarchical_mutex& operator=(const hierarchical_mutex&) = delete;
  8. void lock() {
  9. check_for_hierarchy_violation();
  10. _internal_mutex.lock();
  11. update_hierarchy_value();
  12. }
  13. void unlock() {
  14. if (_this_thread_hierarchy_value != _hierarchy_value) {
  15. throw std::logic_error("mutex hierarchy violated");
  16. }
  17. _this_thread_hierarchy_value = _previous_hierarchy_value;
  18. _internal_mutex.unlock();
  19. }
  20. bool try_lock() {
  21. check_for_hierarchy_violation();
  22. if (!_internal_mutex.try_lock()) {
  23. return false;
  24. }
  25. update_hierarchy_value();
  26. return true;
  27. }
  28. private:
  29. std::mutex _internal_mutex;
  30. //当前层级值
  31. unsigned long const _hierarchy_value;
  32. //上一次层级值
  33. unsigned long _previous_hierarchy_value;
  34. //本线程记录的层级值
  35. static thread_local unsigned long _this_thread_hierarchy_value;
  36. void check_for_hierarchy_violation() {
  37. if (_this_thread_hierarchy_value <= _hierarchy_value) {
  38. throw std::logic_error("mutex hierarchy violated");
  39. }
  40. }
  41. void update_hierarchy_value() {
  42. _previous_hierarchy_value = _this_thread_hierarchy_value;
  43. _this_thread_hierarchy_value = _hierarchy_value;
  44. }
  45. };
  46. thread_local unsigned long hierarchical_mutex::_this_thread_hierarchy_value(ULONG_MAX);
  47. void test_hierarchy_lock() {
  48. hierarchical_mutex hmtx1(1000);
  49. hierarchical_mutex hmtx2(500);
  50. std::thread t1([&hmtx1, &hmtx2]() {
  51. hmtx1.lock();
  52. hmtx2.lock();
  53. hmtx2.unlock();
  54. hmtx1.unlock();
  55. });
  56. std::thread t2([&hmtx1, &hmtx2]() {
  57. hmtx2.lock();
  58. hmtx1.lock();
  59. hmtx1.unlock();
  60. hmtx2.unlock();
  61. });
  62. t1.join();
  63. t2.join();
  64. }

层级锁能保证我们每个线程加锁时,一定是先加权重高的锁。
并且释放时也保证了顺序。
主要原理就是将当前锁的权重保存在线程变量中,这样该线程再次加锁时判断线程变量的权重和锁的权重是否大于,如果满足条件则继续加锁。

总结

本文介绍了线程互斥的常见问题和基本处理方案,在实际开发中,根据具体情境具体分析。

视频链接https://space.bilibili.com/271469206/channel/collectiondetail?sid=1623290

源码链接https://gitee.com/secondtonone1/boostasio-learn

热门评论
  • Vstronzw
    2024-04-20 21:10:47

    //仅提供一份参考代码给同样初学者的我们[脱单doge]
    /*
    定义了如下栈, 对于多线程访问时判断栈是否为空,
    此后两个线程同时出栈,可能会造成崩溃
    */
    #include <iostream>
    #include <string>
    #include <thread>
    #include <vector>
    #include <mutex>
    #include <stack>
    #include <exception>
    using namespace std;
    struct empty_stack : public std::exception
    {
    public:
    const char* what()const throw()
    //函数后面必须跟throw(),括号里面不能有任务参数,表示不抛出任务异常
    //因为这个已经是一个异常处理信息了,不能再抛异常。
    {
    return "empty_stack";
    }
    };

    //struct empty_stack : std::exception
    //{
    // const char* what() const throw();
    //};
    template<typename T>
    class threadsafe_stack
    {
    private:
    std::stack<T> data;
    mutable std::mutex m;
    public:
    threadsafe_stack() {}
    threadsafe_stack(const threadsafe_stack& other)
    {
    std::lock_guard<std::mutex> lock(other.m);
    //①在构造函数的函数体(constructor body)内进行复制操作
    data = other.data;
    }
    threadsafe_stack& operator=(const threadsafe_stack&) = delete;
    void push(T new_value)
    {
    std::lock_guard<std::mutex> lock(m);
    data.push(std::move(new_value));
    }

    T pop()
    {
    std::lock_guard<std::mutex> lock(m);
    if (data.empty()) throw empty_stack();
    auto element = data.top();
    data.pop();
    return element;
    }

    bool empty() const
    {
    std::lock_guard<std::mutex> lock(m);
    return data.empty();
    }
    };

    void test_threadsafe_stack() {
    threadsafe_stack<int> safe_stack;
    safe_stack.push(1);

    std::thread t1([&safe_stack]() {
    if (!safe_stack.empty()) {
    std::this_thread::sleep_for(std::chrono::seconds(1));
    try {
    safe_stack.pop();
    } catch (empty_stack &e) {
    cout << e.what() << endl;
    }

    }
    });

    std::thread t2([&safe_stack]() {
    if (!safe_stack.empty()) {
    std::this_thread::sleep_for(std::chrono::seconds(1));
    try {
    safe_stack.pop();
    } catch (empty_stack &e) {
    cout << e.what() << endl;
    }
    }
    });

    t1.join();
    t2.join();
    }

    int main()
    {
    test_threadsafe_stack();
    return 0;
    }

    /*
    empty_stack
    */

热门文章

  1. 解密定时器的实现细节

    喜欢(566) 浏览(2617)
  2. C++ 类的继承封装和多态

    喜欢(588) 浏览(3643)
  3. Linux环境搭建和编码

    喜欢(594) 浏览(8191)
  4. windows环境搭建和vscode配置

    喜欢(587) 浏览(1966)
  5. slice介绍和使用

    喜欢(521) 浏览(2037)

最新评论

  1. 类和对象 陈宇航:支持!!!!
  2. C++ 虚函数表原理和类成员内存分布 WangQi888888:class Test{ int m; int b; }中b成员是int,为什么在内存中只占了1个字节。不应该是4个字节吗?是不是int应该改为char。这样的话就会符合图上说明的情况
  3. 解决博客回复区被脚本注入的问题 secondtonone1:走到现在我忽然明白一个道理,无论工作也好生活也罢,最重要的是开心,即使一份安稳的工作不能给我带来事业上的积累也要合理的舍弃,所以我还是想去做喜欢的方向。
  4. asio多线程模型IOServicePool Lion:线程池一定要继承单例模式吗
  5. 泛型算法的定制操作 secondtonone1:lambda和bind是C11新增的利器,善于利用这两个机制可以极大地提升编程安全性和效率。

个人公众号

个人微信