一起分析Linux系统设计思想——03内核启动流程分析（五）

最新推荐文章于 2022-08-15 22:16:06 发布
最新推荐文章于 2022-08-15 22:16:06 发布
阅读量649 收藏 6
点赞数 2
分类专栏： Linux 文章标签： linux arm9 asm 内存管理
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44873133/article/details/108957846
版权

在学习资料满天飞的大环境下，知识变得非常零散，体系化的知识并不多，这就导致很多人每天都努力学习到感动自己，最终却收效甚微，甚至放弃学习。我的使命就是过滤掉大量的垃圾信息，将知识体系化，以短平快的方式直达问题本质，把大家从大海捞针的痛苦中解脱出来。

文章目录

7 __create_page_tables剖析(接上篇)

7.1 为什么要创建临时页表

因为要使能MMU。那为什么要使能MMU呢？因为要使用虚拟地址运行程序。为什么要使用虚拟地址呢？简单的说就是灵活方便，具体的在这里就不展开了，不然就脱离主线了。链接时使用的都是虚拟地址，且不能保证所写的代码（尤其是C语言代码）都是位置无关码，因此在启动时需要尽早地启动MMU，因此需要准备好页表。

那页表的作用是什么呢？主要功能就是给出虚拟地址到物理地址的映射关系。所以，页表存储的内容是物理地址，索引是由虚拟地址生成的页号（恒等映射是由物理地址生成的页号，这里的物理地址属于特殊的虚拟地址）。

创建的是什么类型的页表呢？ARM的L1主页表,L1主页表也称为段页表(section page table)或粗页表。L1 主页表将4 GB 的地址空间分成若干个1 MB的段(section)，因此L1页表包含4096个页表项(section entry)。每个页表项是32 bits(4 bytes)因而L1主页表占用 4096 *4 = 16k的内存空间。

为什么要使用粗页表，不使用细页表？就一句话，自己体会：困难时期就猥琐发育，别浪~

为什么说是临时页表？因为本函数建立的所有页表都会在paging_init函数中销毁重建，此时建立的页表只是临时过度性的映射关系和页表。白手起家，谁家不是先住小房子再换大房子呢~~ 做自己当下能力范围内的事情。

7.2 创建页表过程分析

先上图，有个直观的认识，其实，代码几十行就是为了达到下图的映射效果。

7.2.1 Identity Mapping

首先，建立恒等映射。

什么是恒等映射？简单来说就是，映射前是啥，映射后还是啥（和没映射是一样滴，哈哈）。

为什么要搞恒等映射？因为，开启MMU之后，所有PC指向的地址都必须经过MMU的映射之后才能使用，但是，在PC指针还未指向虚拟地址时怎么搞呢？能够想到的一个办法就是让PC指向的物理地址经过MMU之后还指向它自己，就是所谓的映射原空间，或者叫恒等映射。

恒等映射需要映射多大空间呢？映射当前PC指向地址所在section就够了，因为汇编语言很短，PC很快就会指向虚拟地址（链接地址）运行了，1MB空间足够了。

7.2.2 Direct Mapping

接下来进行的是直接映射，就是将虚拟地址映射到物理地址上去。

7.2.2.1 映射内核镜像

这一步做的就是将内核镜像所在虚拟地址空间完全映射到物理地址空间中去。

这里需要说明一点。虽然本意是映射内核镜像，但是内核的起始地址是0xc0008000，所在的段基址是0xc0000000。由于L1页表的粒度是1MB，因此，即使是只想映射内核镜像，也需要从0xc0000000开始映射（映射到0x30000000)，这就造成一个结果：Boot Paras的空间也被顺带着映射了。

此外，针对“内核空间第一个section和恒等映射时的section物理空间重叠”再作一个说明。用一句话概括就是 条条大路通罗马 。详细来说是系统启动代码在开启MMU后，启动代码并不会立马调用start_kernel函数（C函数），而是要做一些C语言运行前期的设置，如堆栈设置等工作。此时，PC指向的还是物理地址，因此还需要为这段内存空间建立上文提到的Identity Mapping。这样在这第一个section空间内不管cpu发出的是虚拟地址还是物理地址，都会映射到同一个存储单元。

7.2.2.2 映射Boot Paras

为了后续代码继续使用Boot Paras空间的数据，也需要对该空间做一个从虚拟地址到物理地址的映射。上文刚刚说到，其实内核空间映射时已经捎带脚儿地把Boot Paras地址空间也进行映射了。但是考虑到其它处理器架构或不同的内存管理情况，这里做Boot Paras的映射还是十分必要的。

