Linux 内存映射之文件映射_ms_sync-程序员宅基地

技术标签: LINUX  linux  操作系统  多线程  

Linux 内存映射之文件映射

文件映射 匿名映射

在Linux的内存映射中,主要分为文件映射和匿名映射,其中映射又具有私有映射和共享映射两种方式,本文中,仅讨论文件的私有映射和文件的共享映射。

文件映射: 文件映射是将文件的一部分直接映射到该进程的虚拟内存中,文件被映射后,可以通过访问虚拟内存来访问文件内容;

文件的私有映射与共享映射

文件的私有映射: 文件被映射到虚拟内存中后,虚拟内存中的内容是可读可写的,但是对私有映射来说,文件映射到的虚拟内存上的内容更改是不会被写入真正的文件中,既对虚拟内存内容的更改仅仅只对该进程本身可见,所以说映射内容是该进程私有的。文件的私有映射主要用途是使用文件的内容来初始化一块内存区域。

文件的共享映射: 与私有映射相反,共享映射中,文件映射到的虚拟内存上的内容更改是会被写入到真正的文件中的。只是虚拟内存中的内容更改被同步到文件中的时机并不是立即的,内核不保证这种同步操作何时发生,但是可以通过msync()函数来显示的执行同步操作。共享映射提供了另一种文件IO操作的方法,并且共享映射允许不相关的进程共享一块文件内容。
文件映射相对read()和write()的优劣:

  1. 在大型文件的重复随机访问中,文件映射的优势突出,方便应用,代码简捷;
  2. read()和write()操作需要两次传输:一次是在文件和内核高速缓存之间,另一次是内核高速缓存和用户空间缓存之间。使用文件映射就无需第二次传输了。
  3. 如果是顺序的访问文件,执行read() write()时使用的缓冲区大小足够大,以至于能够避免执行大量的I/O系统调用,那么mmap()带来的系统提升是非常有限,或者没有提升。
  4. 对于小数据量的I/O操作,mmap()的开销比read() write()大;

创建映射 mmap()

#include <sys/mman.h>
/*
 *  @Description: 创建一个映射(文件映射、匿名映射均可)
 *  @Para       : void *addr      指定映射被放置的虚拟地址
 *                size_t length   映射的字节数
 *                int port        位掩码,映射后虚拟地址的保护信息
 *                int flags       私有映射 MAP_PRIVATE  或  共享映射 MAP_SHARED 等
 *                int fd          要映射的文件标识符
 *                int offset      文件偏移,指定文件映射的起点,必须是系统分页大小的整数倍
 * 
 *  @return     : 成功返回映射后虚拟地址的首地址,失败返回MAP_FAILED
**/
void * mmap(void *addr, size_t length, int port, int flags, int fd, off_t offset);

注意:

  1. 函数的void * addr参数指定了映射被放置的虚拟内存,如何改参数指定为NULL,则内核会为该映射自动分配合适的地址。这是创建映射的首选做法;
  2. 如果void * addr被设置为非NULL值,那么默认将该参数值作为提示信息来处理,实际中,内核会将该值舍入到最近的一个分页边界处,进行边界对齐;
  3. size_t length 参数指定了映射字节数,因为内核创建映射的最小单位为分页大小,因此实际上创建虚拟内存的长度会被向上提升为分页大小的下一个倍数;
  4. int port 是位掩码,用来指定映射后的虚拟内存保护信息,其掩码取值如下:
    PROT_NONE 区域无法访问,该项不能与其它项相或
    PROT_READ 区域内容可读取
    PROT_WRITE 区域内容可修改
    PROT_EXEC 区域内容可执行
  5. int flags 是控制映射操作各方面的位掩码,该掩码必须包含MAP_PRIVATE和MAP_SHARED其中之一,除了这两种外,还可以或上其它的标记。
    MAP_ANONYMOUS 创建一个匿名映射
    MAP_FIXED 原样的解释addr参数 (addr参数不被按照分页大小进行舍入)
    MAP_LOCKED 将映射分页锁进内存
    MAP_HUGETLB 创建一个使用巨页的映射
    MAP_NORESERVE 控制交换空间的预留
    MAP_PRIVATE 对映射数据的修改是私有的
    MAP_POPULATE 填充一个映射的分页
    MAP_SHARED 与MAP_PRIVATE相反
    MAP_UNINITIALIZED 创建匿名映射时不初始化虚拟内存为零
  6. int offset 指定了文件要映射的起点,且必须是系统分页大小的整数倍;
  7. 系统分页大小为 sysconf(_SC_PAGESIZE) 的返回值,Linux系统中该值通常为4096Byte;

