Linux 多线程服务器端编程：使用 muduo C++ 网络库

最新推荐文章于 2024-02-27 11:46:51 发布

SimonxxSun

最新推荐文章于 2024-02-27 11:46:51 发布

阅读量1.2k

点赞数 1

分类专栏：多线程 Linux

本文链接：https://blog.csdn.net/SimonxxSun/article/details/90383595

版权

本文详细介绍了Linux多线程服务器端编程中线程同步的重要性和各种方法，包括互斥器mutex、条件变量、线程安全的Singleton实现以及mutex与shared_ptr的应用实例。讲解了互斥器的使用原则，强调避免递归mutex和死锁，阐述了条件变量的正确使用方式，以及线程安全Singleton模式的实现。还讨论了线程同步的高级构件如CountDownLatch和BlockingQueue。最后展示了如何利用mutex和shared_ptr解决并发编程中的问题。

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

一、线程同步精要

互斥器 mutex

条件变量

封装 MutexLock、MutexLockGuard 和 Condition

线程安全的 Singleton 实现

mutex 与 shared_ptr 的应用实例

一、线程同步精要

并发编程的两种基本模型：message passing 和 shared memory。

线程同步的四项原则：

尽量最低限度的共享对象，减少需要同步的场合。尽量避免对象暴露给其他线程，如果要暴露，优先考虑 immutable 对象；无可避免时才暴露可修改的对象，并用同步措施充分保护它。
使用高级的并发编程构件，如 TaskQueue、CountDownLaunch 等等。
不得已使用底层同步原语时，只使用非递归的互斥器和条件变量，慎用读写锁，不使用信号量。
除了使用 atomic 整数之外，不自己编写 lock-free 代码。

互斥器 mutex

保护了临界区，任何一个时刻最多只能有一个线程在此 mutex 划出的临界区内活动。

主要原则：

只用非递归的 mutex（即不可重入的 mutex）。
不手动调用 lock() 和 unlock() 函数，一切交给栈上的 guard 对象的构造和析构函数负责，保证始终在同一个函数同一个 scope 里对某个 mutex 加锁和解锁，其生命周期正好等于临界区。
每次构造 guard 对象的时候，思考一路上（调用栈上）已经持有的锁，防止因加锁顺序不同而导致死锁。由于 guard 对象是栈上对象，看函数调用栈就能分析用锁的情况。

次要原则：

不使用跨进程的 mutex ，进程间通信只用 TCP sockets
加锁解锁在同一个线程

只使用非递归的 mutex

非递归的 mutex 即非可重入的 mutex。同一个线程不能重复对非递归的 mutex 进行加锁。

死锁

情景一：线程自己与自己死锁

class Request{
public:
    void process(){
        muduo::MutexLockGuard lock(mulex_);
        //...
        print(); //lead to deadlock
    }
    void print() const{
        muduo::MutexLockGuard lock(mulex_);
        //...
    }
private:
    mutable muduo::MulexLock mutex_;
}

int main(){
    Request req;
    req.process();
}

要定位这种死锁，只要把函数调用栈打印出来，结合源码一看，就能发现第6帧 Request::process() 和第5帧 Request::print() 先后对同一个 mutex 上锁，引发了死锁。

修复方法：从 Request::print() 抽取出 Request::printWithLockHold()，并让 Request::print() 和 Request::process() 都调用它即可。

class Request{
public:
    void process(){
        muduo::MutexLockGuard lock(mulex_);
        //...
        printWithLockHold(); //lead to deadlock
    }
    void print() const{
        muduo::MutexLockGuard lock(mulex_);
        printWithLockHold();
    }
    void printWithLockHold() const{
        doprint;
        //...
    }
private:
    mutable muduo::MulexLock mutex_;
}

int main(){
    Request req;
    req.process();
}

情景二：两个线程死锁

有一个 Inventory (清单) class，记录当前的 Request 对象，容易看出，下面这个 Inventory class 的 add() 和 remove() 成员函数都是线程安全的，使用了 mutex 来保护共享数据 request_。