Windows 多线程编程总结

keyword：多线程 线程同步 线程池 内核对象

1 内核对象

1 .1 内核对象的概念

内核对象是内核分配的一个内存块，这样的内存块是一个数据结构，表示内核对象的各种特征。而且仅仅能由内核来訪问。应用程序若须要訪问内核对象，须要通过操作系统提供的函数来进行，不能直接訪问内核对象（ Windows 从安全性方面来考虑的）。

内核对象通过 Create* 来创建，返回一个用于标识内核对象的句柄，这些句柄 （而不是内核对象）可在创建进程范围内使用，不可以被传递到其它进程中被使用。

1 .2 内核对象使用的计数

由于内核对象的全部者是内核，而不是进程，所以何时撤销内核对象由内核决定，而内核做这个决定的根据就是该内核对象是否仍然被使用。那么怎样推断内核对象是否被使用呢？能够通过内核对象的“使用计数”属性，一旦这个值变成 0 了，内核就能够释放该对象了。

1 .3 创建内核对象

1 .3.1 进程与句柄表

每一个进程在初始化的时候，将被分配一个句柄表，该句柄表中仅仅存储内核对象的句柄，不存储用户对象的句柄。句柄表的具体结构微软没有发布，可是大致包括三个内容：内核对象句柄，内核对象地址，訪问屏蔽标志。

微软为何要将内核对象的句柄设置为进程相关的呢？理由有：

l          不同的进程对内核对象的訪问权限是不同的，有必要区分对待

l          假设句柄是全局的，则一个进程能够控制另外一个进程的句柄，破坏另外一个进程的句柄。

1 .3.2 创建内核对象及操作系统内部机制

利用 CreateSomeObject 的函数来创建内核对象。调用该函数的时候内核就为该对象分配一个内存块，并进行初始化，然后内核再扫描该进程的句柄表，初始化一条记录并放在句柄表中。

1 .3.3 进程中使用内核对象的内部机制

如果函数 F 使用某个内核对象，其參数为 Handle1 ，则该函数内部须要查找该进程的句柄表，找出參数句柄相应的记录，然后才干使用该内核对象。

1 .4 关闭内核对象

不管进程如何创建内核对象，在不使用该对象的时候都应当通过 Bool CloseHandle(HANDLE hobj) 来向操作系统声明结束对该对象的訪问。为什么叫声明呢？是由于此时或许还有其它进程对该对象的訪问，操作系统可能并不马上释放该对象。操作系统须要做的是：从进程的句柄表中删除该内核对象的记录，另外再考察该内核对象的使用计数以决定是否须要释放该对象。

1 .5 内核对象的共享

说到共享，与之孪生的就是共享权限。 Windows 内核对象的共享有三种方式：

1 .5.1 继承式共享（父子进程间）

仅仅有当进程是父子关系的时候，才干使用此种方式的共享。特别要注意的是继承的是内核对象的句柄，内核对象本身是不具备继承性。要达到这样的继承的效果须要做下面几件事：

l          在进程创建内核对象的时候，须要一个安全结构 sa （ SECURITY_ATTRIBUTES 类型，以向 OS 声明对象的訪问方式）作为參数。继承式共享须要将结构的成员 sa.bInheritHandle 设置为 TRUE 。此时 OS 内部的处理式将进程的句柄表中的该对象的訪问屏蔽字段设置成“可继承”。

l          在创建子进程（ CreateProcess 函数）时，设置创建參数 bInheritHandles 为 TRUE 。表示被创建的子进程能够继承父进程中的全部可继承内核对象。 OS 内部的处理是：复制父进程句柄表中的记录到子进程的句柄表中，并使用同样的句柄值；为内核对象的使用计数器加 1 。

特别说明：子进程可以继承的的内核对象仅局限于父进程创建它的时候所拥有的可继承内核对象。子进程诞生后，父进程再搞出什么可继承的东西，子进程是不能用的。这就须要在子进程中使用继承的内核对象的时候须要谨慎，以确定内核对象是否已被继承了。

利用 SetHandleinformation 方法能够随时改动内核对象句柄的一些属性，眼下公开的句柄属性有两种，一种是该句柄能否被继承，还有一种是该句柄能否被关闭。

1 .5.2 同名共享

同名共享，不须要共享进程之间存在父子关系。但局限于内核对象是否支持这样的共享方式。创建内核对象的 Create 函数中是否包括 pszName 是该内核对象是否支持同名共享的标志。

