MIT6.828LAB4 (3)

news2024/9/29 9:35:52

LAB3_Part B: Copy-on-Write Fork

文章目录

  • LAB3_Part B: Copy-on-Write Fork
  • 前言
  • 练习8
  • 练习9
  • 练习10
  • 练习11
  • 练习12
  • 总结


前言

记录一下自己的学习过程
实验内容翻译:
https://gitee.com/cherrydance/mit6.828
该翻译仅供参考

练习8

实现sys_env_set_pgfault_upcall系统调用。在查找目标环境的环境ID时,请确保启用权限检查,因为这是一个"危险"的系统调用。

1,判断envid合法
2,将func赋给env_pagfault_upcall

代码如下:

	struct Env * env_store = NULL;
	if(envid2env(envid, &env_store, 1) < 0){
		return -E_BAD_ENV;
	}
	env_store->env_pgfault_upcall = func;
	return 0;

最后在syscall中添加系统调用:

	case SYS_env_set_pgfault_upcall:
		ret = sys_env_set_pgfault_upcall((envid_t)a1, (void *)a2);
		break;

练习9

在kern/trap.c中实现page_fault_handler中所需的代码,以将页错误分派到用户模式处理程序。在向异常堆栈写入数据时,请采取适当的预防措施。(如果用户环境在异常堆栈上的空间用完会发生什么?)

1,检查当前环境是否注册了页错误处理程序,如果没注册则按之前的步骤销毁环境
2,检查当前的tf->tf_esp是否位于用户异常栈中,以此判断是不是第一次使用页错误处理程序
3,根据要求在栈中获取一个UTrapframe大小的空间,如果是递归还需要额外空出4字节
4,使用user_mem_assert判断是否内存溢出
5,保存tf的信息在UTrapframe之中
6,调用页错误处理程序,tf->tf_esp设置为程序返回地址,即UTrapframe的底部
7,处理完页错误之后继续运行当前环境

实现代码如下:

	if(curenv->env_pgfault_upcall != NULL){
		struct UTrapframe * utrapf = NULL;
		if(tf->tf_esp >= UXSTACKTOP-PGSIZE && tf->tf_esp < UXSTACKTOP){
			utrapf = (struct UTrapframe *)(tf->tf_esp - sizeof(struct UTrapframe) - 4);
		}else{
			utrapf =(struct UTrapframe *)(UXSTACKTOP - sizeof(struct UTrapframe));
		}
		user_mem_assert(curenv, (void *)utrapf, sizeof(struct UTrapframe), PTE_W);
		utrapf->utf_esp = tf->tf_esp;
		utrapf->utf_eflags = tf->tf_eflags;
		utrapf->utf_eip = tf->tf_eip;
		utrapf->utf_regs = tf->tf_regs;
		utrapf->utf_err = tf->tf_trapno;
		utrapf->utf_fault_va = fault_va;
		tf->tf_eip = (uintptr_t)curenv->env_pgfault_upcall;
		tf->tf_esp = (uintptr_t)utrapf;
		env_run(curenv);
		return;
	}

练习10

在lib/pfentry.S中实现_pgfault_upcall例程。最有趣的部分是返回到导致页错误的用户代码中的原始位置。您将直接返回到那里,而无需通过内核返回。难点在于同时切换堆栈和重新加载EIP。

如图,是对汇编操作的部分描述
在这里插入图片描述

	addl $8, %esp
	#弹出两个参数fault_va和tr_err
 	movl 0x20(%esp), %eax 
 	#将该地址向上加0x20,此时为eip的地址,将值赋给eax     
    subl $4, 0x28(%esp)
    #获取utf_esp的地址,将其减去4得到的是异常栈的顶部或者空         
    movl 0x28(%esp), %edx    
    #将这个地址的内容存到edx
    movl %eax, (%edx)             
    #把eip存到栈底或者之前为空的位置
    popal
    #弹出通用寄存器             
    addl $4, %esp
    #弹出eip      
    popfl
    #弹出eflags
    popl %esp
    #弹出esp
    ret 
    此时返回的地址是之前eip存入的地址

自己画一下图就能清楚的理解这个过程

练习11

完成lib/pgfault.c中的set_pgfault_handler()函数

1,使用系统调用分配一页
2,注册页错误处理函数

