COM对象的线程模型

来源： http://blog.csdn.net/crybird/archive/2008/10/11/3057067.aspx

查找了好多资料，终于对套件这一概念有一点心得，赶紧记录下来。

首先，只要遵守COM规范，不用COM库也能编写COM程序，那相当于自己实现用到的COM库函数。本篇COM如果单独出现，指COM库。

1 进程、线程回顾

《WINDOWS核心编程》对进程和线程有深入解释，一个程序运行起来，需要一个进程作为容器。进程管理所有系统资源、内存、线程等等。线程是CPU的调度单位，有自己的栈和寄存器状态。程序最初创建的线程叫主线程，主线程可以创建子线程，子线程还可以创建子线程。

不同进程之间是无法直接通信的，因为它们在虚拟内存中的地址不一样。但操作系统通过LPC机制，可以完成不同进程之间的通信。

COM在进程间通信的方法是本地过程调用(LPC)，因为操作系统知道各个进程的确切逻辑地址，所以操作系统可以完成这一点。不同进程间传递的参数需要调整，LPC技术可以完成普通数据的直接拷贝(甚至包括自定义类和指针)，但对于接口参数，COM实现了IMarshal接口以调整。

为了可以用同样的方式和进程外、远程组件通信，客户端不直接和组件通信，而是和代理/存根通信，代理/存根是(而且必须是) DLL形式，能完成参数调整和LPC调用。代理存根不用自己写，系统会自动产生。

注：接口的调整，包括列集和散集两种marshal/unmarshal。

2 COM线程模型

2.1 分清模型与实现

看过《Inside C++ Object Model》(中文名：深入C++对象模型；侯捷译)的人都知道，C++对象模型有三种，各家编译器都选择其中效率最高的一种实现出来。另外两种就留在了理论世界，实现出来没有太大意义。提这个的原因，就是为了弄清楚这一点：COM线程模型只是理论构想，是一种抽象的数学模型，还要COM库通过各种手段实现出来，才能为我们使用。

2.2 套间的由来

最开始的COM库，支持的使用组件的唯一模式是single-thread-per-process模式。这样就避免了多线程的同步，而且组件执行的线程肯定是创建它的线程。

然而组件对象真正的执行环境很复杂。COM组件的执行环境有两种：单线程环境Single-Thread，多线程环境Multi-Thread。单线程要考虑执行线程是否是创建组件的线程；多线程还要考虑并发、同步、死锁、竞争等问题。无论哪种环境，都要编写大量的代码以使COM组件对象正确的运行。

为了使程序员减轻痛苦，COM库决心提供一套机制来帮助程序员。如果我们都遵从这套机制，只要付出较少的劳动，就可以让组件对象和COM库一起完成工作。COM库这套机制的核心技术就是“套间技术”。

2.3 COM的多线程模型

2.3.1 COM库的规定

关于多线程问题方面，COM库做出了如下规则(不是COM标准，是COM库为了简化多线程编程中对组件的调用而制定的)：

1. COM库提供两种套间，单线程套间和多线程套间，COM组件的编写者最好提供对应的属性(后面会提到)，COM组件的使用者要在套间里创建和调用组件。

2. COM库对所有的调用进行参数调整(如果需要)，不管是对进程内服务器的调用，还是对进程外服务器的调用。

3. 线程内调用、跨线程调用、跨进程调用都用统一的方式。需要用代理的会用代理。

如此COM规定了COM库、组件编写者、组件使用者三方合作关系。COM库进行协调关系，会根据组件的能力，在不同环境(套间)中创建和调用组件；编写者要说明组件可以生存的环境；调用者查询接口，合理调用。

2.3.2 单线程套间STA

Single-threaded Apartments，一个套间只关联一个线程，COM库保证对象只能由这个线程访问（通过对象的接口指针调用其方法），其他线程不得直接访问这个对象(可以间接访问，但最终还是由这个线程访问)。

COM库实现了所有调用的同步，因为只有关联线程能访问COM对象。如果有N个调用同时并发，N-1个调用处于阻塞状态。对象的状态（也就是对象的成员变量的值）肯定是正确变化的，不会出现线程访问冲突而导致对象状态错误。

