一步步编写操作系统 46 用c语言编写内核3

再把上节代码贴出来,

1 //int main(void) {
2 int _start(void) {
3 while(1);
4 return 0;
5 }

有没有同学想过,这里写一个_start函数,让其调用main函数如何?其实这是可以的,main函数并不是第一个函数,它实际上也是被别人调用的,不过这是编译器背后的策略啦,好奇心大的同学自己尝试下吧。

虽然把函数名改成_start可以解决问题,但我们习惯于main函数做为主函数,不习惯函数用_start,于是用了-e来指定起始的函数名为main,所以代码才链接正常。

也许有同学想过,哎?我平时写的程序也没有_start啊,直接用gcc编译后就能运行,没出过问题啊。是啊,确实如您所说,由于我也没深入研究过,但咱们通过比较的方式,让您自己悟出这里面的秘密。还是用上述代码为例,gcc –o /tmp/test.bin kernel/main.c编译链接,由于未加-c参数,生成的test.bin不再是目标文件而是可执行文件。然后再用先编译成目标文件再链接成可执行文件的方式,对比这两个文件的区别。见图

您看,test.bin是gcc直接生成的可执行文件,它的大小是4586字节。而kernel.bin是经过手动编译、链接这两个步骤完成的,其文件大小是1777字节。这两个文件的体积可是差了几乎2倍呢。再看看这两个文件中的符号信息,还是用nm命令,如图

test.bin中共有34个符号(wc –l命令是用来统计输出的行数,一个符号占用一行,故34个符号),由于输出太长了,我们只截取了关键的部分,不过您看那些frame_dummy、data_start等,这并不是咱们代码中存在的符号,这说明在编译器在编译过程中为咱们引用了别的代码,这就是c运行库的功劳,目的是在调用main函数前做初始化环境等工作。您看,用白色方框圈出来的_start,这就是默认的入口符号,链接器还是用到了它,它不是咱们提供的代码,依然是运行库提供的,这也说明main函数不是第一个执行的代码,它一定是被其它代码调用的,main函数在运行库代码初始化完环境后才被调用。

咱们继续看kernel.bin中的符号,一共就4行,尽管其中也包含了咱们不认识的符号,但毕竟少得多,我们的程序更短小精干,而且确实没有_start函数。这里添加了3个类型为A的符号,这表示它们的值是不变的。T表示是该符号是位于代码段中,更多符号的意义请参考man nm。

其实上述代码中要是换成汇编代码的话,就是个jmp $,其大小不过是2字节的机器码ebfe。除了编译器自动添加的代码外,一般情况下c语言编译出来的程序也比汇编语言生成的程序体积大。可见,人们常说的汇编语言比c语言快,并不是汇编语言本身有多快(它也要变成机器指令后才能上cpu运行),而是汇编语言对应的机器指令是一对一,简单直接可依赖,而c语言生成的机器指令是一对多,复杂间接略冗余。

好啦,关于内核的部分咱们就此先打住,其实说这话我有点不好意思,您也看到啦,内核代码中就一个死循环而已,我们的内核还没有开始。咱们的内核虽然离真正的内核差得十万八千里,但它目的是两个:

  1. 是为了演示加载内核,
  2. 是为了演示elf格式的文件解析。

后面我们将结合此简单至极的c程序来学习有关elf方面的知识。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/439701.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

从零实现一个3D目标检测算法(2):点云数据预处理

在上一篇文章《从零实现一个3D目标检测算法(1):3D目标检测概述》对3D目标检测研究现状和PointPillars模型进行了介绍,在本文中我们开始写代码一步步实现PointPillars,这里我们先实现如何对点云数据进行预处理。 在图像…

【CodeForces - 129C】Statues(思维,bfs)

题干: In this task Anna and Maria play a game with a very unpleasant rival. Anna and Maria are in the opposite squares of a chessboard (8  8): Anna is in the upper right corner, and Maria is in the lower left one. Apart from them, the board h…

一步步编写操作系统 47 48 二进制程序运行方式

操作系统并不是在功能上给予用户的支持,这种支持是体现在机制上。也就是说,单纯的操作系统,用户拿它什么都做不了,用户需要的是某种功能。而操作系统仅仅是个提供支持的平台。 虽然我们是模仿linux来写一个黑屏白字的系统&#x…

百度顶会论文复现(1):课程概述

最近百度推出了一款重磅课程《全球顶会论文作者,28天免费手把手带你复现顶会论文》。这个课程真的是很硬核的课程,这里简单记录下自己的学习过程。 文章目录1. 课程设计思路和安排2. 课程大纲1. 课程设计思路和安排 课程设计思路如下,共分为…

【Codeforces - 127D】Password(思维,二分+字符串Hash)

题干: Asterix, Obelix and their temporary buddies Suffix and Prefix has finally found the Harmony temple. However, its doors were firmly locked and even Obelix had no luck opening them. A little later they found a string s, carved on a rock be…

