xv6 系统启动过程

2024-05-27 22:20
文章标签 过程 系统启动 xv6

本文主要是介绍xv6 系统启动过程,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

  • 1、硬件上电
  • 2、执行 _entry_ 代码
  • 3、_entry_ 跳转到/kernel/start.c
  • 4、start函数跳转到/kernel/main.c
  • 5、main函数跳转到/user/initcode.S
  • 6、initcode.S跳转到/kernel/syscall.c
  • 7、syscall.c跳转到/kernel/exec.c
  • 8、exec.c返回到/user/init.c
  • 系统启动完成

1、硬件上电

硬件上电后,将会运行一个只读的boot loader 程序,这个程序会将xv6的内核加载进内存中。
程序将会被加载到物理地址0x80000000处,前面的物理地址被IO设备占用。

2、执行 entry 代码

进入机器模式,xv6将从 entry 处开始执行。

//kernel/_entry.S1         # qemu -kernel loads the kernel at 0x800000002         # and causes each hart (i.e. CPU) to jump there.3         # kernel.ld causes the following code to4         # be placed at 0x80000000.5 .section .text6 .global _entry7 _entry:8         # set up a stack for C.9         # stack0 is declared in start.c,10         # with a 4096-byte stack per CPU.11         # sp = stack0 + (hartid * 4096)12         la sp, stack013         li a0, 1024*414         csrr a1, mhartid15         addi a1, a1, 116         mul a0, a0, a117         add sp, sp, a018         # jump to start() in start.c19         call start20 spin:21         j spin
  • entry 将设置一个栈stack0以供xv6运行C代码
  • csrr a1, mhartid,//将当前硬件线程的 ID(hartid)加载到寄存器 a1 中。mhartid 是 RISC-V 中的一个特权级 CSR(Control and Status Register)寄存器,用于获取硬件线程 ID。
  • addi a1, a1, 1,这行代码将寄存器 a1 中的值增加 1。
  • mul a0, a0, a1,这行代码将寄存器 a0 中的值与寄存器 a1 中的值相乘,结果保存在寄存器 a0 中。
  • add sp, sp, a0,这行代码将栈指针 sp 向上移动,移动的距离是寄存器 a0 中的值。

3、entry 跳转到/kernel/start.c

执行start()函数,该函数执行一些机器模式下的配置任务。

 19 // entry.S jumps here in machine mode on stack0.20 void21 start()22 {23   // set M Previous Privilege mode to Supervisor, for mret.24   unsigned long x = r_mstatus();  //读取状态25   x &= ~MSTATUS_MPP_MASK;      //将 `x` 中表示 Previous Privilege Mode 的位清零。26   x |= MSTATUS_MPP_S;          //将 `x` 中表示 Previous Privilege Mode 的位设置为 Supervisor Mode。27   w_mstatus(x);                //将修改后的状态值写回 `mstatus` CSR 寄存器。2829   // set M Exception Program Counter to main, for mret.30   // requires gcc -mcmodel=medany31   w_mepc((uint64)main); //将 `main` 函数的地址写入 Exception Program Counter (EPC) 寄存器,以便在异常处理完成后跳转到 `main` 函数执行。3233   // disable paging for now.34   w_satp(0);   //将页表寄存器(SATP)设置为零,暂时禁用分页机制。3536   // 将所有的中断和异常委托给 Supervisor Mode 处理。37   w_medeleg(0xffff);38   w_mideleg(0xffff);39   w_sie(r_sie() | SIE_SEIE | SIE_STIE | SIE_SSIE);4041   // configure Physical Memory Protection to give supervisor mode42   // access to all of physical memory.43   w_pmpaddr0(0x3fffffffffffffull);44   w_pmpcfg0(0xf);4546   // ask for clock interrupts.初始化时钟中断。47   timerinit();4849   // keep each CPU's hartid in its tp register, for cpuid().50   int id = r_mhartid();51   w_tp(id);5253   // switch to supervisor mode and jump to main().54   asm volatile("mret"); //执行 `mret` 汇编指令,将处理器从机器模式切换到 supervisor 模式,并跳转到 `main()` 函数执行。55 }

4、start函数跳转到/kernel/main.c

main执行一些初始化工作

  9 // start() jumps here in supervisor mode on all CPUs.10 void11 main()12 {13   if(cpuid() == 0){14     consoleinit();15     printfinit();16     printf("\n");17     printf("xv6 kernel is booting\n");18     printf("\n");19     kinit();         // physical page allocator20     kvminit();       // create kernel page table21     kvminithart();   // turn on paging22     procinit();      // process table23     trapinit();      // trap vectors24     trapinithart();  // install kernel trap vector25     plicinit();      // set up interrupt controller26     plicinithart();  // ask PLIC for device interrupts27     binit();         // buffer cache28     iinit();         // inode table29     fileinit();      // file table30     virtio_disk_init(); // emulated hard disk31     userinit();      // 产生第一个用户进程,第一个进程执行用RISCV汇编写的,将产生第一个系统调用initcode.S32     __sync_synchronize();  //同步内存,确保之前的操作在多核环境中可见。33     started = 1;   //代表前述初始化完成34   } else {35     while(started == 0)  //等待初始化完成36       ;37     __sync_synchronize(); 38     printf("hart %d starting\n", cpuid());39     kvminithart();    // turn on paging40     trapinithart();   // install kernel trap vector41     plicinithart();   // ask PLIC for device interrupts42   }4344   scheduler();   //进入调度器,开始调度进程。45 }

5、main函数跳转到/user/initcode.S