l          方法一：当 Process1 通过 CreateObject （ …”someName” ）创建了一个名字为 someName 的内核对象后， Process2 也调用了 CreateObject （ …”someName” ），此时内核的动作是：在全局中查询发现已经存在 someName1 的对象；为 Process2 的句柄表加入一条 Ojbect 的记录，使用的句柄不确定；为 someName 这个 Object 的引用计数器加 1 。

l          方法二： Process2 使用 OpenObject （ …”someName” ）的方式来获得对名 someName 的 Object 的句柄。用这样的 Open 方法的时候，须要提供一个參数让 OS 鉴权，以判定是否可以以參数指定的方式来訪问内核对象。

1 .5.3 复制内核对象的句柄的方式共享

跨进程边界的内核对象共享的另外一个方法是通过 DuplicateHandle 来复制内核对象句柄。

假设要将 ProcessS 中的对象复制到 ProcessT 中则调用 DuplicateHandle 的进程一定要有对这两个进程的訪问权，即句柄表中拥有这两个进程内核对象的句柄记录。

2 线程的一般概念

2 .1 视图

l          进程仅仅是线程的容器，从来不运行不论什么东西

l          线程总是在某个进程中被创建

l          线程在进程的地址空间中运行代码

l          线程们共享进程中的全部内核对象

3 线程的创建

HANDLE CreateThread(

         PSECURITY_ATTRIBUTES psa,

         DWORD cbStack,

         PTHREAD_START_ROUTINE pfnStartAddr,

         PVOID pvParam,

         DWORD fdwCreate,

         PDWORD pdwThreadID);

《 Windows 核心编程》 P124 介绍说应当使用编译器提供的线程创建函数，而不应当直接使用 CreateThread 。

3 .1 CreateThread 调用的内核行为

调用 CreateThread 后， OS 进行例如以下几个动作：

l          生成一个线程内核对象

l          在进程空间内为线程分配堆栈空间

由于线程的环境同于其所在进程的环境，所以创建的线程能够訪问进程中的全部资源，包含线程中全部的内核对象。

4 线程销亡

4 .1 终止线程的方式：

l          线程函数返回（最好使用这个方式，能够保证：线程种创建的 C++ 对象正常析构； OS 释放线程堆栈内存； OS 将线程的退出码设置为线程函数的返回值；系统将递减该线程内核对象的的使用计数器【假设此时还有其它引用 …… ，见以下说明】。）

l          调用 ExitThread （不能释放 C++ 对象，所以最好不要使用这个方式。另外，假设非要调用也应当调用编译器推荐的，如 _endThread 【 Windows 核心编程 P127 】）

l          同进程内的其它线程（包含主线程）调用 TerminateThread （被撤销线程得不到通知，不能释放资源，尽量避免这样的方式。另外这个函数是个异步函数，返回时，线程不保证已经被撤销，假设要观察线程是否被撤销，应当使用 WaitForSingleObject ）

l          包括线程的进程终止（应当避免这样的方式）

4 .2 线程退出时 OS 的行为

l          线程内的全部用户对象被释放。

l          线程的退出码从 STILL_ACTIVE 改为传递给 ExitThread 或 TerminateThread 的代码

l          线程内核对象的状态改为“已通知”

l          假设线程为进程中的最后一个线程，则 OS 将进程当作已终止执行

l          线程内核对象的引用计数器减 1 （一旦线程终止了，其它引用改线程内核对象将不可以处理改线程的句柄，可是可以通过调用 GetExitcodeThread 来检查 hThread 代表的线程是否已经终止执行了。）

5 线程同步

5 .1 线程同步的起因以及解决之道

5 .1.1 共用资源型：多个线程须要訪问同一个资源的时候，为了保证资源不被破坏，须要线程对资源的訪问具有原子性。

5 .1.2 依赖型：一个线程等待另外一个线程某件事情完毕后才干运行 _ 能够通过手动事件的方式互相通知。

5 .2 线程同步种类细分

特别说明： WaitForSingleObject/WaitForMultipleObject 是抑制线程本身的一种手法，配合以共用资源对象或所依赖的其它对象“通知状态”的原子性变化，以达到线程在争用资源、互相依赖时运行的顺序化，从而达到同步的目的。

综上：事实上 Windows 的线程同步机制是提供了一组不同情况下的资源争用处理办法而已。与此同一时候推出的 Wait ××却能够带来非常多其它优点，甚至部分缓解 C++ 语言没有事件机制的缺憾，部分达到了 JAVA,C# 中事件机制的效果，为 Oberserve 模式的实现做了些贡献。