深入理解线程互斥锁

Beginner_bml

已于 2024-09-13 20:16:46 修改

阅读量823

点赞数 25

文章标签：算法 c语言服务器

于 2024-09-13 20:14:47 首次发布

本文链接：https://blog.csdn.net/2201_75782847/article/details/142219247

版权

2. 优先级反转（Priority Inversion）

一、引言

在多线程编程中，多个线程之间共享资源时可能会导致数据不一致或资源竞争问题。为了确保多个线程不会同时修改共享资源，我们需要某种机制来保证线程间的互斥（Mutual Exclusion）。互斥锁（Mutex）是解决这些问题的经典工具。本文将详细介绍互斥锁的基本概念、使用场景及其实现方式。

二、互斥锁的基本概念

1. 什么是互斥锁？

互斥锁（Mutex）是一种同步机制，用于防止多个线程同时访问共享资源。互斥锁通常用于临界区（critical section），即一段只能被一个线程执行的代码区域。当一个线程进入临界区时，它需要“获取锁”，此时其他线程将被阻塞，直到该线程释放锁。

2. 互斥锁的工作原理

互斥锁的核心思想是：

锁定资源：一个线程进入临界区时，它需要先获得该资源的互斥锁。如果锁已经被其他线程占用，则该线程必须等待。
解锁资源：当线程完成了对共享资源的操作后，必须释放锁，允许其他等待的线程进入临界区。

使用互斥锁的基本流程为：

线程A尝试获取互斥锁，若成功，则进入临界区。
线程A在临界区执行任务，其他尝试进入该临界区的线程都被阻塞。
线程A任务完成，释放互斥锁，其他线程可以获取锁并进入临界区。

3. 为什么需要互斥锁？

在多线程环境中，如果没有互斥机制，多个线程可能会同时修改共享资源，导致不可预测的行为。例如，假设有一个共享的全局变量 counter，如果多个线程同时执行 counter++ 操作，那么最终的结果可能与预期不符，因为 ++ 操作并不是原子操作。为了避免这种竞态条件，必须确保在某一时刻只有一个线程可以修改 counter，这正是互斥锁的作用。

三、互斥锁的实现与使用

1. 互斥锁的使用示例（C++）

下面是一个简单的C++代码示例，展示了如何使用互斥锁：

#include <iostream>
#include <thread>
#include <mutex>

std::mutex mtx; // 声明一个全局互斥锁
int counter = 0; // 共享资源

void incrementCounter() {
    for (int i = 0; i < 1000; ++i) {
        std::lock_guard<std::mutex> lock(mtx); // 使用lock_guard自动管理锁
        ++counter;
    }
}

int main() {
    std::thread t1(incrementCounter);
    std::thread t2(incrementCounter);

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

    std::cout << "Final Counter Value: " << counter << std::endl;
    return 0;
}

在这个例子中，两个线程 t1 和 t2 共享一个全局变量 counter。为了防止竞态条件，我们使用了 std::mutex 锁，在每次访问 counter 时都要先获取锁。这确保了每个线程在修改 counter 时不会被其他线程打断。

2. `lock_guard` 的使用

std::lock_guard 是一种 RAII（资源获取即初始化）风格的锁管理器。它能在构造时自动获取互斥锁，并在作用域结束时自动释放锁。这样可以避免手动管理锁的开销以及忘记释放锁的问题。

3. 互斥锁的其他操作

除了 std::lock_guard，C++ 还提供了其他一些用于处理互斥锁的工具：

手动锁定和解锁：使用 mtx.lock() 和 mtx.unlock() 可以手动控制锁的获取和释放。虽然灵活，但容易因忘记释放锁而导致死锁。
try_lock()：使用 try_lock() 可以尝试获取锁。如果锁已经被其他线程占用，它不会阻塞当前线程，而是立即返回 false。这适用于某些不需要长时间等待锁的场景。
递归互斥锁 std::recursive_mutex：在某些情况下，线程在持有锁时可能会递归调用自己。为了避免死锁，可以使用递归互斥锁。递归互斥锁允许同一线程多次获得同一把锁，但需要确保每次加锁都对应一次解锁。