认真分析mmap:是什么 为什么 怎么用

mmap基础概念

mmap是一种内存映射文件的方法,即将一个文件或者其它对象映射到进程的地址空间,实现了文件磁盘地址和进程虚拟地址的映射关系。实现映射关系后,进程就可以采用指针的方式读写操作这一段内存,而系统会自动回写脏页面到对应的文件磁盘上,即完成了对文件的操作而不必再调用read,write等系统调用函数。相反,内核空间对这段区域的修改也直接反映用户空间,从而可以实现不同进程间的文件共享。如下图所示:

由上图可以看出,进程的虚拟地址空间,由多个虚拟内存区域构成。虚拟内存区域是进程的虚拟地址空间中的一个同质区间,即具有同样特性的连续地址范围。上图中所示的text数据段(代码段)、初始数据段、BSS数据段、堆、栈和内存映射,都是一个独立的虚拟内存区域。而为内存映射服务的地址空间处在堆栈之间的空余部分。

Linux内核使用vm_area_struct结构来表示一个独立的虚拟内存区域,由于每个不同质的虚拟内存区域功能和内部机制都不同,因此一个进程使用多个vm_area_struct结构来分别表示不同类型的虚拟内存区域。各个vm_area_struct结构使用链表或者树形结构链接,方便进程快速访问,如下图所示:

vm_area_struct结构中包含区域起始和终止地址以及其他相关信息,同时也包含一个vm_ops指针,其内部可引出所有针对这个区域可以使用的系统调用函数。这样,进程对某一虚拟内存区域的任何操作需要用要的信息,都可以从vm_area_struct中获得。mmap函数就是要创建一个新的vm_area_struct结构,并将其与文件的物理磁盘地址相连。具体步骤请看下一节。

mmap内存映射原理

mmap内存映射的实现过程,总的来说可以分为三个阶段:

(一)进程启动映射过程,并在虚拟地址空间中为映射创建虚拟映射区域

1、进程在用户空间调用库函数mmap,原型:void *mmap(void *addr, size_t len, int prot, int flags, int fd, off_t offset);

2、在当前进程的虚拟地址空间中,寻找一段空闲的满足要求的连续的虚拟地址。

3、为此虚拟区分配一个vm_area_struct结构,接着对这个结构的各个域进行了初始化。

4、将新建的虚拟区结构(vm_area_struct)插入进程的虚拟地址区域链表或树中。

(二)调用内核空间的系统调用函数mmap(不同于用户空间函数),实现文件物理地址和进程虚拟地址的一一映射关系

5、为映射分配了新的虚拟地址区域后,通过待映射的文件指针,在文件描述符表中找到对应的文件描述符,通过文件描述符,链接到内核“已打开文件集”中该文件的文件结构体(struct file),每个文件结构体维护着和这个已打开文件相关各项信息。

6、通过该文件的文件结构体,链接到file_operations模块,调用内核函数mmap,其原型为:int mmap(struct file *filp, struct vm_area_struct *vma),不同于用户空间库函数。

7、内核mmap函数通过虚拟文件系统inode模块定位到文件磁盘物理地址。

8、通过remap_pfn_range函数建立页表,即实现了文件地址和虚拟地址区域的映射关系。此时,这片虚拟地址并没有任何数据关联到主存中。

(三)进程发起对这片映射空间的访问,引发缺页异常,实现文件内容到物理内存(主存)的拷贝

注:前两个阶段仅在于创建虚拟区间并完成地址映射,但是并没有将任何文件数据的拷贝至主存。真正的文件读取是当进程发起读或写操作时。

9、进程的读或写操作访问虚拟地址空间这一段映射地址,通过查询页表,发现这一段地址并不在物理页面上。因为目前只建立了地址映射,真正的硬盘数据还没有拷贝到内存中,因此引发缺页异常。

10、缺页异常进行一系列判断,确定无非法操作后,内核发起请求调页过程。

11、调页过程先在交换缓存空间(swap cache)中寻找需要访问的内存页,如果没有则调用nopage函数把所缺的页从磁盘装入到主存中。

12、之后进程即可对这片主存进行读或者写的操作,如果写操作改变了其内容,一定时间后系统会自动回写脏页面到对应磁盘地址,也即完成了写入到文件的过程。

注:修改过的脏页面并不会立即更新回文件,而是有一段时间的延迟。可以调用msync()函数,来保证所写的内容,立即同步到文件中了。

mmap和常规文件操作的区别