注意：这只是要求、希望、协议，实际是否做到是由COM决定的。这个模型很像Windows提供的窗口消息运行机制，因此这个线程模型非常适合于拥有界面的组件，像ActiveX控件、OLE文档服务器等，都应该使用STA的套间。

2.3.3 多线程套间MTA

Multithreaded Apartments，一个套间可以对应多个线程，COM对象可以被多个线程并发访问。所以这个对象的作者必须在自己的代码中实现线程保护、同步工作，保证可以正确改变自己的状态。

这对于作为业务逻辑组件或干后台服务的组件非常适合。因为作为一个分布式的服务器，同一时间可能有几千条服务请求到达，如果排队进行调用，那么将是不能想象的。

注意：这也只是一个要求、希望、协议而已。

2.3.4 COM+新增NA

COM+为了进一步简化多线程编程，引入了中立线程套间概念。

NA/TNA/NTA，Neutral Apartment/Thread Neutral Apartment / Neutral Threaded Apartment。这种套间只和对象相关联，没有关联的线程，因此任何线程都可以直接访问里面的对象，不存在STA的还是MTA的。

2.4 到底什么是套间

根据《COM技术内幕》的观点，COM没有定义自己新的线程模型，而是直接利用了Win32线程，或者说对其做了改造、包装。线程间的同步也是直接用的Win32 APIs。

《COM本质论》设这样定义的：套间定义了一组对象的逻辑组合，这些对象共享一组并发性和冲入限制。每个COM对象都属于某一个套间，一个套间可以包含多个COM对象。

MSDN上解释说，可以把进程中的组件对象想象为分成了很多组，每一组就是一个套间。属于这个套间的线程，可以直接调用组件，不属于这个套间的线程，要通过代理才能调用组件。

最直接的说，COM库为了实现简化多线程编程的构想，提出了套间概念。套间是一个逻辑上的概念，它把Win32里的线程、组件等，按照一定的规则结合在一起，并且以此提供了一种模式，用于多线程并发访问COM组件方面。可以把套间看作COM对象的管理者，它通过调度，切换COM对象的执行环境，保证COM对象的多线程调用正常运行。COM和线程不是包含关系，而是对应和关联关系。

3 第一方COM库：模型的实现

3.1 单线程套间STA

CoInitializeEx(NULL, COINIT_APARTMENTTHREADED);这句代码创建了一个STA，然后套间把当前的线程和自己关联在一起，线程被标记为套间线程，只有这个线程能直接调用COM对象。

在创建套间的时候，COM创建了一个隐藏的窗口。关联线程对组件的调用直接通过接口指针调用方法；其他线程对套间里的对象的调用，都转变成对那个隐藏窗口发送消息，然后由这个隐藏窗口的消息处理函数来实际调用组件对象的方法。编写组件代码的时候，只需调用DispatchMessage即可将方法调用的消息和普通的消息区分开来（通过隐藏窗口的消息处理函数）。

由于窗口消息的处理是异步的，所以所有的调用都是依次进行的，不必考虑同步的问题。只要调用的时候，参数进行合理调整即可（COM库会做到这一点）。但是对于全局变量和静态变量，组件编写者还是要费心的。

一个STA只关联一个线程， single-thread-per-process模式只是STA的一个特例。使用这种模式的线程叫套间线程(Apartment Thread)。

3.2 多线程套间MTA

CoInitializeEx(NULL, COINIT_MULTITHREADED);第一次如此调用的时候，会创建一个MTA，然后套间把当前线程和自己关联在一起，线程被标记为自由线程。以后第二个线程再调用(在同一进程中)的时候，这个MTA会把第二个线程也关联在一起，并标记为自由线程。一个MTA可以关联多个线程。

所有的关联线程都可以调用套间中的组件。这就涉及到同步问题，需要组件编写者解决。

一个MTA可以关联一个或多个线程，这种模式下，COM组件自己要考虑同步问题。使用这种模式的这些线程叫做自由线程(Free Thread) 。

3.3 总结

一个进程可以有0个、1个或多个STA，还可以有0个或1个MTA。

同时使用CoInitialize(NULL)和CoInitializeEx(NULL,COINIT_APARTMENTTHREADED)是一样的，也就是说，我们在使用CoInitialize的时候默认的是使用套间线程

