0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

从进程启动是怎么一步步到main函数的

strongerHuang 来源:strongerHuang 作者:轩辕之风 2020-11-03 15:51 次阅读

首先先划定一下这个问题的讨论范围:C/C++语言

这篇文章主要讨论的是操作系统层面上对于进程、线程的创建初始化等行为,而像PythonJava等基于解释器、虚拟机的语言,如何进入到main函数执行,这背后的路径则更长(包含了解释器和虚拟机内部的执行流程),以后有机会再讨论。所以这里就重点关注C/C++这类native语言的main函数是如何进入的。

本文会兼顾叙述Linux和Windows两个主要平台上的详细流程。

创建进程

第一步,创建进程。

在Linux上,我们要启动一个新的进程,一般通过fork+exec系列函数来实现,前者将当前进程“分叉”出一个孪生子进程,后者负责替换这个子进程的执行文件,来执行子进程的新程序文件。

这里的fork、exec系列函数,是操作系统提供给应用程序的API函数,在其内部最终都会通过系统调用,进入操作系统内核,通过内核中的进程管理机制,来完成一个进程的创建。

操作系统内核将负责进程的创建,主要有下面几个工作要做:

创建内核中用于描述进程的数据结构,在Linux上是task_struct

创建新进程的页目录、页表,用于构建新进程的内存地址空间

在Linux内核中,由于历史原因,Linux内核早期并没有线程的概念,而是用任务:task_struct来描述一个程序的执行实例:进程。

在内核中,一个任务对应就是一个task_struct,也就是一个进程,内核的调度单元也是一个个的个task_struct。

后来,多线程的概念兴起,Linux内核为了支持多线程技术,task_struct实际上表示的变成了一个线程,通过将多个task_struct合并为一组(通过该结构内部的组id字段)再来描述一个进程。因此,Linux上的线程,也称为轻量级进程。

系统调用fork的一个重要使命就是要去创建新进程的task_struct结构,创建完成后,进程就拥有了调度单元。随后将开始可以参与调度并有机会获得执行。

加载可执行文件

通过fork成功创建进程后,此时的子进程和父进程相当于一个细胞进行了有丝分裂,两个进程“几乎”是一模一样的。

而要想子进程执行新的程序,在子进程中还需要用到exec系列函数来实现对进程可执行程序的替换。

exec系列函数同样是系统调用的封装,通过调用它们,将进入内核sys_execve来执行真正的工作。

这个工作细节比较多,其中有一个重要的工作就是加载可执行文件到进程空间并对其进行分析,提取出可执行文件的入口地址。

我们使用C、C++等高级语言编写的代码,最终通过编译器会编译生成可执行文件,在Linux上,是ELF格式,在Windows上,称之为PE文件。

无论是ELF文件还是PE文件,在各自的文件头中,都记录了这个可执行文件的指令入口地址,它指示了程序该从哪里开始执行。

这个入口指向哪里,是我们的main函数吗?这里卖一个关子,先来解决在这之前的一个问题:进程创建后,是如何来到这个入口地址的?

不管在Windows还是Linux上,应用线程都会经常在用户空间和内核空间来回穿梭,这可能出现在以下几种情况发生时:

系统调用

中断

异常

从内核返回时,线程是如何知道自己从哪里进来的,该回到应用空间的哪里去继续执行呢?

答案是,在进入内核空间时,线程将自动保存上下文(其实就是一些寄存器的内容,比如指令寄存器EIP)到线程的堆栈上,记录自己从哪里来的,等到从内核返回时,再从堆栈上加载这些信息,回到原来的地方继续执行。

前面提到,子进程是通过sys_execve系统调用进入到内核中的,在后面完成可执行文件的分析后,拿到了ELF文件的入口地址,将会去修改原来保存在堆栈上的上下文信息,将EIP指向ELF文件的入口地址。这样等sys_execve系统调用结束时,返回到用户空间后,就能够直接转到新的程序入口开始执行代码。

所以,一个非常重要的特点是:exec系列函数正常情况下是不会返回的,一旦进入,完成使命后,执行流程就会转向新的可执行文件入口。

另外需要提一下的是,在Linux上,除了ELF文件,还支持一些其他格式的可执行文件,如MS-DOS、COFF

除了二进制的可执行文件,还支持shell脚本,这个情况下将会将脚本解释器程序作为入口来启动

从ELF入口到main函数

