xv6-lab10-mmap

最新推荐文章于 2024-02-07 15:23:12 发布
最新推荐文章于 2024-02-07 15:23:12 发布
阅读量1.5k 收藏 8
点赞数 1
分类专栏： 大作业 OS-lab xv6 文章标签： 操作系统
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_25698501/article/details/121359930
版权
这篇博客详细介绍了操作系统中内存映射（mmap）和取消映射（munmap）的实现过程，包括VMA数据结构的定义、mmap系统调用的新增、munmap系统调用的实现以及在缺页中断处理和进程复制（fork）时如何处理映射信息。实验内容涉及文件映射、缺页中断处理和进程退出时的资源清理，确保了内存管理的正确性和效率。
摘要由CSDN通过智能技术生成

Lab: mmap

实验目标

在实验环境中实现 mmap() 系统调用

hints

  • char* mmap(void *addr, int length, int prot, int flags,
           int fd, int offset);
int munmap(void *addr, int length);

  • mmap() 映射的页面应该是 lazy alloc 的，以保证在映射大文件时不会阻塞

  • 每个进程应保持对 mmap（） 映射的记录。创建一个符合 VMA 要求的结构体来保存它。每个进程的结构体数组应为16。

  • mmap() 的工作：在用户空间地址中寻找未映射的区域来映射文件，并用在进程信息中用结构体保存该映射的信息。该结构体应该保存指向被映射文件struct file 的指针，并且应该增加文件的引用次数

  • 处理缺页中断。在缺页中断中读入 对应位置的4096字节 文件放入内存并映射

  • munmap() 的工作：取消特定页面的映射，并将MAP_SHARED页面写回磁盘。如果一个映射被完全取消，记得减少相对应的文件引用

  • 你可以假设 munmap() 只从区域开头、结尾，或从中间开始到结尾的一整段开始，不会在中间打个洞这样子

  • 在本实验中不用考虑是否为脏页

  • 修改 exit() 来保证退出前所有的 mmap 已经取消

  • 修改 fork() 来确保子进程也拥有正确的映射

实验实现

看过提示我们要做的工作大概有如下几点：

  • 新增VMA数据结构，在struct proc 中新增VMA数据来保存 mmap() 信息
/*	proc.h	*/

struct map_unit
{
  int used;
  uint64 addr;
  int length;
  int prot;
  int flags;
  int fd;
  struct file *mfile;
  int offset;
};
// Per-process state
struct proc {
  ......
  struct map_unit map_addr[MAXMMAP];  // Trace map
};
  • 新增mmap() 的系统调用，完成相对应的工作
/*	sysfile.c	*/
uint64
sys_mmap(void)
{
  uint64 addr;
  int length;
  int prot;
  int flags;
  int fd;
  struct file *mfile;
  int offset;
  uint64 mmap_error = 0xffffffffffffffff;

  if(argaddr(0, &addr) || argint(1, &length) || argint(2, &prot) || argint(3, &flags) || argfd(4, &fd, &mfile) || argint(5, &offset))
  {
    return mmap_error;
  }

  if(!mfile->writable && (prot & PROT_WRITE) && (flags == MAP_SHARED))
    return mmap_error;


  // printf("kernel flag : %d\n", fd);

  struct proc *p = myproc();

  if(p->sz > MAXVA - length)
    return mmap_error;

  for(int i = 0; i < MAXMMAP; ++i)
  {
    if(p->map_addr[i].used == 0)
    {
      p->map_addr[i].used = 1;
      p->map_addr[i].addr = p->sz;
      p->map_addr[i].length = length;
      p->map_addr[i].prot = prot;
      p->map_addr[i].flags = flags;
      p->map_addr[i].fd = fd;
      p->map_addr[i].mfile = mfile;
      p->map_addr[i].offset = offset;

      filedup(mfile);
      p->sz = p->sz + length;

      
      return p->map_addr[i].addr;
    }
  }

  return mmap_error;
}
  • 新增munmap() 的系统调用，完成相对应的工作
