ucore lab2 物理内存管理 学习笔记
总的来讲把的LAB1代码逻辑理顺后再往后学就轻松了一大截.LAB2过遍课程视频,再多翻翻实验指导书基本上就没遇到啥大坎儿.对这节学得东西做个总结就是一张图:
练习0:填写已有实验
本实验依赖实验1。请把你做的实验1的代码填入本实验中代码中有“LAB1”的注释相应部分。
提示:可采用diff和patch工具进行半自动的合并(merge),也可用一些图形化的比较/merge
工具来手动合并,比如meld,eclipse中的diff/merge工具,understand中的diff/merge工具
等。
我是用meld手动合并的.也就那几个填空的函数合一下
文件结构分析
bootasm.S:
将内存分布状态存储到0x8000
kernel.ld:
把kernel入口函数设为了kern_entry
entry.S:
初始化页表
建立物理内存0~4M到虚拟内存KERNBASE+0 ~ KERNBASE+4M的映射
使能页机制
长跳指令进入高内存地址
设置内核栈
调用init.c的kern_init
init.c:
无修改
memlayout.h:
增加KERNBASE等相关常量
增加E820MAP结构体描述内存分布
增加Pages结构体及相关的setter和getter宏
mmu.h:
增加线性地址相关的宏
pmm.c&.h:
增加了pmm_manager抽象类(运用结构体和函数指针实现)
增加了
增加物理地址与虚拟地址换算的宏
pmm_init:
设置CR3寄存器
初始化pmm_manager
初始化page
检测分配的page
检测PD
把pgdir插入到pgdir自身中
将物理地址映射到虚拟地址中
LA: KERNBASE~KERNBASE+KMEMSIZE -> PA: 0 ~ KMEMSIZE
初始化GDT
init_pmm_manager:
将default_pmm_manager设为当前PMM,并初始化
init_page:
根据E820MAP求出最大物理内存,总页数
将page数组放到KERNEL末尾之后的内存区域
(0----KERNEL----PAGE数组----自由内存区域---最大内存)
将所有page设为保留状态
对E820MAP里的所有内存块进行初始化内存映射(init_memmap)
init_memmap
调用PMM的init_memmap
练习1:实现 first-fit 连续物理内存分配算法(需要编程)
在实现first fit 内存分配算法的回收函数时,要考虑地址连续的空闲块之间的合并操作。提示:
在建立空闲页块链表时,需要按照空闲页块起始地址来排序,形成一个有序的链表。可能会
修改default_pmm.c中的default_init,default_init_memmap,default_alloc_pages,
default_free_pages等相关函数。请仔细查看和理解default_pmm.c中的注释。
就硬照着给的参考代码撸就行.撸完再改改BUG.
default_pmm.c&.h:
实现了一个默认的pmm_manager
default_init:
空闲块链表置空
空闲块计数器归零
default_init_memmap:
将给定的page区域初始化,设置页状态(空闲头页,非保留)并放入空闲块链表
default_alloc_pages:
实现最先匹配法分配页,更新页状态(保留,非空闲头页),更新空闲块链表状态
default_free_pages:
释放页,并把相邻的空闲块合并,更新空闲块链表
练习2:实现寻找虚拟地址对应的页表项(需要编程)
通过设置页表和对应的页表项,可建立虚拟内存地址和物理内存地址的对应关系。其中的
get_pte函数是设置页表项环节中的一个重要步骤。此函数找到一个虚地址对应的二级页表项
的内核虚地址,如果此二级页表项不存在,则分配一个包含此项的二级页表。本练习需要补
全get_pte函数 in kern/mm/pmm.c,实现其功能。请仔细查看和理解get_pte函数中的注释。
牵扯到指向指针的指针,物理地址与线性地址选择.做的时候就很晕.引用BALDR SKY DRIVE里的一幕:
//PDE,PTE本身存储的是物理地址和标志位
//各类指针变量用的是线性地址
pde_t *pdep=pgdir+PDX(la); //指针指向要访问的PDE
if((*pdep)&PTE_P){ //当PDE存在,对应的二级页表也存在
return ((pte_t*)KADDR((PDE_ADDR(*pdep))))+PTX(la);
//返回PDE对应的PTE的指针
//1.清空PDE末尾标志位,使其变成物理地址
//2.物理地址转为线性地址
//3.转化为指向pt头部的指针
//4.指向目标pte
}
else{
if(!create){//页表不存在又不创建新页表,返回空
return NULL;
}
struct Page *page=alloc_pages(1);//每个页表1024项,每项4B,刚好占一页
if(page==NULL){//分配不成功
return NULL;
}
page->ref=1;//引用一次
uintptr_t pa=page2pa(page);//求出page的物理地址
memset(KADDR(pa),0,PGSIZE);//把新建页表的内存区域清零
(*pdep)=pa|PTE_P|PTE_W|PTE_U;//更新PDE的信息(物理内存和标志位)
return ((pte_t*)KADDR((PDE_ADDR(*pdep))))+PTX(la);
//返回PDE对应的PTE的指针
}
请描述页目录项(Page Directory Entry)和页表项(Page Table Entry)中每个组成部分的含义以及对ucore而言的潜在用处:
这俩玩意都占32B,高24位为物理地址,低12位为标志位.具体含义直接看源码
练习3:释放某虚地址所在的页并取消对应二级页表项的映射(需要编程)
当释放一个包含某虚地址的物理内存页时,需要让对应此物理内存页的管理数据结构Page做
相关的清除处理,使得此物理内存页成为空闲;另外还需把表示虚地址与物理地址对应关系
的二级页表项清除。请仔细查看和理解page_remove_pte函数中的注释。为此,需要补全在
kern/mm/pmm.c中的page_remove_pte函数。
注释给的太全了,直接出代码就行
数据结构Page的全局变量(其实是一个数组)的每一项与页表中的页目录项和页表项有
无对应关系?如果有,其对应关系是啥?
页目录项存着对应页表项的物理地址,页表项存着对应Page的物理地址
疑问解答
如何理解lab2的内存布局?
/* *
* Virtual memory map: Permissions
* kernel/user
*
* 4G ------------------> +---------------------------------+
* | |
* | Empty Memory (*) |
* | |
* +---------------------------------+ 0xFB000000
* | Cur. Page Table (Kern, RW) | RW/-- PTSIZE
* VPT -----------------> +---------------------------------+ 0xFAC00000
* | Invalid Memory (*) | --/--
* KERNTOP -------------> +---------------------------------+ 0xF8000000
* | |
* | Remapped Physical Memory | RW/-- KMEMSIZE
* | |
* KERNBASE ------------> +---------------------------------+ 0xC0000000
* | |
* | |
* | |
* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* (*) Note: The kernel ensures that "Invalid Memory" is *never* mapped.
* "Empty Memory" is normally unmapped, but user programs may map pages
* there if desired.
*
* */
初看不理解,读完代码再看就指导了.KERNBASE,KMEMSIZE等等这些数都是代码里规定好的常量,是人为规定的分布.
ucore lab2 物理内存管理 学习笔记的更多相关文章
- ucore操作系统学习笔记(二) ucore lab2物理内存管理分析
一.lab2物理内存管理介绍 操作系统的一个主要职责是管理硬件资源,并向应用程序提供具有良好抽象的接口来使用这些资源. 而内存作为重要的计算机硬件资源,也必然需要被操作系统统一的管理.最初没有操作系统 ...
- ucore lab3 虚拟内存管理 学习笔记
做个总结,这节说是讲虚拟内存管理,大部分的时间都在搞SWAP机制和服务于此机制的一些个算法.难度又降了一截. 不过现在我的电脑都16G内存了,能用完一半的情景都极少见了,可能到用到退休都不见得用的上S ...
- C++内存管理学习笔记(7)
/****************************************************************/ /* 学习是合作和分享式的! /* Auth ...
- C++内存管理学习笔记(5)
/****************************************************************/ /* 学习是合作和分享式的! /* Auth ...
- C++内存管理学习笔记(6)
/****************************************************************/ /* 学习是合作和分享式的! /* Auth ...
- Docker Image管理学习笔记,ZT
Docker Image管理学习笔记 http://blog.csdn.net/junjun16818/article/details/38423391
- ChCore Lab2 内存管理 实验笔记
本文为上海交大 ipads 研究所陈海波老师等人所著的<现代操作系统:原理与实现>的课程实验(LAB)的学习笔记的第二篇.所有章节的笔记可在此处查看:chcore | 康宇PL's Blo ...
- Linux内存管理学习笔记 转
https://yq.aliyun.com/articles/11192?spm=0.0.0.0.hq1MsD 随着要维护的服务器增多,遇到的各种稀奇古怪的问题也会增多,要想彻底解决这些“小”问题往往 ...
- Linux文件与目录管理(学习笔记)
本笔记为<鸟哥linux私房菜>第六章学习笔记 一.目录与路径 相对路径与绝对路径 绝对路径:一定由根目录 / 写起 正确度比较好 相对路径:不是由 / 写起 ...
随机推荐
- Collection框架中实现比较要实现什么接口?
Java集合框架中需要比较大小的集合包括TreeMap.TreeSet,其中TreeMap会根据key-value对中key的大小进行排序,而TreeSet则会对集合元素进行排序. 因此TreeMap ...
- switch语句能否作用在byte上,能否作用在long上,能否作用在String上?
在Java 7以前,在switch(expr1)中,expr1只能是一个整数表达式(但不包括long和Long)或者枚举常量,整数表达式可以是int基本类型或Integer包装类型,byte.shor ...
- Java有没有goto?
goto 是Java中的保留字,在目前版本的Java中没有使用.(根据James Gosling(Java之父)编写的<The Java Programming Language>一书的附 ...
- Java 中 ConcurrentHashMap 的并发度是什么?
ConcurrentHashMap 把实际 map 划分成若干部分来实现它的可扩展性和线程安 全.这种划分是使用并发度获得的,它是 ConcurrentHashMap 类构造函数的一 个可选参数,默认 ...
- 使用 Redis 有哪些好处?
1.速度快,因为数据存在内存中,类似于 HashMap,HashMap 的优势就是查 找和操作的时间复杂度都是 O1) 2.支持丰富数据类型,支持 string,list,set,Zset,hash ...
- 解决MySQL报错ERROR 2002 (HY000)
今天在为新的业务线搭架数据库后,在启动的时候报错 root@qsbilldatahis-db01:/usr/local/mysql/bin# ./mysql ERROR 2002 (HY000): C ...
- “a==b”和”a.equals(b)”有什么区别?
如果 a 和 b 都是对象,则 a==b 是比较两个对象的引用,只有当 a 和 b 指 向的是堆中的同一个对象才会返回 true,而 a.equals(b) 是进行逻辑比较,所以 通常需要重写该方法来 ...
- python模块 | 随机数模块—random模块
python随机数模块 random - 生成伪随机数,该模块实现了各种分布的伪随机数生成器. 对于整数,从范围中有统一的选择. 对于序列,存在随机元素的统一选择.用于生成列表的随机排列的函数.以及用 ...
- Mongo实验
MongoDB数据库操作 Student: { "name": "zhangsan", "score": { "English&q ...
- 【零碎小bug系列】安卓开发是遇到空指针异常java.lang.NullPointerException: Attempt to invoke...
安卓开发是遇到空指针异常 java.lang.NullPointerException: Attempt to invoke virtual method 'android.text.Editable ...