C++高级编程（5）-- 并发编程与线程同步技术

并发编程与线程同步技术

在现代C++编程中，并发编程是一个不可或缺的部分。随着多核处理器的普及，合理地利用并发可以显著提高程序的性能和响应性。然而，并发编程也带来了一系列挑战，其中线程同步是最棘手的问题之一。本篇博客将深入探讨C++中的并发编程和线程同步技术，包括互斥锁、条件变量、未来和异步任务等高级主题。

线程基础

在C++11及以后的版本中，<thread>库提供了基本的线程支持。创建线程非常简单：

#include <thread>

void do_work() {
    // 执行一些任务...
}

int main() {
    std::thread t(do_work);
    t.join(); // 等待线程完成
    return 0;
}

这里，我们创建了一个新线程t，它将执行do_work函数。使用join()方法可以阻塞当前线程，直到新线程完成任务。

互斥锁

互斥锁（std::mutex）是最基本的线程同步工具。它保证在同一时间内只有一个线程可以访问共享数据。

#include <mutex>

std::mutex mtx; // 全局互斥锁

void safe_increment(int& value) {
    mtx.lock();
    value++;
    mtx.unlock();
}

在这个例子中，safe_increment函数使用互斥锁保护了对整数value的递增操作。lock()和unlock()方法分别用于获取和释放锁。为了避免忘记解锁，建议使用std::lock_guard：

void safe_increment(int& value) {
    std::lock_guard<std::mutex> lock(mtx);
    value++;
    // lock_guard对象析构时自动释放锁
}

条件变量

条件变量（std::condition_variable）允许一个或多个线程等待直到另一个线程修改了共享数据。

#include <condition_variable>

std::mutex mtx;
std::condition_variable cv;
bool ready = false;

void prepare_data() {
    std::unique_lock<std::mutex> lck(mtx);
    // 准备数据...
    ready = true;
    cv.notify_one(); // 通知一个等待的线程
}

void process_data() {
    std::unique_lock<std::mutex> lck(mtx);
    while (!ready) {
        cv.wait(lck); // 等待直到收到通知
    }
    // 处理数据...
}

在这个例子中，process_data函数等待直到ready变为true。notify_one()方法用于唤醒一个等待的线程。

未来和异步任务

C++11引入了<future>库，它允许你异步地启动任务并在未来某个时刻获取结果。这对于避免阻塞主线程非常有用。

#include <future>

std::future<int> fut = std::async(std::launch::async, [] {
    // 执行一些耗时的计算...
    return 42;
});

// ... 其他代码 ...

int result = fut.get(); // 获取结果，如果还没有准备好，则等待

std::async函数启动一个异步任务。std::launch::async参数表示任务应该在一个新的线程中运行。fut.get()方法用于获取结果，如果结果还没有准备好，它会阻塞直到结果可用。

高级同步技术

除了基本的互斥锁和条件变量，还有其他一些高级同步技术可以帮助解决更复杂的并发问题。例如，std::barrier可以阻止一组线程，直到所有线程都到达某个点。std::counting_semaphore可以限制同时访问某个资源的线程数量。这些工具在<semaphore>库中提供。

结语

并发编程和线程同步是C++高级编程的重要组成部分。通过使用互斥锁、条件变量、未来和异步任务等工具，我们可以编写出高效且可靠的多线程程序。然而，并发编程仍然是一个复杂且容易出错的领域，需要程序员具备深入的理论知识和实践经验。希望本篇博客能帮助你更好地理解和应用C++的并发编程技术。