/*	sysfile.c	*/
uint64
sys_munmap(void)
{
  uint64 addr;
  int length;
  if(argaddr(0, &addr) || argint(1, &length))
    return -1;

  struct proc *p = myproc();

  for(int i = 0; i < MAXMMAP; ++i)
  {
    if((p->map_addr[i].addr == addr) || (p->map_addr[i].addr + p->map_addr[i].length == addr + length))
    {
      if(p->map_addr[i].addr == addr) p->map_addr[i].addr += length;
      p->map_addr[i].length -= length;
      if((p->map_addr[i].flags & MAP_SHARED) && (p->map_addr[i].prot & PROT_WRITE))
        filewrite(p->map_addr[i].mfile, addr, length);
/*
 *这里没考虑addr是否页对齐，居然也过了，说明条件十分宽松了
 *给来的地址都是页对齐的
 */
      uvmunmap(p->pagetable, addr, length/PGSIZE, 1);

      if(p->map_addr[i].length == 0)
      {
          
/*
 *
 *这里写文件没有考虑偏移量也能过！
 *十分不合理但也懒得完善嘿嘿
 *
 */
        fileclose(p->map_addr[i].mfile);
        p->map_addr[i].used = 0;
      }
      break;
    }
  }
  return 0;
}
  • 修改 usertrap() 来处理缺页，要注意一个文件很大，由很多页组成，我们要根据缺页页地址与 VMA结构 里保存的虚拟地址的偏移量，来找到我们需要读入的部分
/*	trap.c	*/
void
usertrap(void)
{
......
  if(temp == 8)
  {
......
  }
  else if((which_dev = devintr()) != 0)
  {
......
  }
  else if (temp == 13 || temp == 15)
  {
    uint64 va = r_stval();
    
    if(va >= p->sz || PGROUNDUP(va) == PGROUNDDOWN(p->trapframe->sp)) p->killed = 1;
    else
    {
      
      for(int i = 0; i < MAXMMAP; ++i)
      {
        
        if(p->map_addr[i].used && p->map_addr[i].addr <= va && va < (p->map_addr[i].addr + p->map_addr[i].length))
        {

          uint64 pa = (uint64)kalloc();
          if(pa == 0)
          {
            p->killed = 1;
            break;
          }
          memset((void *)pa, 0, PGSIZE);

          struct file *mfile = p->map_addr[i].mfile;

          ilock(mfile->ip);
          
            
          //计算要读取文件页面离文件开头的偏移量 
          int offset = PGROUNDDOWN(va - p->map_addr[i].addr);
          int cnt = readi(mfile->ip, 0, pa, offset, PGSIZE);

          if(cnt == 0)
          {
            iunlock(mfile->ip);
            kfree((void *)pa);
            p->killed = 1;
            break;
          }

          iunlock(mfile->ip);

          int flags = PTE_U;
          if(p->map_addr[i].prot & PROT_READ) flags |= PTE_R;
          if(p->map_addr[i].prot & PROT_WRITE) flags |= PTE_W;
          if(p->map_addr[i].prot & PROT_EXEC) flags |= PTE_X;

          if(mappages(p->pagetable, PGROUNDDOWN(va), PGSIZE, pa, flags)  < 0)
          {
            kfree((void *)pa);
            p->killed = 1;
          }
          
          break;
        }
      }
    }

  }
  else 
......
}
  • 修改 fork() 来保证子进程拥有对父进程 mmap() 的记录
/*	proc.c	*/
int
fork(void)
{
......
  for(int i = 0; i < MAXMMAP; ++i)
  {
    if(p->map_addr[i].used)
    {
      memmove(&(np->map_addr[i]), &(p->map_addr[i]), sizeof(p->map_addr[i]));
      filedup(p->map_addr[i].mfile);
    }
  }

  np->state = RUNNABLE;
......
}
  • 修改 exit() 来取消所有映射
 /*	proc.c	*/
void
exit(int status)
{
......

  for(int i = 0; i < MAXMMAP; ++i)
  {
    if(p->map_addr[i].used)
    {
      if((p->map_addr[i].flags & MAP_SHARED) && (p->map_addr[i].prot & PROT_WRITE))
        filewrite(p->map_addr[i].mfile, p->map_addr[i].addr, p->map_addr[i].length);
      fileclose(p->map_addr[i].mfile);
      uvmunmap(p->pagetable, p->map_addr[i].addr,  p->map_addr[i].length/PGSIZE, 1);
      p->map_addr[i].used = 0;
    }
  }
......
}

