17内存映射文件.docx

1、17内存映射文件第17章 内存映射文件对文件进行操作几乎是所有应用程序都必须进行的，并且这常常是人们争论的一个问题。应用程序究竟是应该打开文件，读取文件并关闭文件，还是打开文件，然后使用一种缓冲算法，从文件的各个不同部分进行读取和写入呢？M i c r o s o f t提供了一种两全其美的方法，那就是内存映射文件。与虚拟内存一样，内存映射文件可以用来保留一个地址空间的区域，并将物理存储器提交给该区域。它们之间的差别是，物理存储器来自一个已经位于磁盘上的文件，而不是系统的页文件。一旦该文件被映射，就可以访问它，就像整个文件已经加载内存一样。内存映射文件可以用于3个不同的目的： 系统使用内存映射

2、文件，以便加载和执行. e x e和D L L文件。这可以大大节省页文件空间和应用程序启动运行所需的时间。 可以使用内存映射文件来访问磁盘上的数据文件。这使你可以不必对文件执行I / O操作，并且可以不必对文件内容进行缓存。 可以使用内存映射文件，使同一台计算机上运行的多个进程能够相互之间共享数据。Wi n d o w s确实提供了其他一些方法，以便在进程之间进行数据通信，但是这些方法都是使用内存映射文件来实现的，这使得内存映射文件成为单个计算机上的多个进程互相进行通信的最有效的方法。本章将要介绍内存映射文件的各种使用方法。17.1 内存映射的可执行文件和DLL文件当线程调用C r e a t

3、 e P r o c e s s时，系统将执行下列操作步骤：1) 系统找出在调用C r e a t e P r o c e s s时设定的. e x e文件。如果找不到这个. e x e文件，进程将无法创建，C r e a t e P r o c e s s将返回FA L S E。2) 系统创建一个新进程内核对象。3) 系统为这个新进程创建一个私有地址空间。4) 系统保留一个足够大的地址空间区域，用于存放该. e x e文件。该区域需要的位置在. e x e文件本身中设定。按照默认设置， . e x e文件的基地址是0 x 0 0 4 0 0 0 0 0（这个地址可能不同于在6 4位Windo

4、ws 2000上运行的6 4位应用程序的地址），但是，可以在创建应用程序的. e x e文件时重载这个地址，方法是在链接应用程序时使用链接程序的/ B A S E选项。5) 系统注意到支持已保留区域的物理存储器是在磁盘上的. e x e文件中，而不是在系统的页文件中。当. e x e文件被映射到进程的地址空间中之后，系统将访问. e x e文件的一个部分，该部分列出了包含. e x e文件中的代码要调用的函数的D L L文件。然后，系统为每个D L L文件调用L o a d L i b r a r y函数，如果任何一个D L L需要更多的D L L，那么系统将调用L o a d L i b r

5、 a r y函数，以便加载这些D L L。每当调用L o a d L i b r a r y来加载一个D L L时，系统将执行下列操作步骤，它们均类似上面的第4和第5个步骤：1) 系统保留一个足够大的地址空间区域，用于存放该D L L文件。该区域需要的位置在D L L文件本身中设定。按照默认设置， M i c r o s o f t的Visual C+ 建立的D L L文件基地址是0 x 1 0 0 0 0 0 0 0（这个地址可能不同于在6 4位Windows 2000上运行的6 4位D L L的地址）但是，你可以在创建D L L文件时重载这个地址，方法是使用链接程序的/ B A S E选项

6、。Wi n d o w s提供的所有标准系统D L L都拥有不同的基地址，这样，如果加载到单个地址空间，它们就不会重叠。2) 如果系统无法在该D L L的首选基地址上保留一个区域，其原因可能是该区域已经被另一个D L L或. e x e占用，也可能是因为该区域不够大，此时系统将设法寻找另一个地址空间的区域来保留该D L L。如果一个D L L无法加载到它的首选基地址，这将是非常不利的，原因有二。首先，如果系统没有再定位信息，它就无法加载该D L L（可以在D L L创建时，使用链接程序的/ F I X E D开关，从D L L中删除再定位信息，这能够使D L L变得比较小，但是这也意味着该D

7、L L必须加载到它的首选地址中，否则它就根本无法加载）。第二，系统必须在D L L中执行某些再定位操作。在Windows 98中，系统可以在页面被转入R A M时执行再定位操作。在Windows 2000中，这些再定位操作需要由系统的页文件提供更多的存储器，它们也增加了加载D L L所需要的时间量。3) 系统会注意到支持已保留区域的物理存储器位于磁盘上的D L L文件中，而不是在系统的页文件中。如果由D L L无法加载到它的首选基地址，Windows 2000必须执行再定位操作，那么系统也将注意到D L L的某些物理存储器已经被映射到页文件中。如果由于某个原因系统无法映射. e x e和所有必

