执行helloworld时系统内部到底发生了什么

最新推荐文章于 2022-03-15 22:22:45 发布
最新推荐文章于 2022-03-15 22:22:45 发布
阅读量414 收藏 2
点赞数
分类专栏： 其他乱七八糟的
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_24889575/article/details/102606768
版权

目录


0x00 简述

经常被老师灵魂拷问，知道执行helloworld时系统内部到底发生了什么么。

终于有时间把相关的东西看了一些，写了点东西做总结。

好像条理想并不是那么强，也把好多个概念杂糅起来了，就当做抛砖引玉吧。

以此程序为例。

// position: /home/test/hello/hello.c
#include <stdio.h>

int main(){
    printf("hello world!\n");
    return 0;
}



其中，按照每一节解释一个命令，命令如下

cd /home/test/hello   #0x01
g++ hello.c -o a.out  #0x02
./a.out			      #0x04

注1：这里将可执行文件命名为a.out是因为书上的图例是a.out，懒的改图。。

注2：0x03写了执行文件时进程那边有啥变化。

注3：附加内容是扩展，可以不看。


0x01 从输入命令到找到文件
cd /home/test/hello

每个进程都由一个u区，u区包含一个指向当前目录索引节点的指针。其中，系统根索引节点被存储在一个全局变量中。

当一个进程向打开文件"/home/test/hello"，当内核开始分析这个文件名时，它遇到"/"，并获得了系统根索引节点。把根作为它的当前工作索引节点后，内核读入字符串”home"。在核对了该进程有必要的搜索权限后，就遍历工作索引节点，直到找到名为“home”的文件，然后释放“/"工作节点，为“home”分配索引节点，并将它作为工作节点。以此类推，直到找到最终的“hello”文件夹。

注：分配索引节点的意思为，把索引节点从硬盘读到内存。


0x02 程序编译，连接

执行如下命令开始编译

unix> g++ hello.c -o a.out

系统会调用G++驱动程序，里面包含语言预处理器，编译器，汇编器和链接器。

预处理器会把程序hello.c翻译成一个ASCII码的中间文件hello.i。

C编译器会把hello.i翻译成一个ASCII汇编语言文件hello.s。

汇编器将hello.s翻译成一个可重定位目标文件hello.o。

然后调用链接器，将多个可重定位目标文件（如果有的话，本例中没有）链接成一个可执行文件a.out

至此，编译链接完成，生成一个a.out文件。

附加内容；

​ 预处理器和编译器内容还没看，先说下链接器。

​ 每一个c文件都会生成一个可重定位目标文件。文件格式如下所示。

在这里插入图片描述

其中

ELF头：以一个16字节的序列开始，这个序列描述了生成该文件的系统的字的大小和字节顺序。

text：以编译程序的机器代码。

rodata：只读数据。

data：已初始化的全局C变量。

bss：未初始化的全局C变量。

symtab：符号变，即使不加-g选项也会生成，不包含局部变量的条目。

rel.text：代码重定位信息。

rel.data：数据的重定向数据。

debug：-g选项会得到这张表。包含局部变量和类型定义。

line：C源程序中的行号和text节中机器指令之间的映射。

strtab：字符串表。

注：static属性的本地过程变量是不在栈中管理的。他会初始化在data或bss中。并且编译器把初始化为0的static变量放在bss中而不是data中。

注2：链接器如何解析多重定义的全局符号。

函数和已初始化的全局变量是强符号，未初始化的全局变量是弱符号。

规则一：不允许多个强符号。

规则二：如果有一个强符号和多个弱符号，那么选择强符号。

规则三：如果有多个弱符号，则从其中任意选择一个。


链接静态库

链接静态库的时候，会把被程序引用的目标模的相应信息块拷贝到当前可重定位目标文件当中。这样虽然执行会正常，但是增加了可执行文件的大小。

静态库是在链接的时候完成链接的。在符号解析的阶段，链接器从左到右按照他们在编译器驱动程序命令行出现的顺序来扫描可冲定位目标文件和存档文件（静态库）。

因为是从左到右扫描，所以顺序就显得十分重要。

举例，A文件调用了B文件中定义的函数。命令为先A后B

unix> g++ -static A B

大概过程为：当扫描到第一个文件A的时候，如果有未定义的函数/变量，则默认在其他文件中定义，将未定义的函数/变量信息保存在一个表中，扫描到第二个文件B的时候对表中信息进行搜索，如果搜索到，则从表中去除该条信息。到最后如果表中为空，则正常输出。否则报错"undefine reference"。

unix> g++ -static B A

那么如果顺序出错，则第一个文件中B没有未定义的信息，则表中为空，扫描到文件A的时候发现A中有未定义的信息，但是B已经扫描过了，不会再次扫描，就会报错。


链接动态库

动态库是在程序加载的时候完成链接的。