一个线程，进入(或创建)套间后，不能改变套间模式；但可以退出套间，然后以另外的模式再进入(或创建)另一个套间。

在一个进程中，主套间是第一个被初始化的。在单线程的进程里，这是唯一的套间。调用参数在套间之间被调整，COM库通过消息机制处理同步。

如果你设计多个线程作为自由线程，所有的自由线程在同一个单独的套间中，参数被直接(不被列集)传递给这个套间的任何线程，而且你要处理所有的同步。

在既有自由线程又有套间线程的进程里，所有自由线程在一个套间里，而其他套间都是单线程套间。而进程是包含一个多线程套间和N个单线程套间的容器。

COM的线程模型为客户端和服务器提供了这样一种机制：让不同的线程协同工作。不同进程内，不同线程之间的对象调用也是被支持的。以调用者的角度来看，所有对进程外对象的调用都是一致的，而不管它在怎样的线程模型。以被调用者的角度来看，不管调用者的线程模型如何，所获得的调用都是一致的。

客户端和进程外对象之间的交互也很直接，即使它们使用了不同的线程模型，因为它们属于不同的进程。COM介入了客户端和服务器之间，通过标准的列集和RPC，并提供了跨线程操作的代码。

4 第二方COM组件的调用者

4.1 各种调用

4.1.1 同一线程中的调用

同步问题：不需要，调用者和组件在同一线程中，自然同步。

调整问题：不需要，COM库不需要任何介入，参数也不需要调整，组件也不必线程安全。

调用地点：当前线程

这是最简单的情况。

4.1.2 套间线程之间的调用

同步问题：COM库对调用进行同步。

调整问题：不管两个套间是否在同一进程，都需要调整。某些情况下，需要手动调整。

调用地点：对象所在套间线程。

4.1.3 自由线程之间的调用

同步问题：COM不进行同步，组件自己同步。

调整问题：同一进程不调整，不同进程要调整。

调用地点：客户线程。

4.1.4 自由线程调用套间线程的组件

同步问题：COM库对调用进行同步。

调整问题：不管两个套间是否在同一进程，都需要调整。某些情况下，需要手动调整。

调用地点：套间线程

4.1.5 套间线程调用自由线程的组件

同步问题：COM不进行同步，组件自己同步。

调整问题：需要调整，同一进程，COM会优化调整。

调用地点：客户线程。

4.2 手工调整

如果通过COM方法，所有的参数都由COM库进行调整。有时候需要程序员手工对接口指针进行列集marshal和散集unmarshal，那就是在跨越套间边界，但没有通过COM库进行通信的时候。更明确的说，不通过COM接口函数，通过我们自己写的函数跨套间传递接口指针的时候。

情况一：跨套间传递接口指针。

情况二：类厂在另外的套间中，创建类实例，并传回给客户端的接口指针。

列集函数：CoMarshalInterThreadInterfaceInStream

散集函数：CoGetInterfaceAndReleaseStream

5 第三方COM组件的编写者

组件将在哪种类型的套间中执行，是编写者决定的。对于进程外组件，要调用CoInitializeEx并指定参数，以显示确定套间类型。对于进程内的服务器来说，因为客户端已经调用CoInitializeEx产生套间了，为了允许进程内的服务器可以控制它们的套间类型，COM允许每个组件有自己不同的线程模型，并记录在注册表中。

HKEY_CLASSES_ROOT/CLSID/.../InprocServer32 键值ThreadingModel

5.1 线程模型属性

组件编写者可以实现：同一个组件，既可以在STA中运行，也可以在MTA中运行，还可以在两中环境中同时存在。可以说组件有一种属性说明可以在哪种环境中生存，属性名叫做“线程模型”(相当于“隐藏”)也未尝不可。COM+里真正引入了这个属性，并叫做ThreadModel。这个属性可以有如下取值：

1. Main Thread Apartment

2. Single Thread Apartment (Apartment)

3. Free Thread Apartment (Free)

4. Any Apartment (Both)

5. Neutral Apartment (N/A)

5.2 对象在哪个套间创建

下表中第一列为套间种类，第一行为对象线程模型属性。那么，结果就是在这样的套间中创建这样的组件，组件在什么地方。在必要的时候，会创建一个代理，就是表中的宿主。