Tips：从中我们可以总结出提高代码兼容性的一个思路：从更高层的逻辑出发，而不是局限在具体的实现当中。因为，不变的是逻辑，变化的是实现。这里就是 变与不变隔离 思想的一个体现。

7.3 创建细节

7.3.1 新增汇编指令汇总
指令功能说明
ldrLoad register from memoryldr也可以load立即数到寄存器，注意不要丢"="，例如：ldr r6, =(KERNEL_END - 1)
strStore register to memory注意区分下述两种格式：（1）str r3, [r0], #4 ：[r0] = r3, r0 += 4；（2）str r3, [r0, #4]!：[r0 + 4] = r3, r0 += 4。
lsrlogical shift right逻辑右移
lsllogical shift lift逻辑左移
orror按位或

条件转移指令：

跳转指令说明
beq相等则跳转
bne不相等则跳转
blo小于（无符号数）则跳转
bls小于等于（无符号数）则跳转
bhi大于（无符号数）则跳转
bhs大于等于（无符号数）则跳转
blt小于（有符号数）则跳转
ble小于等于（有符号数）则跳转
bgt大于（有符号数）则跳转
bge大于等于（有符号数）则跳转
7.3.2 代码逐行分析

有了前文的分析和铺垫，代码分析起来也就轻松多了。


/*
 * Setup the initial page tables.  We only setup the barest
 * amount which are required to get the kernel running, which
 * generally means mapping in the kernel code.
 *
 * C语言中调用函数会使用入参出参，但是汇编不会，都是使用“全局指针或变量”，
 * 所以，将它们标记出来很有必要，便于汇编在调用函数时上下文的联系。
 * r8  = machinfo 
 * r9  = cpuid
 * r10 = procinfo
 *
 * Returns:
 *  r0, r3, r6, r7 corrupted
 *  r4 = physical page table address
 */
	.type	__create_page_tables, %function
__create_page_tables:
	pgtbl	r4				@ page table address,将page_table的基址(0x30004000)存入r4

	/*
	 * Clear the 16K level 1 swapper page table
	 */
	mov	r0, r4  @ r0为移动指针，初始值设置为r4
	mov	r3, #0  @ r3为填充内容#0
	add	r6, r0, #0x4000 @ r6指向页表末尾的下一个地址，用来控制循环结束条件