动态库是所有程序共享一份代码，所以不会像静态库那样增加内存占用。只会占用一份。

在生成可执行文件的过程中，链接器只拷贝了一些重定位和符号表信息，它们使得运行时可以解析对动态库中代码和数据的引用。

加载器完成这部分重定位信息的重定位工作，从这个时候开始，共享库（动态库）的位置就固定了，并且在程序执行过程中不会改变。


0x03 打开文件

先介绍三个概念：文件描述符表，打开文件表，i-node（v-node）。

文件描述符表：每个进程一个，负责记录这个进程打开的文件。它的表项是由进程打开的文件描述符来索引的。每个打开的描述符表项指向打开文件表的一个表项。

打开文件表：所有的进程共享这张表。每个文件表的表项组成包括有当前的文件位置，引用计数（即当前指向该表项的描述符表项数），以及一个指向v-node表中对应表项的指针，直到他的引用计数为0。

v-node表：同文件表一样，所有进程共享这张v-node表。每个表项包含stat结构中的大多数信息。包括st_mode和st_size成员。


在这里插入图片描述


注：stat结构如下图所示，其中st_mode编码了文件访问许可位，st_size包含了文件的字节数大小。

在这里插入图片描述

当打开文件的时候，如果之前没有打开过此文件，那么三张表中都会增加一项。

附加内容

fork时会发生什么
在这里插入图片描述
描述符表会复制一张父进程的下来，指向同一个打开文件表项。



0x04 加载可执行目标文件
unix> ./a.out

因为p不是一个内置的外壳（shell）命令，所以外壳会认为p是一个可执行目标文件，通过调用某个驻留在存储器中成为加载器（loader）的操作系统代码来运行它。任何Unix程序都可以通过调用execve函数来调用加载器。加载器将可执行目标文件中的代码和数据从磁盘拷贝到存储器中，然后通过跳转到程序的第一条执行或入口（entry point）来运行该程序。

在这里插入图片描述

当加载器运行时，它创建如上图所示的存储器映像。在可执行文件中段头部表的直到下，加载器将可执行文件的相关内容拷贝到代码和数据段。接下来，加载器跳转到程序的入口点，也就是符号_start的地址。在_start地址处的启动代码（startup code）是在目标文件ctrl.o文件中定义的，对所有的C程序都是一样的。下图展示了启动代码中具体的调用序列。在从.text和.init节中调用了初始化例程后，启动代码调用atexit例程，这个程序附加了一系列在应用程序正常终止时应该调用的程序。

接着，启动代码调用应用程序的main函数，他会开始执行C程序，在应用程序返回之后，调用_exit函数，它将控制权返回给操作系统。exit函数运行atexit注册的函数，然后通过调用_exit将控制返回给操作系统。


在这里插入图片描述

注：处了一些头部信息，在加载过程中没有任何从磁盘到存储器的数据拷贝。直到CPU引用了一个被映射的虚拟页才会进行拷贝。此时，操作系统利用他的页面调度机制自动将页面从磁盘传送到存储器。


0x05 执行文件

如0x03中所说，加载可执行文件的时候是不进行磁盘拷贝的，只有当CPU引用了一个被映射的虚拟页的时候才进行拷贝。拷贝的流程如下图所示。


在这里插入图片描述

MMU：(Memory Management Unit) 存储器管理单元，功能是利用存放在主存中的查询表来动态翻译虚拟地址，其实就是主存和CPU之间的缓冲。

PTE：(Page Table Entry) 页表条目。页表中的一行。

把数据扔到内存后，CPU会用程序的第一条指令地址，去内存中取第一条指令的数据。

  1. 处理器生成一个虚拟地址，并把它传送给MMU。
  2. MMU生成PTE地址，并从高速缓存/主存请求得到它。
  3. 高速缓存/主存向MMU返回PTE。
  4. MMU构造物理地址，并把它传送给高速缓存/主存。
  5. 高速缓存/主存返回所请求的数据字给处理器。

页面命中完全是由硬件来处理的，与之不同的是，处理缺页要求硬件和操作系统内核协作完成。

前三步是一样的

  1. PTE中的有效位是0，所以MMU出发了一次异常，传递CPU中的控制到操作系统内核中的缺页异常处理程序。
  2. 缺页处理程序确定出物理存储器中的牺牲页，如果这个页面已经被修改了，则把它换出磁盘。
  3. 缺页处理程序页面调入新的页面，并更新存储器中的PTE。
  4. 缺页处理程序返回到原来的进程，再次执行导致缺页的执行。CPU将引起缺页的虚拟地址重新发送给MMU，因为虚拟页面现在缓存在物理存储器中，所以就会命中，将数据返回给处理器。

在这里插入图片描述