查看全文
如若内容造成侵权/违法违规/事实不符，请联系编程学习网邮箱：809451989@qq.com进行投诉反馈，一经查实，立即删除！

HTML5 history新特性pushState、replaceState
从HTML5开始，我们可以开始操作这个历史记录堆栈。 DOM中的window对象通过window.history方法提供了对浏览器历史记录的读取，让你可以在用户的访问记录中前进和后退。1.History使用back(),forward(),和go()方法可以在用户的历史记录中前进和后退前进和后退后退：window.histor…...
2024/4/14 15:36:54
Mobile Edge Computing学习笔记（一）从通信领域看移动边缘计算：现有的经典结构与模型
MEC最近越来越火了，inforcom，mobicom各种顶会每年都有大量产出。看了一篇 IEEE COMMUNICATIONS SURVEYS & TUTORIALS的综述：A Survey on Mobile Edge Computing: The Communication Perspective，记录一下收获。文章目录一、前言二、简介1：5G技术包含的移动计算2：移动…...
2024/4/13 1:59:23
SQL必知必会—更新和删除数据
《SQL必知必会》读书笔记1.更新数据更新表中的特定行；更新表中的所有行。注意：不要省略WHERE子句在使用UPDATE时一定要细心。因为稍不注意，就会更新表中的所有行。提示：UPDATE与安全在客户端/服务器的DBMS中，使用UPDATE语句可能需要特殊的安全权限。在你使用UPDATE前…...
2024/4/13 1:59:08
WEB前端学习笔记三
接上一篇，web学习笔记三，web学习笔记刚刚发出，就发现被其他网站采集了，在此感谢您的采集和转发，但请注明文章出自网知博学。1.7 开发工具的选择增强文本编辑器：EditPlus、Notepad++特点：比较小、占用系统资源比较少、代码颜色高亮显示、但没有代码自动补功能IDE：(Int…...
2024/4/19 12:28:09
协议层次及服务模型
封装图中显示了这样一条物理路径。数据从发送端系统的协议栈向下，向上和向下经过中间的链路层交换机和路由器的协议栈，进而向上到达接收端系统的协议栈。与端系统类似，路由器和链路层交换机以多层次的方式组织他们的网络硬件和软件。而路由器和链路层交换机并不实现协议栈…...
2024/4/18 19:05:59
SQL 必知必会 Chapter 9 —— 汇总数据
typora-copy-images-to: SQL 必知必会文章目录typora-copy-images-to: SQL 必知必会SQL 必知必会 Chapter 9 汇总数据9.1 聚集函数9.2 聚集不同值9.3 组合聚集函数9.4 小结 SQL 必知必会 Chapter 9 汇总数据9.1 聚集函数我们需要汇总数据而不用实际检索出来确定表中行数获得表…...
2024/4/13 1:58:58
使用HTML5 Web存储的localStorage方式进行编写一个Web页面。
简单的web存储留言板...
2024/4/19 16:08:17
简单的可伸缩性方程
排队论排队理论使我们能够预测队列长度和等待时间，这对于容量规划至关重要。对于架构师来说，这是一个非常方便的工具，因为队列不仅仅是消息传递系统的工具。为了避免系统过载，我们使用节流阀。每当传入请求的数量超过可用资源时，我们基本上都有两种选择：丢弃所有溢出…...
2024/4/13 1:58:53
SQL 必知必会 Chapter 1—— 数据库基础
typora-copy-images-to: SQL 必知必会文章目录typora-copy-images-to: SQL 必知必会SQL 必知必会 Chapter 11.1 数据库基础1.2 什么是SQL1.3 根据附录A创建样例表 SQL 必知必会 Chapter 1 1.1 数据库基础数据库是以某种有组织的方式存储数据的数据集合表示某种特定类型数据的…...
2024/4/13 7:03:46
用js下载文件
HTML5中给a标签增加了一个download属性，只要有这个属性，点击这个链接时浏览器就不在打开链接指向的文件，而是改为下载。这句话是拷贝过来的，讲的很好，但是之后的用例实现的时候发现是错的。正确的用法是<a download href="js/jquery-2.1.0.js">火狐chrome…...
2024/4/13 1:59:03
为什么P2P模式下载的人越多速度越快，为什么P2P伤害机械硬盘
台风来临前的夜晚，有点激动不想睡觉，看了几个电影，日本恐怖片，台风雨夜，非常不错，P2P很流畅，观察IP地址大量也是附近的，江浙沪，难道也都在迎台风看电影？大家都知道使用P2P模式下载速度会非常快，原理其实也并不难，毕竟P2P没有中心瓶颈，每个节点既是下载方又…...
2024/4/13 1:59:18
SQL必知必会|SQL基础篇
了解SQLDBMS的前世今生SQL是如何执行的DDL语法关于外键的性能问题？是否使用外键确实会有一些争议。关于外键的使用：首先，外键本身是为了实现强一致性，所以如果需要正确性>性能的话，还是建议使用外键，它可以让我们在数据库的层面保证数据的完整性和一致性。当然不用…...
2024/4/13 1:59:13
线程模型——什么是线程池、以及怎样正确地配置线程池
知道吗，你的Java web应用其实是使用线程池来处理请求的。这一实现细节被许多人忽略，但是你迟早都需要理解线程池如何使用，以及如何正确地根据应用调整线程池配置。这篇文章的目的是为了解释线程模型——什么是线程池、以及怎样正确地配置线程池。单线程模型让我们从一些基…...
2024/4/20 5:38:26
2007年6月CSDN读书排行榜：《SQL必知必会》
2007年6月CSDN读书排行榜【以点击次数计】： NO.1：SQL必知必会(第3版) 上线1月，浏览人次达2万。两次荣登周排行冠军。本书因是麻省理工学院使用的SQL教材，而引起众多读者关注。 NO.2： Essential ASP.NET 2.0中文版上线1月，浏览人次在1.5万左右。本书是 .NET之父重点推荐…...
2024/4/13 1:59:18
HTML5概述
一、为什么学习HTML5 1.自从2010年HTML5正式推出以来，它立刻受到了世界各大浏览器的热烈欢迎和支持。根据世界各大IT界知名媒体的评论，新的web时代，html5的时代马上就要到来。 2.跨平台运行 3.硬件要求低 4.flash之外的选择二、HTML5的软硬件环境 1.硬件： …...
2024/4/13 1:59:23
通信网
通信网是一种使用交换设备，传输设备，将地理上分散用户终端设备互连起来实现通信和信息交换的系统。通信最基本的形式是在点与点之间建立通信系统，但这不能称为通信网，成为专线。只有将许多的通信系统（传输系统）通过交换系统按一定拓扑结构组合在一起才能称之为通信。也…...
2024/4/17 22:49:48
SQL学习笔记01 极客时间 SQL必知必会50讲
01丨了解SQL：一门半衰期很长的语言02丨DBMS的前世今生03丨学会用数据库的方式思考SQL是如何执行的Oracle 中的 SQL 是如何执行的我们先来看下 SQL 在 Oracle 中的执行过程：从上面这张图中可以看出，SQL 语句在 Oracle 中经历了以下的几个步骤。语法检查：检查 SQL 拼写是否正…...
2024/4/19 21:47:10
HTML5样式链接表格
HTML样式 1.标签： <style> 样式定义 <link> 资源引用 2.属性： rel = "stylesheet" 外部样式表 type = "text/css" 引用文档的类型 margin-left 边距外部样式表： …...
2024/4/13 1:59:13
SQL必知必会读书笔记（一）
管理系统（DBMS）数据库是通过 DBMS 创建和操纵的容器，而具体它究竟是什么，形式如何，各种数据库都不一样表（table）某种特定类型数据的结构化清单。数据库中的每个表都有一个名字来标识自己。这个名字是唯一的，即数据库中没有其他表具有相同的名字。有的数据库还使用数…...
2024/4/13 1:59:18
数学建模常见算法说明以及建模过程中的问题
1、建模步骤模型的建立：当有两个模型套用时，说的高端点，说成是前两个字组合后新名字的算法，其实是两个模型的叠加模型的分析：表层的分析（从图表中能够看出什么）+深层次的分析模型的检验：例如，给100年数据预测未来10年数据，我们可以将数据按照7:3的比例拆分，用70的来…...
2024/4/13 1:59:13

COM对象的线程模型

相关文章

最新文章