泛说"COM线程模型"

我对“公寓 ”一词说实在一直不太搞得清楚，而企图上论坛问人的话他们总是喜欢回答：“你还是好好把《COM本质论》看一遍吧。”其实如果其中有些关键部分不理解的话，就算看上十遍也是不行的，我们需要的是一本适合自己的教材，今天偶尔发现这篇文章，所以转上来，希望读者能发表下意见。为了方便阅读，我对原文稍微进行了一些排版。

＝＝＝＝＝ 原文 ＝＝＝＝＝

泛说"COM线程模型"

 

作者：未知 来源：月光软件站 加入时间：2005-2-28 月光软件站

 

COM线程模型在COM相关的基础知识中应该算是难点，难的原因可能有这些：

1、需要对COM其它基础知识有较深的了解，因为这个论题几乎涉及到了COM所有其它的基础知识。

2、学习者得非常了解Win32本身的线程模型，因为在Windows中COM的线程模型在建立在Win32线程模型的基础上的。

3、COM线程模型所引用的概念十分抽象，不好理解。

如果你还没有掌握 1，2 所提到的知识点，你可以马上找一些书籍，迅速补充这些知识，如果你已经掌握了这些知识，那就给你的想象力上点油，轻松点。

 

开始想象

术语

公寓(Apartment)有的译文译作"套间"。这个术语抽象的是COM对象的生存空间，你还真的可以想象成公寓，线程就是住在公寓里的人。

单线程公寓(Single-Threaded Apartment STA) 这种房间是供有钱人住的单人间，设备齐全，服务周到。

多线程公寓(Multithreaded Apartment MTA) 住在这种房间里的人条件就差多了，那么多人就挤在一个大房间里头，可是他们自强不息。个个健壮得不得了。

 

然后思考

单线程公寓与多线程公寓的本质差别有哪些？

如果另一个人要和住在单线程公寓的人通信，不能直接去找他，哪怕你也住在高贵的单人间。但你可以打电话。提醒一下，电话每次只能同时与一个人说话(他们还没有用到电话会议之类的服务)。住在多线程公寓的人他们的房间有个大窗子，如果住在单人间(单线程公寓)的人想与他们通信，来窗口说就行，而且这个窗子比你想的要大，可以同时让很多人对话。同一房间里的人不用说了，他们可以直通话。

 

回到现实

术语

1、公寓，如果从来就不用考虑线程同步的问题，就用不着这个概念了，可是 COM 决定支持强大的多线程，于是引入了这个概念，公寓决定了线程与外界通信的方式。每一个与COM对象打交道的线程必须先决定要进入哪种公寓。

2、单线程公寓，这种公寓本身只能包含一个线程，通过调用CoInitialize(NULL)进入。它有着与窗口类似的运作方式，回想一下窗口的运行方式：消息泵不断的从消息队列提取消息，然后调度给相应的窗口函数。这样做的好处是，窗口函数永远不会重入，也就是说永远不会有同步的问题。单线程公寓也用了同样的运作方式(所以该公寓中的线程的主函数必须有一个消息循环)：对该公寓中线程所拥有的COM对象的调用被队列化，只有当一个调用结束后，另个调用才会开始。那么组件对象的代码也是永远不会重入。

3、多线程公寓，这种公寓可以包含任意多的线程(具体数目由操作系统决定)。一个进程里头只能包含一个这种公寓，所有调用CoInitializeEx(NULL, COINIT_MULTITHEADED)都会进入这个公寓。对该公寓中线程所拥有的COM对象的调用是直接的（先不考虑跨进程的情况)，包括本公寓中的线程与其它的STA线程。

 

然后思考

单线程公寓与多线程公寓 的本质差别有哪些？

单线程公寓实现同步，有很多COM库的干预，包括将外部的调用转化成窗口消息，然后那个特别的隐藏窗口的窗口函数把窗口消息转化成COM对象的函数调用。这样的模型可以减小开发组件的难度，可是，却牺牲了效率。多线程公寓把实现同步任务全部交给了组件自己，所以在这种公寓中生存的COM对象必须足够健壮，考虑各种同步问题，不至于多个线程在调用对象的成员函数时会打架。

 

弄清它们的关系

弄清公寓，线程，对象的关系是很重要的，你弄清了吗？如果你没有弄清，那上面的这些也一定也是看得懵懵懂懂。公寓是这里面最大的单位，它是线程的容器。如果调用CoInitialize(0)，COM库会创建一个STA(注意，是"创建")，你的线程将属于这个公寓，并且是这个公寓的唯一成员。如果CoInitializeEx(NULL, COINIT_MULTITHEADED)，而且是第一个要求进入MTA的线程，COM库会创建一个MTA，其它后面调用CoInitializeEx(NULL, COINIT_MULTITHEADED)的线程会直接进入(注意，我用的"进入")已有MTA。本来线程是一个运行的实体，不会分配资源，可是在 COM的线程模型里一个对象与创建它的线程是紧密相关的，称对象归属于某个线程，至于这种归属关系是在COM库内怎么管理，我们先不去管它，以后我们把线程A创建的对象说成是线程A的对象就行了(有一个例外，得说说，有一种Single 类型的COM对象，这种对象基实就是COM在提出线程模型前的产物，这种对象总是归属于主STA线程，即第一个调用CoInitialize(0)的线程。)

 

如有缪误，敬请指正。