Xv6虚拟内存（二）：虚拟内存API

已于 2024-08-19 22:25:32 修改
阅读量124 收藏 3
点赞数 5
分类专栏： # Xv6虚拟内存 文章标签： 操作系统 xv6
于 2024-08-18 18:03:09 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/suitaox26456/article/details/141302628
版权

阅读材料

  • Xv6代码：kernel/vm.c

Xv6提供了一系列虚拟内存API，用于内核的其他模块去更方便的操作虚拟内存。

为了避免重复，这里只分析其他章节没有分析到的函数。

// vm.c
void            kvminit(void);
void            kvminithart(void);
void            kvmmap(pagetable_t, uint64, uint64, uint64, int);
int             mappages(pagetable_t, uint64, uint64, uint64, int);
pagetable_t     uvmcreate(void);
void            uvmfirst(pagetable_t, uchar *, uint);
uint64          uvmalloc(pagetable_t, uint64, uint64, int);
uint64          uvmdealloc(pagetable_t, uint64, uint64);
int             uvmcopy(pagetable_t, pagetable_t, uint64);
void            uvmfree(pagetable_t, uint64);
void            uvmunmap(pagetable_t, uint64, uint64, int);
void            uvmclear(pagetable_t, uint64);
pte_t *         walk(pagetable_t, uint64, int);
uint64          walkaddr(pagetable_t, uint64);
int             copyout(pagetable_t, uint64, char *, uint64);
int             copyin(pagetable_t, char *, uint64, uint64);
int             copyinstr(pagetable_t, char *, uint64, uint64);

walkaddr函数

该函数用于从虚拟地址查找对应的物理地址

uint64 walkaddr(pagetable_t pagetable, uint64 va)
{
	pte_t *pte;
	uint64 pa;

	if (va >= MAXVA)
		return 0;

	pte = walk(pagetable, va, 0);
	if (pte == 0)
		return 0;
	if ((*pte & PTE_V) == 0)
		return 0;
	if ((*pte & PTE_U) == 0)
		return 0;
	pa = PTE2PA(*pte);
	return pa;
}

uvm系列函数

uvm可以理解成用户进程虚拟地址，即这些函数是提供给内核中的进程模块，用来操纵用户进程虚拟地址空间的。

uvmcreate函数

该函数通过调用kalloc函数，分配一个空的根页表。如果kalloc函数返回0，说明物理内存分配器崩溃，函数返回0代表失败；否则返回根页表的基地址。

pagetable_t uvmcreate()
{
	pagetable_t pagetable;
	pagetable = (pagetable_t)kalloc();
	if (pagetable == 0)
		return 0;
	memset(pagetable, 0, PGSIZE);
	return pagetable;
}

uvmfirst函数

该函数仅用于第一个用户进程——init进程的页表初始化

void uvmfirst(pagetable_t pagetable, uchar *src, uint sz)
{
	char *mem;

	if (sz >= PGSIZE)
		panic("uvmfirst: more than a page");
	mem = kalloc();
	memset(mem, 0, PGSIZE);
	mappages(pagetable, 0, PGSIZE, (uint64)mem, PTE_W | PTE_R | PTE_X | PTE_U);
	memmove(mem, src, sz);
}

uvmalloc函数

该函数用于虚拟内存的扩展。

  • 如果newsz小于oldsz则直接返回oldsz
  • 否则，循环分配新页面知道达到newsz
uint64 uvmalloc(pagetable_t pagetable, uint64 oldsz, uint64 newsz, int xperm)
{
	char *mem;
	uint64 a;

	if (newsz < oldsz)
		return oldsz;

	oldsz = PGROUNDUP(oldsz);
	for (a = oldsz; a < newsz; a += PGSIZE)
	{
		mem = kalloc();
		if (mem == 0)
		{
			uvmdealloc(pagetable, a, oldsz);
			return 0;
		}
		memset(mem, 0, PGSIZE);
		if (mappages(pagetable, a, PGSIZE, (uint64)mem, PTE_R | PTE_U | xperm) != 0)
		{
			kfree(mem);
			uvmdealloc(pagetable, a, oldsz);
			return 0;
		}
	}
	return newsz;
}

uvmdealloc函数 

该函数用于调整已分配虚拟内存区域的大小，通过调用uvmunmap函数来释放不需要的页表及对应的物理页

uint64 uvmdealloc(pagetable_t pagetable, uint64 oldsz, uint64 newsz)
{
	if (newsz >= oldsz)
		return oldsz;

	if (PGROUNDUP(newsz) < PGROUNDUP(oldsz))
	{
		int npages = (PGROUNDUP(oldsz) - PGROUNDUP(newsz)) / PGSIZE;
		uvmunmap(pagetable, PGROUNDUP(newsz), npages, 1);
	}

	return newsz;
}