8、要的D L L文件，那么系统就会向用户显示一个消息框，并且释放进程的地址空间和进程对象。C r e a t e P r o c e s s函数将向调用者返回FA L S E，调用者可以调用G e t L a s t E r r o r函数，以便更好地了解为什么无法创建该进程。当所有的. e x e和D L L文件都被映射到进程的地址空间之后，系统就可以开始执行. e x e文件的启动代码。当. e x e文件被映射后，系统将负责所有的分页、缓冲和高速缓存的处理。例如，如果. e x e文件中的代码使它跳到一个尚未加载到内存的指令地址，那么就会出现一个错误。系统能够发现这个错误，并且自动将这页代

9、码从该文件的映像加载到一个R A M页面。然后，系统将这个R A M页面映射到进程的地址空间中的相应位置，并且让线程继续运行，就像这页代码已经加载了一样。当然，这一切是应用程序看不见的。当进程中的线程每次试图访问尚未加载到R A M的代码或数据时，该进程就会重复执行。17.1.1 可执行文件或DLL的多个实例不能共享静态数据当为正在运行的应用程序创建新进程时，系统将打开用于标识可执行文件映像的文件映射对象的另一个内存映射视图，并创建一个新进程对象和（为主线程创建）一个新线程对象。系统还要将新的进程I D和线程I D赋予这些对象。通过使用内存映射文件，同一个应用程序的多个正在运行的实例就能够共享

10、R A M中的相同代码和数据。这里有一个小问题需要注意。进程使用的是一个平面地址空间。当编译和链接你的程序时，所有的代码和数据都被合并在一起，组成一个很大的结构。数据与代码被分开，但仅限于跟在. e x e文件中的代码后面的数据而已。(实际上，文件的内容被分割为不同的节。代码放在一个节中，全局变量放在另一个节中。各个节按照页面边界来对齐。通过调用Get SystemInfo 函数，应用程序可以确定正在使用的页面的大小。在. e x e或D L L文件中，代码节通常位于数据数据节的前面。)图1 7 - 1简单说明了应用程序的代码和数据究竟是如何加载到虚拟内存中，然后又被映射到应用程序的地址空间中

11、的。作为一个例子，假设应用程序的第二个实例正在运行。系统只是将包含文件的代码和数据的虚拟内存页面映射到第二个应用程序的地址空间，如图1 7 - 2所示。如果应用程序的一个实例改变了驻留在数据页面中的某些全局变量，那么该应用程序的所有实例的内存内容都将改变。这种类型的改变可能带来灾难性的后果，因此是决不允许的。系统运用内存管理系统的c o p y - o n - w r i t e（写入时拷贝）特性来防止进行这种改变。每当应用程序尝试将数据写入它的内存映射文件时，系统就会抓住这种尝试，为包含应用程序尝试写入数据的内存页面分配一个新内存块，再拷贝该页面的内容，并允许该应用程序将数据写入这个新分配的

12、内存块。结果，同一个应用程序的所有其他实例的运行都不会受到影响。图1 7 - 3显示了当应用程序的第一个实例尝试改变数据页面2时出现的情况。图17-1 应用程序的代码和数据加载及映射示意图图17-2 应用程序与虚拟内存地址空间之间的关系示意图图17-3 应用程序的第一个实例尝试改变数据页面2时的情况系统分配一个新的虚拟内存页面，并且将数据页面2的内容拷贝到新页面中。第一个实例的地址空间发生了变更，这样，新数据页面就被映射到与原始地址页面相同位置上的地址空间中。这时系统就可以让进程修改全局变量，而不必担心改变同一个应用程序的另一个实例的数据。当应用程序被调试时，将会发生类似的事件。比如说，你正在

13、运行一个应用程序的多个实例，并且只想调试其中的一个实例。你访问调试程序，在一行源代码中设置一个断点。调试程序修改了你的代码，将你的一个汇编语言指令改为能使调试程序自行激活的指令。因此你再次遇到了同样的问题。当调试程序修改代码时，它将导致应用程序的所有实例在修改后的汇编语言指令运行时激活该调试程序。为了解决这个问题，系统再次使用c o p y - o n - w r i t e内存。当系统发现调试程序试图修改代码时，它就分配一个新内存块，将包含该指令的页面拷贝到新的内存页面中，并且允许调试程序修改页面拷贝中的代码。Windows 98 当一个进程被加载时，系统要查看文件映像的所有页面。系统立即为

