教育资源为主的文档平台

当前位置: 查字典文档网> 所有文档分类> > 学习总结> 清华大学操作系统lab3实验报告

清华大学操作系统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