链接地址/虚地址/物理地址/加载地址以及edata/end/text的含义 链接脚本简介 ucorekernel各个部分由组成kernel的各个.o或.a文件构成，且各个部分在内存中地址位置由ld工具根据kernel.ld链接脚本（linkerscript）来设定。ld工具使用命令-T指定链接脚本。链接脚本主要用于规定如何把输入文件（各个.o或.a...

创建第 0 个内核线程 idleproc 创建第 0 个内核线程 idleproc 在init.c::kern_init函数调用了proc.c::proc_init函数。proc_init函数启动了创建内核线程的步骤。首先当前的执行上下文（从kern_init 启动至今）就可以看成是uCore内核（也可看做是内核进程）中的一个内核线程的上下文。为此，...

了解处理器硬件 了解处理器硬件 要想深入理解ucore，就需要了解支撑ucore运行的硬件环境，即了解处理器体系结构（了解硬件对ucore带来影响）和机器指令集（读懂ucore的汇编）。ucore目前支持的硬件环境是基于Intel 80386以上的计算机系统。更多的硬件相关内容（比如保护模式等）将随着实现ucore的过程逐渐展开介绍。

系统执行中地址映射的四个阶段 系统执行中地址映射的四个阶段 原理课上讲到了页映射，段映射，以及段页式映射关系，但对如何建立段页式映射关系没有详说。其实，在lab1和lab2中都会涉及如何建立映射关系的操作。在lab1中，我们已经碰到到了简单的段映射，即对等映射关系，保证了物理地址和虚拟地址相等，也就是通过建立全局段描述符表，让每个段的基址为0，从而确...

练习 练习0：填写已有实验 练习1: 理解内核级信号量的实现和基于内核级信号量的哲学家就餐问题（不需要编码） 练习2: 完成内核级条件变量和基于内核级条件变量的哲学家就餐问题（需要编码） 扩展练习 Challenge ：　在ucore中实现简化的死锁和重入探测机制 扩展练习 Challenge ：　参考Linux的RCU机制，在ucore中实现简化的...

可读ELF格式文件的baby bootloader 实验目标 proj2/3概述 实现描述 项目组成 编译运行 可读ELF格式文件的baby bootloader 实验目标 接下来，我们需要完成一个能够读取位于硬盘中OS的代码内容并加载运行OS的bootloader，这需要bootloader能够读取硬盘扇区中的数据。由于OS采用ELF...

版权信息 版权信息 ucore OS是用于清华大学计算机系本科操作系统课程的OS教学试验内容。ucore OS起源于MIT CSAIL PDOS课题组开发的xv6&jos、哈佛大学开发的OS161教学操作系统、以及Linux-2.4内核。 ucore OS中包含的xv6&jos代码版权属于Frans Kaashoek, Robert Morris,...

段页式管理基本概念 段页式管理基本概念 如图4在保护模式中，x86体系结构将内存地址分成三种：逻辑地址（也称虚地址）、线性地址和物理地址。逻辑地址即是程序指令中使用的地址，物理地址是实际访问内存的地址。逻辑地址通过段式管理的地址映射可以得到线性地址，线性地址通过页式管理的地址映射得到物理地址。 图 4 段页式管理总体框架图 段式管理前一个...

操作系统启动过程 操作系统启动过程 当bootloader通过读取硬盘扇区把ucore在系统加载到内存后，就转跳到ucore操作系统在内存中的入口位置（kern/init.c中的kern_init函数的起始地址），这样ucore就接管了整个控制权。当前的ucore功能很简单，只完成基本的内存管理和外设中断管理。ucore主要完成的工作包括： 初始...

【背景】理解ELF文件格式 【背景】理解ELF文件格式 由于本章的project中，bootloader会访问ELF(Executable and linking format)格式的ucore，并把ucore加载到内存中。所以，在这里我们需要简单介绍一下ELF文件格式，以帮助我们理解ucore的整个编译、链接和加载的过程，特别是希望读者对ld链接器...