uvmcopy函数 

该函数为fork系统调用提供虚拟内存模块的底层支持，将父进程的页复制到子进程的虚拟地址空间中。

  • old：父进程的根页表基地址
  • new：子进程的跟根页表基地址
  • sz：父进程内存大小
int uvmcopy(pagetable_t old, pagetable_t new, uint64 sz)
{
	pte_t *pte;
	uint64 pa, i;
	uint flags;
	char *mem;

	for (i = 0; i < sz; i += PGSIZE)
	{
		if ((pte = walk(old, i, 0)) == 0)
			panic("uvmcopy: pte should exist");
		if ((*pte & PTE_V) == 0)
			panic("uvmcopy: page not present");
		pa = PTE2PA(*pte);
		flags = PTE_FLAGS(*pte);
		if ((mem = kalloc()) == 0)
			goto err;
		memmove(mem, (char *)pa, PGSIZE);
		if (mappages(new, i, PGSIZE, (uint64)mem, flags) != 0)
		{
			kfree(mem);
			goto err;
		}
	}
	return 0;

err:
	uvmunmap(new, 0, i / PGSIZE, 1);
	return -1;
}

uvmfree函数

该函数首先释放释放用户内存页，然后通过调用freewalk释放页表页

void uvmfree(pagetable_t pagetable, uint64 sz)
{
	if (sz > 0)
		uvmunmap(pagetable, 0, PGROUNDUP(sz) / PGSIZE, 1);
	freewalk(pagetable);
}

该函数遍历整个页表。对于每个页表项，若有效且为内层页表，则递归调用freewalk处理子页表，并清空当前页表项

void freewalk(pagetable_t pagetable)
{
	// there are 2^9 = 512 PTEs in a page table.
	for (int i = 0; i < 512; i++)
	{
		pte_t pte = pagetable[i];
		if ((pte & PTE_V) && (pte & (PTE_R | PTE_W | PTE_X)) == 0)
		{
			// this PTE points to a lower-level page table.
			uint64 child = PTE2PA(pte);
			freewalk((pagetable_t)child);
			pagetable[i] = 0;
		}
		else if (pte & PTE_V)
		{
			panic("freewalk: leaf");
		}
	}
	kfree((void *)pagetable);
}

 uvmunmap函数

该函数用于从指定的根页表基地址中移除指定个页，作用与mappages函数相反

  • pagetable：指定根页表基地址
  • va：指定要移除地址的：虚拟地址（必须按页对齐）
  • npages：指定从va开始要移除多少个页
  • do_free：指定是否要释放对应的物理页
void uvmunmap(pagetable_t pagetable, uint64 va, uint64 npages, int do_free)
{
	uint64 a;
	pte_t *pte;

	if ((va % PGSIZE) != 0)
		panic("uvmunmap: not aligned");

	for (a = va; a < va + npages * PGSIZE; a += PGSIZE)
	{
		if ((pte = walk(pagetable, a, 0)) == 0)
			panic("uvmunmap: walk");
		if ((*pte & PTE_V) == 0)
			panic("uvmunmap: not mapped");
		if (PTE_FLAGS(*pte) == PTE_V)
			panic("uvmunmap: not a leaf");
		if (do_free)
		{
			uint64 pa = PTE2PA(*pte);
			kfree((void *)pa);
		}
		*pte = 0;
	}
}

uvmclear函数

该函数供exec系统调用为用户栈设置保护页，原理是清除该页的页表项中U bit，让该页在U-mode没有访问权限

void uvmclear(pagetable_t pagetable, uint64 va)
{
	pte_t *pte;

	pte = walk(pagetable, va, 0);
	if (pte == 0)
		panic("uvmclear");
	*pte &= ~PTE_U;
}

copy系列函数 

copyout函数

该函数将数据从内核空间复制到用户空间。该函数每次复制一页（若不足一页有多少复制多少，不跨页）

int copyout(pagetable_t pagetable, uint64 dstva, char *src, uint64 len)
{
	uint64 n, va0, pa0;
	pte_t *pte;

	while (len > 0)
	{
		va0 = PGROUNDDOWN(dstva);
		if (va0 >= MAXVA)
			return -1;
		pte = walk(pagetable, va0, 0);
		if (pte == 0 || (*pte & PTE_V) == 0 || (*pte & PTE_U) == 0 || (*pte & PTE_W) == 0)
			return -1;
		pa0 = PTE2PA(*pte);
		n = PGSIZE - (dstva - va0);
		if (n > len)
			n = len;
		memmove((void *)(pa0 + (dstva - va0)), src, n);

		len -= n;
		src += n;
		dstva = va0 + PGSIZE;
	}
	return 0;
}