14、通常用c o p y - o n - w r i t e属性保护的那些页面提交页文件中的存储器。这些页面只是被提交而已，它们并不被访问。当文件映像中的页面被访问时，系统就加载相应的页面。如果该页面从来没有被修改，它就可以从内存中删除，并在必要时重新加载。但是，如果文件的页面被修改了，系统就将修改过的页面转到页文件中以前被提交的页面之一。Windows 2000与Windows 98之间的行为特性的唯一差别，是在你加载一个模块的两个拷贝并且可写入的数据尚未被修改的时候显示出来的。在这种情况下，在Windows 2000下运行的进程能够共享数据，而在Windows 98下，每个进程都可以得到它自己

15、的数据拷贝。如果只加载模块的一个拷贝，或者可写入的数据已经被修改（这是通常的情况），那么Windows 2000与Windows 98的行为特性是完全相同的。17.1.2 在可执行文件或DLL的多个实例之间共享静态数据全局数据和静态数据不能被同一个. e x e或D L L文件的多个映像共享，这是个安全的默认设置。但是，在某些情况下，让一个. e x e文件的多个映像共享一个变量的实例是非常有用和方便的。例如，Wi n d o w s没有提供任何简便的方法来确定用户是否在运行应用程序的多个实例。但是，如果能够让所有实例共享单个全局变量，那么这个全局变量就能够反映正在运行的实例的数量。当用户启动

16、应用程序的一个实例时，新实例的线程能够简单地查看全局变量的值（它已经被另一个实例更新）；如果这个数量大于1，那么第二个实例就能够通知用户，该应用程序只有一个实例可以运行，而第二个实例将终止运行。本节将介绍一种方法，它允许你共享. e x e或D L L文件的所有实例的变量。不过在介绍这个方法之前，首先让我们介绍一些背景知识。每个. e x e或D L L文件的映像都由许多节组成。按照规定，每个标准节的名字均以圆点开头。例如，当编译你的程序时，编译器会将所有代码放入一个名叫. t e x t的节中。该编译器还将所有未经初始化的数据放入一个. b s s节，而已经初始化的所有数据则放入. d a

17、t a节中。每一节都拥有与其相关的一组属性，这些属性如表1 7 - 1所示。表17-1 .exe或D L L文件各节的属性 属性含义R E A D该节中的字节可以读取W R I T E该节中的字节可以写入E X E C U T E该节中的字节可以执行S H A R E D该节中的字节可以被多个实例共享（本属性能够有效地关闭c o p y - o n - w r i t e机制）使用M i c r o s o f t的Visual Studio的D u m p B i n实用程序（带有/ H e a d e r s开关），可以查看. e x e或D L L映射文件中各个节的列表。下面选录的代码是

18、在一个可执行文件上运行D u m p B i n程序而生成的：SECTION HEADER #1 .text name 11A70 virtual size 1000 virtual address 12000 size of raw data 1000 file pointer to raw data 0 file pointer to relocation table 0 file pointer to line numbers 0 number of relocations 0 number of line numbers60000020 flags Code Execute ReadS

19、ECTION HEADER #2 .rdata name 1F6 virtual size 13000 virtual address 1000 size of raw data 13000 file pointer to raw data 0 file pointer to relocation table 0 file pointer to line numbers 0 number of relocations 0 number of line numbers40000040 flags Initialized Data Read OnlySECTION HEADER #3 .data

20、name 560 virtual size 14000 virtual address 1000 size of raw data 14000 file pointer to raw data 0 file pointer to relocation table 0 file pointer to line numbers 0 number of relocations 0 number of line numbersC0000040 flags Initialized Data Read WriteSECTION HEADER #4 .idata name 58D virtual size

21、15000 virtual address 1000 size of raw data 15000 file pointer to raw data 0 file pointer to relocation table 0 file pointer to line numbers 0 number of relocations 0 number of line numbersC0000040 flags Initialized Data Read WriteSECTION HEADER #5 .didat name 7A2 virtual size 16000 virtual address

22、1000 size of raw data 16000 file pointer to raw data 0 file pointer to relocation table 0 file pointer to line numbers 0 number of relocations 0 number of line numbersC0000040 flags Initialized Data Read WriteSECTION HEADER #6 .reloc name 26D virtual size 17000 virtual address 1000 size of raw data

23、17000 file pointer to raw data 0 file pointer to relocation table 0 file pointer to line numbers 0 number of relocations 0 number of line numbers42000040 flags Initialized Data Discardable Read Only Summary 1000 .data 1000 .didat 1000 .idata 1000 .rdata 1000 .reloc 12000 .text表1 7 - 2显示了比较常见的一些节的名字，

24、并且说明了每一节的作用。除了编译器和链接程序创建的标准节外，也可以在使用下面的命令进行编译时创建自己的节：表17-2 常见的节名及作用 节名作用. b s s未经初始化的数据. C RTC运行期只读数据. d a t a已经初始化的数据. d e b u g调试信息. d i d a t a延迟输入文件名表. e d a t a输出文件名表. i d a t a输入文件名表. r d a t a运行期只读数据. r e l o c重定位表信息. r s r c资源. t e x t. e x e或D L L文件的代码. t l s线程的本地存储器. x d a t a异常处理表#pragma