上面交代了,一个新的进程,是如何执行到可执行文件的入口地址的。

同时也留了一个问题,这个入口地址是什么?是我们的main函数吗?

这里有一个简单的C程序,运行起来后输出经典的hello world:

#include intmain(){ printf("hello,world! "); return0; }

通过gcc编译后,生成了一个ELF可执行文件,通过readelf指令,可以实现对ELF文件的分析,这里可以看到ELF文件的入口地址是0x400430:

随后,我们通过反汇编神器,IDA打开分析这个文件,看一下位于0x400430入口的地方是什么函数?

可以看到,入口地方是一个叫做_start的函数,并不是我们的main函数。

在_start的结尾,调用了__libc_start_main函数,而这个函数,位于libc.so中。

你可能疑惑,这个函数是哪里冒出来的,我们的代码中并没有用到它呢?

其实,在进入main函数之前,还有一个重要的工作要做,这就是:C/C++运行时库的初始化。上面的__libc_start_main就是在完成这一工作。

在通过GCC进行编译时,编译器将自动完成运行时库的链接,将我们的main函数封装起来,由它来调用。

glibc是开源的,我们可以在GitHub上找到这个项目的libc-start.c文件,一窥__libc_start_main的真面目,我们的main函数正是被它在调用。

完整流程

到这里,我们梳理了,从进程创建fork,到通过exec系列函数完成可执行文件的替换,再到执行流程进入到ELF文件的入口,再到我们的main函数的完整流程。

Windows上的一些区别

下面简单介绍下Windows上这一流程的一些差异。

首先是创建进程的环节,Windows系统将fork+exec两步合并了一步,通过CreateProcess系列函数一步到位,在其参数中指定子进程的可执行文件路径。

不同于Linux上进程和线程的边界模糊,在Windows操作系统上,内核是有明确的进程和线程概念定义,进程用EPROCESS结构表示,线程用ETHREAD结构表示。

所以在Windows上,进程相关的工作准备就绪后,还需要单独创建一个参与内核调度的执行单元,也就是进程中的第一个线程:主线程。当然,这个工作也封装在了CreateProcess系列函数中了。

新进程的主线程创建完成后,便开始参与系统调度了。主线程从哪里开始执行呢?内核在创建时就明确进行了指定:nt!KiThreadStartup,这是一个内核函数,线程启动后就从这里开始执行。

线程从这里启动后,再通过Windows的异步过程调用APC机制执行提前插入的APC,进而将执行流程引入应用层,去执行Windows进程应用程序的初始化工作,比如一些核心DLL文件的加载(Kernel32.dll、ntdll.dll)等等。

随后,再次通过APC机制,再转向去执行可执行文件的入口点。

这后面和Linux上的机制类似,同样没有直接到main函数,而是需要先进行C/C++运行时库的初始化,这之后经过运行时函数的包装,才最终来到我们的main函数。

