MIT 6.828 操作系统工程 2018 fall lab1 part3 内核 笔记 and 中文注释源代码阅读
mit 6.828 lab 代码和笔记，以及中文注释源代码已放置在github中:
https://github.com/yunwei37/xv6-labs
Part 3: The Kernel 内核
使用虚拟内存解决位置依赖性
内核的链接地址（由objdump打印）与加载地址之间存在（相当大的）差异；操作系统内核通常喜欢被链接并在很高的虚拟地址（例如0xf0100000）上运行，以便将处理器虚拟地址空间的下部留给用户程序使用。
- 链接地址 f0100000
- 加载地址 00100000
许多机器在地址0xf0100000上没有任何物理内存，因此我们不能指望能够在其中存储内核；将使用处理器的内存管理硬件将虚拟地址0xf0100000（内核代码期望在其上运行的链接地址）映射到物理地址0x00100000（引导加载程序将内核加载到物理内存中）。
这样，尽管内核的虚拟地址足够高，可以为用户进程留出足够的地址空间，但是它将被加载到PC RAM中1MB点的BIOS ROM上方的物理内存中。
在这个阶段中，仅映射前4MB的物理内存；
映射：kern/entrypgdir.c 中手写，静态初始化的页面目录和页面表。
直到kern / entry.S设置了CR0_PG标志，内存引用才被视为物理地址。
-
将范围从0xf0000000到0xf0400000的虚拟地址转换为物理地址0x00000000到0x00400000
-
将虚拟地址0x00000000到0x00400000转换为物理地址0x00000000到0x00400000
-
kern/entrypgdir.c：
#include - kern/entry.S
/* See COPYRIGHT for copyright information. */
#include
#include
# 逻辑右移
#define SRL(val, shamt) (((val) >> (shamt)) & ~(-1 << (32 - (shamt))))
###################################################################
# 内核（此代码）链接到地址〜（KERNBASE + 1 Meg），
# 但引导加载程序会将其加载到地址〜1 Meg。
#
# RELOC（x）将符号x从其链接地址映射到其在
# 物理内存中的实际位置（其加载地址）。
###################################################################
#define RELOC(x) ((x) - KERNBASE)
#define MULTIBOOT_HEADER_MAGIC (0x1BADB002)
#define MULTIBOOT_HEADER_FLAGS (0)
#define CHECKSUM (-(MULTIBOOT_HEADER_MAGIC + MULTIBOOT_HEADER_FLAGS))
###################################################################
# 进入点
###################################################################
.text
# Multiboot标头
.align 4
.long MULTIBOOT_HEADER_MAGIC
.long MULTIBOOT_HEADER_FLAGS
.long CHECKSUM
# '_start'指定ELF入口点。 既然当引导程序进入此代码时我们还没设置
# 虚拟内存，我们需要
# bootloader跳到入口点的*物理*地址。
.globl _start
_start = RELOC(entry)
.globl entry
entry:
movw $0x1234,0x472 # 热启动
# 我们尚未设置虚拟内存， 因此我们从
# 引导加载程序加载内核的物理地址为：1MB
# （加上几个字节）处开始运行. 但是，C代码被链接为在
# KERNBASE+1MB 的位置运行。 我们建立了一个简单的页面目录，
# 将虚拟地址[KERNBASE，KERNBASE + 4MB）转换为
# 物理地址[0，4MB）。 这4MB区域
# 直到我们在实验2 mem_init中设置真实页面表为止
# 是足够的。
# 将entry_pgdir的物理地址加载到cr3中。 entry_pgdir
# 在entrypgdir.c中定义。
movl $(RELOC(entry_pgdir)), %eax
movl %eax, %cr3
# 打开分页功能。
movl %cr0, %eax
orl $(CR0_PE|CR0_PG|CR0_WP), %eax
movl %eax, %cr0
# 现在启用了分页，但是我们仍在低EIP上运行
# （为什么这样可以？） 进入之前先跳到上方c代码中的
# KERNBASE
mov $relocated, %eax
jmp *%eax
relocated:
# 清除帧指针寄存器（EBP）
# 这样，一旦我们调试C代码，
# 堆栈回溯将正确终止。
movl $0x0,%ebp # 空帧指针
# 设置堆栈指针
movl $(bootstacktop),%esp
# 现在转到C代码
call i386_init
# 代码永远不会到这里，但如果到了，那就让它循环死机吧。
spin: jmp spin
.data
###################################################################
# 启动堆栈
###################################################################
.p2align PGSHIFT # 页面对齐
.globl bootstack
bootstack:
.space KSTKSIZE
.globl bootstacktop
bootstacktop:
不在这两个范围之一内的任何虚拟地址都将导致硬件异常：导致QEMU转储计算机状态并退出。
练习7：
使用QEMU和GDB跟踪到JOS内核并在movl %eax, %cr0处停止。检查0x00100000和0xf0100000的内存。现在，使用stepiGDB命令单步执行该指令。同样，检查内存为0x00100000和0xf0100000。
在movl %eax, %cr0处停止：
(gdb) x 0x00100000
0x100000: add 0x1bad(%eax),%dh
(gdb) x 0xf0100000
0xf0100000 <_start-268435468>: add %al,(%eax)
si：
0x00100028 in ?? ()
(gdb) x 0x00100000
0x100000: add 0x1bad(%eax),%dh
(gdb) x 0xf0100000
0xf0100000 <_start-268435468>: add 0x1bad(%eax),%dh
建立新映射后 的第一条指令是:
mov $relocated, %eax
这时的eax是：
(gdb) info registers
eax 0xf010002f -267386833
格式化打印到控制台：
-
kern/printf.c
内核的cprintf控制台输出的简单实现，
基于printfmt（）和内核控制台的cputchar（）。 -
lib/printfmt.c
// 精简的基本printf样式格式化例程，
// 被printf，sprintf，fprintf等共同使用
// 内核和用户程序也使用此代码。
#include - kern/console.c
控制台IO相关代码；
练习8：
我们省略了一小段代码-使用“％o”形式的模式打印八进制数字所必需的代码。查找并填写此代码片段。
case 'o':
num = getint(&ap, lflag);
if ((long long) num < 0) {
putch('-', putdat);
num = -(long long) num;
}
base = 8;
goto number;
参考：https://blog.csdn.net/weixin_30466039/article/details/97003339?utm_medium=distribute.pc_relevant.none-task-blog-OPENSEARCH-7.compare&depth_1-utm_source=distribute.pc_relevant.none-task-blog-OPENSEARCH-7.compare
-
解释printf.c和 console.c之间的接口。
console.c 提供了输入输出字符的功能，大部分都在处理IO接口相关。
-
从console.c解释以下内容：
if (crt_pos >= CRT_SIZE) {
int i;
memcpy(crt_buf, crt_buf + CRT_COLS, (CRT_SIZE - CRT_COLS) * sizeof(uint16_t));
for (i = CRT_SIZE - CRT_COLS; i < CRT_SIZE; i++)
crt_buf[i] = 0x0700 | ' ';
crt_pos -= CRT_COLS;
}
当crt_pos >= CRT_SIZE，其中CRT_SIZE = 80*25，由于我们知道crt_pos取值范围是0(80*25-1)，那么这个条件如果成立则说明现在在屏幕上输出的内容已经超过了一页。所以此时要把页面向上滚动一行，即把原来的179号行放到现在的0~78行上，然后把79号行换成一行空格（当然并非完全都是空格，0号字符上要显示你输入的字符int c）。所以memcpy操作就是把crt_buf字符数组中179号行的内容复制到078号行的位置上。而紧接着的for循环则是把最后一行，79号行都变成空格。最后还要修改一下crt_pos的值。
- 参考上述代码
- “Hello World”
- 不确定值
- 在vprintfmt中倒序处理参数
堆栈
在此过程中编写一个有用的新内核监视器函数，该函数将显示堆栈的回溯信息：保存的列表来自导致当前执行点的嵌套调用指令的指令指针（IP）值。
练习10：
http://www.cnblogs.com/fatsheep9146/p/5079930.html
练习11：
实现上述指定的backtrace函数。（默认参数下，并没有遇到文中的bug
先了解一下test_backtrace是做什么的；然后打印出堆栈信息和ebp函数调用链链信息，观察即可发现。
代码：
int
mon_backtrace(int argc, char **argv, struct Trapframe *tf)
{
cprintf("Stack backtrace:\n");
uint32_t *ebp;
ebp = (uint32_t *)read_ebp();
while(ebp!=0){
cprintf(" ebp %08x",ebp);
cprintf(" eip %08x args",*(ebp+1));
for(int i=2;i<7;++i)
cprintf(" %08x",*(ebp+i));
cprintf("\n");
ebp = (uint32_t *)*ebp;
}
return 0;
}
打印输出：
ebp f0110f18 eip f01000a5 args 00000000 00000000 00000000 f010004e f0112308
ebp f0110f38 eip f010007a args 00000000 00000001 f0110f78 f010004e f0112308
ebp f0110f58 eip f010007a args 00000001 00000002 f0110f98 f010004e f0112308
ebp f0110f78 eip f010007a args 00000002 00000003 f0110fb8 f010004e f0112308
ebp f0110f98 eip f010007a args 00000003 00000004 00000000 f010004e f0112308
ebp f0110fb8 eip f010007a args 00000004 00000005 00000000 f010004e f0112308
ebp f0110fd8 eip f01000fc args 00000005 00001aac 00000640 00000000 00000000
ebp f0110ff8 eip f010003e args 00000003 00001003 00002003 00003003 00004003
（为什么回溯代码无法检测到实际有多少个参数？如何解决此限制？）:可以利用后续的获取调试信息的方法；
练习12：
通过objdump打印出符号表信息，并尝试找到函数；
yunwei@ubuntu:~/lab$ objdump -G obj/kern/kernel | grep f01000
0 SO 0 0 f0100000 1 {standard input}
1 SOL 0 0 f010000c 18 kern/entry.S
2 SLINE 0 44 f010000c 0
3 SLINE 0 57 f0100015 0
4 SLINE 0 58 f010001a 0
5 SLINE 0 60 f010001d 0
6 SLINE 0 61 f0100020 0
7 SLINE 0 62 f0100025 0
8 SLINE 0 67 f0100028 0
9 SLINE 0 68 f010002d 0
10 SLINE 0 74 f010002f 0
11 SLINE 0 77 f0100034 0
12 SLINE 0 80 f0100039 0
13 SLINE 0 83 f010003e 0
14 SO 0 2 f0100040 31 kern/entrypgdir.c
72 SO 0 0 f0100040 0
73 SO 0 2 f0100040 2889 kern/init.c
108 FUN 0 0 f0100040 2973 test_backtrace:F(0,25)
118 FUN 0 0 f01000aa 3014 i386_init:F(0,25)
看看kdebug.h里面的debuginfo_eip函数:
#ifndef JOS_KERN_KDEBUG_H
#define JOS_KERN_KDEBUG_H
#include 由于包含EIP的函数的名称不为空终止，因此需要使用提示：
提示：printf格式字符串为打印非空终止的字符串（如STABS表中的字符串）提供了一种简单而又晦涩的方法。 printf("%.*s", length, string)最多可打印的length字符string。查看printf手册页，以了解其工作原理。
在 mon_backtrace() 中继续修改，使用 debuginfo_eip 获取相关信息并打印：
int
mon_backtrace(int argc, char **argv, struct Trapframe *tf)
{
cprintf("Stack backtrace:\n");
uint32_t *ebp;
int valid;
struct Eipdebuginfo ei;
ebp = (uint32_t *)read_ebp();
while(ebp!=0){
cprintf(" ebp %08x",ebp);
cprintf(" eip %08x args",*(ebp+1));
valid = debuginfo_eip(*(ebp+1),&ei);
for(int i=2;i<7;++i)
cprintf(" %08x",*(ebp+i));
cprintf("\n");
if(valid == 0)
cprintf(" %s:%d: %.*s+%d\n",ei.eip_file,ei.eip_line,ei.eip_fn_namelen,ei.eip_fn_name,*(ebp+1) - ei.eip_fn_addr);
ebp = (uint32_t *)*ebp;
}
return 0;
}
可以参考 inc/stab.h:
//JOS uses the N_SO, N_SOL, N_FUN, and N_SLINE types.
#define N_SLINE 0x44 // text segment line number
知道我们需要使用N_SLINE进行搜索；以及stab的数据结构：
// Entries in the STABS table are formatted as follows.
struct Stab {
uint32_t n_strx; // index into string table of name
uint8_t n_type; // type of symbol
uint8_t n_other; // misc info (usually empty)
uint16_t n_desc; // description field
uintptr_t n_value; // value of symbol
};
参考 的注释部分：
// stab_binsearch(stabs, region_left, region_right, type, addr)
//
// 某些stab类型按升序排列在地址中
// 例如， N_FUN stabs ( n_type ==
// N_FUN 的 stabs 条目), 标记了函数, 和 N_SO stabs,标记源文件。
//
// 给定指令地址，此函数查找单个 stab
// 条目， 包含该地址的'type'类型。
//
// 搜索在[* region_left，* region_right]范围内进行。
// 因此，要搜索整个N个stabs，可以执行以下操作：
//
// left = 0;
// right = N - 1; /* rightmost stab */
// stab_binsearch(stabs, &left, &right, type, addr);
//
在 kern/kdebug.c 中 debuginfo_eip 相应位置修改，添加行数搜索：
stab_binsearch(stabs, &lline, &rline, N_SLINE, addr);
if(lline<=rline){
info->eip_line = stabs[rline].n_value;
}else{
info->eip_line = 0;
return -1;
}
pass
running JOS: (1.4s)
printf: OK
backtrace count: OK
backtrace arguments: OK
backtrace symbols: OK
backtrace lines: OK
Score: 50/50
结果是：
Stack backtrace:
ebp f0110f18 eip f01000a5 args 00000000 00000000 00000000 f010004e f0112308
kern/init.c:6: test_backtrace+101
ebp f0110f38 eip f010007a args 00000000 00000001 f0110f78 f010004e f0112308
kern/init.c:46: test_backtrace+58
ebp f0110f58 eip f010007a args 00000001 00000002 f0110f98 f010004e f0112308
kern/init.c:46: test_backtrace+58
ebp f0110f78 eip f010007a args 00000002 00000003 f0110fb8 f010004e f0112308
kern/init.c:46: test_backtrace+58
ebp f0110f98 eip f010007a args 00000003 00000004 00000000 f010004e f0112308
kern/init.c:46: test_backtrace+58
ebp f0110fb8 eip f010007a args 00000004 00000005 00000000 f010004e f0112308
kern/init.c:46: test_backtrace+58
ebp f0110fd8 eip f01000fc args 00000005 00001aac 00000640 00000000 00000000
kern/init.c:70: i386_init+82
ebp f0110ff8 eip f010003e args 00000003 00001003 00002003 00003003 00004003
kern/entry.S:-267386818: +0
虽然似乎eip并不一定指向对应的行…
总结：
这两天大致搞清楚了boot的方式，然后浏览了一小部分的对应源代码（虽然也不是很多的样子），gdb还不算很熟练，大部分情况下还是使用cprintf打log；