首先准备好执行 /init 程序的参数,然后调用 exec 系统调用执行 /init。(即执行sys_exec系统调用)

  1 # Initial process that execs /init.2 # This code runs in user space.34 #include "syscall.h"56 # exec(init, argv)7 .globl start    //定义全局标签 `start`,表示程序的入口点。8 start:9         la a0, init   //将字符串 `/init` 的地址加载到寄存器 `a0` 中。10         la a1, argv   //将参数数组 `argv` 的地址加载到寄存器 `a1` 中。11         li a7, SYS_exec  //将 `exec` 系统调用编号加载到寄存器 `a7` 中。12         ecall   //触发系统调用 `exec`,执行 `/init` 程序。1314 # for(;;) exit();15 exit:16         li a7, SYS_exit  //将 `exit` 系统调用编号加载到寄存器 `a7` 中。17         ecall    //触发系统调用 `exit`,退出当前进程。18         jal exit   //跳转并链接到 `exit` 标签,形成一个无限循环以防止进程返回到调用者。1920 # char init[] = "/init\0";21 init:   //定义字符串 `init`:22   .string "/init\0"2324 # char *argv[] = { init, 0 };25 .p2align 226 argv:   //定义参数数组 `argv`:27   .long init28   .long 0

6、initcode.S跳转到/kernel/syscall.c

(sys_exec系统调用)

//syscall.h#define SYS_exec    7
//syscall.c
[SYS_exec]    sys_exec,extern uint64 sys_exec(void);
//通过defs.h 查找,可知位于exec.c文件中26 // exec.c27 int             exec(char*, char**);

7、syscall.c跳转到/kernel/exec.c

  • exec() 函数的作用是在当前进程的上下文中执行一个新的程序。具体来说,exec() 会用指定的程序替换当前进程的地址空间,包括代码段、数据段、堆和栈,从而执行新的程序。

8、exec.c返回到/user/init.c

  • exec()结束后,将返回到 /init进程(user/init.c)(若有需要产生一个新的控制台设备文件并以描述符0,1,2打开这个文件)
  • 最后在控制台上启动shell

系统启动完成

这篇关于xv6 系统启动过程的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1008756

相关文章

Linux线程同步/互斥过程详解

《Linux线程同步/互斥过程详解》文章讲解多线程并发访问导致竞态条件,需通过互斥锁、原子操作和条件变量实现线程安全与同步,分析死锁条件及避免方法,并介绍RAII封装技术提升资源管理效率... 目录01. 资源共享问题1.1 多线程并发访问1.2 临界区与临界资源1.3 锁的引入02. 多线程案例2.1 为

批量导入txt数据到的redis过程

《批量导入txt数据到的redis过程》用户通过将Redis命令逐行写入txt文件,利用管道模式运行客户端,成功执行批量删除以Product*匹配的Key操作,提高了数据清理效率... 目录批量导入txt数据到Redisjs把redis命令按一条 一行写到txt中管道命令运行redis客户端成功了批量删除k

分布式锁在Spring Boot应用中的实现过程

《分布式锁在SpringBoot应用中的实现过程》文章介绍在SpringBoot中通过自定义Lock注解、LockAspect切面和RedisLockUtils工具类实现分布式锁,确保多实例并发操作... 目录Lock注解LockASPect切面RedisLockUtils工具类总结在现代微服务架构中,分布

Win10安装Maven与环境变量配置过程

《Win10安装Maven与环境变量配置过程》本文介绍Maven的安装与配置方法,涵盖下载、环境变量设置、本地仓库及镜像配置,指导如何在IDEA中正确配置Maven,适用于Java及其他语言项目的构建... 目录Maven 是什么?一、下载二、安装三、配置环境四、验证测试五、配置本地仓库六、配置国内镜像地址

Python实现网格交易策略的过程

《Python实现网格交易策略的过程》本文讲解Python网格交易策略,利用ccxt获取加密货币数据及backtrader回测,通过设定网格节点,低买高卖获利,适合震荡行情,下面跟我一起看看我们的第一... 网格交易是一种经典的量化交易策略,其核心思想是在价格上下预设多个“网格”,当价格触发特定网格时执行买

python设置环境变量路径实现过程

《python设置环境变量路径实现过程》本文介绍设置Python路径的多种方法:临时设置(Windows用`set`,Linux/macOS用`export`)、永久设置(系统属性或shell配置文件... 目录设置python路径的方法临时设置环境变量(适用于当前会话)永久设置环境变量(Windows系统

python运用requests模拟浏览器发送请求过程

《python运用requests模拟浏览器发送请求过程》模拟浏览器请求可选用requests处理静态内容,selenium应对动态页面,playwright支持高级自动化,设置代理和超时参数,根据需... 目录使用requests库模拟浏览器请求使用selenium自动化浏览器操作使用playwright

Mysql中设计数据表的过程解析

《Mysql中设计数据表的过程解析》数据库约束通过NOTNULL、UNIQUE、DEFAULT、主键和外键等规则保障数据完整性,自动校验数据,减少人工错误,提升数据一致性和业务逻辑严谨性,本文介绍My... 目录1.引言2.NOT NULL——制定某列不可以存储NULL值2.UNIQUE——保证某一列的每一

解密SQL查询语句执行的过程

《解密SQL查询语句执行的过程》文章讲解了SQL语句的执行流程,涵盖解析、优化、执行三个核心阶段,并介绍执行计划查看方法EXPLAIN,同时提出性能优化技巧如合理使用索引、避免SELECT*、JOIN... 目录1. SQL语句的基本结构2. SQL语句的执行过程3. SQL语句的执行计划4. 常见的性能优

linux下shell脚本启动jar包实现过程

《linux下shell脚本启动jar包实现过程》确保APP_NAME和LOG_FILE位于目录内,首次启动前需手动创建log文件夹,否则报错,此为个人经验,供参考,欢迎支持脚本之家... 目录linux下shell脚本启动jar包样例1样例2总结linux下shell脚本启动jar包样例1#!/bin