代码如下:

	if(sys_page_alloc(sys_getenvid(), (void *) (UXSTACKTOP - PGSIZE), PTE_SYSCALL) < 0){
		panic("sys_page_alloc failure in set_pgfault_handler\n");
	}
       if(sys_env_set_pgfault_upcall(sys_getenvid(), _pgfault_upcall) < 0){
		panic("sys_env_set_pgfault_upcall failure in set_pgfault_handler\n");
	}

确保运行结果与要求的一致。
faultalloc.c和faultallocbad.c的区别就是前者使用cprintf是用户级的函数,后者用到sys_cputs是系统调用函数。

练习12

在 lib/fork.c 中实现 fork、duppage 和 pgfault。
使用 forktree 程序测试你的代码。它应该会产生以下消息,并夹杂着 ‘new env’、‘free env’ 和 ‘exiting gracefully’ 的消息。这些消息可能不会按照这个顺序出现,并且环境的 ID 可能会不同。

首先实现pgfault,最先是要判断数据的合法性,即检查错误是否为写操作(检查错误代码中的 FEC_WR 标志),并且页面的页表项是否标记为 PTE_COW。如果不是,则触发 panic。这里提示我们使用uvpt来判断页表项是否标记为PTE_COW,那uvpt的含义到底如何呢。先看链接https://pdos.csail.mit.edu/6.828/2018/labs/lab4/uvpt.html,这里有初步介绍,我感觉这里最关键的一步反而在有没有认识到uvpt[]这个是看成虚拟地址,MMU在后面怎么处理这个虚拟地址去获得最终的值。这个函数的关键点也就在这。

1,判断FEC_ER和PTE_COW和PTE_P
2,获取环境id
3,分配一个可写的临时页面
4,将出错的页面内容复制到可写页面
5,将可写页面复制到出错的位置
6,取消可写页面的映射
	if(!(err & FEC_WR) || !(uvpt[PGNUM(addr)] & PTE_COW)){
		panic("pgfault :err is not TEC_WR");
	}
	if(!(uvpd[PDX(addr)] & PTE_P) || !(uvpt[PGNUM(addr)] & PTE_P)){
		panic("pgfault :err is not PTE_P\n");
	}
	envid_t e_id = sys_getenvid();
	addr = ROUNDDOWN(addr, PGSIZE);
	if(sys_page_alloc(e_id, PFTEMP, PTE_W | PTE_U | PTE_P) < 0){
		panic("pgfault: sys_page_alloc failed.");
	}
	memcpy(PFTEMP, addr, PGSIZE);
	if(sys_page_map(e_id, PFTEMP, e_id, addr, PTE_U | PTE_W | PTE_P) < 0) {
		panic("pgfault: sys_page_map failed."); 
	}
	
	if(sys_page_unmap(e_id, PFTEMP) < 0){
		panic("pgfault: sys_page_unmap failed.");
	}

对于函数duppage:
它的作用是将我们的虚拟页 pn(地址为 pn*PGSIZE)映射到目标 envid 的相同虚拟地址上。

1,如果页面是可写或者写时复制,则以写时复制的方式复制给子环境
2,此时要将父亲页面也以写时复制的方式重新映射
2,如何是只读则以只读的方式复制
	if (uvpt[pn] & PTE_W || uvpt[pn] & PTE_COW) {
		if(sys_page_map(0, (void *)(pn * PGSIZE), envid, (void *)(pn * PGSIZE), PTE_U | PTE_P | PTE_COW) < 0){
			panic("duppage: sys_page_map failure");
		}

		if(sys_page_map(0, (void *)(pn * PGSIZE), 0, (void *)(pn * PGSIZE), PTE_U | PTE_P | PTE_COW) < 0){
			panic("duppage: sys_page_map failure");
		}

	}else {
		if(sys_page_map(0, (void *)(pn * PGSIZE), 0, (void *)(pn * PGSIZE), PTE_U | PTE_P) < 0){
			panic("duppage: sys_page_map failure");
		}	
	}

fork()函数:
使用写时复制(copy-on-write)实现用户级别的 fork。