对Linux文件系统不了解的朋友,请参阅这篇文章《从内核文件系统看文件读写过程》,我们首先简单的回顾一下常规文件系统操作(调用read/fread等类函数)中,函数的调用过程:

  1. 进程发起读文件请求。
  2. 内核通过查找进程文件符表,定位到内核已打开文件集上的文件信息,从而找到此文件的inode。
  3. inode在address_space上查找要请求的文件页是否已经缓存在页缓存中。如果存在,则直接返回这片文件页的内容。
  4. 如果不存在,则通过inode定位到文件磁盘地址,将数据从磁盘复制到页缓存。之后再次发起读页面过程,进而将页缓存中的数据发给用户进程。

总结来说:

  • 常规文件操作,为了提高读写效率和保护磁盘,使用了页缓存(page cache)机制。这样造成读文件时需要先将文件页从磁盘拷贝到页缓存中,由于页缓存处在内核空间,不能被用户进程直接寻址,所以还需要将页缓存中数据页再次拷贝到内存对应的用户空间中。这样,通过了两次数据拷贝过程,才能完成进程对文件内容的获取任务。写操作也是一样,待写入的buffer在内核空间不能直接访问,必须要先拷贝至内核空间对应的主存,再写回磁盘中(延迟写回),也是需要两次数据拷贝
  • 使用mmap操作文件,在创建新的虚拟内存区域,建立文件磁盘地址与虚拟内存区域映射关系的过程中,没有任何文件拷贝操作。在之后访问数据时发现内存中并无数据,从而发起的缺页异常,此时通过建立好的映射关系,使用一次数据拷贝,就可以将磁盘中的数据传入内存中的用户空间,供进程使用。

总而言之,常规文件操作需要从磁盘到页缓存再到用户主存的两次数据拷贝;而mmap操控文件,只需要从磁盘到用户主存的一次数据拷贝过程。说白了,mmap的关键点是实现了用户空间和内核空间的数据直接交互而省去了空间不同数据不通的繁琐过程,因此mmap效率更高。

mmap优点总结

由上文讨论可知,mmap优点共有一下几点:

  1. 对文件的读取操作跨过了页缓存,减少了数据的拷贝次数,用内存读写取代I/O读写,提高了文件读取效率。

  2. 实现了用户空间和内核空间的高效交互方式。两空间的各自修改操作可以直接反映在映射的区域内,从而被对方空间及时捕捉。

  3. 提供进程间共享内存及相互通信的方式。不管是父子进程还是无亲缘关系的进程,都可以将自身用户空间映射到同一个文件或匿名映射到同一片区域。从而通过各自对映射区域的改动,达到进程间通信和进程间共享的目的。

    同时,如果进程A和进程B都映射了区域C,当A第一次读取C时通过缺页从磁盘复制文件页到内存中;但当B再读C的相同页面时,虽然也会产生缺页异常,但是不再需要从磁盘中复制文件过来,而可直接使用已经保存在内存中的文件数据。

  4. 可用于实现高效的大规模数据传输。内存空间不足,是制约大数据操作的一个方面,解决方案往往是借助硬盘空间协助操作,补充内存的不足。但是进一步会造成大量的文件I/O操作,极大影响效率。这个问题可以通过mmap映射很好的解决。换句话说,但凡是需要用磁盘空间代替内存的时候,mmap都可以发挥其功效。

mmap及相关函数

mmap函数

void *mmap(void *addr, size_t len, int prot, int flags, int fd, off_t offset);

返回说明
若映射成功,返回被映射区的起始地址;否则返回MAP_FAILED【其值为(void *)-1】, 错误原因存于errno中,常见的值为:

  • EACCES:访问出错
  • EAGAIN:文件已被锁定,或者太多的内存已被锁定
  • EBADF:fd不是有效的文件描述词
  • EINVAL:一个或者多个参数无效
  • ENFILE:已达到系统对打开文件的限制
  • ENODEV:指定文件所在的文件系统不支持内存映射
  • ENOMEM:内存不足,或者进程已超出最大内存映射数量
  • EPERM:权能不足,操作不允许
  • ETXTBSY:已写的方式打开文件,同时指定MAP_DENYWRITE标志
  • SIGSEGV:试着向只读区写入
  • SIGBUS:试着访问不属于进程的内存区

