1. Windows线程机制深度解析
在Windows系统编程中，线程机制是构建高效应用程序的核心基础。与传统的Win16架构不同，Win32 API提供了一套完整的线程管理和同步机制，使得开发者能够充分利用现代操作系统的多任务能力。
1.1 进程与句柄的关系
Windows 95引入的进程模型与早期的Win16架构有着本质区别。在Win32环境中，进程不再通过进程ID直接跟踪，而是通过HANDLE类型的hProcess进行操作。这个设计决策带来了几个关键特性：
-
句柄的多重性：同一个进程可以拥有多个不同的hProcess值，这与Win16时代的选择器或指针有着根本区别。例如，通过CreateProcess和OpenProcess可以为同一个进程获取不同的句柄。
-
内核对象抽象：hProcess实际上是对内核对象的引用，操作系统通过这个"魔数"来管理进程资源。在Windows 95中，这个设计虽然保留了16位任务数据库(TDB)的兼容性，但已经建立了现代进程模型的雏形。
实际开发中需要注意：关闭句柄(CloseHandle)不会终止进程，只是释放了对该进程的引用。只有当所有句柄都关闭且进程退出时，系统才会完全释放资源。
1.2 KERNEL32句柄体系
Win32 API中充斥着各种句柄，它们构成了系统资源管理的统一接口：
c复制HANDLE hProcess = CreateProcess(...);
HANDLE hThread = CreateThread(...);
HANDLE hFile = CreateFile(...);
这些句柄虽然看起来都是简单的数值，但实际上代表了不同类型的内核对象：
-
进程范围有效：KERNEL32句柄只在创建它的进程内有效，跨进程直接传递句柄是没有意义的。这是Windows安全模型的基础之一。
-
可等待对象：所有KERNEL32句柄都可以用于同步函数，如WaitForSingleObject。这种统一的设计使得线程同步变得非常灵活。
-
类型安全：虽然句柄在形式上都是HANDLE类型，但系统内部会检查具体类型。错误地将文件句柄当作进程句柄使用会导致失败。
2. 进程创建与管理实践
2.1 进程创建函数对比
Windows提供了多种进程创建方式，各有其适用场景：
| 函数名称 | 版本 | 返回值 | 推荐使用场景 |
|---|---|---|---|
| WinExec | Win16 | BOOL | 简单向后兼容 |
| LoadModule | Win16 | HINSTANCE | DLL加载 |
| CreateProcess | Win32 | HANDLE | 新进程开发的标准方式 |
| ShellExecute | Shell | HINSTANCE | 文档/URL打开 |
CreateProcess是现代Windows编程的首选，因为它：
- 返回可操作的hProcess句柄
- 提供详细的进程控制参数
- 支持安全属性和继承选项
2.2 进程控制实战
获取进程句柄后，可以进行多种操作：
c复制// 终止进程
TerminateProcess(hProcess, exitCode);
// 调整优先级
SetPriorityClass(hProcess, HIGH_PRIORITY_CLASS);
// 等待进程结束
WaitForSingleObject(hProcess, INFINITE);
特别需要注意的是，Windows 95虽然保留了16位任务数据库(TDB)，但Win32进程的TDB已经发生了重要变化：
- 当前目录存储空间从65字节扩展到100h字节
- 支持长文件名和路径名
- PSP(程序段前缀)不再必须紧随TDB
3. 线程同步机制详解
3.1 同步基础概念
Windows 3.x的协作式多任务依赖于程序主动调用GetMessage等API让出CPU，而Win32实现了真正的抢占式多任务。这种改变使得同步机制成为必需。
同步的核心目标是确保：
- 共享资源的安全访问
- 线程执行的顺序控制
- 避免竞态条件
3.2 四种主要同步对象
3.2.1 事件(Event)
事件是最灵活的同步对象，常用于线程间通知：
c复制// 创建自动重置事件
HANDLE hEvent = CreateEvent(NULL, FALSE, FALSE, NULL);
// 等待事件
WaitForSingleObject(hEvent, INFINITE);
// 触发事件
SetEvent(hEvent);
典型应用场景：
- 后台任务完成通知
- 数据就绪信号
- 线程启动/停止控制
3.2.2 信号量(Semaphore)
信号量是控制资源访问的计数器：
c复制// 创建最大计数为5的信号量
HANDLE hSem = CreateSemaphore(NULL, 5, 5, NULL);
// 获取访问权
WaitForSingleObject(hSem, INFINITE);
// 释放
ReleaseSemaphore(hSem, 1, NULL);
使用要点：
- 初始化计数表示可用资源数
- 每次Wait减少计数，Release增加
- 计数为0时Wait会阻塞
3.2.3 互斥量(Mutex)
互斥量确保代码段的独占访问：
c复制HANDLE hMutex = CreateMutex(NULL, FALSE, NULL);
WaitForSingleObject(hMutex, INFINITE);
// 临界区代码
ReleaseMutex(hMutex);
与临界区的区别：
- 支持跨进程使用
- 可以设置等待超时
- 所有权概念更明确
3.2.4 临界区(Critical Section)
临界区是轻量级的进程内互斥：
c复制CRITICAL_SECTION cs;
InitializeCriticalSection(&cs);
EnterCriticalSection(&cs);
// 临界区代码
LeaveCriticalSection(&cs);
性能特点：
- 比Mutex更快
- 仅限同一进程内使用
- 不支持超时等待
4. 同步机制实战技巧
4.1 等待函数的灵活运用
除了基本的WaitForSingleObject，Win32还提供：
c复制// 多对象等待
WaitForMultipleObjects(COUNT, handles, TRUE, INFINITE);
// 可警告等待
WaitForSingleObjectEx(hEvent, INFINITE, TRUE);
// 消息等待
MsgWaitForMultipleObjects(COUNT, handles, FALSE, INFINITE, QS_ALLINPUT);
4.2 常见问题排查
-
句柄泄漏：
- 忘记CloseHandle会导致资源泄漏
- 使用工具如Process Explorer检查
-
死锁预防：
- 避免嵌套获取多个锁
- 统一获取顺序
- 设置合理超时
-
性能优化：
- 临界区优先于Mutex
- 减少临界区范围
- 考虑读写锁模式
4.3 高级同步模式
-
生产者-消费者模型：
- 使用信号量控制缓冲区
- 事件通知数据可用
-
读写锁模拟：
- 组合使用信号量和互斥量
- 允许多读单写
-
屏障同步：
- 使用事件和计数器
- 确保多个线程到达同步点
在实际项目中，我曾遇到一个典型的同步问题：日志系统需要支持多线程写入，但又要保证日志文件的完整性。最终采用的方案是：
- 使用互斥量保护文件操作
- 内存缓冲区采用无锁队列
- 后台线程定时刷新缓冲区
这种设计既保证了线程安全，又避免了频繁的I/O操作影响性能。关键是要理解不同同步对象的特性和适用场景，而不是简单地套用一种模式。