实验结果

请添加图片描述

Wound+=s
关注
专栏目录
MIT6.S081学习总结-lab10:mmap
laplacebh的博客
07-09 1384
lab10 实现mmap 介绍 mmap和munmap系统调用允许UNIX程序对它们的地址空间进行详细的控制。它们可以用于在进程之间共享内存，将文件映射到进程地址空间，以及作为用户级页面错误方案的一部分，比如在讲座中讨论的垃圾收集算法。在本实验中，您将向xv6添加mmap和munmap，重点关注内存映射文件。 void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset); mmap可以通过多种方
【MIT 6.S081】2020, 实验记录（10），Lab: mmap
最新发布
VLyb
04-05 1438
MIT 6.S081， Lab: mmap
xv6 6.S081 Lab9: mmap
不定期更新系统使用、编程小技巧，哔哩哔哩账号：https://space.bilibili.com/399455629，欢迎关注
12-23 3755
xv6 6.S081 Lab9: mmap写在前面实验介绍开始！ mmap代码在这里。这是完成的最后一个实验了，因为网络部分在计算机网络实验中有所涉及，就没再做了。只能说，完结撒花吧！感谢xv6陪伴的这一个学期。 写在前面 都最后一个实验了，相关参考资料就不多提了吧~还是提一下： 我的博客OS实验xv6 6.S081 开坑中给出了一些有用的参考资料，大家可以参考。 实验介绍 老样子，先给实验指导书。 本次实验主要完成两个任务： 简单的mmap 简单的munmap 开始！ 什么是mmap呢？在Li
XV6 Lab9：mmap
weixin_53215555的博客
12-18 819
mmap是一种内存映射文件的方法，即将一个文件或者其它对象映射到进程的地址空间，实现文件磁盘地址和进程虚拟地址空间中一段虚拟地址的一一对映关系。实现这样的映射关系后，进程就可以采用指针的方式读写操作这一段内存，而系统会自动回写脏页面到对应的文件磁盘上，即完成了对文件的操作而不必再调用read,write等系统调用函数。相反，内核空间对这段区域的修改也直接反映用户空间，从而可以实现不同进程间的文件共享。
[MIT 6.S081] Lab 10: mmap
LostUnravel的博客
11-20 3268
Lab 10: mmap Lab Guidance: https://pdos.csail.mit.edu/6.828/2020/labs/mmap.html Lab Code: https://github.com/VastRock-Huang/xv6-labs-2020/tree/mmap mmap (hard) 要点 实现只考虑内存映射文件的 mmap 和 munmap 系统调用. mmap 参数 addr 一直为 0, 由内核决定映射文件的虚拟地址. mmap 参数 flags 只考虑 MAP
MIT Operating Systems Lab: mmap
sutungpo的博客
01-25 325
Lab: mmapPrefacemmapmunmapmap_handleconclusion Preface mmap function is one of virtual memory primitives for user programs, the details refer to the page mentioned in class. In linux, the mapped pages are part of the filesystem cache, but in this lab it’s
xv6-labs-2020:MIT 6.S081 2020秋季操作系统
03-30
xv6-riscv-lab MIT 6.S081 / 2020年秋季实验室 进度 Lab1 Lab2 Lab3 Lab4陷阱 Lab5延迟分配 Lab6写时复制 Lab7多线程 Lab8锁 Lab9文件系统 Lab10 mmap Lab11网络驱动程序 文件 Lab1 Lab2 Lab3
xv6-public：xv6操作系统
02-19
xv6操作系统是一款小型、简单且开源的操作系统，主要用于教学目的，它展示了操作系统的基本概念和原理。这个系统是由MIT（麻省理工学院）的Richard Rashid和John Lions在1970年代为他们的操作系统课程设计的，后来被...
xv6-shared_memory
03-27
《深入理解xv6操作系统中的共享内存机制》 在计算机科学领域，操作系统是管理硬件资源、提供服务给应用程序的核心软件。xv6是一款简洁的教学操作系统，由Unix V6启发而来，广泛用于教学和研究。本篇文章将深入探讨...
use-mmap-method.zip_mmap_space
09-14
标题中的"use-mmap-method.zip_mmap_space"表明这是一个关于使用内存映射文件（Memory-Mapped File，简称mmap）技术的压缩包，主要探讨如何将文件写入内存空间。描述提到“use mmap method to write a file to own ...
清华大学xv6实验报告
09-17
mmap
岁月留痕
03-24 3316
mmap可以把磁盘文件的一部分直接映射到内存，这样文件中的位置直接就有对应的内存地址，对文件的读写可以直接用指针来做而不需要read/write函数。#include void *mmap(void *addr, size_t len, int prot, int flag, int filedes, off_t off); int munmap(void *addr, size_t len);该函数各参数的作用图示如下：图 28.4. mmap函数如果addr参数为NULL，内核会自己在进程
MIT 6.S081 Lab10: mmap
落队的飞行兵
01-17 1421
最近在忙其他事情，时隔两周，做了第十个实验，试验地址在这里。这个实验只有一个任务，主要是关于文件映射部分，跟文件系统关系不是很大，但与虚拟内存关系密切，部分实现类似于实验五的懒加载。本次实验的前置知识没多少，主要关注 mmap 系统调用的各个参数如何使用，以及其返回值。我的实验代码在github上。
MIT 6.S081 lab 10：Mmap
weixin_43174477的博客
08-12 903
Lab: mmap mmap和munmap系统调用允许UNIX程序对地址空间进行细节控制。这可以被用来在多进程之间分享内存，把文件映射到进程地址空间，还有作为一部分用户层页错方案，比如在讲座中谈到的垃圾回收算法。在这个实验中，你将会给xv6添加mmap和munmap到xv6，关注于内存映射文件。 mmap能够用于很多场景，但是这个实验只需要实现文件内存映射的相关特性即可。你可以假设addr一直是0，意味着内核应当决定在什么虚拟地址映射这个文件。如果失败，mmap会返回 0xffffffffffffffff。
c++ mmap写入速度_【MIT6.S081-2020Fall】Lab: mmap
weixin_42413747的博客
01-07 388
本文使用 Zhihu On VSCode 创作并发布Github仓库链接mmap和munmap系统调用允许UNIX程序对其地址空间进行详细控制。 它们可用于在进程之间共享内存，将文件映射到进程地址空间，以及作为用户级页面错误方案的一部分，例如本讲座中讨论的垃圾收集算法。 在本实验中，您将向xv6添加mmap和munmap，重点是内存映射文件。手册页（run man 2 mmap）显示了mmap的以...
XV6_lab1
lgq0409的博客
12-30 1533
PC启动，QEMU x86仿真器及PC通电启动过程 理解6.828内核boot loader（位于boot目录下） 深入探究JOS内核初始化模版（位于kernel目录下） 一 PC启动 模拟x86：用Qemu虚拟及模拟x86，通过qemu和gdb联调对PC启动跟踪测试。 （本人这里源码已经编译过了） 进去lab目录，terminal中键入make qemu命令： kernel监视器...
6.1810: Operating System Engineering 2023 ＜Lab9: mmap＞
欢迎一起交流问题！
02-07 1090
mmap(2) 系统调用能将文件或者设备映射到内存中，返回映射区域的起始地址。
「实验记录」MIT 6.S081 Lab10 mmap
士全的CSDN，用心连载，欢迎关注
02-23 842
MIT 6.S081 Lab10 mmap 主要从虚拟内存的另一用法：文件映射的角度出发，完成 mmap 机制的设计与实现
mit6.s081 lab10 mmap
tailuzhecom的博客
10-25 254
1.添加mmap和munmap的syscall 2…为了追踪每个process使用mmap产生的映射区域，使用VMA去记录mmap时的address, length, permission, file等信息。可以创建一个固定大小的VMA数组来进行实现，16个VMA元素已经足够。在proc.h中定义VMA结构体，在proc中添加VMA数组，数组的大小为16。需要注意的是VMA结构体中有offset成员，用于记录addr对应在文件中的偏移量。 struct VMA { uint addr; int of
xv6 lab mmap
08-05
引用和提供了关于xv6 lab mmap的相关代码和提示。xv6 lab mmap是指在xv6操作系统的实验中实现了mmap和munmap系统调用，用于实现文件的内存映射和解除内存映射。mmap函数用于将文件映射到用户进程的虚拟地址空间，并...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值