下面是Windows上,从创建进程到我们的main函数的完整流程(高清大图:https://bbs.pediy.com/upload/attach/201604/501306_qz5f5hi1n3107kt.png):

现在你清楚,从进程启动是怎么一步步到你的main函数的了吗?

责任编辑:xj

原文标题:从创建进程到进入main函数,发生了什么?

文章出处:【微信公众号:strongerHuang】欢迎添加关注!文章转载请注明出处。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • WINDOWS
    +关注

    关注

    3

    文章

    3541

    浏览量

    88633
  • C语言
    +关注

    关注

    180

    文章

    7604

    浏览量

    136713
  • 函数
    +关注

    关注

    3

    文章

    4329

    浏览量

    62576
  • main
    +关注

    关注

    0

    文章

    38

    浏览量

    6158

原文标题:从创建进程到进入main函数,发生了什么?

文章出处:【微信号:strongerHuang,微信公众号:strongerHuang】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    沙子变芯片,一步步带你走进高科技的微观世界

    在科技飞速发展的今天,芯片作为现代科技的核心元器件,其制造过程复杂且充满挑战。芯片不仅推动了信息技术、人工智能、物联网等领域的进步,还成为衡量个国家科技实力的重要指标。然而,芯片制造并非易事,沙子芯片的每
    的头像 发表于 12-19 10:44 221次阅读
    沙子变芯片,<b class='flag-5'>一步步</b>带你走进高科技的微观世界

    FaceTime成诈骗“帮凶”,苹果是怎么一步步丢掉“安全”光环的?

    苹果想要在AI时代,重新给自己贴上“安全”的标签,恐怕还学学安卓和鸿蒙。
    的头像 发表于 11-03 17:39 2910次阅读
    FaceTime成诈骗“帮凶”,苹果是怎么<b class='flag-5'>一步步</b>丢掉“安全”光环的?

    TPA3128D2第3管脚输出保护是什么原因导致的?

    TPA3128D2按照数据手册第24页图36配置为MASTER模式,GAIN=26db,按典型应用的电路图画的电路板,上电后第3管脚输出低电平,请问 1.应该怎样一步步排除此故障? 2.是否按数据手册第18页中图29的时序启动芯片才能工作?
    发表于 10-22 06:17

    通过展频进一步优化EMI

    电子发烧友网站提供《通过展频进一步优化EMI.pdf》资料免费下载
    发表于 09-04 09:32 1次下载
    通过展频进<b class='flag-5'>一步</b>优化EMI

    用XDS200仿真PGA900时候,单步执行程序PC支持并没有按照C语言一步一步执行,为什么?

    我在用XDS200仿真PGA900时候,程序能正常引导main,单步执行程序, PC支持并没有按照C语言一步一步执行, 这是什么原因? 以下是工程图
    发表于 08-15 07:18

    昂科芯片烧录高质量出海 唱响越南一步步新技术研讨会

    8月8日,迎来了场科技盛事-2024越南一步步新技术研讨会在河内·美利亚酒店隆重举行。作为芯片烧录领域的领导者,昂科技术应邀参会,吸引了众多国内外业界专家和企业的关注。
    的头像 发表于 08-10 09:20 835次阅读

    labview按名称解绑簇报错

    这是我在网上按照视频一步步做的,请各位大神帮我看看,我打框的地方哪里错了呀??为什么视频老师做的就不报错,我做的样就错了?
    发表于 07-14 12:06

    解码芯片烧录发展趋势 苏州·一步步新技术研讨会

    芯片烧录行业资讯
    acroview123
    发布于 :2024年06月11日 19:55:00

    使用PCIe EtherCAT通讯卡控制IO站step by step(

    EtherCAT是种高效且常用的工业通讯协议。本系列文章将带领您使用ZLG致远电子的PCIeEtherCAT通讯卡,一步步实现从搭建编译环境程序运行。ZLG致远电子PCIeEtherCAT通讯卡
    的头像 发表于 05-21 08:24 662次阅读
    使用PCIe EtherCAT通讯卡控制IO<b class='flag-5'>从</b>站step by step(<b class='flag-5'>一</b>)

    mc workbench卡在代码生成这一步不动了是什么原因?

    mc workbench卡在代码生成这一步不动了是什么原因
    发表于 03-27 06:52

    英伟达官宣新代Blackwell架构,把AI扩展万亿参数

    基于Chiplet与片间互联技术,800Gb/s RNIC,1.8TB/s NVLink,英伟达正一步步构建出大型AI超算集群。互联效率定义LLM效率,互联元年正式开启。
    的头像 发表于 03-19 14:22 1012次阅读
    英伟达官宣新<b class='flag-5'>一</b>代Blackwell架构,把AI扩展<b class='flag-5'>到</b>万亿参数

    STM32F407无法进入main函数怎么解决?

    芯片可以烧写,但是无法进入main函数,单步跟踪时发现始终卡在0xD3000040 0000MOVS r0,r0这一步
    发表于 03-08 06:07

    移植EasyloggerGD32时报错的原因?怎么解决?

    sector header error! Now will clean all log area 最后一步步调试发现是get_sector_status()函数中,读取 f_port_read
    发表于 03-01 06:28

    大族封测IPO进程再进一步

    2024年1月17日,深交所向大族封测发出IPO审核意见,标志着这家LED及半导体封测专用设备制造商的上市进程又向前迈进了一步
    的头像 发表于 01-25 14:51 768次阅读

    GD32 MCU启动后如何运行main函数

    GD32 MCU启动后如何运行main函数入口?你是否也有这样的疑虑。在执行main
    的头像 发表于 01-15 10:00 1078次阅读
    GD32 MCU<b class='flag-5'>启动</b>后如何运行<b class='flag-5'>到</b><b class='flag-5'>main</b><b class='flag-5'>函数</b>