labworkP02

最新推荐文章于 2024-02-17 12:33:33 发布
最新推荐文章于 2024-02-17 12:33:33 发布
阅读量256 收藏 3
点赞数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zwx54088/article/details/118247361
版权

实验报告

实验内容

uCore Lab 2：物理内存管理
(1) 编译运行 uCore Lab 2 的工程代码；
(2) 完成 uCore Lab 2 练习 1-3 的编程作业；
(3) 思考如何实现 uCore Lab 2 扩展练习 1-2。

实验环境

 Ubuntu 14.04（64位）

实验过程

练习1：实现 first-fit 连续物理内存分配算法（需要编程）

在实现first fit 内存分配算法的回收函数时，要考虑地址连续的空闲块之间的合并操作。提示:在建立空闲页块链表时，需要按照空闲页块起始地址来排序，形成一个有序的链表。可能会修改default_pmm.c中的default_init，default_init_memmap，default_alloc_pages， default_free_pages等相关函数。请仔细查看和理解default_pmm.c中的注释。

  1. 修改函数 default_init_memmap
static void
default_init_memmap(struct Page *base, size_t n) {
    assert(n > 0);
    struct Page *p = base;
    for (; p != base + n; p ++) {
        assert(PageReserved(p));
        p->flags = 0;
        SetPageProperty(p);
        p->property = 0;
        set_page_ref(p, 0);
        list_add_before(&free_list, &(p->page_link));
    }
    nr_free += n;
    //first block
    base->property = n;
}

设计实现过程：传入物理页基地址，和物理页的个数(个数必须大于0)，然后对每一块物理页进行设置：先判断是否为保留页，如果不是，则进行下一步。将标志位清0，连续空页个数清0，然后将标志位设置为1，将引用此物理页的虚拟页的个数清0。然后再加入空闲链表。最后计算空闲页的个数，修改物理基地址页的property的个数为n。

  1. 修改函数 default_alloc_pages
static struct Page *
default_alloc_pages(size_t n) {
    assert(n > 0);
    if (n > nr_free) {
        return NULL;
    }
    list_entry_t *le, *len;
    le = &free_list;

    while((le=list_next(le)) != &free_list) {
      struct Page *p = le2page(le, page_link);
      if(p->property >= n){
        int i;
        for(i=0;i<n;i++){
          len = list_next(le);
          struct Page *pp = le2page(le, page_link);
          SetPageReserved(pp);
          ClearPageProperty(pp);
          list_del(le);
          le = len;
        }
        if(p->property>n){
          (le2page(le,page_link))->property = p->property - n;
        }
        ClearPageProperty(p);
        SetPageReserved(p);
        nr_free -= n;
        return p;
      }
    }
    return NULL;
}

设计实现过程：这个函数是用来分配空闲页的。首先判断空闲页的大小是否大于所需的页块大小。如果小于空闲页的大小。则遍历整个空闲链表。如果找到合适的空闲页，则重新设置标志位。然后从空闲链表中删除此页。如果当前空闲页的大小大于所需大小。则分割页块。如果合适则不进行操作，最后计算剩余空闲页个数并返回分配的页块地址。

  1. 修改函数 default_free_pages
static void
default_free_pages(struct Page *base, size_t n) {
    assert(n > 0);
    assert(PageReserved(base));

    list_entry_t *le = &free_list;
    struct Page * p;
    while((le=list_next(le)) != &free_list) {
      p = le2page(le, page_link);
      if(p>base){
        break;
      }
    }
    //list_add_before(le, base->page_link);
    for(p=base;p<base+n;p++){
      list_add_before(le, &(p->page_link));
    }
    base->flags = 0;
    set_page_ref(base, 0);
    ClearPageProperty(base);
    SetPageProperty(base);
    base->property = n;
    
    p = le2page(le,page_link) ;
    if( base+n == p ){
      base->property += p->property;
      p->property = 0;
    }
    le = list_prev(&(base->page_link));
    p = le2page(le, page_link);
    if(le!=&free_list && p==base-1){
      while(le!=&free_list){
        if(p->property){
          p->property += base->property;
          base->property = 0;
          break;
        }
        le = list_prev(le);
        p = le2page(le,page_link);
      }
    }

    nr_free += n;
    return ;
}

