Uboot系统初始化为何要初始化堆栈?为何C语言的函数调用要用到堆栈,而汇编却不需要初始化堆栈?
之前看了很多关于uboot的分析,其中就有说要为C语言的运行,准备好堆栈。
而自己在Uboot的start.S汇编代码中,关于系统初始化,也看到有堆栈指针初始化这个动作。但是,从来只是看到有人说系统初始化要初始化堆栈,即正确给堆栈指针sp赋值,但是却从来没有看到有人解释,为何要初始化堆栈。所以,接下来的内容,就是经过一定的探究,试图来解释一下,为何要初始化堆栈,即:
为何C语言的函数调用要用到堆栈,而汇编却不需要初始化堆栈。
要明白这个问题,首先要了解堆栈的作用。
关于堆栈的作用,要详细讲解的话,要很长的篇幅,所以此处只是做简略介绍。
总的来说,堆栈的作用就是:保存现场/上下文,传递参数。
1.保存现场/上下文
现场,意思就相当于案发现场,总有一些现场的情况,要记录下来的,否则被别人破坏掉之后,你就无法恢复现场了。而此处说的现场,就是指CPU运行的时候,用到了一些寄存器,比如r0,r1等等,对于这些寄存器的值,如果你不保存而直接跳转到子函数中去执行,那么很可能就被其破坏了,因为其函数执行也要用到这些寄存器。
因此,在函数调用之前,应该将这些寄存器等现场,暂时保持起来,等调用函数执行完毕返回后,再恢复现场。这样CPU就可以正确的继续执行了。
在计算机中,你常可以看到上下文这个词,对应的英文是context。那么:
1.1.什么叫做上下文context
保存现场,也叫保存上下文。
上下文,英文叫做context,就是上面的文章,和下面的文章,即与你此刻,当前CPU运行有关系的内容,即那些你用到寄存器。所以,和上面的现场,是一个意思。
保存寄存器的值,一般用的是push指令,将对应的某些寄存器的值,一个个放到堆栈中,把对应的值压入到堆栈里面,即所谓的压栈。
然后待被调用的子函数执行完毕的时候,再调用pop,把堆栈中的一个个的值,赋值给对应的那些你刚开始压栈时用到的寄存器,把对应的值从堆栈中弹出去,即所谓的出栈。
其中保存的寄存器中,也包括lr的值(因为用bl指令进行跳转的话,那么之前的pc的值是存在lr中的),然后在子程序执行完毕的时候,再把堆栈中的lr的值pop出来,赋值给pc,这样就实现了子函数的正确的返回。
2.传递参数
C语言进行函数调用的时候,常常会传递给被调用的函数一些参数,对于这些C语言级别的参数,被编译器翻译成汇编语言的时候,就要找个地方存放一下,并且让被调用的函数能够访问,否则就没发实现传递参数了。对于找个地方放一下,分两种情况。
一种情况是,本身传递的参数就很少,就可以通过寄存器传送参数。
因为在前面的保存现场的动作中,已经保存好了对应的寄存器的值,那么此时,这些寄存器就是空闲的,可以供我们使用的了,那就可以放参数,而参数少的情况下,就足够存放参数了,比如参数有2个,那么就用r0和r1存放即可。(关于参数1和参数2,具体哪个放在r0,哪个放在r1,就是和APCS中的“在函数调用之间传递/返回参数”相关了,APCS中会有详细的约定。感兴趣的自己去研究。)
但是如果参数太多,寄存器不够用,那么就得把多余的参数堆栈中了。
即,可以用堆栈来传递所有的或寄存器放不下的那些多余的参数。
3.举例分析C语言函数调用是如何使用堆栈的
对于上面的解释的堆栈的作用显得有些抽象,此处再用例子来简单说明一下,就容易明白了:
用:
1. arm-inux-objdump –d u-boot > dump_u-boot.txt
可以得到dump_u-boot.txt文件。该文件就是中,包含了u-boot中的程序的可执行的汇编代码,其中我们可以看到C语言的函数的源代码,到底对应着那些汇编代码。
下面贴出两个函数的汇编代码,
一个是clock_init,
另一个是与clock_init在同一C源文件中的,另外一个函数CopyCode2Ram:
1. 33d0091c <CopyCode2Ram>:
2. 33d0091c: e92d4070 push {r4, r5, r6, lr}
3. 33d00920: e1a06000 mov r6, r0
4. 33d00924: e1a05001 mov r5, r1
5. 33d00928: e1a04002 mov r4, r2
6. 33d0092c: ebffffef bl 33d008f0 <bBootFrmNORFlash>
7. ... ...
8. 33d00984: ebffff14 bl 33d005dc <nand_read_ll>
9. ... ...
10. 33d009a8: e3a00000 mov r0, #0 ; 0x0
11. 33d009ac: e8bd8070 pop {r4, r5, r6, pc}
12.
13. 33d009b0 <clock_init>:
14. 33d009b0: e3a02313 mov r2, #1275068416 ; 0x4c000000
15. 33d009b4: e3a03005 mov r3, #5 ; 0x5
16. 33d009b8: e5823014 str r3, [r2, #20]
17. ... ...
18. 33d009f8: e1a0f00e mov pc, lr
(1)clock_init部分的代码
可以看到该函数第一行:
1. 33d009b0: e3a02313 mov r2, #1275068416 ; 0x4c000000
就没有我们所期望的push指令,没有去将一些寄存器的值放到堆栈中。这是因为,我们clock_init这部分的内容,所用到的r2,r3等等寄存器,和前面调用clock_init之前所用到的寄存器r0,没有冲突,所以此处可以不用push去保存这类寄存器的值,不过有个寄存器要注意,那就是r14,即lr,其是在前面调用clock_init的时候,用的是bl指令,所以会自动把跳转时候的pc的值赋值给lr,所以也不需要push指令去将PC的值保存到堆栈中。
而clock_init的代码的最后一行:
1. 33d009f8: e1a0f00e mov pc, lr
就是我们常见的mov pc, lr,把lr的值,即之前保存的函数调用时候的PC值,赋值给现在的PC,这样就实现了函数的正确的返回,即返回到了函数调用时候下一个指令的位置。
这样CPU就可以继续执行原先函数内剩下那部分的代码了。
(2)CopyCode2Ram部分的代码
其第一行:
1. 33d0091c: e92d4070 push {r4, r5, r6, lr}
就是我们所期望的,用push指令,保存了r4,r5,r以及lr。用push去保存r4,r5,r6,那是因为所谓的保存现场,以后后续函数返回时候再恢复现场,而用push去保存lr,那是因为此函数里面,还有其他函数调用:
1. 33d0092c: ebffffef bl 33d008f0 <bBootFrmNORFlash>
2. ... ...
3. 33d00984: ebffff14 bl 33d005dc <nand_read_ll>
4. ... ...
也用到了bl指令,会改变我们最开始进入clock_init时候的lr的值,所以我们要用push也暂时保存起来。而对应地,CopyCode2Ram的最后一行:
1. 33d009ac: e8bd8070 pop {r4, r5, r6, pc}
就是把之前push的值,给pop出来,还给对应的寄存器,其中最后一个是将开始push的lr的值,pop出来给赋给PC,因为实现了函数的返回。另外,我们注意到,在CopyCode2Ram的倒数第二行是:
1. 33d009a8: e3a00000 mov r0, #0 ; 0x0
是把0赋值给r0寄存器,这个就是我们所谓返回值的传递,是通过r0寄存器的。
此处的返回值是0,也对应着C语言的源码中的“return 0”.
对于使用哪个寄存器来传递返回值:
当然你也可以用其他暂时空闲没有用到的寄存器来传递返回值,但是这些处理方式,本身是根据ARM的APCS的寄存器的使用的约定而设计的,你最好不要随便改变使用方式,最好还是按照其约定的来处理,这样程序更加符合规范。
Uboot系统初始化为何要初始化堆栈?为何C语言的函数调用要用到堆栈,而汇编却不需要初始化堆栈?相关推荐
- 魔方APP项目-02-服务端项目搭建,创建manage.py文件、构建全局初始化函数创建app应用对象、通过终端脚本启动项目、项目加载配置、数据库初始化、日志初始化、蓝图初始化
服务端项目搭建 新建项目目录mofangapi,并创建虚拟环境 mkvirtualenv mofang 安装开发中使用的依赖模块 pip install flask==0.12.4 pip insta ...
- 如何初始化局部变量c语言_重要的事情说三遍:局部变量一定要初始化!你做到了吗?...
这篇文章主要给大家介绍了关于C语言未初始化的局部变量是多少,文中通过示例代码以及图文介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面来一起学习吧. 在演示一个实际代码行为之 ...
- Linux学习笔记---初次编译Uboot系统
在初次编译Uboot系统时,是按照正点原子开发指南操作的,但是开发指南上讲得不是很详细,又看了一遍视频教程才搞清楚完整步骤,为了方便学习,就将详细步骤记录下来,以便以后参考. Uboot初次编译 1. ...
- ubuntu16.04下安装dnw和fastboot工具,解决开发板只有uboot系统,没有网络的情况下,通过dnw和fastboot传送文件到开发板
当我们拿到一块裸板,这时板上没有系统.此时pc机和开发板就没法通过ftp,nfs等网络协议来通信,就没法将我们的pc机端上的文件传输到裸板上.这时我们先自己配置编译bootloader,如u-boot ...
- 【Hotspot】 执行字节码指令流程(1):堆栈的创建以及Java函数调用
什么是基于栈的虚拟机: 关于JVM中调用Java函数需要了解一下基于栈的虚拟机: 栈是在内存中单独维护的一个结构,栈中有局部变量表,执行操作比如a+b需要调用将两个变量加载到操作数栈中,相加后放到栈顶 ...
- C语言:一个涉及指针函数返回值与printf乱码、内存堆栈的经典案例
C语言:一个涉及指针函数返回值与printf乱码.内存堆栈的经典案例 一个奇怪的C语言问题,涉及到指针.数组.堆栈.以及printf.以下实现: 整数向字符串的转换,返回字符串指针,并在main函数中 ...
- 用SignalR 2.0开发客服系统[系列5:使用SignalR的中文简体语言包和其他技术点]
原文:用SignalR 2.0开发客服系统[系列5:使用SignalR的中文简体语言包和其他技术点] 前言 交流群:195866844 目录: 用SignalR 2.0开发客服系统[系列1:实现群发通 ...
- 【C++ 语言】线程 ( 线程创建方法 | 线程标识符 | 线程属性 | 线程属性初始化 | 线程属性销毁 | 分离线程 | 线程调度策略 | 线程优先级 | 线程等待 )
文章目录 I 线程创建方法 II 线程执行函数 III 线程标识符 IV 线程属性 V 线程属性 1 ( 分离线程 | 非分离线程 ) VI 线程属性 2 ( 线程调度策略 ) VII 线程属性 3 ...
- 汇编级UART串口初始化与打印
用于新PCB板调试开发,在系统最开始(内存初始化之前),尽快打印字符,验证CPU是否正常启动. 以freescale QorIQ 处理器兼容的UART为例,符合16550串口标准: /*UART DE ...
- android 怎么初始化下拉框_第30讲:“二师兄”的成长历程之二,类属性的初始化...
在上一篇中我们建立了一个极为简单的pigsy类,在这个类中我们定义了三个属性,一个方法.在谈到类对象在初始化的时候,我们特意的指出:某些属性可以通过自动初始化来设置,这样也会省去你一些麻烦.这就是本篇 ...
最新文章
- 算法题:“找出单身狗”--找出一个数组中只出现一次的数字
- keras和tensorflow使用 keras.callbacks.TensorBoard 可视化数据
- 不用asp.net MVC,用WebForm照样可以实现MVC(请看最后一句话)
- CSS 绘制各种形状
- 第十六届全国大学生智能汽车竞赛(西部赛区) 竞速组成绩及获奖情况公示
- rs232 python_利用python发出rs232信号
- uart——51程序
- Yii 中Criteria常用方法
- python3(四)Pandas库
- sql server案例总结
- 花呗分期计算器_花呗分期10000元利息怎么算?取决于你的分期期数!
- 【jackson 异常】com.fasterxml.jackson.databind.JsonMappingException异常处理
- 人究竟能抠到什么程度?
- hdu 2295(DLX+二分)
- 北斗导航 | RAIM接收机自主完好性检测(附代码)
- python代码的注释只有一种方式、那就是使用#符号_知到智慧树营养与食疗学多选题答案...
- 八位超前进位加法器八位行波进位加法器
- 使用cuteftp实现SFTP上传
- Java机器学习软件介绍
- iOS 常用第三方库
热门文章
- [书目20080630]人一生要养成的50个习惯
- win10连接共享打印机_win7共享出来的打印机部分电脑无法连接的问题
- MySQL内核月报 2014.11-MySQL· 5.7改进·Recovery改进
- Android游戏开发的开源框架
- Here we offer the lowest price for SWG Gold
- JVM类加载的各阶段过程(加载、验证、准备、解析、初始化)
- Linux系统grep查日志用法
- java多线程在单例模式下是否需要同步
- svn一些基本操作含义
- 步步为营 .NET三层架构解析 五、DAL与IDAL的设计