1,父进程使用上面实现的 set_pgfault_handler() 函数将 pgfault() 设置为 C 级别的页面错误处理程序。
2,父进程调用 sys_exofork() 创建一个子进程环境。
3,按要求复制USTACKTOP下的页面
4,给子进程分配一个异常栈
5,将子进程的页错误入口设置为与父进程相同
6,将子进程的运行状态设置为可运行
	extern void _pgfault_upcall(void);
	set_pgfault_handler(pgfault);
	envid_t envid = sys_exofork();
	if(envid < 0){
		panic("fork: sys_exfork() failure");
	}
	if(envid == 0){
		thisenv = envs + ENVX(sys_getenvid());
		return 0;
	}
	size_t i;
	for(i = 0; i < USTACKTOP; i+=PGSIZE){
		if((uvpd[PDX(i)] & PTE_P) && (uvpt[PGNUM(i)] & PTE_P) && (uvpt[PGNUM(i)] & PTE_U)){
			duppage(envid,PGNUM(i));
		}
	}
	if (sys_page_alloc(envid, (void *)(UXSTACKTOP - PGSIZE), PTE_U | PTE_W | PTE_P) < 0){
		panic("fork: sys_page_alloc failed.");
	}
	sys_env_set_pgfault_upcall(envid, _pgfault_upcall);
	if (sys_env_set_status(envid, ENV_RUNNABLE) < 0){
		panic("fork: sys_env_set_status failed.");
	}
	return envid;

运行结果:
在这里插入图片描述

总结

完成了PartB,但感觉非常模糊。先酱紫

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1506486.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

10-ARM gicv3/gicv4的总结-基础篇

目录 1、gic的版本2、GICv3/gicv4的模型图3、gic中断号的划分4、GIC连接方式5、gic的状态6、gic框架7、gic Configuring推荐 本文转自 周贺贺&#xff0c;baron&#xff0c;代码改变世界ctw&#xff0c;Arm精选&#xff0c; armv8/armv9&#xff0c;trustzone/tee&#xff0c;s…

LeetCode刷题日志-17.电话号码的字母组合

纯暴力解法&#xff0c;digits有多长&#xff0c;就循环多少次进行字母组合 class Solution {public List<String> letterCombinations(String digits) {List<String> reslut new ArrayList<>();if(digits.equals(""))return reslut;Map<Inte…

C语言程序与设计——函数(二)递归练习

在上一篇文章中接触到了递归这种编程方法&#xff0c;下面我们将用几个程序加深以下对递归的理解。 递归实际上就是程序调用自身的编程技巧 递归程序的组成&#xff1a; 边界条件处理针对于问题的处理过程和递归过程结果返回 二分查找 首先分析二分查找的查找逻辑&#xff1a; …

操作系统笔记(进程)

注&#xff1a; 下面图片资源来源于 王道计算机考研 操作系统 1.进程概念 进程&#xff08;process&#xff09;&#xff1a;是动态的&#xff0c;是程序的一次执行过程&#xff08;同一程序多次执行&#xff0c;会产生多个进程&#xff09;程序&#xff1a;是静态的&…

Linux:锁和线程同步的相关概念以及生产者消费者模型

文章目录 加锁的基本原则死锁死锁的概念死锁的条件 线程同步生产者消费者模型模型的理解 理解cp问题条件变量 本篇总结的是关于Linux中锁的相关概念以及生产者消费者模型 加锁的基本原则 加锁的基本原则&#xff1a;谁加锁谁解锁&#xff0c;不要把加锁和解锁这样的操作放在两…

Java线程池ThreadPoolExecutor源码阅读

文章目录 概述线程池提交任务流程线程池提交任务源码阅读 源码阅读属性字段工作线程worker 线程池方法runWorker(Worker w) 运行工作线程getTask() 获取任务tryTerminate() 尝试终止线程池interruptWorkers、interruptIdleWorkers 中断工作线程reject(Runnable command) 拒绝任…

数组名的理解,看这一篇就够了!!!

&#xff01;&#xff01;&#xff01;以下是会涉及到的知识的讲解&#xff1a; 一&#xff1a;数组名的理解&#xff1a; 数组名是数组首元素的地址&#xff0c;但是有2个例外&#xff1a; 1. sizeof(数组名)&#xff0c;这里的数组名表示整个数组&#xff0c;计算的是整个…

LeetCode59:螺旋矩阵Ⅱ

题目描述 给你一个正整数 n &#xff0c;生成一个包含 1 到 n2 所有元素&#xff0c;且元素按顺时针顺序螺旋排列的 n x n 正方形矩阵 matrix 。 示例 1&#xff1a; 输入&#xff1a;n 3 输出&#xff1a;[[1,2,3],[8,9,4],[7,6,5]] 代码 class Solution { public:vector…

查看pip当前关联python版本及位置

好久没用python了&#xff0c;把各种pip指向的环境忘光光啦&#xff0c;这里记录一下查看pip当前关联的python版本及位置的方法&#xff1a; pip -V结果&#xff1a; 我一般不用这个版本的python&#xff0c;去环境变量看了一下&#xff0c;原来是anaconda的Scripts自带pip&a…