设计实现过程：这个函数的作用是释放已经使用完的页，把他们合并到freelist中。在freelist中查找合适的位置以供插入。改变被释放页的标志位，以及头部的计数器尝试在freelist中向高地址或低地址合并。

练习2：实现寻找虚拟地址对应的页表项（需要编程）

通过设置页表和对应的页表项，可建立虚拟内存地址和物理内存地址的对应关系。其中的get_pte函数是设置页表项环节中的一个重要步骤。此函数找到一个虚地址对应的二级页表项的内核虚地址，如果此二级页表项不存在，则分配一个包含此项的二级页表。本练习需要补全get_pte函数 in kern/mm/pmm.c，实现其功能。请仔细查看和理解get_pte函数中的注释。get_pte函数的调用关系图如下所示：
在这里插入图片描述

  1. 请描述页目录项（Page Directory Entry）和页表项（Page Table Entry）中每个组成部分的含义以及对ucore而言的潜在用处。

(1) 目录项（Page Directory Entry）

地址名称对ucore而言的潜在用处
31:12Page Table 4KB Aligned Address页表的起始物理地址，用于定位页表位置
11:9AvailPTE_AVAIL，保存给OS使用
8Ignored
7Page SizePTE_PS，用于确认页的大小
6PTE_MBZ
5AccessedPTE_A，用于确认对应页表是否被使用
4Cache DisabledPTE_PCD 用于cache
3Write ThroughPTE_PWT 用于cache
2User/SupervisorPTE_U，用于确认用户态下是否可以访问
1Read/WritePTE_W，用于确认页表是否可写，内存分配和释放时需要置位
0PresentPTE_P，用于确定对应的页表是否存在，如果为1表示存在，如果为0表示不存在，需要再分配一个物理页给页表

(2) 页表项（Page Table Entry）

地址名称对ucore而言的潜在用处
31:12Physical Page Address对应物理页的起始物理地址，用于定位物理也的位置
11:9AvailPTE_AVAIL，保存给OS使用
8Global
70PTE_MBZ
6DirtyPTE_D，脏位，用于确认数据是否有效
5AccessedPTE_A，用于确认对应页表是否被使用
4Cache DisabledPTE_PCD 用于cache
3Write ThroughPTE_PWT 用于cache
2User/SupervisorPTE_U，用于确认用户态下是否可以访问对应的物理页
1Read/WritePTE_W，用于确认对应的物理页是否可写
0PresentPTE_P，用于确认页表项所对应的物理页是否存在
  1. 如果ucore执行过程中访问内存，出现了页访问异常，请问硬件要做哪些事情？
①将引发页访问异常的地址将被保存在cr2寄存器中
②设置错误代码
③引发Page Fault，将外存的数据换到内存中
④进行上下文切换，退出中断，返回到中断前的状态
  1. 补全函数 get_pte
pte_t *
get_pte(pde_t *pgdir, uintptr_t la, bool create) {
    /* LAB2 EXERCISE 2: YOUR CODE
     *
     * If you need to visit a physical address, please use KADDR()
     * please read pmm.h for useful macros
     *
     * Maybe you want help comment, BELOW comments can help you finish the code
     *
     * Some Useful MACROs and DEFINEs, you can use them in below implementation.
     * MACROs or Functions:
     *   PDX(la) = the index of page directory entry of VIRTUAL ADDRESS la.
     *   KADDR(pa) : takes a physical address and returns the corresponding kernel virtual address.
     *   set_page_ref(page,1) : means the page be referenced by one time
     *   page2pa(page): get the physical address of memory which this (struct Page *) page  manages
     *   struct Page * alloc_page() : allocation a page
     *   memset(void *s, char c, size_t n) : sets the first n bytes of the memory area pointed by s
     *                                       to the specified value c.
     * DEFINEs:
     *   PTE_P           0x001                   // page table/directory entry flags bit : Present
     *   PTE_W           0x002                   // page table/directory entry flags bit : Writeable
     *   PTE_U           0x004                   // page table/directory entry flags bit : User can access
     */
#if 0
    pde_t *pdep = NULL;   // (1) find page directory entry
    if (0) {              // (2) check if entry is not present
                          // (3) check if creating is needed, then alloc page for page table
                          // CAUTION: this page is used for page table, not for common data page
                          // (4) set page reference
        uintptr_t pa = 0; // (5) get linear address of page
                          // (6) clear page content using memset
                          // (7) set page directory entry's permission
    }
    return NULL;          // (8) return page table entry
#endif
    pde_t *pdep = &pgdir[PDX(la)];
    if (!(*pdep & PTE_P)) {
        struct Page *page;
        if (!create || (page = alloc_page()) == NULL) {
            return NULL;
        }
        set_page_ref(page, 1);
        uintptr_t pa = page2pa(page);
        memset(KADDR(pa), 0, PGSIZE);
        *pdep = pa | PTE_U | PTE_W | PTE_P;
    }
    return &((pte_t *)KADDR(PDE_ADDR(*pdep)))[PTX(la)];
}