1:	str	r3, [r0], #4    @ 一个循环清除16个字节，循环1024次，刚好清除16K内存
	str	r3, [r0], #4
	str	r3, [r0], #4
	str	r3, [r0], #4
	teq	r0, r6          @ 比较r0是否已经指向页表末尾的下一个地址
	bne	1b             @ 结束跳出循环，否则跳到标号1b处

    @ 定义：#define PROCINFO_MM_MMUFLAGS 8 /* offsetof(struct proc_info_list, __cpu_mm_mmu_flags)	@ */
    @ 取值：.long   PMD_TYPE_SECT | \
		PMD_SECT_BUFFERABLE | \
		PMD_SECT_CACHEABLE | \
		PMD_BIT4 | \
		PMD_SECT_AP_WRITE | \
		PMD_SECT_AP_READ
	ldr	r7, [r10, #PROCINFO_MM_MMUFLAGS] @ mm_mmuflags，汇编语言使用基址-变址寻址方式来访问结构体成员变量
	/*
	 * Create identity mapping(恒等映射) for first MB 
	 *（下面这三行代码只设置内核的第一个section表项）of kernel to
	 * cater for the MMU enable.  This identity mapping
	 * will be removed by paging_init()（这就意味着这里的映射只是暂时的）.
	 * We use our current program
	 * counter to determine corresponding section base address.(使用PC指针获取当前页基址)
	 */
	mov	r6, pc, lsr #20			@ start of kernel section（物理地址），r6 = pc >> 20 (每一页是1M，即2的20次方)
	orr	r3, r7, r6, lsl #20		@ flags + kernel base, r3 = r7 | (r6 << 20) ，组成L1 section entry（页表内容）
	str	r3, [r4, r6, lsl #2]		@ identity mapping，mem[r4 + r6 * 4] = r3-> mem[0x30004c00] = 0x300xxxxx。
	                            @ r3在这里实际上起到了代码段寄存器的作用。
	                            @ 基址是r4，偏移是r6*4（r6是页号，4代表每一个页号需要占用4个字节来进行存储）

	/*
	 * Now setup the pagetables for our kernel direct
	 * mapped region.
	 */
	add	r0, r4,  #(KERNEL_START & 0xff000000) >> 18  @ KERNEL_START = KERNEL_RAM_VADDR = \
	                                                  @ 0xc0000000 + 0x8000 = 0xc0008000
	str	r3, [r0, #(KERNEL_START & 0x00f00000) >> 18]! @ [r4 + (0xc0008000 & 0xfff00000)>> 20 * 4] = r3 ->
	                            @ mem[0x30007000] = 0x300xxxxx。
	                            @ 这里将r3的内容再次写入内存(相当于映射了两次），只不过页表的偏移计算使用的是虚拟地址
	                        
	ldr	r6, =(KERNEL_END - 1)  @ 构建结束位置
	add	r0, r0, #4              @ 指针自加，指向下一个section存放地址
	add	r6, r4, r6, lsr #18     @ 继续构建结束位置，存放到r6
1:	cmp	r0, r6
	add	r3, r3, #1 << 20        @ 将L1表项编号加1
	strls	r3, [r0], #4        @ 将r3内容存储到r0后，r0指针加4
	bls	1b                     @ r0小于等于r6则跳转到1b处继续执行，否则跳出

	/*
	 * Then map first 1MB of ram in case it contains our boot params.
	 * 由于PAGE_OFFSET和KERNEL_START在同一个section里，所以这1MB的映射其实在内核代码段
	 * 映射时已经做过了，这里又重复做了一次（但是意义是不同的）
	 */
	add	r0, r4, #PAGE_OFFSET >> 18  @ PAGE_OFFSET = 0xc0000000，
	                                @ 注意这里的r0刚好和内核起始位置在同一个section.
	orr	r6, r7, #(PHYS_OFFSET & 0xff000000) @ PHYS_OFFSET = 0x30000000，r6 = 0x30000000 | r7,
	                                  @ 注意这里的内容刚好和r3一致。
	.if	(PHYS_OFFSET & 0x00f00000)   @ if条件不成立
	orr	r6, r6, #(PHYS_OFFSET & 0x00f00000)
	.endif
	str	r6, [r0]    @ 写入页表指定位置，mem[0x30007000] = 0x300xxxxx。
	
	mov	pc, lr
	.ltorg @ LTORG用于声明一个数据缓冲池

Tips：ltorg用于声明一个数据缓冲池（又名文字池）的开始。在使用ldr指令时，常常需要在适当的地方加入ltorg声明数据缓冲池，ldr加载的数据暂时被编译器放于数据缓冲池中。ltorg通常放在无条件跳转指令之后，或者子程序返回指令之后，这样处理器就不会错误的将数据缓冲池中的数据当作指令来执行。

<完>

穿越临界点
关注
专栏目录
自定义段的方法
Virtual_Func的博客
09-17 2059
GCC提供了一个扩展机制，使得程序员可以指定变量所处的段。如下例 __attribute__((section("FOO"))) int global = 43; int main() { __attribute__((section("BAR"))) static int x; } 对上述代码进行编译得到目标文件后查看段信息，可以看出变量 global 与 x 均是在对应指定的自定义
自定义代码段
weixin_30651273的博客
11-10 152
VS2010,2012,2013自定义注释[代码段]的另种方法 [visual studio添加自定义注释或代码块图文教程] 以VS2012来说，比如要添加一段自定义注释，如下： /** * 函数名：Func * 作者：小凯 * 日期：2014-3-21 11:16:42 **/ 怎么添加呢？耐心看完10张图，不多解释 这...
基于自定义段技术构建指令系统
穿越临界点的博客
08-06 928
想定制属于自己的指令系统么？跟我一起来探索吧~
指定变量所处的段——自定义段
Norton的专栏
03-12 3920
有时候为了满足某些硬件的内存和I/O的地址布局，程序员希望某些数据或者代码放到自定义的段。GCC提供一个扩展机制，使得程序员可以指定变量所处的段。 要注意，“.”开头的是系统段的命名规范，自定义段不应该以“.”开头。 例： __attribute__((section("FOO"))) int global = 42; __attribute__((section("BAR"))) v
ARMCC和ARM-GCC创建自定义输入段
weixin_42077176的博客
01-20 1787
使用__attribute__((section("section name")))例如： /*当“testvar”存在时，变量var会被添加到段，若不存在，则会创建段“testvar”,并添加变量var*/ int var __attribute__((section("testvar"))) = 0; int var __attribute__((section("testvar"))) = 0; 如果不使用sct文件指定输出段，.
翱翔Linux世界的向导——评《Linux内核源代码情景分析》.pdf
09-07
《Linux内核源代码情景分析》是一本专为深入理解Linux操作系统内核设计和实现而编写的指南。本书的作者毛德操和胡希明，凭借...通过这本书，读者可以深入了解Linux内核的运行机制，提升自己的编程技能和系统设计能力。
Linux 2.6内核分析——对进程调度机制的分析.pdf
09-06
Linux 2.6内核的进程调度机制是对早期版本，如Linux 2.4内核的一个重大改进。在Linux 2.4内核中，进程调度存在一些显著的问题，包括调度算法的时间复杂度高（O(n)），不支持抢占式调度，以及在SMP（Symmetric Multi-...
嵌入式系统/ARM技术中的u-boot启动过程分析——基于lpc2210的移植代码
11-12
了解Bootloader的工作原理和启动流程，对于嵌入式Linux系统的开发人员来说，是必不可少的基础知识。它不仅帮助理解系统启动的全过程，还能在调试和优化系统性能时提供关键线索。通过学习和实践u-boot的移植，开发者...
Linux0.01内核分析与操作系统设计
05-08
《Linux0.01内核分析与操作系统设计》是一本深度探讨早期Linux内核及其操作系统设计原理的专著。在本书中，读者将有机会深入了解Linux操作系统的基础架构，以及其最初版本——0.01内核的设计思想和技术实现。通过...
北邮操作系统课程设计——基于linux的内核模块编写，本模块由本组共同完成，供开源参考.zip
最新发布
02-14
包含前端、后端、移动开发、操作系统、人工智能、物联网、信息化管理、数据库、硬件开发、大数据、课程资源、音视频、网站开发等各种技术项目的源码。 包括STM32、ESP8266、PHP、QT、Linux、iOS、C++、Java、python...
我们知道C语言内存分区分为代码段，数据段 那他这个分区是怎么实现的
dianqicyuyan的博客
01-10 262
连接脚本的一个主要目的是描述输入文件中的节如何被映射到输出文件中,并控制输出文件的内存排布. 几乎所有的连接脚本只做这两件事情. 但是,在需要的时候,连接器脚本还可以指示连接器执行很多其他的操作.这通过下面描述的命令实现. 链接脚本介绍 1预处理：宏定义展开、头文件展开、条件编译等，同时将代码中的注释删除，这里并不会检查语法 命令：gcc -E hello.c -o hello.i 2编译：检查语法，将预处理后文件编译生成汇编文件 命令：gcc -S hello.i -o hello.s 3汇编：
GCC指定某个c文件里的函数或者变量到某个section
qq_14892521的博客
07-29 2124
.o(.func_text_section)//使用attribute属性指向该段的函数。2定义func段，将文件file_a.c、file_b.c、file_c.c中的函数放到这个段。3定义data段，将文件file_a.c、file_b.c、file_c.c中的数据放到这个段。注意需要初始化阶段对代码和数据进行重定向，从DDR的存储地址拷贝到实际的运行地址去。1定义某个section的属性。...
“命令终端”的实现3-命令的执行
李迟的专栏
09-30 520
前面已经能获取到输入的字符了，接着就是解析这些字符，判断，符合要求的，执行对应的函数。而对应的函数，就是需要实现的命令。本文从具体的命令实现逐步倒推，最后对接上一文章。
armcc/armclang/gcc获取自定义section的起止地址
SingleWolf1989的博客
08-24 3364
最近研究了一下自定义section，总结一下以备不时之需。 定义：使用__attribute__((section(“mysection.test”))) 在定义变量时，加上该属性，则编译后相同section的变量会被链接到一个连续的区域。 特别的，当section名中只有字母数字（不含._等字符时，可以方便的使用$sectionname$$Base $sectionname$$Limit $sectionname$$LenghtsectionnamesectionnamesectionnameBase、B
uboot代码解析5:命令集、自定义uboot命令，命令处理框架
08-15 1100
uboot命令集、自定义uboot命令、uboot命令存储原理、uboot命令查找原理
链接脚本(1) --- 在默认的链接脚本中插入段
xflm的博客
07-20 966
链接脚本
C语言程序段的定义、实际应用分析
weixin_42031299的博客
03-15 4142
前言
uboot--命令体系
qq_52916060的博客
01-14 667
uboot命令体系基础 使用uboot命令 （1）uboot启动后进入命令行环境下，在·此输入命令按回车结束，uboot会收取这个命令然后解析，然后执行。 uboot命令体系实现代码在哪？ （1）uboot1命令体系的实现代码在uboot/common/cmd_xxx.c中。有若干个.c文件和命令体系有关。（还有commmand.c main.c也是和命令有关的） 每个命令对应一个函数 （1）每一个uboot的命令背后都对应一个函数，这就是uboot实现命令体系的一种思路和方法。这个东西和我们在裸机十六部
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

穿越临界点

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值