C++ 并发编程指南（2）线程安全

前言

在多线程编程中，线程安全是一个至关重要的概念。当多个线程并发访问共享数据时，如果没有适当的同步机制，就可能导致数据竞争、死锁、饥饿等问题。

一、线程安全

1、什么是线程安全？

解释一

线程安全是指代码在多线程环境下运行时的安全性。如果一个类或者函数在多线程环境中被安全地调用，且其内部状态和结果不会因为多线程的并发访问而遭到破坏，那么我们就说这个类或者函数是线程安全的，一句话讲就是多线程可以安全访问临界区资源，就是线程安全。

解释二

多线程同时对内存中的一共享变量操作，最终这个共享变量的值是正确的，那么就是线程安全，反之就是线程不安全。

2、并发编程Bug源头

2.1、可见性问题

一个线程对共享变量的修改，另一个线程能够立即看到，成为可见性。下面通过一个示例来分析下可见性问题，如下：

int a = 0, b = 0;
int x = 0, y = 0;

void func1() {
    a = 1;  // 1
    x = b;  // 2
}

void func2() {
    b = 2; // 3
    y = a;  // 4
}

void Test() {
    std::thread t1(func1);
    std::thread t2(func2);
    t1.join();
    t2.join();
    assert(x != 2);
    assert(y != 1);
}

上面的两个断言都有可能触发，分析这个问题之前先讲下计算机存储结构。当前的计算机存储结构是一个多级分层次的结构，其中有一个比较重要的部件是缓存，引入缓存只要是为了结局CPU等待问题，提升计算机的性能，存储结构图如下：

线程1跑在Core1上，线程2跑在Core3上，当线程1执行操作1，把a=1的值写入到缓存，a的值还没有同步到内存。此时，线程2此时有可能执行到操作4，因为a的值还没有被同步到其其它Core的缓存，导致操作4读出的a的值是旧的值（a=0）直接复制给y（y=0），触发断言。

结合计算存储结构来分析，在多线程场景，如果没有做任何线程同步，一个线程对共享变量的修改，另一个线程不一定能够立即看到。

2.2、有序性问题

有序性问题主要涉及到CPU指令重排：编译器重排与CPU指令重排（参考11.3章节），指令重排会遵循下面的原则

• 单核处理器遵守as-if-serial语义，重排序后的执行结果与顺序执行的结果保持一致
• 单核处理器不会对存在数据依赖性的两个内存操作做重排
• 数据依赖和as-if-serial语义并不考虑多线程之间的数据依赖情况

2.3、原子性问题

原子操作（atomic operation）：不可被中断的一个或一系列操作，处理器能保证的原子操作是指令级别的，而不是高级语言的操作符，示例：

int num = 0;

void func1() {
    for (int index = 0; index < 100; index ++) {
        num ++; // 1
    }
}

void func2() {
    for (int index = 0; index < 100; index ++) {
        num ++; // 2
    }
}

void Test() {
    std::thread t1(func1);
    std::thread t2(func2);
    t1.join();
    t2.join();
    assert(num == 200);
}

上面示例中的操作1与操作2是高级语言的操作符，无法保证原子性

3、线程安全的基本原则

线程安全是并发编程中的一个重要概念，它指的是在多线程环境下，代码能够正确地执行，不会因为线程间的数据竞争或共享资源的冲突而导致程序错误或不可预测的结果。以下是线程安全的基本原则：

• 避免共享状态：如果可能，避免在多线程之间共享可变数据。每个线程应该只操作它自己的数据副本。使用局部变量或线程局部存储（Thread Local Storage, TLS）来存储线程特定的数据。
• 最小化共享状态：如果必须共享数据，则只共享那些确实需要共享的数据，并尽可能减少共享数据的数量。将共享状态封装在最小范围内，并使用适当的同步机制来保护它。
• 使用同步机制：当多个线程需要访问共享数据时，使用同步机制来确保在任何时候只有一个线程可以修改数据。常见的同步机制包括锁（如互斥锁、读写锁等）、信号量、条件变量和屏障等。
• 避免死锁：死锁是指两个或更多的线程因为竞争资源而造成的一种互相等待的现象，若无外力作用，它们都将无法向前推进。通过避免嵌套锁、使用锁超时、设置锁的顺序或使用更高级的并发控制结构（如读写锁）来避免死锁。
• 原子性：原子操作是不可中断的操作，即它在执行过程中不会被其他线程中断。使用原子操作来确保对共享状态的修改是原子的，即在一个操作中完成，不会被其他线程打断。
• 可见性：可见性是指当一个线程修改了共享变量的值，其他线程能够立即看到这个修改。使用volatile关键字（在Java中）或内存屏障（Memory Barrier）来确保可见性。
• 顺序性：顺序性是指在一个线程中，操作按照代码出现的顺序来执行。然而，在并发编程中，由于编译器优化和CPU乱序执行，这个顺序可能会被打破。使用synchronized块、volatile关键字或happens-before关系来确保顺序性。