练习3：释放某虚地址所在的页并取消对应二级页表项的映射（需要编程）

当释放一个包含某虚地址的物理内存页时，需要让对应此物理内存页的管理数据结构Page做相关的清除处理，使得此物理内存页成为空闲；另外还需把表示虚地址与物理地址对应关系的二级页表项清除。请仔细查看和理解page_remove_pte函数中的注释。为此，需要补全在 kern/mm/pmm.c中的page_remove_pte函数。page_remove_pte函数的调用关系图如下所示：
在这里插入图片描述

  1. 数据结构Page的全局变量（其实是一个数组）的每一项与页表中的页目录项和页表项有无对应关系？如果有，其对应关系是啥？

当页目录项或页表项有效时，二者之间有对应关系。练习2的问题其实已经说明了一些情况，实际上，pages每一项记录一个物理页的信息，而每个页目录项记录一个页表的信息，每个页表项则记录一个物理页的信息。可以说，页目录项保存的物理页面地址（即某个页表）以及页表项保存的物理页面地址都对应于Page数组中的某一页。

  1. 补全函数 page_remove_pte
//page_remove_pte - free an Page sturct which is related linear address la
//                - and clean(invalidate) pte which is related linear address la
//note: PT is changed, so the TLB need to be invalidate 
static inline void
page_remove_pte(pde_t *pgdir, uintptr_t la, pte_t *ptep) {
    /* LAB2 EXERCISE 3: YOUR CODE
     *
     * Please check if ptep is valid, and tlb must be manually updated if mapping is updated
     *
     * Maybe you want help comment, BELOW comments can help you finish the code
     *
     * Some Useful MACROs and DEFINEs, you can use them in below implementation.
     * MACROs or Functions:
     *   struct Page *page pte2page(*ptep): get the according page from the value of a ptep
     *   free_page : free a page
     *   page_ref_dec(page) : decrease page->ref. NOTICE: ff page->ref == 0 , then this page should be free.
     *   tlb_invalidate(pde_t *pgdir, uintptr_t la) : Invalidate a TLB entry, but only if the page tables being
     *                        edited are the ones currently in use by the processor.
     * DEFINEs:
     *   PTE_P           0x001                   // page table/directory entry flags bit : Present
     */
#if 0
    if (0) {                      //(1) check if page directory is present
        struct Page *page = NULL; //(2) find corresponding page to pte
                                  //(3) decrease page reference
                                  //(4) and free this page when page reference reachs 0
                                  //(5) clear second page table entry
                                  //(6) flush tlb
    }
#endif
    if (*ptep & PTE_P) {
        struct Page *page = pte2page(*ptep);
        if (page_ref_dec(page) == 0) {
            free_page(page);
        }
        *ptep = 0;
        tlb_invalidate(pgdir, la);
    }
}

//page_remove - free an Page which is related linear address la and has an validated pte
void
page_remove(pde_t *pgdir, uintptr_t la) {
    pte_t *ptep = get_pte(pgdir, la, 0);
    if (ptep != NULL) {
        page_remove_pte(pgdir, la, ptep);
    }
}

（参考资料1：https://blog.csdn.net/tangyuanzong/article/details/78913388）
（参考资料2：https://blog.csdn.net/dingdingdodo/article/details/100622753）

