清华大学操作系统lab3实验报告
上传者:田丽萍|上传时间:2015-04-21|密次下载
清华大学操作系统lab3实验报告
实验3:虚拟内存管理
练习1:给未被映射的地址映射上物理页
ptep=get_pet(mm->dir,addr,1);
if(ptep == NULL){ //页表项不存在
cprintf("get_pte in do_pgfault failed\n");
goto failed;
}
if (*ptep == 0) {
//物理页不在内存之中
//判断是否可以分配新页
if (pgdir_alloc_page(mm->pgdir, addr, perm) == NULL) {
cprintf("pgdir_alloc_page in do_pgfault failed\n");
goto failed;
}
}
else{
if(swap_init_ok) {
struct Page *page=NULL;
ret = swap_in(mm, addr, &page);
if(ret != 0){ //判断页面可否换入
cprintf("swap_in in do_pgfault failed\n");
goto failed;
}
//建立映射
page_insert(mm->pgdir, page, addr, perm);
swap_map_swappable(mm, addr, page, 1);
}
else {
cprintf("no swap_init_ok but ptep is %x, failed\n",*ptep);
goto failed;
}
}
ret = 0;
failed:
return ret;
}
练习2:补充完成基于FIFO算法
_fifo_map_swappable(struct mm_struct *mm, uintptr_t addr, struct Page *page, int swap_in){
list_entry_t *head=(list_entry_t*) mm->sm_priv;
list_entry_t *entry=&(page->pra_page_link);
assert(entry != NULL && head!=NULL);
list_add(head,entry);
return 0;
}
pra_page_link用来构造按页的第一次访问时间进行排序的一个链表,这个链表的开始表示第一次访问时间最近的页,链表的尾部表示第一次访问时间最远的页。
sm_priv指向用来连接记录页访问情况的链表头。
_fifo_swap_out_victim(struct mm_struct *mm, struct Page ** ptr_page, int in_tick)
{
list_entry_t *head=(list_entry_t*) mm->sm_priv;
assert(head != NULL);
assert(in_tick==0);
//获取最远端的页
list_entry_t *le = head->prev;
assert(head != le);
//取下该页 struct Page *p = le2page(le,pra_page_link); //释放该页 list_del(le); assert(p!=NULL); //将该页存入*ptr_page中 *ptr_page = p; return 0;
}
Challenge:实现识别dirty bit 的extended clock 页替换算法
该算法中,淘汰一个页面时要考虑被淘汰的页面是否被访问过,同时该页面是否被修改过。淘汰修改过的页面还需要写回硬盘,使得其置换代价大于未修改过的页面,该算法不但希望淘汰的页面是最近未使用的页,而且还希望被淘汰的页是在主存驻留期间其页面内容未被修改过的。
因此通过访问页表项中的访问位和修改位即可完成识别。
在mmu.h中可以看到页表中各位代表的含义:
在编程中主要会用到的就是PTE_A和PTE_D两个位置。
首先将所有访问页连接成一个环,因此_fifo_map_swappable函数基本保持不变。
_fifo_map_swappable(struct mm_struct *mm, uintptr_t addr, struct Page *page, int swap_in){
list_entry_t *head=(list_entry_t*) mm->sm_priv;
list_entry_t *entry=&(page->pra_page_link);
内容需要下载文档才能查看
} assert(entry != NULL && head!=NULL); list_add(head,entry); return 0;
_fifo_swap_out_victim与之前的置换函数相比多了几重循环,需要对队列进行多次扫描,达到减少磁盘I/O操作次数。
_fifo_swap_out_victim(struct mm_struct *mm, struct Page ** ptr_page, int in_tick)
{
int flag=0;//设置标志 list_entry_t *head=(list_entry_t*) mm->sm_priv; assert(head != NULL); assert(in_tick==0); list_entry_t *le = head->next; while(le != head) { struct Page *p = le2page(le,pra_page_link);
//获取对应页的页表项
pet_t *ptep = get_pte(mm->pgdir , p->pra_vaddr , 0);
if(!(*ptep & PTE_D) && !(*ptep & PTE_A))//最近未被使用也未被修改
{
flag = 1;
list_del(le);
assert(p!=NULL);
*ptr_page = p;
}
le = le->next;
}
If(!flag)
{
le = le->next;
while(le != head)
{
struct Page *p = le2page(le,pra_page_link);
pet_t *ptep = get_pte(mm->pgdir , p->pra_vaddr , 0);
if( (*ptep & PTE_D) && !(*ptep & PTE_A)) ////最近未被使用但被修改
{
flag = 1;
list_del(le);
assert(p!=NULL);
*ptr_page = p;
}
le = le->next;
}
If(!flag)
} { le = le->next; while(le != head) { struct Page *p = le2page(le,pra_page_link); pet_t *ptep = get_pte(mm->pgdir , p->pra_vaddr , 0); if( !(*ptep & PTE_D) && (*ptep & PTE_A)) //最近被使用但未被修改 { flag = 1; list_del(le); assert(p!=NULL); *ptr_page = p; } le = le->next; } If(!flag) { le = le->next; while(le != head) { struct Page *p = le2page(le,pra_page_link); pet_t *ptep = get_pte(mm->pgdir , p->pra_vaddr , 0); if( (*ptep & PTE_D) && (*ptep & PTE_A)) //最近被使用也被修改 { flag = 1; list_del(le); assert(p!=NULL); *ptr_page = p; } le = le->next; } return 0;
重新运行程序后,可以看到页面成功置换。
内容需要下载文档才能查看
下载文档
热门试卷
- 2016年四川省内江市中考化学试卷
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
- 山东省滨州市三校2017届第一学期阶段测试初三英语试题
- 四川省成都七中2017届高三一诊模拟考试文科综合试卷
- 2017届普通高等学校招生全国统一考试模拟试题(附答案)
- 重庆市永川中学高2017级上期12月月考语文试题
- 江西宜春三中2017届高三第一学期第二次月考文科综合试题
- 内蒙古赤峰二中2017届高三上学期第三次月考英语试题
- 2017年六年级(上)数学期末考试卷
- 2017人教版小学英语三年级上期末笔试题
- 江苏省常州西藏民族中学2016-2017学年九年级思想品德第一学期第二次阶段测试试卷
- 重庆市九龙坡区七校2016-2017学年上期八年级素质测查(二)语文学科试题卷
- 江苏省无锡市钱桥中学2016年12月八年级语文阶段性测试卷
- 江苏省无锡市钱桥中学2016-2017学年七年级英语12月阶段检测试卷
- 山东省邹城市第八中学2016-2017学年八年级12月物理第4章试题(无答案)
- 【人教版】河北省2015-2016学年度九年级上期末语文试题卷(附答案)
- 四川省简阳市阳安中学2016年12月高二月考英语试卷
- 四川省成都龙泉中学高三上学期2016年12月月考试题文科综合能力测试
- 安徽省滁州中学2016—2017学年度第一学期12月月考高三英语试卷
- 山东省武城县第二中学2016.12高一年级上学期第二次月考历史试题(必修一第四、五单元)
- 福建省四地六校联考2016-2017学年上学期第三次月考高三化学试卷
- 甘肃省武威第二十三中学2016—2017学年度八年级第一学期12月月考生物试卷
网友关注
- 小李飞刀手游兵器谱 兵器谱玩法图文详解攻略
- 时光的楼兰,听一曲心音
- 济南租房合同范本
- 看钱比命重要的星座
- 无息借款合同的范本
- 关于建军节的作文:橄榄绿
- 唐玄宗在洛阳建“丽正书院” 为中国最早书院
- 不羁之风夏侯惇铭文搭配
- 关于建军节的作文:永不退缩的精神
- 哪种植物最给你幸运
- 揭秘:唐朝永泰公主的死与女皇武则天有关系吗
- 揭秘:为何汉武帝所心爱的后妃下场都特别凄惨
- 王者荣耀王昭君出装打法攻略
- 王者荣耀职业解析之法师职业团战技巧攻略
- 测你是利己主义者吗
- 郑州租房合同范本
- 南昌租房合同范本
- 银川租房合同范本
- 个人或公司间借款合同范本
- 测啥会让你憋成内伤
- 七夕泪
- 啥星女助老公财运旺
- 揭秘:史上最专情的皇帝刘秀一生钟情阴丽华
- 深沉的父爱像一弯静月
- 梨花带雨,只如初见!
- 七夕絮语
- 禅茶人生,韵味悠长
- 雅思考官范文--多样句式传达海量信息
- 七夕
- 王者荣耀开黑英雄搭配推荐
网友关注视频
- 【部编】人教版语文七年级下册《逢入京使》优质课教学视频+PPT课件+教案,辽宁省
- 外研版英语三起5年级下册(14版)Module3 Unit2
- 化学九年级下册全册同步 人教版 第22集 酸和碱的中和反应(一)
- 沪教版八年级下册数学练习册21.3(3)分式方程P17
- 人教版历史八年级下册第一课《中华人民共和国成立》
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 8
- 苏教版二年级下册数学《认识东、南、西、北》
- 小学英语单词
- 七年级英语下册 上海牛津版 Unit3
- 第8课 对称剪纸_第一课时(二等奖)(沪书画版二年级上册)_T3784187
- 19 爱护鸟类_第一课时(二等奖)(桂美版二年级下册)_T502436
- 每天日常投篮练习第一天森哥打卡上脚 Nike PG 2 如何调整运球跳投手感?
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,广东省
- 冀教版小学数学二年级下册第二周第2课时《我们的测量》宝丰街小学庞志荣.mp4
- 外研版英语三起6年级下册(14版)Module3 Unit2
- 冀教版英语五年级下册第二课课程解读
- 二次函数求实际问题中的最值_第一课时(特等奖)(冀教版九年级下册)_T144339
- 8.对剪花样_第一课时(二等奖)(冀美版二年级上册)_T515402
- 化学九年级下册全册同步 人教版 第25集 生活中常见的盐(二)
- 冀教版小学数学二年级下册1
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 7
- 冀教版小学数学二年级下册第二单元《租船问题》
- 北师大版小学数学四年级下册第15课小数乘小数一
- 外研版英语三起6年级下册(14版)Module3 Unit1
- 冀教版小学数学二年级下册第二单元《余数和除数的关系》
- 七年级英语下册 上海牛津版 Unit9
- 北师大版数学四年级下册第三单元第四节街心广场
- 第4章 幂函数、指数函数和对数函数(下)_六 指数方程和对数方程_4.7 简单的指数方程_第一课时(沪教版高一下册)_T1566237
- 青岛版教材五年级下册第四单元(走进军营——方向与位置)用数对确定位置(一等奖)
- 沪教版牛津小学英语(深圳用) 五年级下册 Unit 12
精品推荐
- 2016-2017学年高一语文人教版必修一+模块学业水平检测试题(含答案)
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
分类导航
- 互联网
- 电脑基础知识
- 计算机软件及应用
- 计算机硬件及网络
- 计算机应用/办公自动化
- .NET
- 数据结构与算法
- Java
- SEO
- C/C++资料
- linux/Unix相关
- 手机开发
- UML理论/建模
- 并行计算/云计算
- 嵌入式开发
- windows相关
- 软件工程
- 管理信息系统
- 开发文档
- 图形图像
- 网络与通信
- 网络信息安全
- 电子支付
- Labview
- matlab
- 网络资源
- Python
- Delphi/Perl
- 评测
- Flash/Flex
- CSS/Script
- 计算机原理
- PHP资料
- 数据挖掘与模式识别
- Web服务
- 数据库
- Visual Basic
- 电子商务
- 服务器
- 搜索引擎优化
- 存储
- 架构
- 行业软件
- 人工智能
- 计算机辅助设计
- 多媒体
- 软件测试
- 计算机硬件与维护
- 网站策划/UE
- 网页设计/UI
- 网吧管理