copyin函数 

该函数与copyout函数相反，是将数据从内核空间复制到用户空间

int copyin(pagetable_t pagetable, char *dst, uint64 srcva, uint64 len)
{
	uint64 n, va0, pa0;

	while (len > 0)
	{
		va0 = PGROUNDDOWN(srcva);
		pa0 = walkaddr(pagetable, va0);
		if (pa0 == 0)
			return -1;
		n = PGSIZE - (srcva - va0);
		if (n > len)
			n = len;
		memmove(dst, (void *)(pa0 + (srcva - va0)), n);

		len -= n;
		dst += n;
		srcva = va0 + PGSIZE;
	}
	return 0;
}

 copyinstr函数

该函数专门用于拷贝字符串到内核空间，相比copyin函数多了'\0'字符的处理

int copyinstr(pagetable_t pagetable, char *dst, uint64 srcva, uint64 max)
{
	uint64 n, va0, pa0;
	int got_null = 0;

	while (got_null == 0 && max > 0)
	{
		va0 = PGROUNDDOWN(srcva);
		pa0 = walkaddr(pagetable, va0);
		if (pa0 == 0)
			return -1;
		n = PGSIZE - (srcva - va0);
		if (n > max)
			n = max;

		char *p = (char *)(pa0 + (srcva - va0));
		while (n > 0)
		{
			if (*p == '\0')
			{
				*dst = '\0';
				got_null = 1;
				break;
			}
			else
			{
				*dst = *p;
			}
			--n;
			--max;
			p++;
			dst++;
		}

		srcva = va0 + PGSIZE;
	}
	if (got_null)
	{
		return 0;
	}
	else
	{
		return -1;
	}
}

参考文献

8. 用户态虚拟内存 | XV6 源代码阅读指南 (gitbook.io)

