C++中的Mutex：保护共享资源的利器

在多线程编程中，保护共享资源免受数据竞争（data race）是至关重要的。C++11标准库引入了mutex（互斥量），提供了一种机制来确保同一时间只有一个线程能访问某个资源，从而防止数据竞争。

什么是Mutex？

Mutex（互斥体）是用于控制资源独占访问的同步原语。当一个线程锁定（lock）mutex时，其他线程对同一mutex的锁定操作会被阻塞，直到第一个线程解锁（unlock）mutex。Mutex的核心功能包括：

• 独占访问：同一时间只允许一个线程锁定。
• 阻塞与非阻塞锁定：lock()阻塞，try_lock()非阻塞。
• 数据保护：防止多个线程同时访问共享资源导致数据竞争。

使用建议

直接调用mutex成员函数存在潜在的风险，特别是在异常处理中可能忘记解锁mutex，导致死锁。为了解决这个问题，推荐使用std::lock_guard：

• 自动管理锁的生命周期：构造时加锁，析构时解锁。
• 简化代码：减少显式unlock的需求，降低错误率。

示例：

std::mutex mtx;
void safe_function() {
    std::lock_guard<std::mutex> lock(mtx);
    // 访问共享资源
}

Mutex的分类

1. std::mutex：普通的互斥量，无法递归锁定。
2. std::recursive_mutex：递归互斥量，同一线程可以多次锁定。
3. std::timed_mutex：定时互斥量，支持带有超时机制的锁定。
4. std::recursive_timed_mutex：定时递归互斥量。
5. std::shared_mutex：共享互斥量，支持多线程共享访问和独占访问。
6. std::shared_timed_mutex：带有超时机制的共享互斥量。

使用场景,任务锁定示例

class q_mutex {
public:
    void task() {
        auto func = [&](int i) {
            XLOG_INFO("Start mutex lock: {0}", i);
            mutex_.lock();
            i = 100; // 保护数据i
            mutex_.unlock();
            XLOG_INFO("End mutex lock");
        };
        std::thread thread_(func, 199);
        thread_.detach();
    }

private:
    std::mutex mutex_;
};

多个锁的处理

在多线程编程中，常常需要同时锁定多个资源。std::try_lock提供了一种避免死锁的方式：

void multiple_lock() {
    std::mutex mutex1, mutex2, mutex3;
    int index = std::try_lock(mutex1, mutex2, mutex3);
    if (index == -1) {
        // 成功锁定所有互斥锁
        mutex1.unlock();
        mutex2.unlock();
        mutex3.unlock();
    } else {
        // 释放已经锁定的互斥锁
        if (index == 0) mutex1.unlock();
        if (index == 1) mutex2.unlock();
        if (index == 2) mutex3.unlock();
    }
}

总结

Mutex是多线程编程中保护共享资源的基础工具。通过合理使用不同类型的mutex和工具函数，可以有效防止数据竞争和死锁问题，提高程序的稳定性和性能。在实际编程中，推荐使用std::lock_guard等RAII机制来管理mutex的生命周期，简化代码并降低错误率。

希望这篇文章能帮助你更好地理解和使用C++中的mutex来编写高效、安全的多线程程序。