Vue class和style绑定:动态美化你的组件

&#x1f90d; 前端开发工程师、技术日更博主、已过CET6 &#x1f368; 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 &#x1f560; 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 &#x1f35a; 蓝桥云课签约作者、上架课程《Vue.js 和 E…

EB tersos 24.0.1 添加MCU模块失败

1、问题&#xff1a; 新建工程&#xff0c;添加MCU模块总是失败&#xff0c;错误信息如下&#xff1a; 2、解决方案 创建工程时只保留Resource模块&#xff0c;直接点击Finish&#xff0c;其他模块之后再添加 在工程创建成功后再单独添加需要的模块

StableDiffusion3 官方blog论文研究

博客源地址&#xff1a;Stable Diffusion 3: Research Paper — Stability AI 论文源地址&#xff1a;https://arxiv.org/pdf/2403.03206.pdf Stability.AI 官方发布了Stable diffusion 3.0的论文研究&#xff0c;不过目前大家都沉浸在SORA带来的震撼中&#xff0c;所以这个水…

力扣530. 二叉搜索树的最小绝对差

思路1&#xff1a;中序遍历&#xff0c;递归排序成有序数组&#xff1b;因为是有序&#xff0c;只需要求相邻两个值的最小差值。 class Solution {ArrayList <Integer> list new ArrayList();int ans 100001;//题目最大 100000public int getMinimumDifference(TreeNo…

docker学习笔记——Dockerfile

Dockerfile是一个镜像描述文件&#xff0c;通过Dockerfile文件可以构建一个属于自己的镜像。 如何通过Dockerfile构建自己的镜像&#xff1a; 在指定位置创建一个Dockerfile文件&#xff0c;在文件中编写Dockerfile相关语法。 构建镜像&#xff0c;docker build -t aa:1.0 .(指…

异步编程实战:使用C#实现FTP文件下载及超时控制

博客标题: 异步编程实战&#xff1a;使用C#实现FTP文件下载及超时控制 如果你的函数不是async&#xff0c;你仍然可以实现相同的超时功能&#xff0c;但你将不得不依赖更多的同步代码或使用.Result或.GetAwaiter().GetResult()来阻塞等待任务完成&#xff0c;这可能导致死锁的风…

Breach-2.1

靶场环境说明 该靶场是静态IP地址&#xff0c;需要更改网络配置&#xff0c;攻击机kali做了两张网卡&#xff1b; 信息收集 # nmap -sT --min-rate 10000 -p- 192.168.110.151 -oN port.nmap Starting Nmap 7.94 ( https://nmap.org ) at 2024-02-09 10:47 CST Stats: 0:00:…

java通过poi-tl生成word

我看公司之前做电子合同&#xff0c;使用TIBCO jaspersoft做的报表模板&#xff0c;如果是给自己公司开发或者给客户做项目&#xff0c;这个也没有什么&#xff0c;因为反正模板是固定的&#xff0c;一次性开发&#xff0c;不用担心后续的问题。即使后期有调整&#xff0c;改一…

深入解读 Elasticsearch 磁盘水位设置

本文将带你通过查看 Elasticsearch 源码来了解磁盘使用阈值在达到每个阶段的处理情况。 跳转文章末尾获取答案 环境 本文使用 Macos 系统测试&#xff0c;512M 的磁盘&#xff0c;目前剩余空间还有 60G 左右&#xff0c;所以按照 Elasticsearch 的设定&#xff0c;ES 中分片应…

总结:Spring创建Bean循环依赖问题与@Lazy注解使用详解

总结&#xff1a;Spring创建Bean循环依赖问题与Lazy注解使用详解 一前提知识储备&#xff1a;1.Spring Bean生命周期机制&#xff08;IOC&#xff09;2.Spring依赖注入机制&#xff08;DI&#xff09;&#xff08;1&#xff09;Autowired注解标注属性set方法注入&#xff08;2&…

面具安装LSP模块时提示 Unzip error错误的解决办法

面具(Magisk Delta)安装LSP模块时提示 Unzip error错误的解决办法 ​​ 如果前面的配置都正常的话&#xff0c;可能是LSP版本有问题重新去Github下载一个最新版的吧&#xff1b;我是这么解决的。 我安装1.91那个版本的LSP就是死活安装不上&#xff0c;下载了1.92的版本一次就…