Bian~
关注
  • 0
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
对比first-fit/best-fit/worst-fit/slab以及buddy这几种算法的特点
Ding 的博客
09-08 3万+
以下均为自己对这些算法的理解： fitst-fit算法 First-fit算法：连续物理内存分配算法的一种，将空闲内存块按照地址从小到大的方式连起来，具体实现时使用了双向链表的方式。当分配内存时，从链表头开始向后找，这意味着从低地址向高地址查找，一旦找到可以满足要求的内存块，即将该内存块分配出去即可。在此处为了避免内部碎片问题，具体实现时我们将该可用内存块分为两部分：前一部分大小与所需内存相同，这...
Lab2
scaubj的博客
04-13 355
实验一链接 http://blog.csdn.net/scaubj/article/details/70156819   实验二   1.用况图   2.描述 1）用况图综述          该用况图主要针对选课系统的功能以及与该系统进行交互的外部事物建模。可以得到选课系统的主要功能：学生进行选课、查询课程信息，课程管理员生成及维护选课表、生成并发布开课汇总表。   2
实验二 物理内存管理-实验部分
最新发布
u012750235的博客
02-17 1070
在X86系统中，正好支持分段和分页这两种机制。将逻辑地址转换成线程地址空间的过程，称为分段，而将线性地址转换成物理地址空间的过程称为分页。分段和分页的过程如下图所示。图3-1 分段和分页分段提供一种划分处理器地址内存空间成更小的保护地址空间，这种地址空间称为段。段可以用来维持一个程序的代码、数据、堆栈。或者用来维持一个系统的数据结构，如TSS、LDT。
Ucore lab2
04-16 878
操作系统实验2
操作系统：ucore的部分Bug&挑战练习
weixin_33857679的博客
01-05 238
ucore是清华大学提供的一个学习操作系统的平台。ucore有完整的mooc视频与说明文档。 https://objectkuan.gitbooks.io/ucore-docs/content/# 本文将主要记录在完成ucore平台的实验时，个人认为ucore内核及Result中的存在的问题，以及部分挑战练习内容。由于个人水平有限，可能理解有误，欢迎前来讨论。 本文...
OS课程 ucore_lab2实验报告
qq_40872103的博客
11-13 608
练习零：填写已有实验    本实验依赖实验1。请把你做的实验1的代码填入本实验中代码中有“LAB1”的注释相应部分。提示：可采用diff和patch工具进行半自动的合并（merge），也可用一些图形化的比较/merge工具来手动合并，比如meld，eclipse中的diff/merge工具，understand中的diff/merge工具等。 其实 lab1 中只有 kern/debug/k...
内存连续分配方式采用的几种算法及各自优劣。
qq_33774935的博客
10-01 5675
连续分配方式，是指为一个用户程序分配一个连续的内存空间。它主要包括单一连续分配、固定分区分配和动态分区分配。 单一连续分配 内存在此方式下分为系统区和用户区，系统区仅提供给操作系统使用，通常在低地址部分；用户区是为用户提供的、除系统区之外的内存空间。这种方式无需进行内存保护。 这种方式的优点是简单、无外部碎片，可以釆用覆盖技术，不需要额外的技术支持。缺点是只能用于单用户、单任务的操作
操作系统笔记:(一)物理内存分配1：连续内存分配
taotao 的大学墓志
03-27 1876
remark： 这是我准备考研期间看学堂在线清华大学的OS MOOC的笔记，由于博主不是科班出身，所写错误可能很大，望大家指正. 本文结构如下: 计算机内存管理概述 连续内存分配 碎片整理 e.g: 伙伴系统(Buddy System) 计算机内存管理概述 首先我们知道计算机的内存是分很多层次的，不同层次之间访存速度相差很大，（甚至达到几个数量级） MMU 工作原理介绍 W...
ucore lab2
唐源棕的博客
12-27 8977
练习0：填写已有实验本实验依赖实验1。请把你做的实验1的代码填入本实验中代码中有“LAB1”的注释相应部分。提示：可采用diff和patch工具进行半自动的合并（merge），也可用一些图形化的比较/merge工具来手动合并，比如meld，eclipse中的diff/merge工具，understand中的diff/merge工具等。练习1：实现 first-fit 连续物理内存分配算法算法原理要求
lab2 练习
a284185006的博客
05-26 232
练习1：实现first-fit连续物理内存分配算法 1.first-fit算法原理（最先匹配） 从前往后找，找到第一个比我要分配空间大的分区 代码如下（示例）： struct Page { int ref; // page frame's reference counter uint32_t flags; // array of flags that describe the status of the page
内存的分配与回收之first fit与next fit算法c++实现
qq_43176580的博客
01-04 1718
内存的分配与回收first fit与next fit方法first fit方法介绍next fit方法介绍c++算法实现代码的简单解析程序流程图结束语 first fit与next fit方法 在学习操作系统的过程中遇到了不少的问题与难点，在这里记录一下学习的过程，便于以后查看。 first fit方法介绍 first fit称为首次适应算法，是从空闲分区表的第一个表目起查找该表，把最先能够满足要求的空闲区分配给作业，这种方法目的在于减少查找时间。链接 next fit方法介绍 next fit对应的方法名
C语言模拟操作系统内存分配——首次适应算法（First Fit）
haohulala的博客
06-09 1万+
算法思想：将内存块中的所有的块按照地址递增的顺序连接成一个链表，每次要将新的作业放入内存的时候就按顺序查找内存块链表，每次都是用找到的可以用的第一个内存块。链表数据结构：链表结点共有4个区域和一个下指针构成，四个区域分别记录该内存块的起始地址，该内存块长度，内存块的状态和内存块存放的作业编号（没有作业时存放的是0）。模拟实现的策略：1.插入操作时依照地址递增的顺序检查可以装入的第一个内存块若找到，...
【操作系统】第三章 连续内存分配
刷穿算法！！！！
07-25 483
目录3.1 计算机体系结构及内存分层体系一、计算机系统结构主要包含了三大内容：二、内存的层次机构：cpu要访问的指令和数据所处的位置在什么地方三、操作系统到底要完成的重点事情四、两种不同的空间五、在操作系统中管理内存的不同方法3.2 地址空间与地址生成一、地址空间的定义二、逻辑地址生成三、完成逻辑地址到物理地址的映射过程四、地址的安全监测的过程3.3 连续内存的分配：内存碎片与分区的动态分配一、内存碎片问题二、分区的动态分配3.4 连续内存分配：压缩式与交换式碎片整理一、压缩式（compression）碎片
ucore lab 2
sfadjlha的博客
06-01 1870
ucore lab 2
操作系统实验二实验报告
jasonyuchen的博客
07-31 7535
学堂在线-清华操作系统课程-实验二实验报告
常见内存分配算法：首次适应算法（FirstFit）循环首次适应算法（NextFit）最佳适应算法（BestFit）最坏适应算法（WorstFit）
热门推荐
liying_1234的专栏
07-28 4万+
一、首次适应算法（First Fit）：该算法从空闲分区链首开始查找，直至找到一个能满足其大小要求的空闲分区为止。然后再按      照作业的大小，从该分区中划出一块内存分配给请求者，余下的空闲分区仍留在空闲分区链    中。      特点： 该算法倾向于使用内存中低地址部分的空闲区，在高地址部分的空闲区很少被利用，从而保留了高地址部分的大空闲        区。显然为以后到达的大作业分配大的
ucorelab3
sfadjlha的博客
05-11 1700
ucore lab3 会将扩展练习一、二更新完成
《ucore lab2》实验报告
03-04 993
资源 ucore在线实验指导书 我的ucore实验代码 练习1：实现 first-fit 连续物理内存分配算法 题目 在实现first fit 内存分配算法的回收函数时，要考虑地址连续的空闲块之间的合并操作。提示: 在建立空闲页块链表时，需要按照空闲页块起始地址来排序，形成一个有序的链表。可能会修改default_pmm.c中的default_init，default_init_me...
linux内核笔记——分页机制
岳席文的专栏
08-13 931
我非常讨厌虚拟地址空间这个叫法，再配合上各种书上的矩形配图，更可恶的是物理内存的配图也常为矩形配图，这很容易让人定式的认为虚拟地址空间就是一个物理学上的空间，至少会认为它和物理内存都可以被矩形图描绘出来，看上去好像它能容纳什么一样。其实虚拟地址也就是处理器可能的寻址，虚拟地址空间就是处理器的寻址空间，是一个数学上的空间，也就是一个集合，是处理器寻址时能发出的所有的二进制数字的集合{0x000000
操作系统lab2实验报告
weixin_42637204的博客
05-11 1733
实验2：物理内存管理 实验目的： 理解基于段页式内存地址的转换机制 理解页表的建立和使用方法 理解物理内存的管理方法 实验内容： 本次实验包含三个部分。首先了解如何发现系统中的物理内存；然后了解如何建立对物理内存的初步管理，即了解连续物理内存管理；最后了解页表相关的操作，即如何建立页表来实现虚拟内存到物理内存之间的映射，对段页式内存管理机制有一个比较全面的了解。 练习： 练习0：填写已有...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值