泛说 "COM线程模型"
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对象打交道的线程必须先决定要进入哪种单元.
单线程单元 这种单元本身只能包含一个线程,通过调用CoInitialize(0)进入.他有着与窗口类似的运作方式,回想一下窗口的运行方式:消息泵不断的从消息队列提取消息,然后调度给相应的窗口函数.这样做的好处是,窗口函数永远不会重入,也就是说永远不会有同步的问题.单线程单元也用了同样的运作方式(所以该单元中的线程的主函数必须有一个消息循环):对该单元中线程所拥有的COM对象的调用被队列化,只有当一个调用结束后,另个调用才会开始.那么组件对象的代码也是永远不会重入.
多线程单元 这种单元可以包含任意多的线程(具体数目由操作系统决定).一个进程里头只能包含一个这种单元,所有调用 CoInitializeEx(NULL , COINIT_MULTITHEADED)都会进入这个单元.对该单元中线程所拥有的COM对象的调用是直接的（先不考虑跨进程的情况). 包括本单元中的线程与其它的STA线程.
然后思考:
1 单线程单元 与 多线程单元 的本质差别有哪些?
单线程单元实现同步,有很多COM库的干预,包括将外部的调用转化成窗口消息,然后那个特别的隐藏窗口的窗口函数把窗口消息转化成COM对象的函数调用.这样的模型可以减小开发组件的难度,可是,却牺牲了效率.
多线程单元把实现同步任务全部交给了组件自己,所以在这种单元中生存的COM对象必须足够健壮,考虑各种同步问题,不至于多个线程在调用对象的成员函数时会打架.
2 弄清它们的关系
弄清单元,线程,对象的关系是很重要的,你弄清了吗?如果你没有弄清,那上面的这些也一定也是看得蒙蒙懂懂. 单元是这里面最大的单位,他是线程的容器.如果调用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)的线程.)
如有缪误,敬请指正.
例子:
www.widgetware.com 上有 <ATL developer's guide>的例子,其中第十课的例子就是COM的线程模型的例子,我看了一下,有好几个,不错,你可以去看看.