至此，CPU拿到了数据，依据本次例子程序，CPU发现是一个输出，便把数据“hello world！”通过系统总线-IO桥-IO总线传输给摄外壳，外壳显示在屏幕上。


注1：事实上，在片上还有一个结构为 翻译后备缓冲器 TLB（Translation Lookaside Buffer）。它负责缓冲一部分PTE，在MMU查询的时候，先向TLB查询，TLB未命中的情况下才执行以上步骤。
注2：其中，在MMU从虚拟地址翻译成物理地址的过程就是上课学过的。好像是计算机体系结构课。不难就不解释了。

在这里插入图片描述


注:3：关于高速缓存的问题，下图是存储器的层次结构图。


在这里插入图片描述


高速缓存关于读的操作非常简单。首先，在高速缓存中查找所需字w的拷贝。如果命中，立即返回字w给CPU。如果不命中，存存储器层次结构中较低层次中取出包含字w的块，将整个块存储到某个高速缓存行汇总，返回返回字w。



0x06 参考书籍

深入理解计算机新系统（原书第二版）
Unix操作系统设计

Immortal_s
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Java基础系列教材 （二）- 用命令行中编写第一个 java 程序
weixin_44092440的博客
09-17 454
Java基础：(面向对象，变量，操作符，接口与继承，类和对象) Java基础知识点这里 面向对象 变量 操作符系列 类和对象 接口与继承 Java中级：(异常处理，输入输出，集合框架泛型，多线程，数据库，图形界面，网络编程) Java中级知识 异常处理 文件操作 集合框架 泛型 多线程 图形界面 前端部分： HTML CSS JavaScript 更多前端知识 J2EE实践项目： 仿天猫J2EE ...
打印Hello world发生了什么?
alien_moon的博客
05-21 451
前言 ​ 刚开始接触编程时，有这样一些问题，为什么按照视频所讲，输入某些字符，点击运行，就向屏幕输出了某些结果（Hello world）？这中间发生了什么？ 过程简述 理解一次人机交互的过程，需要先回顾下冯诺依曼结构体系 基于这张图，来一一拓展。 首先CPU固定的取指执行，如果不加干涉的话，需等待上一个程序执行完才能执行下一个程序，有些任务占着茅坑不**，效率很低。后来出于多任务同时执行等需要，发明了中断，一旦有中断信号发过来，优先处理中断信息，借此可实现定时切换进程等操作（如利用时钟中断），造
HelloWorld程序的执行流程
qq_46080708的博客
03-15 784
HelloWorld程序的执行流程
操作系统角度分析helloworld程序的执行
much efforts, much luck
07-22 1252
操作系统角度分析helloworld程序的执行 #include <stdio.h> int main(int argc, char *argv[]){ puts("hello,world"); return 0; } 一、用户通过命令行或双击打开的方式告知操作系统执行helloworld程序。 二、操作系统分析程序 程序是经过编译链接过程的可执行文件。操作系统找到helloworld程序的相关信息，检查其类型是否是可执行文件；并通过程序首部信息，确定代码和数据在可执行文件中的
你知道Hello World背后发生了什么吗？
谁D了我的BUG
12-26 3058
计算机的世界，就从hello，world开始吧！ #include <stdio.h> int main() { printf("Hello World\n"); return 0; } “Hello World”，对于好兄弟们来说，都很熟悉吧，大学第一课、编程语言书本的第一个dmeo，基本都是用这个作为引子，这次我们也从hello，world开始进入计算机的世界遨游吧！ 刚开始学这些东西的时候，比如用VC++, 都是鼠标点点，直接出来黑窗口，可以看到我们的执行结果，却不知，这一系列的背
定时器0定时1秒，每过一秒钟打印输出一个 Hello World
最新发布
01-26
当定时器0中断发生时，单片机会执行对应的中断服务程序。在这个程序中，我们可以编写打印"Hello World"的代码。STC12C5A60S2单片机的UART串口可以用来发送字符到外部设备，如串口终端。在中断服务程序中，我们需要...
知其所以然驱动开发教程:1.3.1_HelloWorld简单的驱动.rar
05-29
在1.3.1_HelloWorld简单的驱动中，我们可能会看到一个简单的示例，它在设备初始化时打印出"Hello World"字符串，以此验证驱动已经被正确加载并执行。这个过程可能包括创建设备对象，定义`DriverEntry`函数，然后在...
P05：UNIX V6++文件系统1
08-04
程序首先尝试创建一个名为“/usr/Jessy”的文件，然后写入字符串“Hello World!”，接着关闭文件，再次打开文件并读取内容，最后输出读取到的数据。 2. 编译程序：使用Makefile来编译程序，确保其符合UNIX V6++的...
自己动手写操作系统(含源代码).part2
10-18
我相信，如果你也对神奇的计算机世界充满好奇，并且希望通过自己编写操作系统的方式来了解背后发生的故事，那么你一定可以在这本书中得到一些帮助。而假如你真的因为我的书而重新燃起实践的热情，从而开始一段操作...
自己动手写操作系统(含源代码).part1
10-18
我相信，如果你也对神奇的计算机世界充满好奇，并且希望通过自己编写操作系统的方式来了解背后发生的故事，那么你一定可以在这本书中得到一些帮助。而假如你真的因为我的书而重新燃起实践的热情，从而开始一段操作...
“Hello World”的执行过程(编译过程)
一个无聊的人做一些有意思的事
05-29 3200
最近看了一下《深入理解计算机系统》这本书，看了几张就觉得打开了一扇新的大门，了解到了更多深入的东西，因此整理一下笔记，顺便加点自己的理解。#include&lt;stdio.h&gt; int main() { printf("Hellow world"); }   程序生命周期是从一个“源文件”开始的，有程序员写到文本并保存，文件名***.c.源程序实际上是由0和1组成的位。这些位8个一组，称...
当我们执行Hello world时都发生了什么
weixin_41244513的博客
06-26 280
在运行以下语句时都发生了什么？ public class HelloWorld { public static void main(String[] args) { System.out.println("Hello world !"); } } 首先 系统分配内存给JVM JVM启动, 开启各种守护线程，并启动工作线程， 工作线程启动后class...
系统执行hello程序时，发生了什么
weixin_42941557的博客
01-21 350
hello 程序 #include &lt;stdio.h&gt; int mian () { printf("hello world \n") } 程序的生命周期 它被程序员创建，到系统上运行，输出简单的消息，然后终止。 信息就是位（标记）+上下文 1.源程序开始 程序员利用文本编辑器创建并保存的文本文件，文件名hello.c。源程序实际上是由值0和1组成位序列，8位一字节，每个字节表示文本...
计算机程序是怎样运行的
weixin_33825683的博客
10-12 1248
关于《深入理解计算机系统》 “这本书的中译名为“深入理解计算机系统”，我非常，十分，以及百分之一百二十地不满意。我这么说的原因在于这个译法完全扭曲了书的本意。如果直译原书名，应该是类似于“以程序员的视角理解计算机系统”，何来“深入”二字。可能在国内编辑看来，这是讲系统的，用C和汇编语言的，因此很“深入”，但我认为这只能说明国内技术氛围的浅薄。因为事实上，这是一本入门级别的书，这本书其实并不“深入...
hello world是怎样运行的？
844604778
10-13 1722
关于《深入理解计算机系统》 “这本书的中译名为“深入理解计算机系统”，我非常，十分，以及百分之一百二十地不满意。我这么说的原因在于这个译法完全扭曲了书的本意。如果直译原书名，应该是类似于“以程序员的视角理解计算机系统”，何来“深入”二字。可能在国内编辑看来，这是讲系统的，用C和汇编语言的，因此很“深入”，但我认为这只能说明国内技术氛围的浅薄。因为事实上，这是一本入门级别的书，这本书其...
详解HelloWorld执行过程
编号0347
05-22 1383
public class HelloWorld { public static void main(String[] args) { String s; s = "HelloWorld"; System.out.println(s); } }这段代码我相信大家是再熟悉不过的了那么java是如何执行这段代码的呢？
简单描述hello world中到底发生了什么
diandai2207的博客
10-25 319
最近啃了啃书，这里记录一些个人觉得比较重要的部分 #include <stdio.h> int main(){ printf("hello world"); return 0; } 简单的一句hello world,从编译到执行到底发生了一些什么呢.下面简单的描述一下 这样一个hello.c文件写完后,只是一个有ascii字符...
helloworld背后发生了什么？（CSAPP笔记2）
xy913741894的博客
04-24 725
任何一个学过C语言的同学，第一个程序应该都是写一个“hello world“。我们编辑好一个hello world，一般来说，只需要轻轻一点编译器的“编译”“运行”，屏幕上就会出现一句hello world，然而在这背后都发生了什么？CSAPP在第一章给出了解释：计算机需要将源文件转为可执行目标文件，一般在Linux下，需要执行gcc hello.c -o hello从而生成一个hello可执行文件
HelloWorld的执行
yf19900331的博客
06-13 266
helloworld的C语言源文件hello.c，存储成ASCII的文本字符，是一个文本文件 为了执行程序，需要将源文件编译成可执行文件 linux> gcc -o hello hello.c hello.c源程序(文本)->【预处理器(cpp)】->hello.i(文本)->【编译器(ccl)】->hello.s汇编程序(文本)->【汇编器(as)】-&...
JAVA hello world能正确执行hello world吗？
11-07
JAVA hello world程序可以正确执行hello world...public class HelloWorld { public static void main(String[] args) { System.out.println("Hello, World!"); } } ``` 这个程序会输出 "Hello, World!" 到控制台。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值