参数

  • addr:指向描述符fd应被映射到的进程内空间的起始地址,通常设为NULL,代表让系统自动选定起始地址。
  • len:是映射到调用进程地址空间中的字节数,它从被映射文件开头起第offset个字节处开始算,下图展示了这个映射关系。
  • prot:内存映射区的保护方式,不能与文件的打开模式冲突。是以下的某个值,或者多个值合理地组合在一起,常见值是代表读写访问的 PROT_READ | PROT_WRITE
    prot 说明
    PROT_READ 数据可读
    PROT_WRITE 数据可写
    PROT_EXEC 数据可执行
    PROT_NONE 数据不可访问
  • flags:影响映射区域的各种特性,必须要指定MAP_SHAREDMAP_PRIVATE其中的一个,还可以与以下参数组合在一起。
    • MAP_FIXED:如果参数start所指的地址无法成功建立映射时,则放弃映射,不对地址做修正。通常不建议使用此标志。
    • MAP_SHARED:调用进程对被映射数据所做的修改,对于共享该对象的所有进程可见。对共享区的写入,输出到原文件,变动是共享的。
    • MAP_PRIVATE:调用进程对被映射数据所做的修改,只对该进程可见。对共享区的写入,不会影响到原文件,变动是私有的。这个标志与MAP_SHARED标志是互斥的,只能使用其中一个。
    • MAP_DENYWRITE:只允许对映射区域的写入操作,其他对文件直接写入的操作将会被拒绝。
    • MAP_EXECUTABLE:同上
    • MAP_NORESERVE:不要为这个映射保留交换空间。当交换空间被保留,对映射区修改的可能会得到保证。当交换空间不被保留,同时内存不足,对映射区的修改会引起段违例信号。
    • MAP_LOCKED:锁定映射区的页面,从而防止页面被交换出内存(swap)。
    • MAP_GROWSDOWN:用于堆栈,告诉内核VM系统,映射区可以向下扩展。
    • MAP_ANONYMOUS:匿名映射,此时会忽略参数fd,映射区不与任何文件关联,而且映射区域无法和其他进程共享。
    • MAP_ANON:MAP_ANONYMOUS的别称,不再被使用。
    • MAP_FILE:兼容标志,被忽略。
    • MAP_32BIT:将映射区放在进程地址空间的低2GB,MAP_FIXED指定时会被忽略。当前这个标志只在x86-64平台上得到支持。
    • MAP_POPULATE:为文件映射通过预读的方式准备好页表。随后对映射区的访问不会被页违例阻塞。
    • MAP_NONBLOCK:仅和MAP_POPULATE一起使用时才有意义。不执行预读,只为已存在于内存中的页面建立页表入口。
  • fd:要映射到内存中的文件描述符。如果使用MAP_ANONYMOUS,为了兼容问题,其值应为-1。有些系统不支持匿名内存映射,则可以使用fopen打开/dev/zero文件,然后对该文件进行映射,可以同样达到匿名内存映射的效果。mmap成功返回后,fd参数可以关闭,对于已建立的映射关系没有影响。
  • offset:文件映射的偏移量,通常设置为0,代表从文件最前方开始对应,offset必须是分页大小(page_size)的整数倍。
内存映射文件的例子

munmap函数

为某个进程的地址空间解除一段映射关系,我们调用munmap:

int munmap( void * addr, size_t len);

当进程终止时,该进程的映射内存会自动解除;也可以调用该函数主动解除。

返回说明
成功解除映射时返回0;否则返回-1,error返回标志和mmap中的一致。

参数

  • addr:调用mmap()时返回的地址
  • len:是映射区的大小。

注意:当映射关系解除后,对原来映射地址的继续访问,将导致段错误发生。

msync函数

将共享内存区的数据,与磁盘上文件内容立即同步。

int msync( void *addr, size_t len, int flags);

一般说来,进程在映射空间的对共享内容的改变,不会立即写回到磁盘文件中,往往在调用munmap()后才执行该操作,当然,前提必须是MAP_SHARED内存区,如果是MAP_PRIVATE标志的映射,那么调用进程对它的变动都会被丢弃掉。

除此之外,我们还可以通过调用msync(),实现磁盘上文件内容与共享内存区的内容一致。

返回说明
若同步成功返回0;否则返回-1。

参数

  • addrlen 通常指整个内存映射区,不过也可以指定该内存区的一个子集。
  • flags: 参数是下面常值的组合:
    • MS_ASYNC:执行异步写。一旦写操作已由内核排入队列,立即返回。
    • MS_SYNC:执行同步写。需要等到写操作完成后才返回。
    • MS_INVALIDATE:使高速缓存的数据失效,后续的引用将从文件中获取数据。

mprotect函数

更改一个已经存在的内存映射区的保护方式。

int mprotect(void* addr, size_t len, int port);