25、data_seg(sectionname)我可以创建一个称为“S h a r e d”的节，它包含单个L O N G值，如下所示：#pragma data_seg(Shared)LONG g_lInstanceCount = 0;#pragma data_seg()当编译器对这个代码进行编译时，它创建一个新节，称为S h a r e d，并将它在编译指示后面看到的所有已经初始化（i n i t i a l i z e d）的数据变量放入这个新节中。在上面这个例子中，变量放入S h a r e d节中。该变量后面的#pragma dataseg()一行告诉编译器停止将已经初始化的变量放入S h

26、a r e d节，并且开始将它们放回到默认数据节中。需要记住的是，编译器只将已经初始化的变量放入新节中。例如，如果我从前面的代码段中删除初始化变量（如下面的代码所示），那么编译器将把该变量放入S h a r e d节以外的节中。#pragma data_seg(Shared)LONG g_lInstanceCount;#pragma data_seg()Microsoft 的Visual C+编译器提供了一个A l l o c a t e说明符，使你可以将未经初始化的数据放入你希望的任何节中。请看下面的代码：/ Create Shared section & have compiler pla

27、ce initialized data in it.#pragma data_seg(Shared)/ Initialized, in Shared sectionint a = 0;/ Uninitialized, not in Shared sectionint b;/ Have compiler stop placing initialized data in Shared section.#pragma data_seg()/ Initialized, in Shared section_declspec(allocate(Shared) int c = 0;/ Uninitializ

28、ed, in Shared section_declspec(allocate(Shared) int d;/ Initialized, not in Shared sectionint e = 0;/ Uninitialized, not in Shared sectionint f; 上面的注释清楚地指明了指定的变量将被放入哪一节。若要使A l l o c a t e声明的规则正确地起作用，那么首先必须创建节。如果删除前面这个代码中的第一行#pragma data_seg，上面的代码将不进行编译。之所以将变量放入它们自己的节中，最常见的原因也许是要在. e x e或D L L文件的多个映像

29、之间共享这些变量。按照默认设置， . e x e或D L L文件的每个映像都有它自己的一组变量。然而，可以将你想在该模块的所有映像之间共享的任何变量组合到它自己的节中去。当给变量分组时，系统并不为. e x e或D L L文件的每个映像创建新实例。仅仅告诉编译器将某些变量放入它们自己的节中，是不足以实现对这些变量的共享的。还必须告诉链接程序，某个节中的变量是需要加以共享的。若要进行这项操作，可以使用链接程序的命令行上的/ S E C T I O N开关：/SECTION:name,attributes在冒号的后面，放入你想要改变其属性的节的名字。在我们的例子中，我们想要改变S h a r e

30、d节的属性。因此应该创建下面的链接程序开关：/SECTION:Shared,RWS在逗号的后面，我们设定了需要的属性。用R代表R E A D ，W代表W E I T E，E代表E X E C U T E，S代表S H A R E D。上面的开关用于指明位于S h a r e d节中的数据是可以读取、写入和共享的数据。如果想要改变多个节的属性，必须多次设定/ S E C T I O N开关，也就是为你要改变属性的每个节设定一个/ S E C T I O N开关。也可以使用下面的句法将链接程序开关嵌入你的源代码中：#pragma comment(linker, /SECTION:Shared,RW

31、S)这一行代码告诉编译器将上面的字符串嵌入名字为“ . d r e c t v e”的节。当链接程序将所有的. o b j模块组合在一起时，链接程序就要查看每个. o b j模块的“ . d r e c t v e”节，并且规定所有的字符串均作为命令行参数传递给该链接程序。我一直使用这种方法，因为它非常方便。如果将源代码文件移植到一个新项目中，不必记住在Visual C+的Project Settings（项目设置）对话框中设置链接程序开关。虽然可以创建共享节，但是，由于两个原因， M i c r o s o f t并不鼓励你使用共享节。第一，用这种方法共享内存有可能破坏系统的安全。第二，共享变量意味着一个应用程序中的错误可能影响另一个应用程序的运行，因为它没有办法防止某个应用程序将数据随机写入一个数据块。假设你编写了两个应用程序，每个应用程序都要求用户输入一个口令。然而你又决定给应用程序添加一些特性，使用户操作起来更加方便些：如果在第二个应用程序启动运行时，用户正在运行其中的一个应用程序，那么第二个应用程序就可以查看共享内存的内容，以便获得用户的口令。这样，如果程序中的某一个已经被使用，那么用户就不必重新输入他的口令。这听起来没有什么问题。毕竟没