碰碰狗
关注
  • 5
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Linux内存管理基础
unclerunning的博客
07-15 8812
系统启动之Linux内存管理基础系统启动之Linux内存管理基础 Keywords 闲言碎语 操作系统启动过程 1 bootloader的主要任务是 2 为启用分页机制做准备并使能分页机制 21 建立临时页表 3 initmaincstart_kernerl 4 PKmap区 41 mmhighmemcpage_address_init 物理内存描述初始化 1 archi386kernelsetup
xv6-k210:在K210上移植XV6！
03-08
XV6-RISCV在K210上在K210板上运行XV6-RISCV (`-') (`-') <-.(`-') (OO )_.-> _(OO ) __( OO) (_| \_)--.,--.(_/,-.\ ,--. (`-') '-'. ,--. .----. .--. .----. \ `.' / \ \ / (_/ / .' ( OO).-> | .' / \_,-. | /...
【xv6 RISC-V】xv6操作系统原理解析与源代码阅读报告
sniper047的博客
06-22 6854
本文具体分析了基于RISC-V多核处理器的xv6操作系统的基本理论与具体实现，通过阅读对应源代码，研究了包括系统调用、陷阱、内存管理、多线程、锁与文件系统等操作系统的重要组成部分，结合mit的lab对其中某些具体实现进行了部分改进。...
Xv6 实验
ltt159264的博客
10-14 254
操作系统xv6实验
Xv6--文件系统
qq_40877617的博客
01-05 943
介绍了Xv6 文件系统的制作代码mkfs.c
Lab 6: Network Driver (default final project)
weixin_45459266的博客
02-28 352
虽然QEMU的虚拟网络允许JOS对Internet进行任意连接，但JOS的10.0.2.15地址在QEMU内部运行的虚拟网络之外没有任何意义(也就是说，QEMU充当NAT)，因此我们不能直接连接到JOS内部运行的服务器，甚至从运行QEMU的主机上也不能。在answers-lab6.txt中写下实验中提出的问题的简要答案，以及你的挑战练习的描述。与之前的实验室一样，使用git获取此实验室的代码，合并到您自己的代码中，并探索新的net/目录中的内容，以及kern/中的新文件。你将编写一个网络接口卡的驱动程序。
OS内核(xv6)探究-系统调用
XA403
04-06 4849
内核态和用户态 计算机在加载操作系统之后，再继续执行任何指令的时候，都会处在某种特权级下（privilege）。例如在Linux下，可能会有ring0，ring1，ring2，ring3等几种状态，这些状态可以简单的分成用户态和内核态两种。我们写的上层应用的代码大多数情况运行在用户态，当我们的程序需要执行一些特殊的任务的时候，例如：访问文件，发起网络请求，向屏幕输出文字，fork一个子进程等等，我们的用户态程序是不具备这些权限的，只能把这些任务委托给操作系统（通过系统调用），因为只有运行在内核态的操作系统才
Veeam Backup & Replication 11 - 虚拟、物理和云备份软件
sysin | SYStem INside
03-08 1666
借助全新 v11 消除数据丢失和勒索软件威胁 发挥数据保护平台的更大价值 Veeam® Backup & Replication® 是一款可靠的四合一解决方案，将备份、复制副本、存储快照和 CDP 复制副本统一在一款可靠的数据保护解决方案下，可助力实现数据保护现代化并消除停机。通过有效的勒索软件防护实现更快速、更灵活的恢复和保留选项，从而为任何规模的企业提供前所未有的弹性。有效管理整个备份生命周期，降低成本并自信从容地实现业务目标。 产品概述 特性比较 新特性 更换备份解决方案的 5 个原因
【OSTEP】Abstraction Process | 进程 | 虚拟化 | 进程API
有道无术, 术尚可求。有术无道, 止于术。
09-13 576
本系列博客为复习操作系统导论的笔记，内容主要参考自： Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy PiecesA. Silberschatz, P. Galvin, and G. Gagne,
xv6 Shell & OS organization
Tesi1a的充电桩
12-24 644
Shell & OS organization主题： 内核系统调用API 参考：https://pdos.csail.mit.edu/6.828/2017/lec/l-shell.txt 对内核进行讲解并将homework shell进行说明概述图用户态如何连接内核态应用程序 - > printf（） - > write ） - > SYSTEM CALL - > sys_wr
xv6操作系统实验环境的搭建
08-23
【xv6操作系统实验环境的搭建】涉及到的知识点主要包括虚拟化技术、操作系统的模拟运行以及Xv6操作系统的编译和调试。以下是这些知识点的详细解释： 1. **虚拟化技术**：虚拟化技术允许在一台物理主机上运行多个...
Xv6英文:中文文档.zip
01-21
在内存管理方面，Xv6采用了分页机制来实现虚拟内存，包括页表的建立、页面替换算法（如LRU）以及缺页异常的处理。此外，还会讲解如何通过物理内存和虚拟内存的映射来管理内存空间。 文件系统是Xv6中的一个重要组成...
xv6_learn:xv6 学习
05-31
##学习xv6 xv6是由麻省理工学院(MIT)为操作系统工程的课程（代号6.828）,开发的一个教学目的的操作系统。Xv6是在x86处理器上(x即指x86)用ANSI标准C重新实现的Unix第六版(Unix V6，通常直接被称为V6)。 更为详细的...
xv6安装包附带源码可供学习
03-18
它的核心部分包括一个基本的进程调度器、文件系统、虚拟内存管理等，这些都是现代操作系统中的核心组件。 xv6的代码是用C语言编写的，并且包含了一些汇编代码。它可以在x86架构的计算机上运行，并且可以在模拟器中...
linux安装达梦数据库
最新发布
HAN_789的博客
08-19 117
如果无法创建dmdba 文件夹，需要进入root用户下 在管理员用户下，这种安装方式一般只用于验证，开发，测试，生产最好还是安装传统的方式安装。在 home/dmdba/dmdbms/bin 目录下执行。（1）将文件上传到 /home/dmdba/ 目录下。（2）加压：tar -xzvf dmdb.tar.gz。进入到root就可以创建dmdba 文件夹了。1、后台启动，一般建议用后台启动。
进程间通信 ---共享内存
BUG制造机的博客
08-14 1135
在这篇文章中向大家介绍了共享内存的原理以及常用的指令函数，希望大家有所收获！😁。
Linux网络设置
Lwc1027的博客
08-18 1198
根据pid查询5、查看端口查看网络配置的几个命令又ifconfig、hostname、route、netstat、ss，可以查看网卡，路由表还有统计信息，可以直接指定查询需要的指令。
EXT4与Btrfs：对比Linux文件系统
w651428055的博客
08-19 681
随着技术的不断发展，Btrfs的稳定性和成熟度有望持续提升，未来在更多场景下，Btrfs可能会成为主流文件系统的首选。它旨在保持EXT3的稳定性，同时引入新的功能和改进，如支持更大的文件（可达16TB）和文件系统（可达1EB），以及在线扩展能力。尽管如此，Btrfs的稳定性和成熟度正在不断提高，随着更多用户和企业的测试与反馈，Btrfs正在成为越来越多场景下的可靠选择。作为Linux的默认文件系统，经过了长期的测试和广泛的使用，其稳定性和成熟度得到了广泛认可，是企业级应用和关键任务系统中的首选。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值