多线程的概念与基本原理

多线程是操作系统中的一种并发执行机制，允许单个进程内同时运行多个线程。每个线程共享进程的资源（如内存、文件描述符），但拥有独立的程序计数器、寄存器和栈空间。这种设计能够提高程序的响应性和资源利用率。

线程分为用户级线程和内核级线程。用户级线程由用户空间的线程库管理，切换速度快但无法利用多核；内核级线程由操作系统直接调度，可跨核心运行但切换成本较高。现代操作系统通常采用混合模型（如Linux的NPTL）。

多线程的优势与应用场景

CPU密集型任务可通过多线程充分利用多核处理器。计算矩阵乘法时，将矩阵分块后由不同线程并行处理，理论加速比接近核心数。

I/O密集型任务使用多线程可避免阻塞。网络服务器中，主线程接受连接后创建子线程处理请求，当某个线程等待磁盘I/O时，其他线程仍可继续执行。

GUI程序常采用多线程保持界面响应。例如视频播放器中，解码线程负责帧解压，渲染线程更新画面，主线程维持用户交互。

线程同步机制

互斥锁（Mutex）是最基础的同步原语。访问共享资源前加锁，操作完成后解锁：

pthread_mutex_t lock;
pthread_mutex_lock(&lock);
// 临界区代码
pthread_mutex_unlock(&lock);

条件变量（Condition Variable）用于线程间事件通知。生产者-消费者模型中：

pthread_cond_wait(&cond, &mutex); // 消费者等待
pthread_cond_signal(&cond);       // 生产者通知

信号量（Semaphore）控制资源访问数量。数据库连接池可能使用计数信号量限制最大连接数。

常见问题与解决方案

竞态条件可通过原子操作避免。C++11提供atomic类型：

std::atomic<int> counter(0);
counter.fetch_add(1); // 线程安全递增

死锁预防遵循四个必要条件破除策略。银行家算法动态检测资源分配状态，避免循环等待。

内存屏障（Memory Barrier）保证指令执行顺序。x86平台使用mfence指令防止乱序执行导致的内存可见性问题。

现代编程模型演进

线程池技术预先创建一组线程，避免频繁创建销毁开销。C++17引入std::async实现任务级并行：

auto future = std::async(std::launch::async, []{
    return compute_result();
});

协程（Coroutine）提供更轻量的并发单元。Go语言的goroutine通过GMP调度器实现百万级并发，栈空间初始仅2KB且可动态扩容。

性能优化实践

伪共享（False Sharing）会导致性能下降。对齐关键数据到缓存行大小（通常64字节）：

struct alignas(64) ThreadData {
    int local_counter;
};

无锁编程（Lock-free）适用高争用场景。CAS（Compare-And-Swap）实现无锁队列：

bool enqueue(Node* new_node) {
    Node* old_tail = tail.load();
    while (!tail.compare_exchange_weak(old_tail, new_node)) {}
    old_tail->next = new_node;
}