C++ 并发编程指南（12）线程中断

引言

在多线程编程中，有时需要在某些条件下停止或暂停一个线程的执行。C++标准库并没有提供一个直接的方法来实现线程中断，但可以通过一些技巧和设计模式来实现类似的功能。本文将介绍如何在C++中使用条件变量和原子操作来实现线程中断。

一、线程中断

1、为什么C++没有直接支持线程中断？

C++标准库设计的一个原则是提供可移植性和安全性。线程中断是一个复杂的概念，因为它涉及到如何在运行时安全地改变一个线程的执行状态。直接中断一个线程可能会导致数据竞争、死锁或其他同步问题，这些问题很难在所有平台上一致地解决。因此，C++标准库没有提供直接的线程中断机制。

2、如何实现线程中断？

尽管C++标准库没有直接支持线程中断，但程序员仍然可以通过以下方式实现类似的功能：

• 协作中断：这是最常见的方法。线程定期检查一个共享变量（通常称为“中断标志”），以确定是否应该停止执行。这种方法要求线程能够响应中断请求，并且需要在适当的位置添加检查中断标志的代码。
• 条件变量：使用<condition_variable>库中的条件变量可以实现线程的等待和唤醒。当需要中断线程时，可以通知条件变量，使等待的线程得以继续执行并检查中断标志。

3、线程中断的最佳实践

• 避免强制中断：尽量使用协作中断机制，而不是强制终止线程。强制中断可能会导致数据不一致、死锁或其他同步问题。
• 设置清晰的中断策略：在设计多线程程序时，应明确线程的中断策略。这包括确定何时应该检查中断标志、如何处理中断请求以及如何在中断后清理资源等。
• 使用条件变量和互斥锁：当需要在多个线程之间同步时，使用条件变量和互斥锁来确保线程安全地访问共享资源。这有助于减少竞态条件和死锁的风险。

4、示例

4.1、使用条件变量实现线程中断

#include <iostream>  
#include <thread>  
#include <mutex>  
#include <condition_variable>  
#include <chrono>  
  
// 互斥锁和条件变量  
std::mutex mtx;  
std::condition_variable cv;  
bool stopFlag = false; // 标志位，用于表示是否应该停止线程  
  
// 线程要执行的工作函数  
void doWork() {  
    std::unique_lock<std::mutex> lock(mtx);  
    while (!stopFlag) {  
        // 等待条件变量，或者直到被唤醒或检测到stopFlag为true  
        cv.wait(lock, []{ return stopFlag; });  
  
        // 如果stopFlag为true，则退出循环  
        if (stopFlag) {  
            std::cout << "Thread has been interrupted and is exiting." << std::endl;  
            return;  
        }  
  
        // 模拟一些工作  
        std::cout << "Thread is working..." << std::endl;  
  
        // 假设工作完成后，线程会再次等待  
        // 这里只是简单模拟，实际中可能需要更复杂的逻辑  
        std::this_thread::sleep_for(std::chrono::milliseconds(100));  
    }  
}  
  
int main() {  
    // 创建一个线程来执行工作  
    std::thread workerThread(doWork);  
  
    // 模拟主线程的其他工作  
    std::this_thread::sleep_for(std::chrono::seconds(5));  
  
    // 设置stopFlag为true，并通知条件变量  
    {  
        std::unique_lock<std::mutex> lock(mtx);  
        stopFlag = true;  
        cv.notify_one(); // 唤醒一个正在等待的线程  
    }  
  
    // 等待工作线程完成  
    if (workerThread.joinable()) {  
        workerThread.join();  
    }  
  
    std::cout << "Main thread is exiting." << std::endl;  
    return 0;  
}

4.2、使用原子变量实现线程中断

#include <iostream>
#include <thread>
#include <atomic>

std::atomic<bool> is_interrupted(false);

void thread_func() {
    while (!is_interrupted) {
        // 线程正常执行的逻辑
        std::cout << "Thread running." << std::endl;
        std::this_thread::sleep_for(std::chrono::milliseconds(100));
    }
    // 线程被中断后的处理逻辑
    std::cout << "Thread interrupted." << std::endl;
}

int main() {
    std::thread t(thread_func);

    // 模拟线程运行一段时间后触发中断
    std::this_thread::sleep_for(std::chrono::seconds(2));
    is_interrupted = true;

    t.join();
    return 0;
}