文件映射的边界情况

正常文件范围的内存映射

在这里插入图片描述
如上图所示,对某个大小为9500Byte的文件执行如下映射程序:

//从文件的位置0(即文件起始位置)开始映射,映射长度为6000。
void * addr = mmap(NULL, 6000, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
  1. 由于映射长度6000并非系统分页大小的整数倍,所以会按照分页大小,自动向上取整,所以实际映射大小为8092Byte,即文件从起始位置有8092Byte映射到虚拟内存中。
  2. 文件中未被映射的区域是无法通过虚拟内存进行访问的,如果强制向虚拟内存末尾后面访问,则会访问到一片未定义的地址,产生SIGSEGV信号,默认该信号会终止进程,并打印core dump;
  3. 由于实际文件映射大小为8092Byte,且为共享映射,所以映射后虚拟内存的8092Byte可读可写,且修改的内容会同步到实际文件中。

超出文件范围的内存映射

在这里插入图片描述
如上图所示,对某个大小为2200Byte的文件执行如下映射程序:

//从文件的位置0(即文件起始位置)开始映射,映射长度为6000。
void * addr = mmap(NULL, 6000, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
  1. 映射长度为6000,自动向上对齐系统分页,所以实际映射大小为8092Byte。但文件的实际大小为2200Byte。所以长度为8092Byte的虚拟内存映射区域被分为三段。
    • 第一段,即实际真实文件映射大小2200Byte,该区域是可读、可写,且修改内容会同步到真实文件中;
    • 第二段,即第一个分页中除开首部2200Byte的剩余部分,大小为1896Byte,该部分可读可写,但由于没有文件映射与该内存相对应,所以写入内容无法同步到真实文件中;
    • 第三段,即第二个分页,该分页无文件与之对应,是为了映射长度的分页对齐而自动扩展的,如果访问该部分内容会产生SIGBUS信号;
  2. 访问未被映射的区域会产生SIGSEGV信号;

注意:
创建一个超过文件大小的映射可能是无意义的,可以通过 ftruncate() 或 write()去扩充文件大小,然后再映射,使映射变得有意义。

同步映射区域到文件 msync()

在共享映射 MAP_SHARED 模式下,映射的虚拟内存中修改的内容会自动写入到真实文件中,但默认情况下,内核并不保证这种同步操作在何时发生。所以提供了一种显示的执行该操作的函数,完成映射后的虚拟内存与真实文件间的数据同步。
调用msync()后能够保证虚拟内存中修改的内容对执行read()操作的其它进程可见。

#include <sys/mman.h>

/*
 *  @Description: 将映射后的虚拟地址修改内容同步到真实文件
 *  @Para       : void *addr      需要同步虚拟内存首地址
 *                size_t length   同步的地址内容长度
 *                int flags       同步的模式
 * 
 *  @return     : 成功返回0,失败返回-1
**/
int msync(void * addr, size_t length, int flags);

注意:

  1. void * addr 必须是分页对齐的,size_t length 会被自动扩展到分页大小的下一个整数倍;
  2. int flags 取值如下:
    • MS_SYNC 调用会阻塞,直到虚拟内存区域中所有被修改的分页被写入到真实文件为止。调用完后,虚拟内存与磁盘内容同步。
    • MS_ASYNC 虚拟内存区域与内核高速缓存区同步,并对立即执行read()操作的其他进程可见,但会在之后的某个时刻将修改内容写入磁盘。
    • MS_INVALIDATE 使映射数据的缓存副本失效,当内存区域中所有被修改过的分页被同步到文件中之后,内存区域中所有与底层文件不一致的分页会被标记为无效。下次引用这些分页时会重新从文件的相应位置复制相应的分页内容。

解除映射区域 munmap()

与mmap() 操作相反,从调用进程的虚拟地址空间删除一个映射。

#include <sys/mman.h>

/*
 *  @Description: 删除一个映射
 *  @Para       : void *addr      解除映射的地址范围的起始地址
 *                size_t length   解除映射的区域长度
 * 
 *  @return     : 成功返回0,失败返回-1
**/
int munmap(void * addr, size_t length);

注意:

  1. void * addr必须是分页对齐的, size_t length 会被自动扩展到分页大小的下一个整数倍;
  2. 可以只将整个映射区域的部分区域解除映射,也可以让length跨越多个映射,将范围内的多个映射全部解除;
  3. 为确保虚拟地址内存区域的修改内容被同步到真实文件中,需要在解除映射前调用 msync() 进行同步操作。

文件映射程序实例

/*
 *  @Description: 客户端从服务端接收文件
 *  @Para       : int client_fd : the socket fd of client
 *                const char * filename : name of file
 *                int filesize : size of file
 *  @return     : void
 *  @Author     : Huge
 *  @Data       : 2020.03.06 12:12
**/
void fileReceive(int client_fd, const char * filename, int filesize)
{
    
    int filefd = open( filename, O_RDWR | O_CREAT | O_TRUNC , 666);     //打开或创建文件
    if(ftruncate( filefd, filesize) != 0)   //创建的文件大小为0,需要修改文件大小到指定文件大小
    {
    
        cout << "failed to ftruncate file!" << endl;
        return;
    }

    //将创建的文件映射到虚拟内存
    void * fileaddr = mmap(NULL, filesize, PROT_READ | PROT_WRITE , MAP_SHARED, filefd, 0);
    if(fileaddr == MAP_FAILED)
    {
    
        cout << "mmap " << filename << " failed!" << endl;
        return;
    }

    //使用服务端发送的文件内容写入到虚拟内存。
    //该处使用文件映射就是为了使用操作内存的方式来操作文件。
    //服务端使用sendfile()函数发送整个文件,接收端一个recv()即可接收整个文件。
    int revlen = recv(client_fd, fileaddr, filesize, 0);
    if(revlen == -1)
    {
    
        cout << "recv " << filename << " failed!" << endl;
        munmap(fileaddr, filesize);
        return;
    }
    
    if(msync(fileaddr, filesize, MS_SYNC) == -1)    //将虚拟内存同步到文件中
    {
    
        cout << "msync " << filename << " failed!"<< endl;
    }
    if(munmap(fileaddr, filesize) == -1)     //解除映射
    {
    
        cout << "munmap " << filename << " failed!"<< endl;
    }

    close(filefd);
}

<< endl;
}
if(munmap(fileaddr, filesize) == -1) //解除映射
{
cout << “munmap " << filename << " failed!”<< endl;
}

close(filefd);

}



