11、线程编程：从基础到复杂同步问题解析

线程编程：从基础到复杂同步问题解析

线程操作与消息队列

在多线程编程中，我们可以进行一些特定操作，如引用计数和信号量操作，但这些并非 POSIX 标准的一部分，且并非所有 CPU 架构都支持相应指令。

消息队列是一个常被讨论的话题，其目的是让一个线程可以将请求排队，供另一个线程处理。若程序中确实需要这种功能，可构建生产者/消费者模型，使用队列来实现。这种方式不仅能让你完全掌控程序，还提供了简单的编程模型。

Win32 实现了内核级消息队列，可用于相同目的。由于它是 Win32 库的一部分，在跨进程通信中使用较为合理，尤其是在无法控制所有源代码的情况下。但在单进程中，使用它会带来较大的 CPU 时间和代码复杂度负担。

中断线程并改变其执行任务是一项更具挑战性的需求。若有此想法，需仔细重新审视目标。可以考虑通过以下方式完成工作：
1. 从该线程进行轮询。
2. 等待该线程完成当前任务后查看队列。
3. 创建新线程执行当前任务。

若确实要中断线程（非杀死），唯一方法是使用 UNIX 信号。

Win32 的 I/O 完成端口是解决生产者/消费者问题的方案。创建带有文件句柄的完成端口后，多个线程可等待该端口。当有数据包到达句柄时，一个等待线程会被唤醒并处理数据包，完成后发送回复并继续等待端口。

跨进程同步变量

不同进程中的线程可通过共享内存中的同步变量进行同步。这种同步方式在所有库中都可行（POSIX 中是可选的），即使不同进程中的线程相互不可见。

两个进程都需知晓同步变量，且必须有一个进程将其初始化为跨进程变量，之后多个进程可将其作为普