返回说明
若更改成功返回0;否则返回-1。

参数

  • addr:这个参数是mmap返回的数值,此时它就是mprotect作用的范围。
  • len:指定映射区的长度,它需要与mmap中指定相同。
  • prot:在mmap()中已经介绍了prot的常见值,mprotect功能就是把这个prot指定的属性施加于相应的映射区上。

上述函数,都可以在官方文档中,找到详细的解释:《mmap》

mmap使用细节

  • 使用mmap需要注意的一个关键点是,mmap映射区域大小必须是物理页大小(page_size)的整倍数(32位系统中通常是4k字节)。原因是,内存的最小粒度是页,而进程虚拟地址空间和内存的映射也是以页为单位。为了匹配内存的操作,mmap从磁盘到虚拟地址空间的映射也必须是页。
  • 内核可以跟踪被内存映射的底层对象(文件)的大小,进程可以合法的访问在当前文件大小以内又在内存映射区以内的那些字节。也就是说,如果文件的大小一直在扩张,只要在映射区域范围内的数据,进程都可以合法得到,这和映射建立时文件的大小无关。具体情形参见【情形三】。
  • 映射建立之后,即使文件关闭,映射依然存在。因为映射的是磁盘的地址,不是文件本身,和文件句柄无关。同时可用于进程间通信的有效地址空间不完全受限于被映射文件的大小,因为是按页映射。

在上面的知识前提下,我们下面看看如果大小不是页的整倍数的具体情况:

【情形一】:一个文件的大小是5000字节,mmap函数从一个文件的起始位置开始,映射5000字节到虚拟内存中。

分析:因为单位物理页面的大小是4096字节,虽然被映射的文件只有5000字节,但是对应到进程虚拟地址区域的大小需要满足整页大小,因此mmap函数执行后,实际映射到虚拟内存区域8192个 字节,5000~8191的字节部分用零填充。映射后的对应关系如下图所示:

此时:

  1. 读/写前5000个字节(0 ~ 4999),会返回操作文件内容。
  2. 读字节5000 ~ 8191时,结果全为0。写5000 ~ 8191时,进程不会报错,但是所写的内容不会写入原文件中 。
  3. 读/写8192以外的磁盘部分,会返回一个SIGSECV错误。

【情形二】:一个文件的大小是5000字节,mmap函数从一个文件的起始位置开始,映射15000字节到虚拟内存中,即映射大小超过了原始文件的大小。

分析:由于文件的大小是5000字节,和【情形一】一样,其对应的两个物理页。那么这两个物理页都是合法可以读写的,只是超出5000的部分不会体现在原文件中。由于程序要求映射15000字节,而文件只占两个物理页,因此8192字节~15000字节都不能读写,操作时会返回异常。如下图所示:

此时:

  1. 进程可以正常读/写被映射的前5000字节(0 ~ 4999),写操作的改动会在一定时间后反映在原文件中。
  2. 对于5000 ~ 8191字节,进程可以进行读写过程,不会报错。但是内容在写入前均为0,另外,写入后不会反映在文件中。
  3. 对于8192 ~ 14999字节,进程不能对其进行读写,会报SIGBUS错误。
  4. 对于15000以外的字节,进程不能对其读写,会引发SIGSEGV错误。

【情形三】:一个文件初始大小为0,使用mmap操作映射了1000 * 4K的大小,即1000个物理页大约4M字节空间,mmap返回指针ptr。

分析:如果在映射建立之初,就对文件进行读写操作,由于文件大小为0,并没有合法的物理页对应,如同【情形二】一样,会返回SIGBUS错误。

但是如果,每次操作ptr读写前,先增加文件的大小,那么ptr在文件大小内部的操作就是合法的。例如,文件扩充4096字节,ptr就能操作ptr ~ [ (char)ptr + 4095]的空间。只要文件扩充的范围在1000个物理页(映射范围)内,ptr都可以对应操作相同的大小。

这样,方便随时扩充文件空间,随时写入文件,不造成空间浪费。

作者:胡潇
链接:https://www.cnblogs.com/huxiao-tee/p/4660352.html
来源:博客园
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 157,298评论 4 360
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 66,701评论 1 290
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 107,078评论 0 237
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 43,687评论 0 202
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,018评论 3 286
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,410评论 1 211
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,729评论 2 310
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,412评论 0 194
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,124评论 1 239
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,379评论 2 242
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,903评论 1 257
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,268评论 2 251
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,894评论 3 233
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,014评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,770评论 0 192
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,435评论 2 269
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,312评论 2 260