版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/huwei039/article/details/104932724

智能推荐

Docker 快速上手学习入门教程_docker菜鸟教程-程序员宅基地

文章浏览阅读2.5w次,点赞6次,收藏50次。官方解释是,docker 容器是机器上的沙盒进程,它与主机上的所有其他进程隔离。所以容器只是操作系统中被隔离开来的一个进程,所谓的容器化,其实也只是对操作系统进行欺骗的一种语法糖。_docker菜鸟教程

电脑技巧:Windows系统原版纯净软件必备的两个网站_msdn我告诉你-程序员宅基地

文章浏览阅读5.7k次,点赞3次,收藏14次。该如何避免的,今天小编给大家推荐两个下载Windows系统官方软件的资源网站,可以杜绝软件捆绑等行为。该站提供了丰富的Windows官方技术资源,比较重要的有MSDN技术资源文档库、官方工具和资源、应用程序、开发人员工具(Visual Studio 、SQLServer等等)、系统镜像、设计人员工具等。总的来说,这两个都是非常优秀的Windows系统镜像资源站,提供了丰富的Windows系统镜像资源,并且保证了资源的纯净和安全性,有需要的朋友可以去了解一下。这个非常实用的资源网站的创建者是国内的一个网友。_msdn我告诉你

vue2封装对话框el-dialog组件_<el-dialog 封装成组件 vue2-程序员宅基地

