zoukankan      html  css  js  c++  java
  • 【C++11 多线程】死锁(Dead Lock)(十)

    一、什么是死锁?

    如果你将某个mutex上锁了,却一直不释放,另一个线程访问该锁保护的资源的时候,就会发生死锁,这种情况下使用lock_guard可以保证析构的时候能够释放锁,然而,当一个操作需要使用两个互斥元的时候,仅仅使用lock_guard并不能保证不会发生死锁,如下面的例子(双线程多锁申请):

    #include <iostream>
    #include <thread>
    #include <string>
    #include <mutex>
    #include <fstream>
    using namespace std;
    
    class LogFile {
    public:
        LogFile() {
            f.open("log.txt");
        }
        ~LogFile() {
            f.close();
        }
        void shared_print(string msg, int id) {
            std::lock_guard<std::mutex> guard(_mu);
            std::lock_guard<std::mutex> guard2(_mu2);
            f << msg << id << endl;
            cout << msg << id << endl;
        }
        void shared_print2(string msg, int id) {
            std::lock_guard<std::mutex> guard(_mu2);
            std::lock_guard<std::mutex> guard2(_mu);
            f << msg << id << endl;
            cout << msg << id << endl;
        }
        
    private:
        std::mutex _mu;
        std::mutex _mu2;
        ofstream f;
    };
    
    void function_1(LogFile& log) {
        for(int i=0; i>-100; i--)
            log.shared_print2(string("From t1: "), i);
    }
    
    int main()
    {
        LogFile log;
        std::thread t1(function_1, std::ref(log));
    
        for(int i=0; i<100; i++)
            log.shared_print(string("From main: "), i);
    
        t1.join();
        return 0;
    }
    

    运行之后,你会发现程序会卡住,这就是发生死锁了。程序运行可能会发生类似下面的情况:

    Thread A              Thread B
    _mu.lock()          _mu2.lock()
       // 死锁               // 死锁
    _mu2.lock()         _mu.lock()
    

    上面线程 A 先获取了锁_mu,线程 B 获取了锁_mu2,进而线程 A 还需要获取锁_mu2才能继续执行,但是由于锁_mu2被线程 B 持有还没有释放,线程 A 为了等待锁_mu2资源就阻塞了;线程 B 这时候需要获取锁_mu才能往下执行,但是由于锁_mu被线程A持有,导致 B 也进入阻塞,这就是死锁现象。

    解决办法有很多:

    (1)可以比较mutex的地址,每次都先锁地址小的,如:

    if(&_mu < &_mu2){
        _mu.lock();
        _mu2.unlock();
    }
    else {
        _mu2.lock();
        _mu.lock();
    }
    

    (2)使用层次锁,将互斥锁包装一下,给锁定义一个层次的属性,每次按层次由高到低的顺序上锁。

    这两种办法其实都是严格规定上锁顺序,只不过实现方式不同。

    二、使用std::lock()避免死锁

    C++ 标准库中提供了std::lock()函数,能够保证将多个互斥锁同时上锁,

    std::lock(_mu, _mu2);
    

    同时,lock_guard也需要做修改,因为互斥锁已经被上锁了,那么lock_guard构造的时候不应该上锁,只是需要在析构的时候释放锁就行了,使用std::adopt_lock表示无需上锁:

    std::lock_guard<std::mutex> guard(_mu2, std::adopt_lock);
    std::lock_guard<std::mutex> guard2(_mu, std::adopt_lock);
    

    完整代码如下:

    #include <iostream>
    #include <thread>
    #include <string>
    #include <mutex>
    #include <fstream>
    using namespace std;
    
    class LogFile {
        std::mutex _mu;
        std::mutex _mu2;
        ofstream f;
    public:
        LogFile() {
            f.open("log.txt");
        }
        ~LogFile() {
            f.close();
        }
        void shared_print(string msg, int id) {
            std::lock(_mu, _mu2);
            std::lock_guard<std::mutex> guard(_mu, std::adopt_lock);
            std::lock_guard<std::mutex> guard2(_mu2, std::adopt_lock);
            f << msg << id << endl;
            cout << msg << id << endl;
        }
        void shared_print2(string msg, int id) {
            std::lock(_mu, _mu2);
            std::lock_guard<std::mutex> guard(_mu2, std::adopt_lock);
            std::lock_guard<std::mutex> guard2(_mu, std::adopt_lock);
            f << msg << id << endl;
            cout << msg << id << endl;
        }
    };
    
    void function_1(LogFile& log) {
        for(int i=0; i>-100; i--)
            log.shared_print2(string("From t1: "), i);
    }
    
    int main()
    {
        LogFile log;
        std::thread t1(function_1, std::ref(log));
    
        for(int i=0; i<100; i++)
            log.shared_print(string("From main: "), i);
    
        t1.join();
        return 0;
    }
    

    三、总结

    总结一下,对于避免死锁,有以下几点建议:

    (1)建议尽量同时只对一个互斥锁上锁。

    {
     std::lock_guard<std::mutex> guard(_mu2);
     //do something
        f << msg << id << endl;
    }
    {
     std::lock_guard<std::mutex> guard2(_mu);
     cout << msg << id << endl;
    }
    

    (2)不要在互斥锁保护的区域使用用户自定义的代码,因为用户的代码可能内部操作了其他的互斥锁,导致产生循环锁。

    {
     std::lock_guard<std::mutex> guard(_mu2);
     user_function(); // never do this!!!
        f << msg << id << endl;
    }
    

    (3)如果想同时对多个互斥锁上锁,要使用std::lock()

    (4)给锁定义顺序(使用层次锁,或者比较地址等),每次以同样的顺序进行上锁。详细介绍可看C++并发编程实战

    死锁的更多情况请参考:C++多线程-死锁


    参考:

    C++并发编程实战

    C++ Threading #4: Deadlock


  • 相关阅读:
    设计模式六大原则(PHP)
    composer update 或者 composer install提示killed解决办法
    运行composer出现do not run Composer as root/super user!
    composer install报错intervention/image 2.4.x-dev requires ext-fileinfo * -> the requested PHP extension fileinfo is missing from your system.
    laravel执行数据库迁移的过程中出现IlluminateDatabaseQueryException : SQLSTATE[HY000] [2002] Operation timed out (SQL: select * from information_schema.tables where table_schema = shop and table_name = migrations
    docker删除mysql镜像失败Error response from daemon: conflict: unable to delete 8809d5286227 (must be forced)
    测试开发岗,面试必看
    Python遍历字典去key和value需要注意的点→enumerate和items()
    Python→整数反转
    我去阿里、头条、京东的面试经(测开)
  • 原文地址:https://www.cnblogs.com/linuxAndMcu/p/14620987.html
Copyright © 2011-2022 走看看