面试题：C++中多线程环境下逻辑地址的管理与冲突处理

多线程环境下逻辑地址管理机制

在C++多线程编程中，每个线程都有自己独立的栈空间，用于存储局部变量、函数参数等。而堆空间是所有线程共享的。操作系统负责将逻辑地址映射到物理地址，这种映射对每个线程来说是透明的。

每个线程在启动时，操作系统会为其分配一个独立的线程上下文，其中包含了线程的栈指针、指令指针等信息。线程的栈空间是在线程启动时由操作系统分配的，大小通常是固定的，并且不同线程的栈空间在逻辑地址上是隔离的。

逻辑地址冲突问题及处理方法

资源竞争导致的冲突：当多个线程同时访问和修改共享资源（如堆上分配的内存）时，可能会出现逻辑地址冲突。这通常会导致数据不一致或程序崩溃。处理方法：
- 互斥锁（Mutex）：通过互斥锁来保护共享资源，同一时间只有一个线程可以访问共享资源。
- 读写锁（Read - Write Lock）：如果共享资源读操作远多于写操作，可以使用读写锁。允许多个线程同时进行读操作，但写操作时需要独占资源。
- 信号量（Semaphore）：用于控制同时访问共享资源的线程数量。
栈溢出导致的冲突：如果某个线程的栈空间使用过大，可能会导致栈溢出，影响其他线程。处理方法：
- 合理规划线程栈大小，避免局部变量占用过多栈空间。
- 使用动态内存分配（如堆内存）来存储大型数据结构。

代码示例及分析

使用互斥锁（Mutex）

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

std::mutex mtx;
int shared_variable = 0;

void increment() {
    for (int i = 0; i < 1000000; ++i) {
        mtx.lock();
        ++shared_variable;
        mtx.unlock();
    }
}

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

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

    std::cout << "Final value of shared_variable: " << shared_variable << std::endl;
    return 0;
}

分析：在这个示例中，shared_variable 是共享资源。increment 函数尝试对其进行100万次递增操作。通过 std::mutex 的 lock 和 unlock 方法，确保同一时间只有一个线程可以修改 shared_variable，从而避免逻辑地址冲突（这里指对共享内存的竞争访问）。

使用读写锁（Read - Write Lock）

#include <iostream>
#include <thread>
#include <shared_mutex>
#include <vector>

std::shared_mutex rw_mutex;
std::vector<int> shared_data;

void read_data() {
    rw_mutex.lock_shared();
    for (int data : shared_data) {
        std::cout << data << " ";
    }
    std::cout << std::endl;
    rw_mutex.unlock_shared();
}

void write_data() {
    rw_mutex.lock();
    shared_data.push_back(42);
    rw_mutex.unlock();
}

int main() {
    std::thread reader1(read_data);
    std::thread reader2(read_data);
    std::thread writer(write_data);

    reader1.join();
    reader2.join();
    writer.join();

    return 0;
}

分析：shared_data 是共享资源。read_data 函数使用 lock_shared 和 unlock_shared 方法来进行读操作，允许多个读线程同时访问。write_data 函数使用 lock 和 unlock 方法进行写操作，写操作时独占资源，防止读线程和其他写线程干扰，从而避免逻辑地址冲突。

星途面试题库