文章浏览阅读1.2k次。vue2封装对话框el-dialog组件_

MFC 文本框换行_c++ mfc同一框内输入二行怎么换行-程序员宅基地

文章浏览阅读4.7k次,点赞5次,收藏6次。MFC 文本框换行 标签: it mfc 文本框1.将Multiline属性设置为True2.换行是使用"\r\n" (宽字符串为L"\r\n")3.如果需要编辑并且按Enter键换行,还要将 Want Return 设置为 True4.如果需要垂直滚动条的话将Vertical Scroll属性设置为True,需要水平滚动条的话将Horizontal Scroll属性设_c++ mfc同一框内输入二行怎么换行

redis-desktop-manager无法连接redis-server的解决方法_redis-server doesn't support auth command or ismis-程序员宅基地

文章浏览阅读832次。检查Linux是否是否开启所需端口,默认为6379,若未打开,将其开启:以root用户执行iptables -I INPUT -p tcp --dport 6379 -j ACCEPT如果还是未能解决,修改redis.conf,修改主机地址:bind 192.168.85.**;然后使用该配置文件,重新启动Redis服务./redis-server redis.conf..._redis-server doesn't support auth command or ismisconfigured. try

实验四 数据选择器及其应用-程序员宅基地

文章浏览阅读4.9k次。济大数电实验报告_数据选择器及其应用

随便推点

灰色预测模型matlab_MATLAB实战|基于灰色预测河南省社会消费品零售总额预测-程序员宅基地

文章浏览阅读236次。1研究内容消费在生产中占据十分重要的地位,是生产的最终目的和动力,是保持省内经济稳定快速发展的核心要素。预测河南省社会消费品零售总额,是进行宏观经济调控和消费体制改变创新的基础,是河南省内人民对美好的全面和谐社会的追求的要求,保持河南省经济稳定和可持续发展具有重要意义。本文建立灰色预测模型,利用MATLAB软件,预测出2019年~2023年河南省社会消费品零售总额预测值分别为21881...._灰色预测模型用什么软件

log4qt-程序员宅基地

文章浏览阅读1.2k次。12.4-在Qt中使用Log4Qt输出Log文件,看这一篇就足够了一、为啥要使用第三方Log库,而不用平台自带的Log库二、Log4j系列库的功能介绍与基本概念三、Log4Qt库的基本介绍四、将Log4qt组装成为一个单独模块五、使用配置文件的方式配置Log4Qt六、使用代码的方式配置Log4Qt七、在Qt工程中引入Log4Qt库模块的方法八、获取示例中的源代码一、为啥要使用第三方Log库,而不用平台自带的Log库首先要说明的是,在平时开发和调试中开发平台自带的“打印输出”已经足够了。但_log4qt

100种思维模型之全局观思维模型-67_计算机中对于全局观的-程序员宅基地

文章浏览阅读786次。全局观思维模型,一个教我们由点到线,由线到面,再由面到体,不断的放大格局去思考问题的思维模型。_计算机中对于全局观的

线程间控制之CountDownLatch和CyclicBarrier使用介绍_countdownluach于cyclicbarrier的用法-程序员宅基地

文章浏览阅读330次。一、CountDownLatch介绍CountDownLatch采用减法计算;是一个同步辅助工具类和CyclicBarrier类功能类似,允许一个或多个线程等待,直到在其他线程中执行的一组操作完成。二、CountDownLatch俩种应用场景: 场景一:所有线程在等待开始信号(startSignal.await()),主流程发出开始信号通知,既执行startSignal.countDown()方法后;所有线程才开始执行;每个线程执行完发出做完信号,既执行do..._countdownluach于cyclicbarrier的用法

自动化监控系统Prometheus&Grafana_-自动化监控系统prometheus&grafana实战-程序员宅基地

文章浏览阅读508次。Prometheus 算是一个全能型选手,原生支持容器监控,当然监控传统应用也不是吃干饭的,所以就是容器和非容器他都支持,所有的监控系统都具备这个流程,_-自动化监控系统prometheus&grafana实战

React 组件封装之 Search 搜索_react search-程序员宅基地

文章浏览阅读4.7k次。输入关键字,可以通过键盘的搜索按钮完成搜索功能。_react search