百度顶会论文复现(2):GAN综述

本节课主要是对GAN的发展进行了介绍,包括基本原理,训练方法,存在问题,改进以及应用场景等。实践作业则为手写数字生成。课程地址为:https://aistudio.baidu.com/aistudio/education/preview/493290。 文章目录1.什么是…

一步步编写操作系统 48 二进制程序的加载方式

接上节,程序头可以自定义,只要我们按照自己定义的格式去解析就行。也许我光这么一说,很多同学还是不能彻底明白如何自定义文件头,因为大多数同学都是用高级语言来写程序,即使用了偏底层的c语言,不同平台的c…

【Codeforces - 864D】Make a Permutation!(贪心,字典序)

题干: Ivan has an array consisting of n elements. Each of the elements is an integer from 1 to n. Recently Ivan learned about permutations and their lexicographical order. Now he wants to change (replace) minimum number of elements in his arra…

百度顶会论文复现(3):视频分类综述

本节课主要是对视频分类的发展进行了介绍,包括任务与背景,分类方法,前沿进展等。课程地址为:https://aistudio.baidu.com/aistudio/course/introduce/1340?directly1&shared1。 文章目录1. 任务与背景2. 视频分类方法2.1 双流…

一步步编写操作系统 46 linux的elf可执行文件格式1

ELF文件格式依然是分为文件头和文件体两部分,只是该文件头相对稍显复杂,类似层次化结构,先用个ELF header从“全局上”给出程序文件的组织结构,概要出程序中其它头表的位置大小等信息,如程序头表的大小及位置、节头表的…

百度顶会论文复现(4):飞桨API详解

本节课主要是对飞桨常用API进行了介绍,课程地址为:https://aistudio.baidu.com/aistudio/education/group/info/1340。 文章目录1.飞桨API官网2. API使用介绍3. 飞桨模型操作1.飞桨API官网 官网地址为:https://www.paddlepaddle.org.cn/docu…

【Codeforces - 977D】Divide by three, multiply by two(思维构造)

题干: Polycarp likes to play with numbers. He takes some integer number xx, writes it down on the board, and then performs with it n−1n−1 operations of the two kinds: divide the number xx by 33 (xx must be divisible by 33);multiply the numbe…

一步步编写操作系统 45 linux的elf可执行文件中的段和节

接上文,为了描述清楚文件格式的本质,咱们先从最基本的“段”说起。 程序中最重要的部分就是段(segment)和节(section),它们是真正的程序体,是真真切切的程序资源,所以下…

视觉SLAM十四讲(3):三维空间刚体运动

本章需要掌握的知识点有:旋转矩阵,变换矩阵,四元数,欧拉角定义和数学表达;同时也要掌握Eigen库关于矩阵、几何模块的使用方法。 文章目录3.1 旋转矩阵3.1.1 点,向量和矩阵的关系3.1.2 坐标系间的欧式变换3.…

【CodeForces - 483C】Diverse Permutation(思维构造)

题干: Permutation p is an ordered set of integers p1,   p2,   ...,   pn, consisting of ndistinct positive integers not larger than n. Well denote as n the length of permutation p1,   p2,   ...,   pn. Your task is to find such…

一步步编写操作系统 47 elf格式文件分析实验

在上一节中,我们讲述了elf格式的部分理论知识,为什么是部分呢?因为我们本着“够用”的原则,只把我们需要了解的部分说完啦。不过,我相信大部分同学仅仅凭上一节中的理论知识还是领悟不到elf本质,咱们在本节…

百度飞桨顶会论文复现(5):视频分类论文之《Representation Flow for Action Recognition》篇

这次老师在课上总共领读了4篇分类论文,我这里分享其中的一篇论文,是关于使用神经网络对光流进行学习。 课程地址是:https://aistudio.baidu.com/aistudio/education/group/info/1340。 论文地址是:https://arxiv.org/abs/1810.014…

智能算法(GA、DBO等)求解零等待流水车间调度问题(NWFSP)

先做一个声明:文章是由我的个人公众号中的推送直接复制粘贴而来,因此对智能优化算法感兴趣的朋友,可关注我的个人公众号:启发式算法讨论。我会不定期在公众号里分享不同的智能优化算法,经典的,或者是近几年…

【蓝桥官网试题 - 算法提高】change(思维)

题干: 问题描述 数组A中共有n个元素,初始全为0。你可以对数组进行两种操作:1、将数组中的一个元素加1;2、将数组中所有元素乘2。求将数组A从初始状态变为目标状态B所需要的最少操作数。 输入格式 第一行一个正整数n表示数组中元…

一步步编写操作系统 50 加载内核3

接上节,在这里,我们把参数放到了栈中保存,大家注意到了,参数入栈的顺序是先从最右边的开始,最后压入的参数最左边的,其实这是某种约定,要不,为什么不先把中间的参数src入栈呢。既然主…