Linux 0.00简单多任务内核head.s超详注释
# head.s包含32位保护模式初始化设置代码、时钟中断代码、系统调用中断代码和两个任务的代码。# 在初始化完成之后程序移动到任务0开始执行,并在时钟中断控制下进行任务0和1之间的切换操作。LATCH= 11930# 定时器初始计数值,即每隔10毫秒发送一次中断请求。问:为何是这个值?SCRN_SEL= 0x18# 屏幕显示内存段选择符。问:以下这些选择符是
·
# head.s包含32位保护模式初始化设置代码、时钟中断代码、系统调用中断代码和两个任务的代码。
# 在初始化完成之后程序移动到任务0开始执行,并在时钟中断控制下进行任务0和1之间的切换操作。
LATCH = 11930 # 定时器初始计数值,即每隔10毫秒发送一次中断请求。 问:为何是这个值?
SCRN_SEL = 0x18 # 屏幕显示内存段选择符。 问:以下这些选择符是怎么定的值?
TSS0_SEL = 0x20 # 任务0的TSS段选择符。
LDT0_SEL = 0x28 # 任务0的LDT段选择符。
TSS1_SEL = 0x30 # 任务1的TSS段选择符。
LDT1_SEL = 0x38 # 任务1的LDT段选择符。
.global startup_32 # 作用?
.text # 表示可执行代码段(问:实际在编译时有什么影响吗?)
startup_32:
# 首先加载数据段寄存器DS、堆栈段寄存器SS和堆栈指针ESP。所有段的线性基地址都是0.
movl $0x10, %eax # 0x10是GDT中数据段选择符。
# 解释一下以上的数据段选择符为什么是0x10:
# 首先,要知道段选择符的格式为:15-3:描述符索引;2:TI(Table index表指示标志);1-0:RPL(Requested Privilege Level请求特权级)
# 这里,实际上数据段应该是第二个段,故索引的二进制为10,而TI和RPL都是0,所以,后面添三位0,乘以8,故选择符即为:0x10(=10 0 00)
mov %ax, %ds # ds就是存放数据段选择符的段寄存器,这条指令将ax的值0x0010传递给ds寄存器
lss init_stack, %esp # LSS:加载堆栈段(问:标号init_stack默认是一个多少位的地址?)
# lss mem, reg: mem低字->reg,mem高字->ss (问:1.低字和高字分别占多少位?这样说来,该堆栈段的长度即使2^(mem低字的位数喽?) 2.指令有什么影响? 3.堆栈段描述符为什么不在GDT中?)
# 在新的位置重新设置IDT和GDT表。
call setup_idt
call setup_gdt
movl $0x10, %eax
mov %ax, %ds # ds没有变,这句可省略
mov %ax, %es
mov %ax, %fs
mov %ax, %gs
lss init_stack, %esp # ss和esp也都没有变,这句可省略
# 设置8253定时芯片。把计数器通道0设置成每隔10毫秒向中断控制器发送一个中断请求信号。
# 下面介绍一下8253定时芯片:
# 8253具有3个独立的计数通道,采用减1计数方式。在门控信号有效时,每输入1个计数脉冲,通道作1次计数操作。当计数脉冲是已知周期的时钟信号时,计数就成为定时。
# 方式3为:方波发生器,最适合计算机。
movb $0x36, %al # 控制字:设置通道0工作在方式3、计数器初值采用二进制。
movl $0x43, %edx # 8253芯片控制字寄存器写端口。
outb %al, %dx
movl $LATCH, %eax # 初始计数值设置为LATCH(1193180/100),即频率100HZ。(问:这里是什么意思?1193180是怎么出来的?)
movl $0x40, %edx # 通道0的端口。
outb %al, %dx # 分两次把初始计数值写入通道0.
movb %ah, %al
outb %al, %dx
# 在IDT表第8和第128(0x80)项处分别设置定时中断门描述符和系统调用陷阱门描述符。
# 这里先解释一下int $0x80:
# int $0x80是一条AT&T语法的中断指令,用于Linux的系统调用。
# Linux系统下的汇编语言比较喜欢用AT&T的语法,如果翻译成Intel的语法就是int 80h,就像我们在Intel的语法下的DOS汇编中经常用的int 21h调用DOS中断,同样如果换成AT&T语法就是int $0x80。
# 不过无论使用那一种语法,int $0x80或者int 80h都是针对Linux的,在DOS或者Windows下不起相应作用。反之亦然。
movl $0x00080000, %eax # 中断程序属内核,即EAX高字是内核代码段选择符0x0008(即索引为1,TI=0,RPL=00)
movw $timer_interrupt, %ax # 设置定时中断门描述符。取定时中断处理程序地址。
movw $0x8E00, %dx # 中断门类型是14(屏蔽中断),特权级0或硬件使用。
movl $0x08, %ecx # 开机时BIOS设置的时钟中断向量号8.这里直接使用它。
lea idt(, %ecx, 8), %esi # 把IDT描述符0x08地址放入ESI中,然后设置该描述符
movl %eax, (%esi)
movl %edx, 4(%esi)
movw $system_interrupt, %ax # 设置系统调用陷阱门描述符。取系统通调用处理程序地址。
movw $0xef00, %dx # 陷阱门类型是15,特权级3的程序可执行。
movl $0x80, %ecx # 系统调用向量号是0x80。
lea idt(, %ecx, 8), %esi # 把IDT描述符项0x80地址放入ESI中,然后设置该描述符。
movl %eax, (%esi)
movl %edx, 4(%esi)
# 好了,现在我们为移动到任务0(任务A)中执行来操作堆栈内容,在堆栈中人工建立中断返回时的场景。
# 注: 由于处于特权级0的代码不能直接把控制权转移到特权级3的代码中执行,但中断返回操作是可以的,因此当初始化GDT、IDT和定时芯片结束后,我们就利用中断返回指令IRET来启动运行第1个任务。
# 具体实现方法是在初始堆栈init_stack中人工设置一个返回环境。即把任务0的TSS段选择符加载到任务寄存器LTR中、LDT段选择符加载到LDTR中以后,
# 把任务0的用户栈指针(0x17:init_stack)和代码指针(0x0f:task0)以及标志寄存器压入栈中,然后执行中断返回指令IRET。
# 该指令会弹出堆栈上的堆栈指针作为任务0的用户栈指针,恢复假设的任务0的标志寄存器内容,并且弹出栈中代码指针放入CS:EIP寄存器中,从而开始执行任务0的代码,
# 完成了从特权级0到特权级3的控制转移。
pushfl # 复位标志寄存器EFLAGS中的嵌套任务标志。
andl $0xffffbfff, (%esp)
# 解释一下EFLAGS寄存器中的NT标志:
# 位14是嵌套任务标志(Nested Task)。它控制这被中断任务和调用任务之间的链接关系。在使用CALL指令、中断或异常执行任务调用时,处理器会设置该标志。在通过使用IRET指令从一个任务返回时,处理器会检查并修改这个NT标志。
# 使用POPF/POPFD指令也可以修改这个标志,但是在应用程序中改变这个标志的状态会产生不可意料的异常。
# 嵌套任务标志NT用来控制中断返回指令IRET的执行。具体规定如下:
# (1) 当NT=0,用堆栈中保存的值恢复EFLAGS、CS和EIP,执行常规的中断返回操作;
# (2) 当NT=1,通过任务转换实现中断返回。
popfl
movl $TSS0_SEL, %eax # 把任务0的TSS段选择符加载到任务寄存器TR。
ltr %ax
movl $LDT0_SEL, %eax # 把任务0的LDT段选择符加载到局部描述符表寄存器LDTR。
lldt %ax # TR和LDTR只需人工加载一次,以后CPU会自动处理。
movl $0, current # 把当前任务号0保存在current变量中。
sti # 现在开启中断,并在栈中营造中断返回时的场景。
pushl $0x17 # 把任务0当前局部空间数据段(堆栈段)选择符如栈。
# 问:0x17是怎么来的?
# 答:0x17是任务0的数据段选择符,由下面设置的ldt0可知,数据段Index=2,TI=1(表示在LDT中),RPL=3(处理器的保护机制可识别4个特权级,0级到3级,详见4.5.1 段级保护),故得0x17
pushl $init_stack # 把堆栈指针入栈(也可以直接把ESP入栈)。
pushfl # 把标志寄存器入栈。
pushl $0x0f # 把当前局部空间代码段选择符入栈。
pushl $task0 # 把代码指针入栈。注意!pushl和push也是有区别的,我之前写成了push,运行就出错了!
iret # 执行中断返回指令,从而切换到特权级3的任务0中执行。
# 以下是设置GDT和IDT中描述符项的子程序。
setup_gdt: # 使用6字节操作数lgdt_opcode设置GDT表位置和长度。
lgdt lgdt_opcode # lgdt指令加载GDT的入口地址(这里由lgdt_opcode指出)到GDTR中
ret
setup_idt:
lea ignore_int, %edx # 设置方法与设置定时中断门描述符的方法一样。
movl $0x00080000, %eax # 选择符位0x0008。
movw %dx, %ax # (注:ax为eax的低16位)
movw $0x8E00, %dx
lea idt, %edi
mov $256, %ecx # 循环设置所有256个门描述符项。
rp_idt: movl %eax, (%edi)
movl %edx, 4(%edi)
addl $8, %edi
dec %ecx
jne rp_idt
lidt lidt_opcode
ret
# 显示字符子程序。取当前光标位置并把AL中的字符显示在屏幕上。整屏可显示80X25个字符。
write_char:
push %gs
pushl %ebx
# pushl %eax
mov $SCRN_SEL, %ebx
mov %bx, %gs
movl scr_loc, %ebx
shl $1, %ebx
movb %al, %gs:(%ebx)
shr $1, %ebx
incl %ebx
cmpl $2000, %ebx
jb 1f
movl $0, %ebx
1: movl %ebx, scr_loc
popl %ebx
pop %gs
ret
# 以下是3个中断处理程序:默认中断、定时中断和系统调用中断。
# ignore_int是默认的中断处理程序,若系统产生了其他中断,则会载屏幕显示一个字符‘C’。
.align 2 # align是对齐的指令 (注意:之后来好好研究一下关于对齐这个问题)
ignore_int:
push %ds
pushl %eax
movl $0x10, %eax # 首先让DS指向内核数据段,因为中断程序属于内核。
mov %ax, %ds
movl $67, %eax # 在AL中存放字符'C'的代码,调用显示程序显示在屏幕上。
call write_char
popl %eax
pop %ds
iret
# 这是定时中断处理程序。其中主要执行任务切换操作。
.align 2
timer_interrupt:
push %ds
pushl %eax
movl $0x10, %eax # 首先让DS指向内核数据段。这两句不要不影响。
mov %ax, %ds
movb $0x20, %al # 然后立刻允许其他硬件中断,则向8253发送EOI命令。 这两句必须要!
outb %al, $0x20
movl $1, %eax
cmpl %eax, current
je 1f
movl %eax, current # 若当前任务是0,则把1存入current,并跳转到任务1
ljmp $TSS1_SEL, $0 # 去执行。注意跳转的偏移值无用,但需要写上。
jmp 2f
1: movl $0, current # 若当前任务是1,则把0存入current,并跳转到任务0
ljmp $TSS0_SEL, $0
2: popl %eax
pop %ds
iret
# 系统调用中断int0x80处理程序。该示例只有一个显示字符功能。
# 说明:system_interrup这个中断处理程序将由两个任务来调用。
.align 2
system_interrupt:
push %ds
pushl %edx
push %ecx
pushl %ebx
pushl %eax
movl $0x10, %edx # 首先让DS指向内核数据段
mov %dx, %ds
call write_char # 然后调用显示字符子程序write_char, 显示AL中的字符
popl %eax
popl %ebx
popl %ecx
popl %edx
pop %ds
iret
/*****************************************************************/
current: .long 0 # 当前任务号(0或1)。
scr_loc: .long 0 # 屏幕显示位置。按从左上角到右下角顺序显示。
.align 2
lidt_opcode:
.word 256*8-1 # 加载IDTR寄存器的6字节操作数:表长度和基地址。
.long idt
lgdt_opcode:
.word (end_gdt-gdt)-1 # 这个16位数表示GDT的段限长(注意:书P88:限长为0表示有1个有效字节。因为段描述符总是8字节长,因此GDT的限长值应该设置成总是8的倍数减1(即8N-1)) 问:1.N在哪里?
.long gdt # 这个32位数表示GDT的基地址
.align 8
idt: .fill 256,8,0 # IDT表空间。每个门描述符8字节,共占用2KB字节。(注:.fill伪指令???)
gdt: .quad 0x0000000000000000 # GDT表。第1个描述符不用。
.quad 0x00c09a00000007ff # 第2个是内核代码段描述符。其选择符是0x08。
.quad 0x00c09200000007ff # 第3个是内核数据段描述符。其选择符是0x10。
.quad 0x00c0920b80000002 # 第4个是显示内存段描述符。其选择符是0x18。
.word 0x68, tss0, 0xe900, 0x0 # 第5个是TSS0段的描述符。其选择符是0x20
.word 0x40, ldt0, 0xe200, 0x0 # 第6个是LDT0段的描述符。其选择符是0x28
.word 0x68, tss1, 0xe900, 0x0 # 第7个是TSS1段的描述符。其选择符是0x30
.word 0x40, ldt1, 0xe200, 0x0 # 第8个是LDT1段的描述符。其选择符是0x38
end_gdt:
.fill 128,4,0 # 初始内核堆栈空间(问:.fill是什么意思?)
init_stack:
.long init_stack # 堆栈段偏移位置。
.word 0x10 # 堆栈段同内核数据段
# 下面是任务0的LDT表段中的局部段描述符。
.align 8
ldt0: .quad 0x0000000000000000 # 第1个描述符,不用。
.quad 0x00c0fa00000003ff # 第2个局部代码段描述符,对应选择符是0x0f
.quad 0x00c0f200000003ff # 第3个局部数据段描述符,对应选择符是0x17
# 下面是任务0的TSS段的内容。注意其中标号等字段在任务切换时不会改变。
tss0: .long 0 /* back link */
.long krn_stk0, 0x10 /* esp0, ss0 */
.long 0, 0, 0, 0, 0 /* esp1, ss1, esp2, ss2, cr3 */
.long 0, 0, 0, 0, 0 /* eip, eflags, eax, ecx, edx */
.long 0, 0, 0, 0, 0 /* ebx, esp, ebp, esi, edi */
.long 0, 0, 0, 0, 0, 0 /* es, cs, ss, ds, fs, gs */
.long LDT0_SEL, 0x8000000 /* ldt, trace bitmap */
.fill 128, 4, 0 # 这是任务0的内核栈空间。
krn_stk0:
# 下面是任务1的LDT表段内容和TSS段内容
.align 8
ldt1: .quad 0x0000000000000000 # 第1个描述符,不用
.quad 0x00c0fa00000003ff # 选择符是0x0f,基地址=0x00000。
.quad 0x00c0f200000003ff # 选择符是0x17,基地址=0x00000。
tss1: .long 0 /* back link */
.long krn_stk1, 0x10 /* esp0, ss0 */
.long 0, 0, 0, 0, 0 /* esp1, ss1, esp2, ss2, cr3 */
.long task1, 0x200 /* eip, eflags */
.long 0, 0, 0, 0 /* eax, ecx, edx, ebx */
.long usr_stk1, 0, 0, 0 /* esp, ebp, esi, edi */
.long 0x17, 0x0f, 0x17, 0x17, 0x17, 0x17 /* es, cs, ss, ds, fs, gs */
.long LDT1_SEL, 0x8000000 /* ldt, trace bitmap */
.fill 128, 4, 0 # 这是任务1的内核栈空间。其用户栈直接使用初始栈空间。
krn_stk1:
# 下面是任务0和任务1的程序,他们分别循环显示字符'A'和'B'。
task0:
movl $0x17, %eax # 首先让DS指向任务的局部数据段。
movw %ax, %ds # 因为任务没有使用局部数据,所以这两句可省略。
movb $65, %al # 把需要显示的字符'A'放入寄存器中。
int $0x80 # 执行系统调用,显示字符。
movl $0xfff, %ecx # 执行循环,起延时作用。
1: loop 1b
jmp task0 # 跳转到任务代码开始处继续显示字符。
task1:
movb $66, %al # 把需要显示的字符'B'放入寄存器中。
int $0x80 # 执行系统调用,显示字符。
movl $0xfff, %ecx # 执行循环,起延时作用。
1: loop 1b
jmp task1 # 跳转到任务代码开始处继续显示字符。
.fill 128,4,0 # 这是任务1的用户栈空间。
usr_stk1:
更多推荐
已为社区贡献1条内容
所有评论(0)